基于OWL的软件工程数据建模

网络本体语言(Web ontology language,OWL)是语义网技术的一个重要组成部分,适合于对复杂的数据进行语义描述和建模.在软件系统的开发过程中通常会产生大量结构复杂、语义丰富的数据,而建立一个灵活的语义模型是对各类软件工程数据进行统一管理的基础.从设计和实现海量软件工程数据管理平台的需求出发,提出了一种基于OWL的软件工程数据描述模型.该模型不仅能够对源代码、需求、测试、版本和缺陷数据进行描述,同时还能对这些数据之问的语义关联进行描述.通过案例分析对模型的有效性进行了讨论.     

反馈线性化在液压型风力发电机组功率追踪中的应用

以液压型风力发电机组为研究对象,为使功率追踪的过程平稳,研究机组的最佳功率追踪控制方法.本文利用反馈线性化方法解决系统非线性问题,以液压系统压力为控制输出,设计最佳功率追踪控制器,并提出一种反馈线性化方法的工程应用解决方案,即结合传统PID控制解决反馈线性化工程应用中依赖模型参数精度的问题.依托30 k VA液压型风力发电机组半物理仿真实验台进行仿真和实验研究,验证了该方法的可行性,为机组进一步研究奠定理论与实验基础.     

云化元件区域重要度的构建与认识

为了使SFT中的相关概念和计算式更便于应用,且能表示原始故障数据的不确定性,使用云模型对SFT的相关概念进行云化。论文是云化环节中的一部分,即云化元件区域重要度,包括云化元件区域概率重要度和云化元件区域关键重要度。云化后的元件区域重要度能充分反映数据的模糊性、随机性和离散性,并且其计算过程较原方法更为实用。应用SFT一贯算例,结果表明各元件的云化元件区域概率重要度和云化元件区域关键重要度排序相同,即 。最后论述了云化元件区域重要度的必要性和意义。     

云化SFT下的径集域与割集域的重构与研究

为了克服原有SFT体系中径集域和割集域处理具有模糊性、随机性和离散性故障数据能力不足的问题,使用云模型和SFT相结合的方法来解决该问题。首先使用云模型云化SFT特征函数,得到云化特征函数,进而云化径集域和割集域,最终得到云化径集域和云化割集域。云化径集域和云化割集域没有严格的分界线,分布区域是通过云滴表示的。若云滴表示的元件/系统故障概率小于P_b,这些云滴存在的区域即为云化径集域;反之大于P_b的云滴存在的区域为云化割集域。通过实例分析了元件X₁和系统的云化径集域和云化割集域,得到了他们适合工作的环境因素变化范围组合。分析过程和结果表明云化径集域和云化割集域能克服原始故障数据的不确定性。     

A rule‐based approach to detect and prevent inconsistency in the domain‐engineering process

A medium‐sized domain‐engineering process can contain thousands of features that all have constraint dependency rules between them. Therefore, the validation of the content of domain‐engineering process is vital to produce high‐quality software products. However, it is not feasible to do this manually. This paper aims to improve the quality of the software products generated by the domain‐engineering process by ensuring the validity of the results of that process. We propose rules for two operations: inconsistency detection and inconsistency prevention. We introduce first‐order logic (FOL) rules to detect three types of inconsistency and prevent the direct inconsistency in the domain‐engineering process. Developing FOL rules to detect and prevent inconsistency in the domain‐engineering process directly without the need to the configuration process is our main contribution. We performed some experiments to test the scalability and applicability of our approach on domain‐engineered software product lines containing 1000 assets to 20000 assets. The results show that our approach is scalable and could be utilized to improve the domain‐engineering process.     

代码/需求行为差异检测

为解决软件开发后期（维护/演化）程序代码与需求模型不一致的问题,本文面向逆向需求工程,重点研究检测变更代码与原始需求模型之间行为差异的算法：首先沿用模型/代码转换技术,分析模型/代码比较原理,设计比早期连续型单向串行检测算法快2N倍（N为路径数）的离散型双向并行检测算法。然后采用该算法开发图形化需求/代码比较工具RCCT,并将其集成进综合需求建模系统（RMTS）,使动画建模、特性检测、模型转换、需求/代码差异检测等功能融为一体。最后,通过电子转账案例演示该工具的使用方法,并编写测试程序证明离散型双向并行算法不但比原始算法高效,而且更加可靠。     

基于构件复用的嵌入式机载卫星通信系统快速构建

讨论了现有嵌入式机载卫星通信系统构建过程中存在的架构通用性比较差、复用度过低、开发周期长等不足之处;将传统软件工程构件技术与领域工程特点相结合,提出了一种建立在VxWorks操作系统构件架构基础上的构件复用解决方案.通过几型嵌入式机载卫星通信系统的快速构建表明该方案实现了对资源的重用,有效的降低了开发成本,缩短了产品面市时间,提高了产品的质量.     

Modularized design-oriented systematic inventive thinking approach supporting collaborative service innovations

The rapid evolution of new service systems raises crucial challenges for service design and requires effective methods. This study depicts a conceptual service design framework, called design-oriented systematic inventive thinking (DSIT) approach, which can be applied in different problem contexts. DSIT is presented as a new systematic and collaborative intelligence approach for creating and evaluating complex service systems using multi-criteria data analytics. DSIT synthesizes the current field of TRIZ service-design knowledge system and the emerging area of non-TRIZ service-design knowledge system. DSIT enables integrated development of service offerings at four dimensions and provides the matching integrated service design approach for each dimension. Four types of service design approaches are conceptualized as “human-independent service engineering,” “problem-clarified service engineering,” “solution-converged service engineering,” and “designing for service.” A new service computer-aided design system (service CAD) named DSIT explorer is developed consisting of customization, compatibility, and extensiveness of DSIT modules. A pervasive and smart collaborative service system (i.e., the smart MOS burger service solution) designed using DSIT explorer is illustrated. DSIT is a holistic, interdisciplinary, and collaborative service design concept, which is incorporated into a collaborative and intelligent service CAD framework to enable systematic inventive thinking throughout phases of service design lifecycle from problem definition, problem resolution, to solution evaluation.     

软件设计模式课程实验教学系统探索

设计模式是软件工程专业的重要核心课程,兼具理论性和实践性,但其高度的抽象性给学生学习带来较大困难.针对该课程及学生的认知特点,设计开发了一个基于Spring框架的设计模式实验教学系统-在线教务管理平台,该系统采用B/S架构,综合了多种常用设计模式,不仅展示了单个设计模式的特点,同时展示了这些设计模式在实际项目开发中的复合应用,有助于学生加深设计模式方法学理论精髓的理解,提高实践动手能力,从而为进一步掌握高级软件工程知识奠定基础.