论文部分内容阅读
针对顺序控制任务,给出了一种基于Petri网的顺序控制器设计和验证方法.将顺序控制的规格说明描述为Petri网,传感器信号定义为变迁的属性,通过网的不变式理论对其加以验证.由于现有工控机和可编程序控制器并不支持基于Petri网的控制程序,所以研究了基于Petri网的控制器到梯形图的转换方法.
一种顺序控制器的设计和验证方法
【摘 要】
：
针对顺序控制任务,给出了一种基于Petri网的顺序控制器设计和验证方法.将顺序控制的规格说明描述为Petri网,传感器信号定义为变迁的属性,通过网的不变式理论对其加以验证.由
【机 构】
：
西安电子科技大学,机电工程学院,陕西,西安,710071
【出 处】
：
西安电子科技大学学报（自然科学版）
【发表日期】
：
2000年2期
其他文献
生姜简称姜，又称黄姜，生姜为多年生宿根草本植物，是重要特产经济作物之一。含有多种营养成份，具有特殊的香辣味，是不可缺少的调味品，药用价值很高，有“菜中之祖”的美称。生姜以其地
话说有一天，我这枚帅哥被一群女生怂恿着上了游乐园的过山车，于是好戏开场了…… 打肿脸也要充胖子 那天，我们班来到一个游乐园游玩。我正在园里闲逛时，瞄见一群女生以一种有点鄙视又有点挑衅的眼神盯着我。我暗叫不好，刚想敬而远之，却被她们拦下，然后就鼓动我去玩过山车。我看看那过山车，虽说七绕八拐的，但好像也不太吓人。如果上去坐一圈，起码证明我还是男子汉；如果不去，那些女生120%会笑话我的。最近的两周
期刊
支气管哮喘是一种由花粉、灰尘、工业气体以及季节变化、环境改变、呼吸道感染等原因诱发的常见发作性的肺部过敏性疾病。发病时由于气道平滑肌的痉挛，伴有不同程度的黏膜水肿，分泌物增多，产生胸闷、憋气、喘息、喉间哮鸣和咯黏液痰等症状。在缓解期，上述症状虽可消失，但由于此病有反复发作的特点，给病人造成诸多不便和痛苦。支气管哮喘属于中医“哮证”、“喘证”范畴，急性发作期与缓解期应予以区别对待。 急性发作时，一
某聚丙烯装置改造项目选用立式带气相搅拌聚合工艺专利.作为本专利的核心设备 ,反应器及其搅拌器无论是从平面或立面布置 ,还是对其吊装过程以及安装细节 ,均需要在设计阶段
课外阅读是语文学习中非常重要的环节,是切实提高学生语文能力的重要途径.通过课外阅读,学生可以间接地向社会、向自然、向生活、向实践学习,对他人的思想进行反复体味、咀嚼
慢性前列腺炎是中老年男性的多发病、常见病，具有病程长、易复发等特点。在疾病急性发作期需及时治疗，病情相对稳定后，除坚持药物治疗等措施外，辅以饮食疗法，往往具有增强体质，提高人体抵抗力，阻止疾病进一步发展和缓解症状的良好效果。 马齿苋车前草茶马齿苋60克，车前草60克。将两味药洗净，加水煎汤代茶饮服。具有清热利湿的功效，适用于湿热型前列腺炎患者。 绿豆车前子汤绿豆60克，车前子30克。将车前子用
中国是全球人口最多的一个大国，面对这样一个基本国情，所有的粮食和蔬菜的生产者都应该对粮食和蔬菜的发芽率以及高产方面做出一系列的调查和研究，了解一些处理它们的方式方法，这
1月20日，国家统计局公布2014年我国国内生产总值为636463亿元，比上年增长7.4%，增速创下自1990年以来24年新低。分季度看，一季度同比增长7.4%，二季度增长7.5%，三季度增长7.3%，四季度
期刊
在道路交通事故中,因汽车翻车造成的事故占整个事故的40%以上,汽车翻车后不但造成经济的更大损失,而且极易造成人员伤亡;因此,汽车翻车是一种恶性交通事故。研究、探讨汽车翻