PAR平台中并发分布式事务处理机制及其应用研究

随着大数据、云计算和云服务等新技术的兴起,并发分布式计算作为这些新技术的基础,扮演着越来越重要的角色.在分布式计算中,数据的一致性难以得到保证,而事务处理技术能够有效解决该问题.为了提升PAR平台在高可靠应用程序的使用范围,在其建模语言Apla中融入了并发分布式事务处理机制,使得Apla语言不仅支持分布式数据库事务,还支持分布式非数据库事务.该文对Apla语言并发分布式事务处理机制进行了深入地研究,并将其应用在学生管理系统、在线购物系统等实际应用场景中.     

网格环境下蛋白质多重结构比对的架构及其实现

针对蛋白质多重结构比对需要大量运算的问题,基于渐进式成对结构比对策略,设计了并行化的蛋白质多重结构比对架构及其在网格计算环境下的实现机制.实验结果表明并行算法大大提高了比对效率,减少了比对时间,提高了重用性.该并行蛋白质多重结构比对架构及实现方法可应用于其他的多重结构比对.     

基于重用的新产品开发研究

基于软件重用的思想和模型 ,提出基于重用的新产品开发过程模型 ,并对实现该模型的关键技术 ,即现有设计的结构化表示、设计检索和设计解的修改等进行了讨论 .在此基础上研究了面向重用的设计 .依据软件平台的概念 ,提出基于产品平台重用和关键部件重用的新产品开发方法 .给出不同企业新产品开发的重用策略 ,即平台重用和部件重用复合驱动策略、平台重用驱动策略、部件重用驱动策略和单一产品设计策略     

可扩展式企业重用部件管理系统的研究与开发

详细阐述了可扩展式企业重用部件管理系统的设计思路,并介绍了采用Visual C#语言并综合使用NX Open.NET、MFC、KF和VBA等多种技术开发可扩展式企业重用部件管理系统的方法。此外,还介绍了在NX中调用、NET窗体和用户扩展工具等关键技术的实现方法,为其它方面的重用部件管理系统的开发提供了参考和借鉴。     

基于动态语言的敏捷并行程序设计方法研究

阐述了基于模型同构、利用动态语言实现敏捷并行程序设计的方法,通过对Python语言并行性的研究,分析了在动态语言背景下实现敏捷并行程序设计的机制,提出了一种改进并行动态语言的模型,着重讨论了并行数据模型的映射方法,以及利用信号同步和数据锁实现并发控制的机制.     

面向对象软件重用开发环境

简要介绍基于可重用库的０－０开发方法，提出由重用工具集，重用信息接口和可重用库组成的０－０软件重用开发环境的设计目标、系统结构及特点，阐述重用处理过程中采用的主要策略、系统控制和管理的实现方法。     

可重用面向对象数控软件及其开发环境研究

通过对数控软件的标准化、规范化研究,运用面向对象机制,对数控软件功能与数据进行抽象并进行封装,设计成具有稳定、通用接口的可重用的软件芯片,建立一个类似硬件芯片的高可靠性数控系统软件芯片库．设计了软件芯片库管理器;实现芯片库的浏览、检索及维护,以及图形化应用程序集成工具;完成应用程序的功能配置与代码生成;实现ＣＮＣ软件的自动化或半自动化开发     

面向对象的软件重用系统——OOSCS的研制

在对面向对象方法的重用机制进行分析研究的基础上，提出了一种基于构件库的软件重用方法，并介绍了其原型系统——面向对象的软件合成系统（ＯＯＳＣＳ，ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｓｏｆｔｗａｒｅｃｏｍｐｏｓｉｔｉｏｎｓｙｓｔｅｍ）。ＯＯＳＣＳ是一个基于可重用构件库的软件开发支持系统。     

通 用 模 具 设 计 事 例 库 研 究

通过分析N层可扩展的分布式事例库系统结构的灵活性和安全性,采用代理机制、Java中间件、UG/Open API、事例库浏览器等技术,实现了一个通用的模具事例库系统,为用户提供模具设计事例库的浏览、编辑与管理功能,有助于产品设计的检索、重用与管理.     

可重用面向对象数控软件及其开发环境研究

通过对数控软件的标准化、规范化研究，运用面向对象机制，对数控软件功能与数据进行抽象并进行封闭，设计成具有稳定，通用接口的可重用的软件芯片，建立一个类似硬件芯片搞可靠性数控系统软件芯片库。设计了软件芯片库管理器；实现芯片库的浏览、检索瘃维护，以及图形化应用程序集成工具；完成应用程序的功能配置与代码生成；实现ＣＮＣ软件的自动化或半自动化开发。     

基于构件的若干图算法开发和生成

软件构件技术可显著提高程序的可靠性和开发效率,极大减少开发成本.泛型程序设计有助于降低编程的复杂度,为重用构件开发提供有效支持.介绍了生成式程序设计思想及泛型程序设计技术,分析了图算法领域的关键特征及领域共性问题,并对广度优先搜索、单源最短路径、所有顶点对最短路径等一类问题进行抽象,设计出相应的泛型图算法构件,进一步借助PAR方法中的泛型机制进行描述,并在PAR平台程序生成系统上进行构件组装生成具体的算法程序.     

