网络构件软件体系模型并行算法研究

基于网络和本地代码序列协调、同步运行的构件化框架,提出了网络构件系统的并行优化算法,并且给出了算法的形式化描述,讨论了并行代码构造(CCCA)算法和分布式数据流(DFDM)算法对系统性能的影响,实验数据证明,网络并行算法模型能有效地提高软件系统的性能.该并行算法为分布式软件体系结构下的本地框架和远程服务提供了一种有效耦合的方法.     

基于构件的分布式软件体系结构开发

结合C/S模式提出并设计基于构件的分布式软件体系结构应用程序,利用多层设计模型设计电话计费查询程序.利用JDBC访问关系数据库,RMI远程方法调用实现客户程序与服务程序间交互,以验证分布式在软件体系结构开发中的显著作用.     

领域构件库技术在信息系统开发中的应用

为提高软件的复用程度,采用了基于软件体系结构的开发方法,提出了机场领域的软件体系结构;重点讨论了领域构件库及其在信息系统中的作用,设计了一个领域构件库系统,为构件的检索和管理提供了基础;初步实现了领域构件库中对构件的分类、查询、存储和管理功能,并在领域特定的软件体系结构框架下,实现了对机场领域的信息系统的开发。     

基于构件的软件开发研究与应用

分析了软件体系结构,研究了基于分布式Web应用的主要结构形式,即松散分层系统逻辑实现机制及其构件技术,在此基础上结合高职高专教师教学水平评价系统实例给出了基于构件的分布式Web应用的开发过程,完成了该系统的设计、实现.     

一种基于构件失效传播的软件可靠性建模方法

在当前主流的基于软件体系结构可靠性建模方法中,路径法是一种相对简单实用的建模分析方法。现有软件体系结构可靠性建模方法大多基于构件失效行为相互独立的假设,当构件产生的失效对其它构件可能产生影响时,现有的建模方法无法准确表达系统的失效行为。为解决这一问题,基于路径法,使用构件转移图描述典型的软件体系结构,引入构件失效传播概率矩阵来定义构件失效传播行为,并对现有针对典型体系结构的可靠性模型进行了扩展。最后通过两个实例验证了新模型比现有模型更能获得准确的评估结果。     

基于构件的软件开发研究与应用

分析了软件体系结构，研究了基于分布式Web应用的主要结构形式，即松散分层系统逻辑实现机制及其构件技术，在此基础上结合高职高专教师教学水平评价系统实例给出了基于构件的分布式Web应用的开发过程，完成了该系统的设计、实现．     

分布式构件交互机制研究

构件交互是基于构件的分布式应用系统的核心，目前的中间件平台对构件交互的支持主要是基于传统过程调用的RPC机制和面向对象范型的同步式请求／应答消息机制。而在后一种机制中，构件交互协议的实现嵌入在构件的功能描述代码中。因此，设计出的系统，结构复杂，缺乏灵活性，中提出了一种独立于构件实现的，支持形式化分析与动态测试的构件交互模型，有效地解决了以上问题，设计并实现了一个基于该模型的交互格定义语言DICIDE，详细讨论了端点交互特别是分布式构件绑定的实现问题，通过例子展示该模型和语言的设计思想和特点。     

软件体系结构交互动作精化研究

分析了当前体系结构精化的研究工作, 基于体系结构形式化描述语言πADL, 提出了体系结构交互动作精化的概念, 定义了交互动作精化的规约方法, 给出了交互动作精化遵循的法则, 有效地解决体系结构精化过程中构件与其交互动作的抽象层次不匹配的问题. 开发了体系结构交互动作精化的推导算法, 确保精化过程中高层体系结构的行为特性得到保持, 并自动生成低层体系结构. 实例研究表明了该方法的可行性.     

数学原始概念的新选择

选择元素作为数学的原始概念.元素满足基本、统一、独立、确定、分明的5条公设.元素可构成序列和集合.集合满足5条生成新公理:空起查后继、后继能加列、终结才确集、后继可永存、理想设穷竭.给出了无限集合的新定义:元素在现实中永有后继而且在理想中一个不漏的集合.用无限序列来反映无穷的进程,用无限集合来反映无穷的终结,强调两者不能混淆.还给出了5条自然数序集的生成新公理:下界0存在,正向1次序,素量n标准、后继w无限,上界∞存在.与皮亚诺公理相比,反映了数的度量性和无穷设终结.将数学哲学的研究和数学基础的建构紧密结合,力求3组公设公理的逻辑关系清楚,形式简明优美,语言通俗易懂.     

构件式体系结构模型转换的语义一致性

基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对模型转换的语义特性保持进行验证,克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。     

基于框架的软构件后缀索引构造方法研究

目前现有的软构件检索方法都是将软构件作为孤立的个体对待,而在实际应用当中软构件大多是基于某框架之下的.为了描述和管理软构件所应用的框架和环境,利用基于有色Petri网的框架模型计算构件之间的框架距离,根据距离的远近利用SOM聚类为构件分类形成框架类别.另外,为了提高检索效率为每个刻面的术语空间建立术语树,并为树中节点建立后缀索引.这样减少检索软构件时遍历术语树中节点的个数,而且使同一批检索到的构件更适合应用到同一框架当中.分析表明,该方法不但可以提高软构件的检索效率,而且保证了检索到的软构件经过最小的修改量就能够被应用到软件系统中.     

基于构件的分布式软件体系结构设计

结合Ｃ／Ｓ和Ｂ／Ｗ／Ｓ两种模式提出并设计了一个基于构件的分布式软件体系结构的框架模型,讨论了系统功能分解中的分层与分离原则．应用通用查询系统实例表明,这种开放式体系结构具有可扩展性、易适应性等优点．     

计算机体系结构与软件体系结构

科学合理的软件体系结构是开发一个成功应用系统的必要条件 ,对于提高系统的开发效率和质量具有非常重要的意义。文中从计算机体系结构的一些重要概念引出软件体系结构的重要概念 ,并描述了两者之间的关系 ,最后指明软件体系结构的主要研究方向。     

基于组件技术软件体系结构模型的设计

以往的结构模型系统结构复杂、设计周期长、不易实现系统的数据集成。从面向对象技术出发,根据可重用软件组件的特点及局限性,设计了软件体系结构基础模型和基于组件技术的软件体系结构模型,这种模型的关键在于一种高效的总线结构,使组件之间能以一个公共的接口互相连接,做到组件的即插即用,无缝集成。在这种模型的系统中,组件间的通讯链接数是线性的,并且由于各组件接口规范的一致性,通讯的复杂度大大下降,提高了组件的互操作性,达到了易于数据集成的目的。经过在大型数据处理系统中运行,证明该系统稳定性好,效率高,可广泛应用于大型复杂系统的数据集成。     

基于软构件的掌纹识别软件平台的开发与集成

针对现阶段掌纹识别相关软件开发中的问题,采用基于构件的软件开发技术,结合掌纹识别各类算法的特点,集成实现了软件平台,并分析了平台中各类相关构件的获取、分类和组装方法。本软件平台采用可复用软构件技术,实用价值高,而且该平台有效缩短了系统开发周期,并降低了软件维护难度。     

可编程遥测/计算机系统实时软件设计

遥测系统与计算机结合形成现代的遥测/计算机系统。这种系统的实时处理能力比传统的遥测系统强大得多,因此得到越来越广泛的应用。本文主要介绍我们研制的可编程遥测/计算机系统的系统结构、软件结构、实时软件的功能和设计思想。