UML状态机模型元素的RSL形式化定义

UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机;然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础。     

基于有穷状态自动机原理的粉状物料运输车智能卸料控制程序

控制程序是粉状智能物料运输车完成自动卸料过程的关键,控制程序设计的好坏决定卸料过程能否顺利完成。针对新型粉状物料运输车智能卸料控制器,采用基于消息传递机制和有限状态机原理的多分支结构,程序结构简单清晰,容易编写、调试、功能扩展。     

基于系统调用的入侵检测新方法

通过分析系统调用行为特征,提出了程序的系统调用行为可以用有限状态自动机来描述的方法,证明了算法产生的自动机的完整性,并给出算法性能分析结果。     

一种事件驱动有限状态机的编程实现框架

在现代程序设计中,网络协议实现、游戏角色建模等很多复杂场景切换问题都可以用有限状态机来描述。本文将有限状态机概念与事件驱动模型结合,设计一种可复用的代码模板实现各状态转换的动态管理。该方法简洁高效,模块逻辑清晰,提高了系统的健壮性。     

状态机在嵌入式系统设计中的应用

为了使嵌入式系统软件更易于编写,并且提高可维护性,本文将有限状态机引入到嵌入式系统设计中.以工程实例为背景,首先利用程序流程图对算法进行描述,然后提出了状态机建模的基本步骤和使用方法,最后通过对比得出了状态机在描述算法上的优势.     

基于VHDL有限状态机控制器的设计方法

有限状态机作为形式化描述方法具有独特优点,在利用VHDL进行电子系统控制功能的设计和实现中,有限状态机已成为有力的手段和途径。通过一个循环控制器的设计实例,说明了利用有限状态机的基本流程和方法,并给出了程序与仿真结果。     

基于有限状态机的空间对接仿真平台控制系统设计

给出了一种基于分层式有限状态机的五自由度空间对接仿真平台控制系统设计方法,对状态机进行了扩展定义．增加了一个定义于状态上的变量属性集合,使其有利于系统的代码实现．结合控制系统采用的10 ms定时中断机制,将状态机层次划分到了可以分析每个10 ms硬件中断程序所需实现的控制功能状态及其转移、继承关系的程度,可以更清晰地设计出中断程序所需要的构成结构．系统的实际应用结果证明了上述方法的有效性．     

一种提高时序安全属性静态检测实用性的方法

程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组合爆炸情形出现的机会,最终使时序安全属性的静态检测在准确性和可伸缩性上都得到了提高.实验表明,FSM切片可以使Saturn的可伸缩性平均提高到原来的6.34倍,使Fastcheck的准确性平均提高到原来的1.20倍.     

用STATECAD快速设计有限状态机

有限状态机设计的关键是如何把一个实际的时序逻辑关系抽象成一个时序逻辑函数,传统的电路图输入法通过直接设计寄存器组来实现各个状态之间的转换,而用硬件描述语言来描述有限状态机,往往是通过充分发挥硬件描述语言的抽象建模能力,通过对系统在系统级或寄存器传输级进行描述来建立有限状态机。随着EDA工具的快速发展,通过CAD快速设计有限状态机自动化成为可能。     

基于有限状态机的模型转换方法的研究

模型转换是MDA框架中最重要的组成部分之一,因此,对模型转换方法的研究非常重要。为了促进MDA框架理论的发展以及探索更有效的模型转换机制,文中对模型转换方法做了较深入的研究。文中通过对有限状态机的分类和有限状态机的工作原理的介绍,并把有限状态机的理论应用到模型转换中,从而提出了基于有限状态机的模型转换方法。文中从以下几个方面对基于有限状态机的模型转换方法进行了较深入的分析与研究,主要包括转换元模型的定义、模型转换中的有限状态机的描述和可逆向操作的状态生成算法。文中提出的方法为有着比较明显的状态变化的模型之间的相互转换提供了一种比较方便的模型转换实施方案,同时对其它模型转换方法也有一定的参考价值。     

基于PLC的三工位钻床工作台控制系统设计

为了改善传统控制方式的缺陷,提高加工效率和自动化程度,以三工位旋转钻床工作台为研究对象,在分析了其工艺过程与控制要求的基础上,介绍了采用PLC对工作台进行控制的方法及应用情况。建立了系统液压控制部分的原理图,对PLC系统的硬件和软件进行了设计,给出了系统的端口接线图、控制程序的部分梯形图与状态转移图。利用三菱仿真软件和实际元器件对程序和系统均进行了调试和运行,结果表明,将PLC应用于三工位钻床工作台控制,提高了设备的自动化水平、生产效率与运行的可靠性,具有一定的经济效益。     