基于因果关系复合的结构化并行程序设计

基于有关因果关系复合的ＣｏｍｍｕｎｉｃａｔｉｏｎＣｌｏｓｅｄＬａｙｅｒ理论，提出了一种结构化并行程序设计方法，以支持不同并行平台的“通用”并行程序设计方法．因果关系复合的范式定理的证明在理论上保证了采用“ＳＥＱＯＦＰＡＲ”形式进行结构化并行秩序设计的可行性；良好的代数性质也使得在这一模型中可采用代数方法的程序变换来进行并行程序设计、优化和验证．与其他并行程序设计模型和方法相比，提供了一种非常自然地综合描述数据并行和控制并行的途径；特别是基于代数变换的程序变换技术，提供了一种既独立于具体的体系结构又可高效实现的可能性．     

MIS 中重用部件粒度分析

通过实例说明在ＭＩＳ中确定重用部件粒度的方法，分析了自动生成ＭＩＳ时重用部件的粒度问题，指出重用部件的粒度问题是自动生成ＭＩＳ的关键技术问题之一．研究表明，如果重用部件粒度越小，则表达现实事物的能力越强，重构新系统的灵活性越好，但实现重用系统的算法越困难；如果以功能语言的形式构造粒度适中的重用部件，那么它既有直观地表达现实世界事物的功能，又有可能实现构造重用系统的模型．     

一种抽象泛型机制的新型Java实现

泛型程序设计可大幅度提高程序的可重用性、可靠性和开发效率,高抽象的泛型机制则有助于降低泛型编程的复杂度.该文介绍了一种抽象泛型机制的核心思想和编程技术,分析了新型Java中与之对应的实现机理,并归纳出相应的转换规则,且在既有平台中实现了抽象泛型程序到新型Java泛型程序的自动转换和运行,最后通过一个Kleen算法实例,展示了抽象泛型机制的实际运用和相应Java程序的自动生成.抽象泛型机制的新型Java实现,在降低可重用算法构件的设计复杂度、提高算法构件可靠性的同时,也为泛型构件的设计和描述提供了行之有效的新途径.     

空间重复锥杆卡爪式连接分离机构设计与分析

为满足航空宇航领域中对可重复连接分离技术的需求，提出了一种小型轻量化、有容差、高承载和高刚度的空间重复锥杆卡爪式连接分离机构. 采用ANSYS Workbench软件对空间重复连接分离机构进行静力学仿真校核其高承载能力，采用ADAMS软件建立该机构的运动学模型并验证其运动可行性. 基于等效弹簧接触模型建立了空间重复锥杆卡爪式连接分离机构的连接刚度显示表达式，利用ANSYS Workbench软件分析在无预紧力条件下和仅有预紧力条件下的刚度，并进行线性函数拟合. 结合线性规划方法，优化了预紧力使刚度和承载能力同时最大化. 最后，研制原理样机，开展10次以上重复连接与分离实验，证明了该设计的有效性. 通过研制重复锥杆卡爪式连接分离机构，为其在飞行器交会对接、卫星在轨服务、天线重复展开和大型宇航结构在轨构造等工程应用领域提供技术支撑.      

图类算法可重用设计及其实现

为了提高图算法生成效率和可靠性,该文提出一种将领域特征模型与构件组装技术相结合的可重用的图类算法开发方法.首先,通过对一族图算法的深入分析,揭示出图类算法领域的共性特征和可变特征,建立领域特征模型;然后,分析特征之间的交互过程,设计图类算法的可重用构件,并对构件依赖关系做出描述;最后,借助高可靠平台对算法构件进行开发,建立高可靠可重用构件库,进一步由构件组装出多种图算法,提高了图算法的开发效率和可靠性.实验表明开发出的图算法可重用构件库具有一定的实用性.     

一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．     

并行程序的一种间歇性性能分析方法

针对并行程序的动态性能分析方法存在的问题，提出了一种大粒度并行程序的新的性能分析方法，即间歇性性能分析方法。该方法采用了基于假设验证模型的瓶颈搜索全局策略，数据复用搜索加速方法以及用户交互式的搜索制导等技术，并应用这种性能分析方法改进了一个已有的并行程序事后性能分析系统。实验表明，该方法具有良好的准确性和易用性。     

基于领域复用的软插件库应用研究

目的研究基于领域复用的软插件的原理和实现模型。方法 结合基于领域复用的基本原则,对构造基于领域复用的软插件库的方法进行讨论,并以商用ＰＯＳ机软插件库有组织构造为例进行了具体说明。结果与结论基于领域复用的软插件比传统方法更有利于软件复用。     

适用于面向对象范型的代码复用技术

以支持结构化编程、数据现象和面向对象编程Ｃ＋＋语言为重点,利用面向对象范型,选用、派生、新设计程序中需要的类对象,讨论了其所支持的４个种代友复用技术,表明Ｃ＋＋存在多层次的代码复用及支持构造可复用模块技术,极大地降低了复用难度并提高了复用的程度。