一个维护知识库的软件agent互操作系统

本文首先简介了基于agent的软件工程技术，然后利用这一技术，设计了一个用于知识库维护的软件agent互操作系统SAIS（softwareagentinteroperationsystem）．SAIS系统是由多问题求解器构成，每个问题求解器是一个软件agent．本文给出了SAIS的结构，并描述了SAIS的实现．     

罗克韦尔发布Studio 5000环境

Studio5000统一的工程和设计环境为开发满足所有自动化控制需求的一款标准软件铺平了道路。罗克韦尔自动化(Rockwell Automation)本月末将发布罗克韦尔软件Studio5000统一的工程和设计环境,这款软件提供了工程之间相互协作的框架。该软件为一些设计工具奠定基础,允许工程师仅输入一次组态和编程信息即可应用于从设计到运行再     

罗克韦尔发布Studie．5000环境

Studio5000统一的工程和设计环境为开发满足所有自动化控制需求的一款标准软件铺平了道路。罗克韦尔自动化（RockweLlAutomation）本月末将发布罗克韦尔软件Studio5000统一的工程和设计环境，这款软件提供了工程之间相互协作的框架。该软件为一些设计工具奠定基础．允许工程师仅输入一次组态和编程信息即可应用于从设计到运行再到维护的整个控制系统架构中。     

浅议软件再工程

软件再工程概念是针对现阶段软件系统更新换代加剧而提出的,当前用户需求不断变化、软件系统复杂性不断提高和软件维护日趋困难促进了软件再工程的发展。侧重于软件再工程的概念、目标、类型而提出了相应可供参考的模型,针对结构化思想和面向对象思想设计的软件系统提出了一般的软件再工程实施模型。     

一种面向OSGi的构件化软件再工程方法

面向服务的构件模型可以解决当前大型软件系统难于管理、维护困难和缺乏动态性等问题,而OSGi框架为基于构件系统的服务化开发提供了有力支持。把OSGi作为基础框架对遗留软件系统进行再工程,设计了OSGi化软件的总体框架,提出了软件系统构件化方法,并针对再工程过程中普遍存在的问题给出了相应的解决方案。最后,通过对Web容器再工程的实例研究,验证了面向OSGi的构件化软件再工程方法的有效性。     

采用形式化技术的软件再工程

形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法。     

面向服务架构软件实现前的可靠性评价方法

为了在软件实现前评估其可靠性,针对基于面向服务架构(SOA)设计的软件提出了一种可靠性评价方法：用OWL-S描述软件的需求和设计信息,利用Maude为OWL-S过程模型的控制结构定义形式化语义,使用分布函数构建软件的操作剖面,在Maude中增加软件的操作剖面信息和体系结构信息如何参与可靠度计算的描述,在Maude系统的支持下,通过重写得到软件的可靠度,并基于此方法设计开发了一个软件可靠性预计工具——SRPT。所提出的软件可靠性评价方法综合考虑了数据流、控制流、构件和软件操作剖面信息以及体系结构信息对软件可靠性的影响,能够在软件实现前根据软件设计预测其可靠度,为软件的开发设计提供了工程指导。     

舰船装备软件可信性分析设计技术研究

针对舰船装备软件研制过程开展软件可信性分析设计工作中缺乏数据基础支撑、与工程实践不够紧密以及缺乏可操作性分析技术的现状,进行舰船装备软件缺陷信息收集并形成缺陷模式,研究基于缺陷数据的舰船装备软件可信性设计分析技术、方法和工具,包括：舰船装备软件可信性设计准则、舰船装备SFMEA技术方法、SFMEA与SFTA综合分析方法,并提供方法的辅助工具和数据库,为提高舰船装备软件可信性提供技术支撑。     

证据理论在软件需求工程中的应用研究

软件需求是一种不确定信息,用证据理论对软件需求进行定量的分析能够明确软件对不同需求的信任度和需求之间的信任度,减少软件需求工程的模糊性,为软件的设计与实现提供必要的依据.     

基于Agent的平行迭代再工程方法研究与应用

随着软件技术的发展,更多的软件出现,维护和再工程的需求也更加迫切。通用的软件再工程的基本概念和模型无法保证再工程的高效低风险。创造性地将平行迭代模型与Agent技术结合起来,可以解决复杂遗留系统再工程问题。此方法在森林植被仿真系统FVS的再工程过程中,提高了项目的效率和成功率,并保持了目标系统的灵活性和可扩展性,取得了理想的效果,也为类似系统的复用和重构提供了参考。     

空间自适应免疫克隆选择优化算法

