论文部分内容阅读
讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.
共享合成Petri网系统的活性保持性
【摘 要】
：
讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言
【机 构】
：
中国科学院软件所计算机科学重点实验室,北京,100080中国科学院数学与系统科学研究院数学所,北京,100080;
【出 处】
：
系统工程理论与实践
【发表日期】
：
2005年11期
其他文献
本文分析了国内CAI应用的现状及发展趋势,提出了一个进行多媒体CAI的理想模型,即建立一个面向教学和管理的具有集成处理功能的计算机网络应用系统.并详细讨论了该网络的建设
本文针对实验教学的特点,讨论了CAI应用的一个重要方面--计算机辅助实验教学,并着重就该类CAI软件的分类、课件的系统结构、课件设计与开发等主要问题进行了详细且深入地讨论
本文对于一般生长曲线模型中共同均值的线性(包含齐次线性与非齐线性)估计的可容许性,给出了共同均值的线性组合KBL的线性估计在某些估计类中是KBL的泛容许性估计的充要条件.
波叠加法是利用等效源的思想来求解声辐射问题的一种数值方法.其原理并没有确切地规定如何配置等效源.正由于这些不确切性的存在,当将它应用到声场重构时,有必要检验重构的准
籍助电子与光子的碰撞，计算了在多光子康普顿效应条件下光子的散射截面的表示式，得出在多光子康普顿效应下，电子对光子的散射截面随因子ｎω１／ｍ而迅速减小的结论。
According to the
用静态阻垢方法研究了ZPS-02膦基磺酸共聚物的阻垢分散性能.研究结果表明,ZPS-02在抑制碳酸钙垢、硫酸钙垢、磷酸钙垢,稳定锌和分散氧化铁沉积等方面性能均优于HEDP.
利用X射线衍射(XRD)和X射线吸收近边结构(XANES)方法研究了在Si(100)衬底上及600℃温度条件下用分子束外延(MBE)共蒸发方法生长的MnxSi1-x磁性薄膜的结构.由XRD结果表明,只有
本文在分析浉河信阳市段水体的水文特征与水质现状的基础上,提出了用水利工程结合生物防治的方式控制该段水体水质的思想,设计了利用该段水体的可能途径,并对其可能产生的效
初中的实验教学要让学生学习初步的科学知识和技能,并经历基本的科学探究过程,受到科学态度和科学精神的熏陶,让学生亲历实验过程,不管实验成功与否,目的在于体悟探究过程,培