基于UML的集成化软件开发环境的研究与实现

统一建模语言UML(Unified Modeling Language)的出现为研制和开发集成化面向对象软件开发环境奠定了基础.针对当前软件开发方法中所表现出的新特点,结合用户在项目开发中的实际需求,讨论了基于UML的集成化软件开发环境的设计思想及应具备的主要功能,介绍了基于该思想开发的可视化建模工具UML/Designer的功能体系结构和实现情况.      

基于概念聚类的用户兴趣建模方法

Internet资源的指数级增长促进了个性化服务的发展.针对传统的用户兴趣建模方法在准确率和增量处理能力方面的不足,提出了一种新的基于概念聚类的用户兴趣建模方法UIM2C2(User Interest Modeling Method based on Conceptual Clustering).该方法首先通过分析用户访问的历史文档构造后缀树结构,然后选择不同的相似度阈值,以不同的粒度合并基本簇.依据不同阈值条件下合并的基本簇之间的包含关系,生成用户的兴趣层次.UIM2C2方法是针对文档的一个增量式、无监督的概念学习方法,因此用户描述文件可以轻易的获取和更新.最后,通过数据集20NewsGroup上的实验验证了UIM2C2方法在兴趣预测方面的有效性.     

UML软件开发过程和支持环境研究

从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(Unified Modeling Language),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题.     

组合Web服务建模工具的设计与实现

通过分析IBM提出的Web服务流程描述语言(WSFL),设计并实现了一个基于WSFL的组合Web服务建模工具(CWSMT).该工具还可与Web服务运行环境相结合,将图形化的建模结果转换为可部署、可运行的组合Web服务,实现组合Web服务的建模、部署与运行监控过程的一体化.      

面向领域的仿真设计建模工具SIMDEMO

讨论了面向领域的仿真设计建模工具SIMDEMO的设计和实现.基于透明性、正交性、层次性的视图分解原理,对处于不同阶段、面向不同用户、涉及不同方面的系统模型采用多视图进行分解,建立了以多视图为核心理念的系统协同建模方法,给出了该建模方法下建模所需遵循的过程指导.针对领域模型描述、表示以及操作等多个方面对工具重构的需求,研究得到了基于元对象反射模型的工具架构;架构具有良好适应性,使得工具重构更灵活、简捷.对SIMDEMO的功能结构进行了简介,给出了系统实现方案.最后,将SIMDEMO与典型同类工具作了比较.     

知识驱动飞机翼面结构快速设计

为提高飞机翼面结构初步设计阶段的质量和效率,对飞机翼面结构的建模过程进行研究.定义了结构布局坐标系及构件位置参数引用规则,提出了基于模板的翼面结构快速建模的方法.选择适合的参数化工具开发了知识驱动的飞机翼面结构的快速设计系统,将设计方法、规则及专家经验等知识进行封装,实现了翼面结构的自动布局并生成布置模型.在此基础上针对模型不同单元的生成逻辑,分别进行了实体模型的建立,通过用户自定义特征(UDF, User-Defined Features)技术进行几何特征体的参数化建模,在布置模型基础上自动实例化.最后通过飞机机翼翼盒结构实例验证了方法的可行性和有效性.     

基于模糊文本分类的多知识领域专家推荐方法

在知识管理系统中,推荐满足知识需求的专家是隐性知识共享的有效手段.为了推荐多知识领域的专家,以及完整的识别用户的知识需求,提出了基于模糊文本分类的多知识领域专家推荐方法.首先建立模糊文本分类器,通过对专家上传的文档进行模糊文本分类,结合时间等因素建立专家的知识模型.通过分析浏览文档日志识别用户直接知识需求,在此基础上采用信息熵计算用户的潜在的知识需求.然后根据专家的知识模型与用户的知识需求模型的匹配度进行专家推荐.通过在知识管理系统中的成功应用验证了该方法的可行性与有效性.     

UML在软件可靠性测试数据自动生成中的运用

为了自动生成实时嵌入式软件的可靠性测试数据,利用UML(统一建模语言)提供的建模机 制,从软件可靠性测试的角度建立use-case剖面、接口模型和测试数据实现模型,然后根 据 这些模型的描述进行随机抽样,自动生成可靠性测试数据.利用该方法能够开发出相应的测 试数据自动生成工具,在软件可靠性测试领域有着较大的实用价值.     

知识驱动飞机翼面结构快速设计

为提高飞机翼面结构初步设计阶段的质量和效率,对飞机翼面结构的建模过程进行研究.定义了结构布局坐标系及构件位置参数引用规则,提出了基于模板的翼面结构快速建模的方法.选择适合的参数化工具开发了知识驱动的飞机翼面结构的快速设计系统,将设计方法、规则及专家经验等知识进行封装,实现了翼面结构的自动布局并生成布置模型.在此基础上针对模型不同单元的生成逻辑,分别进行了实体模型的建立,通过用户自定义特征(UDF,User-Defined Features)技术进行几何特征体的参数化建模,在布置模型基础上自动实例化.最后通过飞机机翼翼盒结构实例验证了方法的可行性和有效性.     

