基于线性时序逻辑的制卡流水线控制系统建模研究

来源 :数字技术与应用 | 被引量 : 0次 | 上传用户:ken112233
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
多工位制卡流水线设备控制系统是一种相当复杂的计算机控制软件,要求能够使用工业控制机或PC机等一般计算机设备控制流水型设备的各工位的生产和协作,保证产品在各工位间传送、加工过程流畅,出错率低。本文采用形式语义及方法对金融领域卡片生产设备的通用系统服务框架进行研究和建模,以确保建立一个稳定、可移植性强的通用开发框架,通过这个通用开发框架,可以迅速高效地开发出针对某一特定机型的计算机控制软件。本文将使用线性时序逻辑语法对多工位制卡设备控制系统进行形式化语义描述和建模,主要针对整个制卡流程以及在卡片在一个模块中的
其他文献
<正>~~
期刊
针对高校大型计算机房的能耗越来越大,其节能问题越来越重要。该文运用能源效率标准,系统地分析了大型机房各项耗能指标,并提出了节能的方法,从而降低能耗,提高能源效率,达到节能的
本文针对目前微机原理实验中存在的问题进行了详细的分析和研究,提出了积木式微机原理实验箱的设计思想和实现方法
新疆维吾尔自治区是中国陆地面积最大,交界邻国最多,陆地边境线最长的省级行政区,它共有55个民族成份,截止2016年末,总人口共计2398.08万人,其中少数民族约占60%。新疆自治区
高新区在广西北部湾经济区有着重要作用,诸如引领作用、孵化作用、窗口作用和辐射作用等等。在广西北部湾经济区的建设中必须充分加以发挥。通过进一步更新发展理念,完善"硬"
产业转移是经济发展的必然规律,承接东部产业转移能较好地实现经济跨越式发展。百色承接东部产业转移既面临着国际产业转移、国家产业政策调整等多重机遇,也具有综合经济实力
据鹤壁六矿采掘作业地点的煤层条件、瓦斯地质条件、应力分析情况、采掘工艺条件及现场考察等,在一段时间内测试煤与瓦斯突出的常规指标与电磁辐射技术指标的对比关系,将连续监
马克思主义哲学是个体参与竞争和在社会主义建设事业中开展创造性活动、提高思维能力和实践水平的绝佳教材。马克思主义哲学的首要观点即实践观的实质是推崇创新精神,辩证否
<正> 1.一位老教师的批评引起的思考几年前,我们和一位校领导到实验室了解情况,一位老教师指着身边的窗帘对我们讲:你们来有什么用,你们看,这窗帘还是我当学生时挂上的……。