一种融入AD理论与DSM的软件建模方法

提出一种融入公理设计理论与设计结构矩阵的软件建模方法．从用户功能需求出发,在利用设计矩阵对功能域和物理域进行“之”字形分解的过程中,将设计矩阵与设计结构矩阵集成并同步演化,从而通过设计结构矩阵来描述各阶段的设计结果,然后对其进行评价进而优化设计矩阵,以实现对软件建模中间过程的设计决策．应用实例分析验证了该方法在软件建模过程中的合理性和有效性．     

基于公理化理论的自动装配与焊接系统设计

公理设计理论为由多机器人组成的多零部件集成装配与自动焊接系统的设计提供了一种指导性的框架.基于公理设计理论,应用独立公理对多机器人集成焊接系统的结构设计进行了分析和论述,给出了系统的功能需求与设计参数之间的映射关系以及设计流程,然后基于信息公理以上料系统为例,介绍了上料系统设计方案的优化方法.通过对系统进行计算机运动仿真,验证了系统设计的可行性和有效性,该系统已投入实际应用.     

基于超图文法的软件体系结构动态演化

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.     

复杂产品建模及综合寻优设计的自动化方法

针对复杂产品的设计需求,深入分析了复杂产品的建模过程.基于参数化建模和多学科优化思想,建立了复杂产品综合优化设计的理论框架.其中,设计结构树存储了复杂产品从整机直到零件级结构信息;基于数据库协调的多学科协同寻优策略可以得到复杂产品的综合优化解.阐述了基于面向对象技术开发的数据库功能体系,该体系既保证了设计结构树中有效数据的存储,也为多学科协同寻优定义了相关操作.在实践应用上,开发了水轮发电机综合优化设计软件平台,应用实例验证了理论和实际研究工作的有效性和可行性.     

基于随机进程代数的软件体系结构建模与性能评价

软件体系结构是应用系统的逻辑框架,在设计阶段分析软件体系结构的各种性能指标,可以改进软件系统设计·提出一种基于随机进程代数(stochasticprocessalgebra简称SPA)的软件体系结构建模方法,该方法把软件体系结构建模与性能评价相结合,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单、有效     

软件体系结构动态特征建模与验证

针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.首先根据体系结构层次模型扩展Pr/T网建立体系结构动态行为模型(DFM)并构造DFM的可达图,然后使用基于自动机理论的方法来验证模型的时态逻辑性质,最后通过对一个电子商务系统实例的并发控制机制建模和模型检测,验证了该方法的有效性.所提方法结合了Pr/T网和线性时序逻辑的优点,为进一步开展软件体系结构动态行为的分析、验证奠定了基础.     

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

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

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

把UML与RUP作为软件体系结构建模的支持,以某公司销售管理系统为例,根据UML与RUP的通用建模过程逐步构建了销售管理系统的需求模型、用例动态模型、对象结构模型和实现模型。     

面向产品族设计全过程的聚类分析方法

产品族设计是大批量定制设计的关键和核心。分析了模糊聚类分析方法在产品族设计中的应用。按照公理设计理论将产品开发过程划分为需求、功能和结构三个状态空间,依次讨论了聚类分析方法在区分顾客共性需求与个性需求、识别平台元素与非平台元素、划分核心模块与个性模块方面的具体应用。     

基于公理设计理论的汽车停车挡的设计应用

基于某公司生产的汽车停车挡换挡时有过大的冲击和噪声,研究并提出了基于公理设计理论的机械产品创新设计框架模型,并应用于停车挡的再设计中。通过对停车挡设计任务和设计参数的逐层映射和分解,得到了满足客户需求的新产品,解决了原有停车挡的换档不平顺现象。结果表明在公理设计理论指导下进行机械产品创新设计,短时间就能得到一个好的设计结果,能有效地提高工作效率。     

软件复用技术研究

目的研究作为当前主流软件开发技术之一的软件复用技术。方法 通过对软件笔用研究和发展的简单回顾,讨论了软件复用的主要技术,进而研究,探讨了软件复用技术发展的新趋势,特别对软件复用技术研究的最新热点－软插件与软总线模型及其在分布环境中应用前景进行了分析和讨论。结果与结论软件复用是提高生产率,降低软件开发成本和保障软件系统的可靠性,特别是使软件产业走向工程化,工业化的必由之路。     

探究软件生产的四种模式

随着社会信息化和知识化的不断深入和发展，目前软件已经在社会的各个领域和各行各业得到广泛的应用和普及．然而从软件的发展历史来看，为了适应不同时期的软件需求和软件规模，软件的生产模式也从原始的软件作坊模式逐渐过渡到目前为软件行业所推崇的软件工厂模式．     

关于自动化软件工厂模型及其实用技术的探究

软件工厂的概念几乎是伴随着软件工程的概念于1968年左右被提出来的,可是由于当时各种软件生产技术的局限,软件工厂并没有得到很好的研究与应用.直到近几年,伴随着面向对象技术的发展与软件构件、软件复用技术的开发与利用,软件工厂的研究与应用才又有了新的活力和激情.针对自动化软件工厂的概念,提出了一个自动化软件工厂的简单模型,并初步探讨了在自动化软件工厂中的几种实用技术.     

计算机软件测试管理应用研究

计算机软件测试是软件工程的重要组成部分,是软件开发人员和用户验证软件产品是否合格的重要手段。从软件工程的角度出发,提出软件测试用例设计方法,测试的方法,并将其整合到测试流程中.该流程可以在软件测试中作为保证软件质量的重要手段.     

SoftMaker——制作软件的软件

介绍华中科技大学计算机学院软件工程研究室研制的软件生产线SoftMaker体系结构设计和主要功能、该系统建立在软件库SoftStore基础之上，采用Web技术实现对库中资产的访问，是一个支持复用的软件开发环境．SoftStore保存多概念、多层次、多粒度、多形态的可复用软件资产．管理由StoreKeeper实行．开发者在SoftDeveloper引导下，通过SoftReuser复用SoftStore中的资产，生产软件产品或可复用制品、在大多数情况下，SoftDeveloper、SoftReuser和StoreKeeper只起任务提交作用．SoftAgent接受所提交的任务，负责协调与分派，向SoftStore请求服务并交换数据，为完成任务提供服务支持．     

软件质量存在的问题及改进方法

阐述了软件质量的度量方法，并据此对软件质量存在的问题进行了分析和分类。通过对软件质量的度量，总结了软件在易使用性、容错性、易安装性及文档资料方面容易出现的3l类问题。给出了对软件进行测试的实例。实践表明，这种软件质量缺陷分类方法可操作性强，对软件开发人员有很大的帮助，有利于提高软件的质量。     

软件开发中的软件质量度量

在软件开发过程中,软件度量是保证软件质量的重要方法。文章介绍了软件度量的基本概念、作用、软件度量的模型和方法。     

软件可靠性工程研究

从软件失效的不可避免性出发,提出了软件可靠性工程的概念。介绍了软件可靠性分析的方法、保证软件可靠性的工程方法和两种常用的可靠性设计技术。     

软件发展初探

本文对软件发展的趋势进行了初步的探讨,提出了软件技术领域未来几年将会产生的一些新的应用软件。     

通用温盘伺服道录写设备中的主机通讯软件

ＳＴＷ伺服剂写设备主要用于温盘伺服信息的录写，是现代大容量温盘生产领域中不可缺少的专用设备，本主要介绍了ＳＴＷ二级计算机网络控制系统的概况，其主机通讯软件的功能、测试和装入以及主机通讯软件与ＢＡＳＩＣ主控程序的信息交换问题。