基于状态图的坦克行为建模研究

在现代作战仿真中,坦克是重要的建模对象,其行为复杂往往导致建模困难.采用传统有限状态机建立的行为模型,由于存在大量的状态和状态转移,模型可读性差,易于出错.因此,研究基于状态图的坦克行为建模方法.首先介绍了状态图中的状态、事件和转移概念,并探讨了并行状态这一重要特征;然后对坦克的复杂行为进行分析,采用序列图描述坦克对象之间的交互行为;定义了坦克的四个并行子状态:侦察、机动、攻击和防护,以及作战仿真中的主要事件;通过细化状态,最终建立了状态图表示的坦克作战行为模型.该模型比较全面地描述了坦克的作战行为,较好地反映了作战行为的并行、异步特点,模型的逻辑关系清晰,有较强的可读性.     

CDT On-Line系统的状态建模

状态建模理论是分析对象动态行为的有效方法，状态图可以直观地反映对象的状态迁移。CDT On—Line系统是用于实时采集彩管生产线质量信息的管理信息系统。文章运用状态建模的方法对CDT On-Line系统中的自动化生产过程进行了建模，目的是保证数据采集的可靠性和有效性，建模结果得到了实践的证明。     

基于UML的面向方面建模方法

面向方面编程（AOP）技术通过横切关注来实现软件系统.面向方面建模可通过扩展UML来实现,在元模型层次上设计面向方面软件开发（AOSD）模型框架.从结构建模、行为建模、方面织入以及代码产生几个方面实现面向方面的建模方法.利用UML类图实现方面的结构模型,方面与核心组件及方面之间的静态模型关系.协作图表达方面与核心组件及方面之间的动态行为,并通过状态图细化方面和核心组件的动态行为,实现状态图的方面与核心组件及方面之间的织入关系,最终实现方面代码的自动生成.基于UML的方面建模填补AOP与OOP技术之间的空白,提高软件设计的模块化,增强代码的重用性、维护性.     

UML—RT到一个实时多任务执行模型的转换

为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中，本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境，其次给出从UML-RT状态图转换到该设计环境可执行模型的具体方法，最后以一个实例说明了转换方法。     

采用动态描述逻辑实现UML状态图特性检测

状态图是UML（Unified Modeling Language）语言中刻画对象行为的重要视图，而如何对状态图模型定义的正确性和有效性进行检验一直是一个亟待解决的问题。本文提出采用动态描述逻辑对UML状态图形式化，并利用该逻辑系统的推理能力对状态图相关静态和动态特性进行检测。我们首先将状态图描述为一个形式系统。其中，状态图中的一个状态对应于该形式系统中的一个状态，状态特性及描述被表示为该形式系统中的概念和公理，事件被表示为该形式系统中的动作。然后，我们通过概念测试来检验状态图状态可满足性和冗余性，通过公式可满足性测试来验证状态转移引起的对象特性变化。     

基于UML的软件过程建模方法研究

论文运用UML对软件过程建模,用类图对静态结构建模,用顺序图,状态图对动态行为建模,并给出了一个软件配置管理过程建模的实例。     

CDT生产线的状态建模

彩色显象管（CDT）生产线是先进的自动化流水线，自动的关键部件是屏（Panel)，对CDT生产线的管理需要采集各个工序中产生的设备数据和员工输入数据以及条形码数据的质量信息，状态建模理论提供了分析对象动态行的有效方法，状态图可以直观地反映对象的行为，把屏作为对象来看，从它的状态分析中提取的模式适用于多个工序，也可以适用于其他类似的CDT生产线的制造过程，本文在分析CDT生产线的体系结构和应用模式的基础上，运用状态建模的方法对CDT生产线进行了状态建模，并提出了针对CDT生产线的状态模式，为CDT生产线的生产过程改造提供依据，同时也能够准确确定数据采集点，为实现CDT生产线的在线质量管理系统提供了完整的需求分析，并辅助软件设计和代码生成。     

合成状态图中非预期状态转换路径的确认

利用Scenario进行需求建模能够反映从用户角度观察到的系统行为,而利用状态图能够从对象角度对系统行为进行精确描述.从Scenario到状态图的自动转换指软件开发过程中,从UML需求模型自动生成行为模型的过程.在分析已有的自动转换算法存在的不足的基础上,提出了从语法角度出发,对用例进行分析,提取合适的状态向量;利用在算法中增加Scenario的相关信息,确定非预期状态转换路径.     

一种基于面向侧面技术的并发式软件建模方法

