论文部分内容阅读
介绍了控制软件设计与验证系统的原理与实现过程，给出顺序功能图［1］（Seq uential Function Charts，即SFC）需求说明语言到系统Petri网模型的转化算法和系统几种异常现 象的验证算法，讨论了系统实现的若干关键技术，最后通过例子演示了系统的操作过程。
控制软件设计与验证计算机辅助系统
【摘 要】
：
介绍了控制软件设计与验证系统的原理与实现过程，给出顺序功能图［1］（Seq uential Function Charts，即SFC）需求说明语言到系统Petri网模型的转化算法和系统几种异常现 象的验证算法，
【机 构】
：
同济大学计算机科学与工程系,山东科技大学计算机科学系,中国科学院软件研究所
【出 处】
：
高技术通讯
【发表日期】
：
2001年3期
其他文献
改革发展期的农业生产,实现高效率作业离不开农业机械化。大量的实践证实,农业机械在农业中生产作业,有利于降低劳作强度,有利于提升农作效率,有利于发挥节本增效的作用。为
对分离自青岛沿岸的下毛目纤毛虫－胖尾刺虫（Uronychia transfuga)的16s小亚基单位核糖体RNA（16s-like Smeall Subunit rRNA)基因进行了序列测定，通过与目内其它相近属多种纤毛虫
“大丰庾”是黑龙江六基生物科技发展有限公司提供的微生物菌剂“根茎宝”,是运用数种有益微生物DM-EM经特殊营养源培养后形成大量益生菌及其代谢酶。该产品含有多种活性酶,
采用同步光传输技术,设计和实现了用于高速数据可靠传输的多通道数据传输卡.该卡采用VME总线接口,支持单工和全双工工作模式,每通道数据吞吐率为2.5Gbps,每一全双工传输通道
针对中南、西南地区烟叶种植面积广,劳动强度大,机械使用环节比重少的特点,研制开发了YB-550型步进式烟叶编织机,该机采用编织袋打包缝纫机及步进式的工作原理,结构紧凑,操作
水稻是喜温短日照作物,是需要肥料和水分较多的高产作物,水稻要获得高产,必须有适宜生长的环境条件,采取科学的栽培管理技术措施。论述了冷凉山区水稻生长需要的光照、水分、
针对基于订单生产的企业在限定交货期下排产时的网络工序间的冲突问题,提出了一种新的基于节点的网络工序冲突检测/消解算法,对算法进行了时间复杂性分析,并在应用示范工程中
应用基因工程技术改良树种,具有巨大的经济潜力和社会效益.林业生物工程将可能是继农业生物工程之后又一个热潮.目前,无论是阔叶树种还是针叶树种的转基因都已获得成功,已有
利用PCR方法,从毛白杨(Populus tomentosa C.)叶绿体基因组中克隆了1.7kb和1.6kb的相邻DNA片段,对其进行序列分析表明,扩增片段分别具有1766个和1601个核苷酸,前者包括3'