【摘 要】
：
引入一种变结构有色Petri网模型及其相应的结构变化机制,阐述两种结构变化方式及其相应算法.一种是修正结构方法CBM(changebymodification),一种是添加子网方法CBC(changebyc
【机 构】
：
同济大学沪西校区电子与信息工程学院,同济大学沪西校区电子与信息工程学院 上海200331,上海200331
论文部分内容阅读
引入一种变结构有色Petri网模型及其相应的结构变化机制,阐述两种结构变化方式及其相应算法.一种是修正结构方法CBM(changebymodification),一种是添加子网方法CBC(changebycomposition).结合铁路车站信号联锁中的进路自动解锁建模,讨论了该模型的具体应用.
A variable structure colored Petri nets model and its corresponding structure change mechanism are introduced, and two structure change modes and their corresponding algorithms are expounded. One is a modified structure method CBM (changebymodification), and one is a sub-net method CBC (changebycomposition) Combining with the automatic unlocking modeling in the signal interlocking of railway station, the concrete application of the model is discussed.
其他文献
【摘要】随着我国社会经济的快速发展，人们对生活水平和居住条件的要求也越来越高，不仅要求有齐全的电气设备，更是要求有更为科技化和安全化的电气工程，建筑行业应当大力改造电气工程建设，添加更多更为科学的技术，提高电气工程的信息化和科技化，将建筑中的电气化工程推上自动化的道路，这样可以促进建筑业的发展，提高建筑业的声誉。 【关键词】建筑；电气工程；自动化；监控系统；中心控制 为了满足使用者对电气工程越
当今的全球化已经使一系列的力量开始发挥深远的影响。从本质上看，全球化与当今世界的交换动力有关。全球化在社会财富不平等、工作方式的变化、知识经济对工作的意义和用户至
对光学运动捕捉系统中关键技术进行了论述.为了得到无需后期手工标注的三维数据,需对二维标记点预测和跟踪,提出了利用先验数据准确跟踪标记点的算法.采用非线性和线性结合的方法标定摄像机,计算出摄像机的外部参数和内部参数.三维重建时利用多个摄像机融合重建,提高了重建的准确率,并利用对摄像机分组的方法,降低了运算的复杂度.实验结果证明,本系统能够得到较为精确的人体运动数据.
学习动力对高职院校学生英语学习效果起着直接和重要的作用。通过问卷调查，找出学习动力影响因素，分析原因，并从激发学习兴趣、培养自主学〉-7能力、改革教学方法、创造轻松和谐
在水泥混凝土路面中存在的路面弯沉盆惰性点，可以用于反算水泥混凝土路面结构模量。为此论证了惰性点在沥青路面弯沉盆中的存在性，并利用惰性点方法开发出一套反算沥青路面结构
建立了国产某中级轿车车身刚度分析的有限元模型,计算并验证了其静态弯曲特性和扭转特性;结合结构分析软件,推导了板壳结构静态刚度修改灵敏度公式,进而进行了轿车车身扭转挠
上世纪六、七十年代，为了发展农业生产和在“水利是农业的命脉”的精神号召如下，我县修建了大批土石坝坝型的小型水库，由于当时造成设计不完善，工程布置不合理，导致坝址选址不当、大坝基础清基不彻底、上坝土料厚薄不均、坝体填筑施工工艺和设备不能满足土坝施工规范要求，造成许多水库建成蓄水后，坝体及坝基多处出现渗漏水等情况，为了查找具体病因，有效地整治病害，现以会理县中小型水库为例，对病害成因进行分析： （一
为了提高统计学实验课教学水平,对经管类非统计专业统计学实验课教学方法进行改革,随机抽取2个班的学生进行比较,结果显示以问题为中心的实验课教学方法得到了学生的认可,在
风险管理是国际电力工程项目管理中的一个重要环节。本文参照项目风险管理理论框架对国际电力工程中的常见风险及应对措施进行了初步的分析，并通过一个实际案例来探讨企业进行
目的探讨心尖肥厚型心肌病（AHCM）与心电图（ECG）异常的关系,提高对AHCM的诊断识别,减少误、漏诊。方法对31例AHCM患者的ECG资料进行分析。结果全部患者均合并有ECG异常改变（100%）;胸