针对免疫克隆选择优化算法晚期收敛速度慢的不足,通过引入搜索空间自适应缩放的思想,提出一种新的空间自适应免疫克隆选择优化算法(SAIS)。算法利用不完全演化搜索优化解的分布特性,以精英个体为中心收缩搜索空间,并采用空间扩张机制帮助算法跳出局部最优。通过对高维基准测试函数实验表明,SAIS能显著提高收敛速度和优化解的质量。     

软件工程系列课程考核探索

软件教育已由面向编程转向以软件工程为中心,软件工程专业是适应信息技术发展的新兴专业,文章探索了该专业系列课程的考核模式,给出了作者的实践,介绍了《软件工程》课程及实验考核方式的研究成果,给出了《软件体系结构》课程的考核模式及《软件工程经济》课程考核模式,讨论了《软件项目管理》课程考核模式。     

软件开发过程与测试过程的协同工作模式

软件开发过程与测试过程是完成软件开发紧密相关的两个过程,它们协同工作的好坏关系到软件开发成本的高低、软件缺陷的发现度.文中提出了一种在V模型基础上根据已有的文档信息,延迟测试或提早测试的软件开发过程与测试过程的协同工作模式,对提高软件质量、降低软件成本能起到一定的作用.     

Measuring size,complexity, and coupling of hypergraph abstractions of software: An information-theory approach

Software development is fundamentally based on cognitive processes. Our motivating hypothesis is that amounts of various kinds of information in software artifacts may have useful statistical relationships with software-engineering attributes. This paper proposes measures of size, complexity and coupling in terms of the amount of information, building on formal definitions of these software-metric families proposed by Briand, Morasca, and Basili. Ordinary graphs represent relationships between pairs of nodes. We extend prior work with ordinary graphs to hypergraphs representing relationships among sets of nodes. Some software engineering abstractions, such as set-use relations for public variables, are better represented as hypergraphs than ordinary (binary) graphs. Traditional software metrics are based on counting. In contrast, we adopt information theory as the basis for measurement, because the design decisions embodied by software are information. This paper proposes software metrics of size, complexity, and coupling based on information in the pattern of incident hyperedges. For comparison, we also define corresponding counting-based metrics. Three exploratory case studies illustrate some of the distinctive features of the proposed metrics. The case studies found that information theory-based software metrics make distinctions that counting metrics do not, which may be relevant to software engineering quality and process. We also identify situations when information theory-based metrics are simply proportional to corresponding counting metrics.

一种基于Re-Engineering的自动翻译方法研究

分析了结合Re Engineering技术的翻译器Bogart的工作原理,并与传统翻译器进行了比较,同时对源程序的存储方法提出了改进,采用了新的支持程序语言定义的语言处理系统。测试结果表明,该方法能够提高自动翻译的效率。     

通信时长严格受限的半双工无线通信协议算法及其实现

分析了“非接触式车辆信息管理系统”研发当中所面临的技术难题,提出了一种基于CSMA技术的“改良型无线通信协议”算法及其软、硬件实现方法。     

基于Java的多功能XML工作引擎

运用Java和XML技术开发的应用软件平台有很多优点,而采用电子邮件代替网络连接作为信息交换的载体能够增强系统的安全性,本文介绍了一个基于电子邮件的Java-XML工作引擎－XMLInterchange,重点描述XMLInterchange的设计,实验“并给出了一个XMLInterchange作为电子商务平台的应用实例－电子传单。     

通用的汉字和图形仿真终端研究

本文论述了以全软件方法将ＩＢＭ－ＰＣ及兼容机“改造”成为“通用的汉字、图形仿真终端”的理论和实现技术,全文扼要讨论了这种软件的三个方面：（１）面向汉字终端的三码中西文系统的特点及新见解;（２）面向汉字、图形终端的图形核心系统ＧＫＳ的设计;（３）能仿真多种终端的“通用仿真程序”的设计方法,这种使得所设计的“仿真终端”可以作为多种多用户系统的终端,这与国内现有的“仿真终端”相比在通用性方面有一定的改进     

基于新型切换Lorenz混沌系统的图像加密算法研究

论文提出了新型的切换Lorenz混沌加密系统,在传统的单次图像加密的基础上,通过采用“置乱-扩散-置乱-扩散”的两次图像加密过程,实现了图像的更高水平加密。论文以Lena图像的加密过程为例,采用Matlab软件编写了相关程序,实现了新型的切换Lorenz混沌加密系统;在此基础上,通过直方图分析、信息熵值分析等验证,表明了论文实现的图像加密算法具有较高密匙空间和信息熵值,混乱效果较好,安全性更高,在未来具有更好的应用前景。