基于面向侧面（Aspect-Oriented）技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。本方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中，并通过事件广播机制反映二者的交互关系。同时，以模块化的状态迁移系统 （Modular Transition System）作为基本计算模型，对该建模方法进行形式化描述，给出了模型元素及建模过程的精确语义。实例研究表明，该方法在并发软件设计阶段实现了横切关注点的分离策略，并使得系统模型具有松耦合、适应性和可跟踪性的优点。     

基于对象状态的面向对象软件测试方法研究

主要介绍了面向对象软件的类测试技术。从基于对象状态方面分析UML状态图的组成、并发的优点,描述继承的对象动态行为、并发的动态行为,给出利用UML状态图构造复合状态测试树算法并产生测试用例的面向对象软件测试方法。     

视频图像处理在物体摆动特性研究中的应用

提出了一种利用视频图像测量物体摆动特性的方法。给出视频图像处理的基本流程和方法,利用AVI函数对视频图像逐帧分解,使用一维最大熵算法实现图像的分割,利用重心算法计算物体的运动轨迹。最后给出核心算法的C++实现及对塔吊载荷摆实验的分析结果。     

空间目标几何与行为一体化建模方法

空间目标的三维建模包括几何建模和行为建模技术,是构建虚拟空间环境的基础。物体的几何建模方法目前比较成熟,但行为建模技术相对滞后。为实现虚拟空间环境中航天器的在轨运行仿真,该文提出了基于对象层次结构的实体三维几何与行为一体化建模语言（GBML）。该语言在定义基本图元的基础上,使用树状组件结构将空间目标的几何与行为参数进行表达、管理和绘制,以实现空间目标的几何与行为一体化仿真。最后基于OpenGL基本函数库,实现了可重用的支持GBML语言的模型处理组件ModelReaderCom。通过试验结果表明,该方法是有效的、可行的,可以广泛应用于各种虚拟环境中。     

一种状态图到B规格说明的自动转换方法研究实现

状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。     

A model-based vision system for industrial parts using a small computer

A model-based vision system has been successfully implemented in a small computer environment. This approach uses a basic solid modeling system to develop three-dimensional models of mechanical parts. From those models, two-dimensional projections are taken for every stable state of the object, with many orientations around the object's vertical axis for each stable state. These two-dimensional projections are treated as synthetic binary images, from which a variety of features may be measured and extracted. A similar procedure is used for a binary image of an object from a real scene, and features are also extracted for that image. A simple matching procedures uses the model-based feature sets to determine the real object's stable state position and orientation. This paper describes the system in detail and shows examples of its use.     

A Data Flow Approach to Procedural Modeling

Procedural models can simulate an object's behavior as well as its appearance. When combined with data flow methods, they provide a useful approach to image composition and animation.     

基于模糊聚类的马尔可夫方法在需求预测中的应用

马尔可夫预测传统的状态划分采用人为确定方法,由预测者的经验决定预测对象的初始状态.状态界限的划分定性分析因素极大.提出根据预测对象数据自身的相似度,采用模糊聚类方法对预测对象进行初始状态划分,确定初始状态概率和状态转移概率矩阵,进行马尔可夫预测的方法.该改进的方法在某铸钢厂的铸坯需求预测中进行了应用,预测结果表明该方法可有效指导铸坯需求.     

一种基于状态机的形式化验证技术

状态机作为一种描述实体间交互或者单个实体行为的建模图,它具有丰富的直观图形化的符号。在许多模型的设计阶段都采用它来建模。但是因为缺乏精确完整的语义定义,给它的形式化验证带来困难。本文给出一种形式化操作语义,并概述基于形式化规则的验证技术。     

一种基于状态机的形式化验证技术

状态机作为一种描述实体间交互或者单个实体行为的建模图,它具有丰富的直观图形化的符号。在许多模型的设计阶段都采用它来建模。但是因为缺乏精确完整的语义定义,给它的形式化验证带来困难。本文给出一种形式化操作语义,并概述基于形式化规则的验证技术。     

基于时序描述逻辑的UML状态图语义

将UML图形转换成形式化规范是一种精确UML语义、扩大形式化软件方法适用范围的有效途径。鉴于描述逻辑强的可判定推理能力,提出一种采用时序描述逻辑形式化UML状态图,对描述逻辑进行时序扩展,得到可以表示动态和时序语义的形式化规范——时序描述逻辑,给出一套UML状态图向时序描述逻辑表达式转换的规则,通过实例验证了该方法的可行性。     

A New Parametrization of Rational Inner Functions of Fixed Degree: Schur Parameters and Realizations

We present a new parametrization of inner functions based on the Schur algorithm. We make use of state space formulas (in practice we obtain a new parametrization of observable pairs). The main advantage of our parametrization is that for each chart the observability gramian is constant: this leads to very good behavior in some approximation problems. Date received: July 22, 1997. Date revised: February 1, 2000.