【摘 要】
：
研究了基于验证完毕的逻辑和软件体系的码垛机器人生产线控制软件设计问题.基于软件开发的瀑布模型,首先根据需求提出了软件体系架构,其次采用Petri网络建立软件模块调用规则
论文部分内容阅读
研究了基于验证完毕的逻辑和软件体系的码垛机器人生产线控制软件设计问题.基于软件开发的瀑布模型,首先根据需求提出了软件体系架构,其次采用Petri网络建立软件模块调用规则模型和控制逻辑模型,并使用可达图证明了调用规则的安全性和无死锁性,基于系统仿真软件Simulink-stateflow仿真技术验证了控制逻辑的合理性.在此基础上,基于图形化编程语言Labview进行软件编码和测试,实现了对码垛机器人生产线的所有控制功能.工程实践表明,采用该方法设计的控制系统可安全可靠地完成码垛操作.
其他文献
金融风险是现代金融经济学中一个重要的研究领域之一,金融风险测度作为风险管理的基本手段,就是运用金融风险测度对各种金融风险进行有效且具体地测量。本文在一致风险测度、
高中语文课程可以加强学生情感培养,人文性教学作为素质教育的主要内容,强化语文课程人文性教学符合新课标要求。本文通过分析人文性教学的重要性,给出高中语文强化人文性教
为了完善仙茅人工栽培和仙茅根繁殖体系,以四川、湖南、贵州、广西、云南收集的仙茅为实验材料,研究了不同地区,不同根部位、根年龄、根直径和根切割长度的仙茅根繁殖成活难
低成本配煤采购系统由煤炭特性记录管理系统和煤炭采购优化系统组成。煤炭特性记录管理系统可以对所有炼焦煤的性能参数进行记录、修改、计算，求出不同时间段内煤炭性能参数的
对读写结合问题的研究，不仅具有语文教学的现实意义，而且有重要的理论价值。本文通过对一堂论据使用讲评课的呈现，引导学生读得深，写得准，探讨读写结合在高三作文教学中的具体实践
沿海防护林工程是生态建设的重要部分,对防御海啸和风暴潮等自然灾害具有重要的作用。舟山普陀位于浙江台风、洪涝灾害频繁发生的沿海地区,科学合理地选择防护林树种对于舟山
二十世纪七十年代以来，金融市场化的进程不断深化，各种金融创新也不断涌现，在这样一个大背景下，银行业在享受发展成果的同时也面临着激烈竞争环境所给予的压力。西方银行顺应时势
前言 为使企业在组织生产、销售、经营中有据可依，保证和稳定茉莉花茶质量，维护产品信誉，保护消费者的利益，特制定本标准。本标准根据茶叶产品特征和生产、消费趋势，参照有关国
提出基于观点挖掘的产品可用性建模与评价方法。以Web上的产品评论为数据,利用观点挖掘的方法从非结构化评论中抽取结构化数据,选取与可用性相关的产品特征,使用因子分析法提
介绍绿色制造的内含与概况,阐述绿色制造在现代制造业中的重要性.主要讨论绿色机械加工的方法及关键技术,并建立其评价指标体系.