用PLC内部辅助继电器实现顺序控制的应用

本文提出用用PLC内部辅助继电器实现顺序控制的方法,并用实例进行说明,可提高PLC程序设计速度和质量.     

一种简捷快速的状态图简化算法

同步时序机的状态驱动可根据状态图来完成，状态图通常由次态方程求得，但对于复杂的同步时序机，其状态图一般比较复杂且庞大，难于用计算机描述和处理。本文给出一种由次态方一成简化状态图的算法，可使复杂的状态图大大简化而不影响状态间的驱动。     

基于程序执行状态图的软件测试方法研究

软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。最后,文章介绍了使用PESC逐步生成测试路径的方法。     

UML状态机的形式语义

许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制--状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明.为了解决这一问题,采用以下方法为UML状态机构建形式语义.把UML状态机中的状态映射到一种项代数上,用归纳的状态项表示状态机的状态.然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步.最后,用Plotk     

利用事件-状态图进行面向对象的系统设计

面向对象的一般概念并不保证系统设计的正确性、完整性和一致性 ,而且应用面向对象的方法 ,系统设计变得更为重要了。本文提出的事件状态图法是一种简捷有效的面向对象的系统设计方法。文章阐述了这一方法的具体应用 ,并讨论了识别现实系统的对象时应注意对状态变量的定义。文中最后还提出了一种包含 VBA编程的电子化版本的事件状态图     

一种快速高效开发Web应用的方法

用建立在脚本对象模型上的Visual Interdev的Design-time Controls控件设计Web界面时，面临的一个问题是如何处理控件间及界面间的动态变化关系，文章结合一个实例给出了利用自动机理论来分析处理的方法。这种利用控件及自动机理论的方法有助于快速高效开发Web应用，所开发的Web应用系统具有较强的逻辑性，且页面结构简练，使用方便。     

基于雷达干扰的对抗系统模型分析

从系统论的角度，运用系统研究的方法对由雷达干扰组成的电子冲突系统进行定性和定量描述。建立了电子冲突系统和雷达干扰系统的系统概念和系统间联系，尝试了电子冲突建模的系统模型化研究，初步探索了系统研究方法、系统研究理论在该领域中的也用。为进一步的雷达干扰的作战效能评估奠定重要的系统论理论基础。     

采煤工作面采煤机和输送机分级协调控制系统的研究

采煤工作面的采煤机和输送机的传统调节方式是分立控制的,本文从系统工程学观点出发,结合计算机控制技术和液压控制技术,提出了对采煤机和输送机进行分级协调控制的多目标优化决策新策略,并完成了相应的实验研究。理论分析和实验研究结果表明,采煤机和输送机采用分级协调控制算法进行综合协调和控制是可行的,多目标优化决策策略具有良好的鲁棒性和满意的控制品质。     

顺序图与状态图的递归语义一致性研究

建模面向对象的软件系统是UML的动态图的重要应用,采用顺序图描述消息传送,动态图描述活动.在大型系统开发过程中,往往存在大量顺序图和状态图,由于语义的缺失,导致这些图形表达涵义模糊不清,特别是在递归的信息传送上,由于表达方式的特点,状态图很容易造成实现过程的歧义甚至死锁.提出了基于ASM的多agent实时控制方法,结合形式化的规则定义,通过多个层次agent控制状态的跃迁,保证状态图在描述复杂信息传送时,能够和顺序图的时序保持一致,这对提高系统的可靠性具有一定的现实意义.     

从Scenarios到状态图的算法分析*

采用Scenarios进行需求建模能够反映从用户角度观察到的系统的行为,状态图是系统行为的精确描述。从Scenario到状态图的自动转换是指软件开发过程中从UML需求模型自动生成行为模型的过程,其研究对于细化系统行为,保持开发过程中模型间的一致性有重要意义。对其研究现状及进展进行了介绍,并对现有算法进行了总结和分类,进一步指出这些算法的不足和今后需要改进的方向。