【摘 要】
:
可编程逻辑控制器(PLC,Programmable Logic Controler)是一种典型的嵌入式系统。嵌入式系统规模越来越大,迫切需要引入软件工程中的方法,该文将从以建模语言为基础的形式化方法
【基金项目】
:
内蒙古自然科学基金资助项目(项目基金:2017MS(LH)0603)
论文部分内容阅读
可编程逻辑控制器(PLC,Programmable Logic Controler)是一种典型的嵌入式系统。嵌入式系统规模越来越大,迫切需要引入软件工程中的方法,该文将从以建模语言为基础的形式化方法和基于构件的方法两方面进行探究。
其他文献
1983年11月18日,《人民日报》在头版报眼位置播发通讯,以《精明强干的工业指挥员——王泽普》为题报道了王泽普的治厂奥秘.34年后,面对企业盛衰兴替,老厂长王泽普再为改革鼓
<正>虽然'包'治百病,人人爱包,然而生活中的我更是一个围巾控——并不只是因为包太贵了,一年能买一个已经觉得奢侈,而是因为我更眷恋和依赖围巾。冬天自然需要围巾。
了解园林小品的含义、组成要素和内容,以及各种园林建筑小品在园林景观中的功能,有助于进一步深化其设计理念及在景观中的作用。文章对此展开了研究,供参考。
目的探讨食管覆膜支架在食管癌术后吻合口狭窄及食管胸膜瘘中的应用状况。方法 26例食管癌术后吞咽困难者,其中8例合并食管胸膜瘘,在超细胃镜直视下置入食管覆膜支架。对食管
<正> 1990年,银行先后两次调低了存贷款利率,利率年均下调2.34个百分点,这是我国自1979年以来先后六次调高存、贷款利率后的首次下调利率,改变了我国近几年存、贷款利率只调
春节,外国小伙艾朗希望能一个人静静或者出去旅游。他想去看看雪看看大海以及感受自然的清新。这是他第一次在中国过年,希望能有不一样的体验。 艾朗,一个29岁的巴基斯坦小伙。2017年对于他来说是工作起步的一年,這一年他研究生毕业开始做外贸,虽然起步较慢但他非常有信心。艾朗爸爸2003年就来到中国,2009年他们一家人也都从巴基斯坦老家卡拉奇来到中国。而今,跟着爸爸一起做外贸,艾朗期待2018年新一年
自2013年秋天习近平主席提出“一带一路”倡议以来,“一带一路”建设逐渐从理念转化为行动,从愿景转变为现实,建设成果丰硕。目前,要充分认识“一带一路”建设中需要解决的主要问题,并把握好未来的发展趋势。 2017年5月,首届“一带一路”国际合作高峰论坛在北京举办,这是“一带一路”框架下最高规格的国际活动,也是中华人民共和国成立以来由中国首倡、中国主办的层级最高、规模最大的多边外交活动,是中国年
<正> 银行的经济效益,一方面表现为投放于社会再生产过程中的信贷资金与社会再生产活动的有效成果之间的比例关系;另一方面表现为银行(企业)经营信贷资金的经营成果与银行信
【正】 胡耀邦同志在中国共产党第十二次全国代表大会上代表党中央提出了我国经济建设的战略目标、战略重点、战略步骤和一系列正确方针.宣布了从一九八一年到本世纪末的二十