基于UML的软件体系结构建模方法的研究

软件体系结构是软件工程中的一个重要领域 .对软件体系结构的分析和设计已成为决定软件系统 (特别是大型软件系统 )成功的重要因素 .体系结构描述语言 ADL能以一种比较直接、精确的方式来描述软件体系结构 ,但它很难与主流开发方法集成 .U ML 是一种应用广泛的对象建模语言 ,已被工业界广泛接受 .本文介绍了一种 UML 与 ADL集成的方法 。

并行油藏模拟软件的实现及在国产高性能计算机上的应用

主要介绍了百万网格点规模的精细油藏数值模拟在国产高性能并行计算机与微机机群系统上的应用情况 .针对若干组来自于国内油田的百万网格点实际数据 ,给出了在多种国产并行机环境下的运行结果 ,并作了分析与评价 .在此基础上 ,讨论并行油藏数值模拟软件高效实现过程中遇到的关键技术 。

基于时态逻辑的软件体系结构描述语言及其可视化环境

在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。

采用软件构件技术开发领域应用软件

烟草行业是属国家专卖的一个特殊领域,国家烟草专卖总局决定在此行业推广使用MIS系,开发领域的应用软件。

软件容错:技术与展望

本文主要给出现有主流软件容错技术的一个综述。首先从传统软件容错技术开始,介绍设计多样性和数据多样性;然后介绍主流的软件容错新技术,如重配置与重恢复、指令复制错误探测、SWIFT等,同时,站在软件容错用于处理嵌入式系统硬件暂态故障的角度对这些技术进行了分析;最后在对它们比较的基础上探讨软件容错技术的可能发展方向。

软件模糊测试中畸形输入数据的自动构造

提出一种畸形输入数据自动构造算法。基于软件二进制补丁比对结果及目标函数调用图,设计适应值函数,对同一种群中所有个体进行评估,寻找优秀个体并遗传到子代中。实验结果表明,该算法能够生成到达或接近到达软件脆弱点的输入数据,简化逆向分析人员构造软件畸形数据的过程。

UML与ADL在软件体系结构建模中的应用研究

通过软件体系结构理论在实践中的应用,探讨了统一建模语言UML与体系结构描述语言ADL在软件体系结构建模中结合使用的方法和途径。着重研究了UML与XYZ/ADL在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。

面向对象设计中软件度量学的进展

一、引言软件度量学作为软件工程的一个研究方向,其目标是用定量方去管理和控制软件开发过程,评价软件质量,合理地分配资源。二十多年来在软件度量的理论荃础,软件度量方法、验证、应用模式等方面已有不少结果。

XCODE:一种面向系统软件的可扩展构件描述语言(英文)

给出了一种称为XCODE的构件描述语言。作为一种基于XML的语言 ,XCODE可以被用于不同目的场合。它提供了一种可扩展的、独立于工具的方法 ,可服务于描述编译、链接。

软件开发:从面向对象到Agent技术

简单回顾了软件开发的发展历史 ,介绍了当前流行的面向对象的软件开发方法以及新采用 agent技术的软件开发方法 ,比较了两者的异同 ,指出了 agent技术的应用前景。

一种基于邮件列表的软件问答信息抽取方法

开源项目通常会提供邮件列表来帮助用户更好地理解和使用开源项目。但由于邮件的数量巨大、邮件内容组织繁杂、问题不明确、答案定位困难等问题,用户在邮件查询过程中定位一个特定的软件问答信息要花费大量的时间和精力。为此,提出一种基于邮件列表的软件问答信息抽取方法。该方法通过对邮件的简单分类与标注,实现自动的问题句抽取和答案邮件选取,从而提升了用户进行邮件列表查询以及开源软件项目学习的效率。最后,通过实验验证了该方法的有效性。

基于RTEMS的软件容错系统设计研究

运行于空间环境中的计算机系统,受空间辐射的影响,可能会发生各种各样的错误。为了提高系统可靠性,需要对其进行容错。在本文中,首先分析RTEMS本身的特点和空间环境的特点;然后在此基础上提出基于RTEMS的软件容错系统的分层设计思想,并给出具体的层次设计过程;最后结合模拟实验验证给出容错状态下系统的性能分析。实验结果表明,对容错系统的分层设计是必要的。

软件智能可调平衡重

