【摘 要】
：
C语言具有良好的可移植性,适合于可编程控制器(Programmable Logical Controller,PLC)的嵌入式系统实现和研发;而定时器在PLC系统负责时序逻辑描述,具有很重要的作用。文章着
论文部分内容阅读
C语言具有良好的可移植性,适合于可编程控制器(Programmable Logical Controller,PLC)的嵌入式系统实现和研发;而定时器在PLC系统负责时序逻辑描述,具有很重要的作用。文章着重研究如何将PLC结构化文本(StructuredText,ST)语言中的定时器转换为C语言程序的问题。介绍了ST定时器时间自动机模型的构建,以及将该时间自动机描述为C程序,并采用UPPAAL模型检测工具进行验证,从而保证转换前后功能的一致性。
其他文献
本研究认为＂管理风险＂是文化产业园风险管理体系不可忽视的重要组成之一,而＂人才风险＂又在文化产业园的＂管理风险＂中占据着至关重要的位置,同时,研究＂人才风险＂的最终结果是明确提出
甘肃有着丰富的文化旅游资源，但作为文化旅游资源重要组成部分的甘肃现代文化与旅游资源的整合开发却相对滞后，旅游产品开发乏力。首先就甘肃现代文化与旅游资源整合的必要性‘
语言运用中“连”字句肯定式与否定式的选择丁雪欢“连”字句（以下简称“连”句），是以“连Ｘ都／也ＶＰ”为代表格式的句于。Ｘ包括各种性质及结构形式的词与短语，ＶＰ为谓词性结构，“连”句据其
茶叶具有保健和药用价值,在各国市场上都可以领略到茶叶的风姿。中国茶叶种植历史悠久,无数代神农子民把茶叶销售作为生活的主要资金来源。作为茶叶种植和出口大国,我国茶叶
<正>自发性气胸是一种主要累及中青年男性的呼吸系统常见急诊之一,近年来的发病率有继续上升趋势.为探讨其临床特点及治疗措施,本文就笔者阅读过的近期有关文献10篇,计802例
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
相比传统40或45分钟一节的课程,微课时间精简、授课内容集中,更符合职业英语教学目的性、针对性强的特点,能够充分针对学生学习过程中的某个环节或＂症结＂进行专项教学。本文结
针对无蜗壳风机箱效率低下和静压不足的问题,使用Fluent对其空间模型进行定常分析,对比不同流速下出厂、试验和仿真的结果,验证仿真结果的相对准确性。在对内部流场进行数值
移动互联网时代,微信是高校思想政治教育的重要工具.基于SWOT理论分析,微信传播信息即时性强,是观察学生思想政治状况的重要渠道,减轻了学生与老师沟通时的心理压力;但微信传
中枢阿片肽和胆囊收缩素功能活动的消长是决定针刺镇痛有效性的重要因素韩济生（北京医科大学神经科学研究中心１０００８３）主题词针刺镇痛，内啡肽类／生理学；八肽胆囊收缩素／生理学中图号Ｒ２４５－０随着神