基于用况图的程序理解方法研究

用况图从用户的角度描述了系统需求,是表达系统功能的有效方式。如果能从系统源代码中直接抽象程序的用况图,对于程序理解工作将具有很大的帮助。基于此理念,提出了基于用况图的辅助用户程序理解方法。该方法通过静态分析把源代码抽象为树型图表达结构,通过度量计算树型图中各类结点值并生成带权的树型图,根据设定的阈值对该图进行剪裁来控制程序复杂度,通过对剪裁后的树型图进行遍历形成系统的执行路径集合,抽象为最终的候选用况。在图形化工具的辅助支持下从候选用况中抽象出系统的用况图,实验分析取得良好效果。     

一种面向对象的PLC程序设计方法

为了减小经验因素的影响,对设计阶段进行更好的质量控制,借助于面向对象的分析与设计理论,对传统的基于状态转移的PLC程序设计方法进行了改进,提出了一种面向对象的PLC程序设计方法。使用UML建模工具,分别用类图和状态机视图描述控制系统的静态结构和动态行为,进而把状态机视图转化为梯形图。通过把面向对象技术及UML引入传统的PLC控制领域,既提高了PLC程序设计的可靠性,也扩展了面向对象技术和UML的应用领域。     

三元相图绘制编程与应用

为了能快速、精确地绘制出满意的三元体系的平衡相图,作者应用Inprise公司的快速开发工具Delphi 5设计实现了解决该问题的计算机绘图程序。程序具有较高的自动化程度,在相图区具有动态组成提示功能,对两相曲线可选用多项式拟合或样条函数平滑拟合,并可进行分段处理,能自动确定结线之间的最佳交点,从而确定有无新的化合物生成。应用本程序绘制了几种不同类型三元体系的平衡相图。实例运行结果表明,该程序使用方便、灵活、作图快速,图形效果满意。     

基于UML和Petri网的锅炉仿真系统的研究

结合了UML状态图的表达特性和Petri网的分析特性,总结出状态图的设计步骤和状态图转化为Petri网的规则,并以国家质检总局科技项目-锅炉仿真系统为背景,对锅炉自动燃烧过程实例进行分析,按照设计步骤和转化规则,最终用Petri网描述出实例,为进一步分析系统特性奠定基础.     

脉冲调宽系统的状态转移分析

本文基于状态转移理论,分析了脉冲调宽系统的精确方法,给出了递推算式及计算程序框 图,并以脉冲调宽式数字随动系统为例,应用状态转移方法计算了单位阶跃响应.文中介绍的 方法具有准确反映脉冲调宽系统真实工作状态的优点.     

基于VB的燃料电池发动机监控系统设计

应用Visual Basic6.0开发燃料电池发动机车载监控系统软件,包括动态主控界面设计、通讯程序设计、控制程序设计和数据存储程序设计。描述了整个监控画面的设计原理和方法,详细地介绍了通信协议和上位机监控程序的工作流程,并补充说明了VB中PID控制算法的实现,用以调整电堆温度、压力、水位等各种监控参数;最后介绍了历史数据存储程序的操作方法。实践证明,该系统图形界面友好,数据采集准确可靠,操作简单,安全稳定。     

基于PLC的数控车床装料机械手控制系统设计

本文介绍了数控车床装料机械手的工艺流程,提出了基于PLC的控制系统解决方案。分析了步进电机的控制原理和实现方法,并对顺序控制过程进行了阐述,同时,设计了控制梯形图。     

基于UML状态图的类测试用例实现的研究和设计

UML状态图能有效的表现系统的并发控制和类的嵌套,但用其实现的类测试用例复杂.研究了UML状态图和扩展有限状态机这两种方法在软件测试中状态转换的特点,利用扩展有限状态机状态转换单一线索化的特点降低UML状态图在类测试用例生成中的复杂性.以一个坐标图形显示类的测试用例生成为例,详细讨论了结合扩展有限状态机状态转换特点的UML状态图在面向对象测试技术中的应用.     

薄膜吹塑设备控制系统的设计与实现

自动化、智能化的控制系统已成为薄膜吹塑设备基本要求,介绍一种采用PLC、温度控制模块、人机界面、变频器组成的高性价比控制系统,包括整体方案设计,软硬件规划,具体实施及开发过程注意事项,系统实际运行稳定可靠,开发周期短.