根据软件机械理念〔1〕,提出了在低速回转机械中产生不平衡重力矩及不平衡力矩变化时 ,可以采用对平衡重块实施位置移动和调整的办法来抵消不平衡力矩的方法。即对那些通过传感器求得的不平衡力矩 ,经计算机数字化处理后 ,得到各转动工位时的不平衡力矩大小 ,再通过对平衡重块的智能调整 ,使转动部分相对于回转轴线做到静力平衡 ,从而能改善机械的运转性能。实现这一目标的机构与软件模块的组合称作为软件可调平衡重装置。文中以天线为例 ,阐述软件可调平衡重装置的应用。

分布式软件体系结构框架模型的设计与实现

在充分结合 C/S和 B/W/S两种模式的基础上 ,提出并设计了一个基于构件的分布式软件体系结构的框架模型 .同时 ,讨论了系统功能分解中的分层与分离原则 ,最后 ,以作者开发的通用查询系统为应用实例 ,说明了这种开放式体系结构带来的可扩展性、易适应性等优点 .

遗传算法能量分析中初始化与变异机制研究

人工智能与侧信道密码分析相结合,给密码分析学带来了新的研究方向。近十年来,遗传算法被引入侧信道分析,国际上出现了一系列相关研究成果。然而,现有基于遗传算法的相关能量分析存在局部最优问题,使整个分析过程的效率偏低。本文旨在建立局部最优与成功率之间的关系,选取科学的初始化与变异机制,以显著提升使用人工智能算法开展侧信道分析的效率。我们首先探究了遗传算法能量分析成功、以及陷入局部最优的本质原因,随后从初始化机制、变异机制两个角度尝试克服局部最优问题,引入随机初始化、相关能量分析初始化、随机字节变异、基于密钥适应度排名的启发式变异等四种机制进行组合对比。通过参数选取、成功率对比、计算代价对比等多次实验得到结论:相关能量分析初始化结合随机字节变异的方法具有最高的成功率,同时计算代价也最小。与此同时,本文总结了遗传算法相关能量分析方法不适用于软件实现、难以分析大位宽运算、攻击防护对策时复杂度高、信噪比低时复杂度高等局限性问题,建议密码硬件计算过程中尽量不要将以字节或比特为单位计算的值存入寄存器,以防护遗传算法类能量分析攻击,并对未来工作进行了展望。我们认为,新方法在分析无防护硬件实现的分组密码算法时具有较高的实用性,建议应用于实际的侧信道分析测评工作。

MATLAB中间件在组合导航解算软件设计中的应用

利用MATLAB强大的数值计算、数据处理、系统分析的能力,将MATLAB中间件技术应用于组合导航解算软件的设计,实现卫星位置计算、用户位置计算等核心计算模块,结合高级语言界面设计及控制逻辑开发的优势,实现了软件的即插即用,提高了软件的可维护性,具有很好的实用价值。

软件能力成熟度模型(CMM)方法及其应用

随着信息产业的发展 ,软件开发过程中管理的规范化和标准化问题越来越为人们所关注。作为国际上最流行的软件企业成熟度等级认证标准 ,CMM提供了一个软件工程成果和管理方法的框架。简要介绍了CMM的基本内容和评估方法 。

管理软件的大批量定制方法

管理软件的成功率很低,其主要原因之一是企业空间和时间个性化与软件通用化的矛盾.大批量定制方法可以较好地解决这一问题.本文分析了管理软件的大批量定制的主要依据,归纳和提出了主要方法,并对其中的组件技术进行了分析.组件技术的概念和方法与成组技术是相通的.

基于改进Elman网络模型的软件可靠性预测

为提高神经网络模型对软件可靠性预测结果的准确性和可信性,提出了一种基于多目标优化算法改进Elman网络模型Mop-IElman(multi-objective optimization-based improved Elman neural network)的方法:1)在Elman网络基础上,设计输出层的延迟反馈层,作为另一个状态层;2)以网络的结构和2个状态层的初始输出值为网络配置的变量,以网络的预测精度和顽健性为目标,采用NSGA-II(non-dominated sorting genetic algorithm II)进行多目标优化得到帕累托解,最大化网络预测精度与顽健性之和从而确定网络配置。通过两组实际软件失效数据对Mop-IElman进行实验验证,并与前馈网络、Elman网络、单目标优化Elman网络以及多目标优化Elman网络进行比较研究,结果表明Mop-IElman的预测结果具有较高的准确性和可信性。

面向少儿多通道交互技术软件系统的研究

将研究一个面向少儿益智系统,该系统将多种益智娱乐开发包构建在城堡中,少儿通过多通道交互方式可以在城堡中随意漫游、体验、学习和娱乐。另外,通过该系统开发包,幼儿园和小学的教师及儿童自己都可以开发少儿益智游戏和学习素材供少儿使用。