基于HLA的防空导弹武器系统仿真平台研究

介绍了一个以防空导弹武器系统为背景,基于高级体系结构(HLA, High Level Architecture)技术实现的包含虚拟现实技术的综合仿真平台.着重论述了该仿真平台的构成、开发过程及其关键技术,包括HLA、基于FEDEP(Federation Development and Execution Process)模式的开发过程,层次化软件结构、计算机生成兵力(CGF, Computer Generated Forces)技术、面向对象建模以及基于包围盒的碰撞检测等.     

需求模式

为了解决软件开发过程中需求重用的问题,对统一建模语言中的活动图进行了扩展,用以作为软件需求捕获和描述的工具,并以此为基础通过借鉴其它模式语言的通用描述方式,提出了基于过程模型的需求模式描述语言,其描述框架包括模式名称、所属领域集合、适用语境、所要解决问题、条件约束、解决方案、模式实施、应用实例以及相关模式等方面,详细定义了语境、解决方案和相关模式的描述方式,并在此基础上给出了需求模式开发和应用的指导性原则.提出的需求模式技术,使软件最高抽象描述层次的重用成为可能,其应用必将大大提高软件开发的效率.      

基于STM32的可重复使用运载器闭环仿真系统

针对验证可重复使用运载器关键控制技术的需求,提出了一套基于STM32的可重复使用运载器闭环仿真系统。基于该套平台,对系统的总体方案、硬件平台设计、软件开发及设计进行了重点论述,实现了箭上测量单元、计算机单元、执行单元及地面测发控单元的模拟。通过仿真试验验证,完成了可重复使用运载器制导、导航及姿控算法等关键控制技术的验证。结果表明：所开发的闭环仿真系统设计合理,系统实时性好,可靠性高。可为可重复使用运载器大型试验奠定基础,缩短研制周期。     

基于Web服务的网络软件运行平台研究与实现

Web服务运行平台是一组软件的集合,它们通过标准协议或规范进行交互,形成一个面向Web服务及其应用部署、运行、监控和管理的系统环境.平台设计依据分层处理原则,采用核心运行环境、动态服务部署和插件式资源管理的系统结构进行实现.平台通过信息门户、工作流处理、系统服务、运行管理和安全控制机制为基于Web服务的互联网软件提供了一类应用支撑框架.      

企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

嵌入式软件仿真测试平台构件化技术研究

软件测试在航天嵌入式软件研制过程中占有极为重要的地位,使用全数字仿真测试平台进行软件测试是行之有效的方法.对仿真测试平台进行层次化构件分解和构件设计,研究航天软件仿真测试平台构件化开发方法,并给出应用实例,证明了该方法可大幅提高平台开发效率.     

大型飞机起落架收放控制系统仿真

起落架收放控制系统设计需考虑多种约束条件和影响因素,系统仿真平台的使用是辅助系统设计的重要手段.基于流体系统仿真软件Flowmaster,建立了大型飞机起落架收放控制系统液压附件仿真模型,在此基础上构建了完整收放控制系统仿真模型.基于建立的系统仿真模型,进行了正常飞行状态下起落架收上过程仿真分析,仿真结果给出了液压作动器尺寸设计对收放过程中系统入口压力需求、系统液压流量及起落架收放时间的影响.该仿真方法可用于起落架收放控制系统初步设计及多种飞行状态下设计方案的校核.     

基于多种并发机制的卫星电子设备地面测试软件设计方法

在卫星电子设备测试系统中,地面测试软件不仅要访问测试系统硬件,而且需要与用户直接交互,并完成测试数据的存储和管理,并发处理能力是测试系统可靠和正确的关键,传统软件设计采用的串行策略无法适应卫星地面测试软件中的并发处理需求.为解决上述问题,提出多线程、消息机制、共享缓冲区、P-V操作4种并发机制相结合进行程序设计的方法.实际应用表明采用这种基于多种并发机制的程序设计方法能可靠实现卫星地面测试软件,有效解决了软件开发中的并行性问题.     

使用贝叶斯网评估基础软件平台的互操作性

互操作性是当前软件最重要的特性之一.通过分析问题域,结合贝叶斯网的特征域,提出使用贝叶斯网来解决基础软件平台的互操作性评估问题.首先根据问题域选取贝叶斯算法,并收集实际数据以引入与问题相关的领域知识.根据所选取的算法构造互操作性的贝叶斯网结构,并且进一步学习此结构的参数.在此过程中,对选取的K2算法进行改进.然后,利用贝叶斯推理来根据互操作性的结构和参数得出评估对象的互操作性等级.最后,一个实例讲述了方法具体的应用过程.实验结果证明了方法的合理性.