【摘 要】
：
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题。本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作。与以往研究不同,侧重从并发语言的角度讨论。定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式。这些语言关系式可用于判定相应合成操作Petri网系统的
【基金项目】
：
国家自然科学基金(60073013),国家重大基础研究基金(G1998030416),中科院管理、决策与信息系统开放实验室基金.
论文部分内容阅读
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题。本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作。与以往研究不同,侧重从并发语言的角度讨论。定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式。这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件。最后分别给出条件使得合成的Pet
其他文献
生产流程的过程仿真,可以通过可视化方式发现生产设计中的缺陷。本文设计了一种基于受限语言解释器的可视化仿真系统,用于CAD仿真过程,并具体实现了一个工业流程的可视化仿真。根据可复用的微指令集和受限语言的特点,我们依照不同逻辑控制条件设计的解释器系统结构简单,易于实现,使系统具有一定的通用性和灵活性。通过实例表明,本文设计的基于受限语言解释器的系统可以满足具有一定复杂度的生产流程的可视化仿真。
美声经过几百年的发展,不断吸收有益于其发展的有利因素,逐渐走向成熟,成为一种深受人们喜爱的艺术形式。本文从教学的角度出发,从多个层面提出优化美声声乐教学的策略,以促
检查点回卷恢复策略是实现软件容错的一种重要方法。基于虚拟对象策略的进程检查点实现方法把应用层与系统层的直接交互被重定向为应用层与虚拟对象层的交互以及虚拟对象层与系统层的交互。故障恢复时,虚拟对象层重新和系统层捆绑结合,使得进程环境故障前后的差异性对应用层透明。另外,基于虚拟对象的检查点策略不须要进行对象句柄转换,避免了对象句柄转换所带来的开销。该方法具有开销小的特点,并且支持多线程及线程间的同步。
通过把冰箱各个部件划分为快模块、慢模块的方法,实现了各部件的相互解耦。为了兼顾仿真的快速性与准确性,系统采用了自适应的变步长算法。并把仿真结果与实验数据进行了对比,得出了仿真结果定性合理,定量准确的结论,为使用该仿真软件进一步研究冰箱性能提供了依据。
二胡音乐作品内容丰富,给演奏者提供了无尽的表达和想象空间,因此其情感的表达形式也丰富多样,同时对演奏者的艺术表现也提出了更高的要求,只有在熟悉作品相关背景和乐谱的基
钢琴这门乐器自发明以来就一直深受喜爱,学习的人逐渐增多,教授的人也变得不少。钢琴乃至整个音乐行业都在逐渐影响着人们的生活。而随着这些热爱钢琴、热爱音乐的人群数量逐
高师声乐教学是一门集艺术性、技能性、实践性于一体的课程。本文依据新课标下音乐课程要求,结合自己的教学实践经验,针对教学工作中遇到的现实情况,深入探讨,希望找出应对这
基于国际水协会工作组发布的有关文件,构造了典型污水生化处理过程仿真的软件平台。所开发的软件不仅能够模拟脱碳、硝化脱氮、反硝化脱氮和脱氮除磷四种典型污水生化处理工艺过程的动态特性,也能够评价各种复杂先进控制策略的实施效果以及用于教育培训等。通过在不同气象输入条件下,仿真上述四种工艺配置以及在反硝化脱氮工艺控制评价上的应用等工作,表明了这个仿真系统的性能和有效性。
多手联弹作为钢琴演奏的一种较丰富的表现形式,逐渐成为高校钢琴教学的一个新方向。本文通过对高校钢琴教学现状的分析,论述多手联弹的实际教学效果,以及成功举办多手联弹教
目前普通高等音乐教育在管乐教学方面,传统的教学方式占据着主导地位,随着管乐演奏技术的不断提高和国际音乐资源共享平台的不断发展,小型管乐合奏及室内乐合奏在教学改革当