面向属性(对象)概念格基于直观图的保并(交)约简

属性约简是形式概念分析中的一个重要问题,文中主要研究面向属性概念格和面向对象概念格的保持并(交)不可约元外延不变的约简。给出面向属性概念格和面向对象概念格的保并约简和保交约简的定义;研究了这两个格的保并约简和保交约简之间的关系;利用形式背景直观图,给出获取这两种格的保并约简和保交约简的理论与方法。     

面向组件的仿真系统构建方法研究

随着软件组件技术的不断发展,基于组件的软件开发方法在仿真领域逐渐被接受,特别是基于分布式的仿真软件开发。SISO（仿真互操作标准组织）提出的BOM（基本对象模型）通过标准化规范描述面向组件的仿真模型,为构建具有可扩展、可组合和可互操作的仿真系统提供了面向组件的实现技术。首先,描述BOM的模板结构及其体系结构,设计基于BOM的仿真模型组件结构,分析这种结构的仿真模型组件间的互操作性;接着从概念层次、联邦成员层次和联邦层次三个不同层次提出面向组件的仿真系统构建方法;最后讨论一种通用的仿真运行框架,通过组合不同的仿真模型组件实现仿真系统的快速构建。

Abstract：

With the development of the software component technique, the components based software development method is accepted in the simulation domain and specifically in the distributed simulation’s software development. The standard of Base Object Model （BOM） developed by SISO （Simulation Interoperability and Standard Organization） is the component-oriented specification of simulation models which gives a component-oriented technique to construct extensible composable and interoperable simulation systems. Firstly, the template and architecture of BOM were described based on which the structure of simulation model components were designed and the interoperation between them were analyzed; Secondly, the processes for constructing simulation systems were argued from the concept level and the federate level to the federation level; Lastly, by composing various of simulation model components, the general simulation running framework which was argued provided component-oriented capabilities to rapidly building simulation systems.     

基于横切关注点恢复的软件逆向工程研究

为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面(aspect-oriented)的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复。通过对目标系统执行信息进行概念格分析,该方法能够识别和抽取横切用例模型的系统方法调用集合,并利用统一建模语言中用例图的版型(stereotype)机制对它们进行模型重构和呈现。与仅为了代码重构而进行的侧面挖掘(aspect mining)技术相比,该方法更适合在较高的系统抽象层面上进行程序理解,作为一种采用增量式结果产生策略的半自动化方法,它的实施流程也具有更好的可控性和对逆向工程需求变化的适应性。     

面向敏捷制造的MMS集成通信系统

敏捷制造的发展需要网络支撑,借助Ｉｎｔｅｒｎｅｔ和Ｗｅｂ可以将分立的局域网造成的“信息孤岛”加以集成,从而真正解决“自动化孤岛”问题。本文简要介绍了ＭＭＳ协议和Ｗｅｂ应用技术,提出了传统ＭＭＳ局域网应用系统连入Ｉｎｔｅｒｅｎｔ／Ｉｎｔｒａｎｅｔ并实现基于Ｗｅｂ控制的策略,在此基础上,结合单元式空调机远程监控系统的应用实例,实现了基于Ｗｅｂ的ＭＭＳ集成监控系统。     

聚变堆面向等离子体SiC/Cu梯度材料的制备与评价

用超高压梯度烧结法制备出了成分分布从0－100％的接近理论密度的SiC/Cu聚变堆面向等离子体功能梯度材料,化学溅射实验表明其CD4产额与二次纯化石墨相比降低了80％,热解吸收气率约为石墨的10％,在398MW/m2的激光热冲击下,材料表现出现疲劳裂纹和化学分解现象,原位等离子体辐照结果显示陶瓷材料表面出现一定程度的溅射损伤。     

软件重用与技术发展

软件复用技术一直以来都是软件开发的重要课题 ,软件技术正在经历由面向对象、面向构件向面向服务的发展过程 .提供高质量的软件 ,保证全方位的软件复用 ,追求更“易” ,更“好” ,更“方便”的开发技术 ,所有这些因素促使计算机软件技术不断向前发展 .     

基于SOA库存管理系统的设计与实现

随着软件技术的发展和Web服务的出现,面向服务的软件系统开发方法被提出并得到迅速发展。本文研究了面向服务软件开发的体系结构、原理和方法,并以库存管理系统的开发为背景,提出了一套实现面向服务软件开发的体系结构;完成了系统分析、设计和实现。     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理,从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

多范例自动需求建模和分析: 一种基于本体的方法

提出基于组织本体的问题领域描述, 用领域用户能够理解的术语与他们交互, 引导他们提供需求. 提出以问题领域描述为起点的多范例自动建模和分析方法, 提出组织结构的合理性, 组织目标的可实现性和组织过程的可行性等三个分析准则. 分析的结果可以进一步引导领域用户补充和修改问题领域描述, 分析完成后得到的问题领域模型可以作为前期需求文档, 为进一步的软件需求建模提供依据.     

面向对象的数据结构教学思想及教学方法的研究

在分析了面向过程程序设计思想与面向对象程序设计思想的区别的基础上,阐述了引入面向对象数据结构教学的必要性,并对教学途径和教学方法进行了深入的研究.