软件Agent的分析与建模方法

为保证Ａｇｅｎｔ软件系统的质量,提高系统的可靠性、正确性、可维护性和可扩展性,需要为Ａｇｅｎｔ软件系统提供设计方法学的支持。以处于分布、开放环境的信息Ａｇｅｎｔ为研究对象,以同一应用域分析结果的复用为前提,提出了一种面向Ａｇｅｎｔ的分析方法ＡＲＣ,阐明了在设计Ａｇｅｎｔ软件系统时采用对象级构件、主动对象和Ａｇｅｎｔ三级模型的思想。     

一种支持实时软件资源建模与分析的方法

针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并将实时系统指令使用的资源映射为资源通信顺序进程的资源.利用资源通信顺序进程对实时软件资源建模,并进行量化分析.然后,通过提出一系列资源优化检查算法,对建模结果进行资源可满足性检查,并计算出当前系统所需的最少资源量.最后,对机载防撞告警系统进行建模与分析,以说明该方法的有效性.结果表明,该方法能够分析影响实时系统资源使用的关键软件设计要素,评估软件优化对系统资源使用的影响,从而在很大程度上提高了实时系统资源计算和分析的可信性.该计算结果有助于实时系统资源的量化分析和资源优化设计.     

一种由概念建模驱动的数据库物理建模方法

探讨了一个由概念建模支持的物理建模方法，该方法要求在概念建模时就带有物理建模的处理需求信息，使概念建模，逻辑建模与物理建模实现无缝连接。     

一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.     

软件的一种试用方法设计

软件的试用设计是保护软件非法使用的一种方法。软件的试用设计包括时间试用和空间试用。本文研究了软件的空间试用设计和试用设计安全性问题,并介绍了应用示例。     

基于粗糙集理论的系统建模方法

根据粗糙集理论，提出了粗糙集建模的方法，并给出了建模步骤：首先采集系统的输入输出样本集，建立决策表，然后根据相对约简求出属性的重要性，由其重要性得出决策的最简形式，从而得到系统的粗糙集模型。以线性系统为例建立了粗糙集仿真模型，验证了模型的有效性。仿真结果表明，在开环条件下建立的一阶系统粗糙集模型，能适应于开环和闭环，也能适应于可变的输入信号；二阶系统模型只能适应于建模时的情况。该建模方法可以推广到非线性系统的建模中。     

面向服务软件中异常处理的形式化建模方法

针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。     

嵌入式实时软件建模方法研究

随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用UML扩展机制,在UML2.0顺序图中加入嵌入式实时软件建模所需的时间特性,并提出一种由UML2.0顺序图构造出时间自动机的方法,为下一步验证奠定理论基础.     

软件过程建模技术的发展

本文介绍了软件过程建模的基本概念。回顾了软件过程建模发展经历的几个阶段。然后,对软件过程建模的现状进行了一些分析。最后展望软件过程建模技术的未来。     

基于"用例"的软件需求建模方法研究

应用软件工程的基本思想、方法和原理,结合统一建模语言在面向对象分析与设计中的应用,对应用"用例"方法建立软件需求模型进行分析和研究.提出了应用"用例"建立软件需求模型过程中,必须用活动图集成"用例"之后,才能准确描述"用例"之间关系,从而完成应用"用例"进行软件需求模型的建立、完成需求分析目标的观点.     

基于公理设计的软件构件设计优化

为了提高软件开发的有效性和正确性,提出了一种基于公理设计的构件设计与优化新方法,详细给出了该方法的设计和实现过程.在此基础上,以调度构件的开发作为研究实例,分别对按照公理设计和传统方法得到的两种设计方案进行了设计、分析、比较和优化,验证了该方法在软件开发方面的有效性和正确性.     

公理设计与创新问题解决理论及其比较研究

对公理设计和创新问题解决理论进行了简单介绍,并对二者相关的部分进行了比较,说明二者具有可结合性,将两者有机融合起来进行产品设计将使得设计过程更简单,设计结果更具有创新性,最后通过举例说明了两者结合设计产品的过程.     

基于设计结构矩阵的船舶MDO建模

为了降低船舶多学科设计优化(MDO)模型的耦合度,从而间接提高优化效率,以一种基于联系信息流量的聚类算法为基础,提出了一种重组模型的建模技术.对聚类算法的基本假设和计算方法进行了改进,用指数函数取代了线性函数,并完善了编码.提出了针对聚类方案的评价指标——联系权重在聚类内部的百分比和BUS聚类规模,用于比较改进效果.最后以5400箱集装箱船方案设计初期的概念建模为例说明了基于改进聚类算法的建模技术,验证了该技术用于船舶建模的可行性.     

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

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

基于公理化设计的机床再制造设计支持软件开发

在分析机床再制造设计过程特点的基础上,引入公理化设计的相关理论与方法,形成基于多域映射的机床再制造设计过程框图;基于此,设计并开发基于公理化设计的机床再制造设计支持软件,包括机床信息、用户需求、功能规划、结构设计、再制造工艺设计等5个功能模块;该软件在某重型机床再制造设计中进行了初步应用与实施。     

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

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

基于矩阵摄动理论的微电网建模与优化控制

针对微电网系统稳定性和输出一致性问题,提出了一种优化控制方法.首先,建立了微电网系统小信号模型、系数矩阵和增量摄动矩阵,解决了系统特征值求解过程中的计算量大的问题.在此基础上,以稳定性、阻尼比和稳定裕度为性能指标建立了初次优化目标函数,矩阵摄动理论与人工鱼群算法相结合,对系统进行了初次优化控制.同时,为了保证微电网中各微源输出的频率和电压一致性,建立了再次优化目标函数,应用人工鱼群算法对系统进行了再次优化控制.最后通过仿真验证了所提控制策略的正确性与有效性.     

基于公理化设计理论的并行设计决策研究

针对并行设计决策系统的特点，建立了基于公理化设计理论的并行设计决策系统模型。以面向制造的设计为例，通过决策目标分解，将一个复杂的耦合系统转变成非耦合的模块组合结构，建立了可制造性评价指标体系，讨论了决策系统的设计过程，为计算机辅助决策过程奠定了基础。     

全通用会计软件模块结构的设计

本文在对传统会计软件的模块结构进行深入剖析的基础上,构建了全通用会计软件的模块结 构。     

基于公理设计的多目标优化方法研究

针对利用多目标优化理论进行产品设计时存在求解困难的问题,综合应用多目标优化理论与公理设计理论,提出利用公理设计理论独立公理中的全参直度和全能直度来解决多目标优化问题中求解困难的一般方法．并通过对一个简单的多目标优化问题的求解,验证了该方法的有效性．