摘要：统一建模语言(UML)是一组面向对象分析和设计的形式化表达语言,基于UML,统一软件开发过程(USDP)提出了软件开发的过程方法。目前,基于UML的软件测试研究中,很少有研究将开发过程和测试过程结合的系统研究。笔者提出了一个基于UML的面向对象软件测试框架,该框架有效地结合了UML和统一软件开发过程。所提出的测试框架将软件测试分为系统测试、类族测试和类测试,其中,系统测试根据use-case和系统序列图生成测试用例,类族测试根据集成的状态图生成测试用例,类测试根据类的状态图生成测试用例。介绍了UML与软件测试的层次关系,并讨论了各类测试用例的生成方法。

摘要：在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战:全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基于上述问题和实践工作,提出一种新的Statechart模型验证方法。该方法的中心是一种强化了的属性描述语言———属性状态图,并利用属性状态图中存在的先后关系和并发关系,把各个属性状态图有机地结合成一个树结构———属性树。属性树涵盖了目标系统要求验证的属性空间,因此可自上而下的验证整棵属性树。在验证过程中系统Statechart模型对应状态空间是逐步展开的,每验证部分属性就展开相应的部分状态空间并对其进行验证,验证过程是基于属性树转换并以step为单位,验证step的初始status和结束status是否满足对应属性树节点公式对其的属性约束,这样既能够迅速找出错误又能屏蔽step内部系统Statechart模型的状态变化,使得验证过程更简单快捷。为了说明属性状态图和基于其的验证算法是实用和易用的,通过一个例子说明了从模型设计到具体验证整个过程。

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

摘要：本文论述多媒体表现系统同传统影视作品在脚本创作、演播方式及开发方式诸方面存在的不同特点，并提出了用状态图来分析脚本，用对象图来设计分镜头的面向对象方法。几个多媒体表现系统的分析、设计与制作的开发实践表明，这些方法是十分有效的。

摘要：针对现有装备虚拟训练系统中,外观模型与机理模型紧密耦合所导致的模型开发效率低、不可重用的问题,分析了装备仿真模型结构,提出了一种外观模型与机理模型独立开发的设计思想。在此基础上,介绍了面向操作的装备虚拟训练的概念,并提出一种面向操作的机理建模方法。该建模方法基于图形化、层次化的建模形式,具备标准的语义、语法,可以完备地描述装备系统的动态工作过程。应用实例结果表明了该建模方法的可行性和实用性。

摘要：文章介绍两种方法,以期流水线的优化可编程。一是用有圈子图方法求非线性流水线的最小平均等待时间MAL;另一是用旧预约表就地插入非计算延迟段产生新预约表。

摘要：为实现船舶电站监控系统中底层独立的发电机控制单元与上层工控机之间有效快速的数据传输及可靠的数据通信,采用ATMEL公司的AT91R40008高性能ARM处理器以及EXAR公司的多路UART扩展芯片ST16C654设计网关设备.此网关设备的作用是将发电机控制单元的数据以通信方式转发给船舶电站监控系统中的工控机,在工控机中实现数据共享,具有4路隔离的RS232/RS485通信接口,2路非隔离的RS232通信接口.该网关设备已在船舶监控系统中成功应用,实现与底层发电机控制单元多种协议的通信(包括Modbus协议、HostLink协议和自定义协议),符合工业控制现场应用要求,满足工程的需求.

摘要：为了顺利实现预定的攻击目标,在线评估攻击效果并制定适当的攻击策略都是非常重要的。本文讨论了网络攻击效果与目标网络系统安全性之间的关系,提了一种基于网络安全性改变量的攻击效果定义方法;重点研究了网络攻击效果在线评估的评估模型和评估算法;提出了网络攻击效果的评价准则和评估指标体系;设计并给出了网络攻击效果在线评估系统的框架模型;详细讨论了网络攻击效果在线评估的评估算法、状态图生成算法、攻击效果预测算法和攻击方案决策算法。

摘要：采用热分析和急冷试验的方法，辅以Ｘ射线衍射法、着色金相法及电子探针微区成分分析，对含Ｃ１．０％～４．４％、含Ｖ０％～１１％的Ｆｅ－５Ｃｒ－５Ｗ－５Ｍｏ系高速钢的凝固过程进行了分析，确定各结晶相的种类和结晶温度，建立了Ｃ、Ｖ量与初生相关系的准３元状态图和Ｆｅ－Ｃ、Ｆｅ－Ｖ的准２元状态图，获得了合金成分与凝固组织的关系，为该系列合金的应用提供了理论依据，使根据组织要求而进行合金成分设计成为可能。若要获得大量分散的孤立共晶ＶＣ组织，在Ｃ量低时需较高的Ｖ量，在Ｃ量高时所需的Ｖ量相对降低。