摘要：信息处理系统的大规模化和复杂化 ,需要有效设计高可靠性系统的形式化的规格描述方法 .在通信系统中 ,前期设计阶段就要考虑系统变更频繁的情况 ,使得部分变更不要影响到系统的整体规格 .本文针对以上功能 ,提出了基于命题逻辑的信息处理系统的新的需求描述方法 .描述了通过使用逻辑 Petri Net( L PN) ,把命题逻辑的需求描述变换成状态转移图的过程 .并且给出了由 L PN自动生成状态转移图的算法 .

摘要：为提升箭载嵌入式软件测试的效率和质量,针对箭载软件时序控制这一测试需求,文章提出了一种基于状态转移图的测试用例自动生成算法设计方法;具体分析步骤为首先分析时序控制特性,其次选取状态转移图来表征,自定义所需图元属性以及图元关系、触发条件全面性与一致性的约束条件从而保证模型合理性;再次采用基路径覆盖、转移对覆盖、条件元覆盖3种覆盖准则相结合方式实现测试用例的自动生成;最后以某箭上软件全飞行周期时序控制为基础,多次结果表明该方法生成的软件测试用例可完全覆盖时序控制功能和性能需求,验证了方法的有效性和稳定性,可为箭载软件自动化测试工程化实践提供一定的借鉴。

摘要：针对深空探测器复杂系统并行及约束耦合等特点,在时间线描述框架的基础上,引入了状态转移图结构。通过分析探测器任务规划中的耦合约束关系,设计了转移图代价计算方法,并提出了基于状态转移图的启发式任务规划算法。利用转移图设计启发式对无关节点进行剪枝,削减了搜索空间,加速了搜索过程。数值仿真结果表明,该算法能够有效减少不必要的规划步数,提高任务规划的效率。

摘要：PLC编程语言主要采用梯形图、指令表和状态转移图,目前PLC普遍采用梯形图编程语言,以其直观、形象、简单等特点为广大用户所熟悉和接受。但是,随着PLC功能的不断增强,梯形图一统天下的局面将被打破,多种语言并存互补不足将是今后PLC编程语言的发展趋势。对于PLC初学者的学习应该多种编程方法相结合,分别采用梯形图和状态转移图对电动机进行正反转控制,通过对比分析两种不同编程方法的优缺点。

摘要：基于PLC可编程控制器在控制系统中无与伦比的优势,它们在人们的日常生活中扮演着越来越重要的角色,PLC可编程控制器已经越来越多地被人们加以使用。本文以户外彩灯广告为例,采用三菱公司FX2N-48MR可编程逻辑控制器对户外彩灯的亮灭、闪烁时间及流动方向等特殊要求进行设计。通过对FX2N-48MR可编程控制器输入输出点的分配、硬件端子接线、程序采用状态转移图SFC的设计,巧妙完成了户外彩灯广告的特殊要求。实际运行表明,PLC可编程控制器不仅能很好完成户外彩灯广告的特殊要求,而且还具有电路结构简单、安装调试方便的优点。

摘要：针对中继系统如何满足QoS要求并提高系统吞吐量的问题,提出了在Nakagami-m衰落信道下,联合物理层自适应调制编码(AMC)和链路层协作混合自动请求重传(CHARQ)技术的跨层优化设计方案.该方案利用状态转移图研究了中继系统丢包率性能,采用排队论模型分析了数据包排队时延性能.在满足丢包率、排队时延和传输时延等约束条件下,建立了最大化系统吞吐量的跨层优化模型.仿真结果表明,联合CHARQ与AMC的跨层设计方案,可以在满足QoS要求的情况下,实现最优的吞吐量、最小的丢包率及最短的排队时延和传输时延.

摘要：针对现有烫印设备存在自动化水平低和人机界面交互性差的问题,采用三维参数化设计方法对全自动烫印机的结构进行设计,以三菱新一代FX3GE系列PLC(programmable logic controller,可编程逻辑控制器)和T5L智能触摸屏为核心搭建了全自动烫印机的网络化控制系统,实现了伺服电机与气缸的高速、高精度驱动,PID(proportion integration differentiation,比例积分微分)温度控制以及多参数人机数据交互。针对传统固定路径顺序指令编程模式无法满足小批量定制化生产模式的要求的问题,提出了基于有限状态机(finite state machine,FEM)模型的全自动烫印机控制程序设计方法。首先,对全自动烫印工艺和运动工位的分布、数量和逻辑顺序关系进行功能规划与模块化设计,建立了层次化有限状态机模型;然后,根据状态迁移事件与状态转换条件构造了烫印动作的状态转换图;最后,结合图论思想,将状态转换图映射到邻接链表变量空间,并采用变量配置方式驱动邻接链表,从而完成对状态转换图的遍历和拓扑扩展。仿真结果表明,与传统的指令编程模式相比,基于有限状态机模型的全自动烫印机控制程序设计方法不仅提升了开发效率和组态化编程水平,有效降低了控制程序的维护成本,还保证了伺服电机与气缸的时序动作不会干涉和交叉,提高了控制系统的可靠性,具有广阔的工程应用前景。

摘要：提出一种基于移位原理的并联型步进控制器的设计思路,该步进控制器以CMOS-CC4015集成电路组成的"1"型环形移位器为核心,配合控制器输入/输出电路、移位器控制端电路等,共同实现并联结构顺序控制要求。实际应用表明:该控制器具备可编程序控制器(PLC)性能稳定、故障率低、能耗少、体积小、成本低等优点,控制器外围线路连接简单,使用方便、容易掌握,在单机自动化设备的步进控制中有较好的推广价值。

摘要：介绍了PLC控制的气动机械手的工作原理、硬件系统的设计及PLC状态转移程序的编制。实践表明PLC控制系统优于继电接触器控制系统,具有可靠性高,抗干扰能力强,组态灵活等优点。

摘要：在对一种执行机构由液压缸组成的镗床机械手结构进行分析的基础上,将PLC应用于其控制系统,完成了系统的硬件设计和软件设计。根据该机械手的工作特点,采用步进顺序控制方式,使程序简化,便于调试。