接口连接式构件组装的一种形式化方法

构件组装是基于构件的软件开发的研究重点之一,能够有效地提高软件开发的效率和质量。以往大部分构件组装技术是在“成功组装路线”的前提条件下实现的,缺乏对构件组装正确性的检验。本文改进了常用的接口连接式构件组装技术,采用形式化方法描述和推导与构件以及构件组装相关的问题,给出了映射算法,实现了从构件组装规约向粘合代码的自动转换,为构件组装形式化分析、组装正确性检验提供了保证。     

一种基于线性逻辑的构件组装方法研究

构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.     

一种基于XML的构件组装编译技术研究

基于构件的开发方法的目标是将分布在Internet上的构件，自动或半自动组装成为一个新的粒度更大的构件或者一个新的软件，加快系统的开发周期，降低开发成本，提高系统的灵活性、可靠性、可扩展性和易维护性。在对构件组装编译的研究过程中，提出一种新的基于XML的构件组装编译解决方案。利用XML（Schema）对构件组装规约进行形式化描述，采用数据绑定技术，对用构件组装规约描述的XML文档进行组装编译的解析，最后利用标准代码编译器进行编译。实例证明了该技术的可行性。     

一种利用功能驱动的构件组装方法研究

从构件组装研究背景出发,提出一种利用功能驱动的构件组装方法,该方法是建立在一种有向图表示的软件体系结构模型上,以构件为基本元素,以用户的功能需求为驱动目标,以构件连通度和功能冗余度为评价指标,达到构件的自动组装并能提供满足用户需求期望的软件实体.最后根据构件的邻接矩阵和可达矩阵设计了一种组装算法,并给出了实验仿真结果.     

一种服务质量驱动的企业应用软件构件组装方法

针对现有面向全局构件组装方案选择技术的不足,提出了一种基于服务质量优化的构件组装方案选择方法.该方法主要是面向大型复杂企业应用软件系统的配置管理,其主要思想是将构件组装方案的选择问题转化为带约束的多目标优化问题.针对该问题,给出了一种基于向量编码的构件组装方案选择遗传算法,该编码方式可以非常方便地表示构件组装模型中构件接口之间的连接关系,从而克服了现有编码在描述构件组装模型中的局限性.最后通过实验分析了算法的可行性.     

一种基于语义描述的Web应用构件自动组装与实现方法

构件组装技术是一种将已有的可复用构件遵循特定的组装方案进行组合的技术,组装的结果是一个粒度更大的构件或者是一个完整的应用系统。然而,现有的技术还难以自动组装那些涉及在线人工交互操作的Web应用构件。针对这个问题,提出一种基于语义描述的Web应用构件自动组装与实现方法。该方法首先提出一种扩展OWL-S的针对Web应用构件及其组装的语义化描述方案。基于该描述,可根据用户的应用需求按照匹配规则从众多构件中筛选出符合需求语义描述的Web应用构件。另外,该方法还提出一种OWL-S到符合BPMN2.0标准的映射方案,用于将描述Web应用构件及其组装方式的OWL-S映射为BPMN2.0文件。j BPM流程引擎可加载并解释执行该BPMN文件,从而实现Web应用构件的自动组装与运行。最后,通过一个旅行规划的实例验证了该方法的可行性和有效性。     

基于构件视图的组装技术

构件组装技术是基于构件的软件开发的核心技术,目前已经存在多种构件组装方法.构件视图是一种构件库管理机制,利用构件视图可以从不同的角度对构件之间的关系进行描述.在简单介绍了现有的构件组装技术的基础上,阐述了构件视图的含义、作用以及构件视图模型,并以基于体系结构的构件组装方法为理论基础,将构件视图的概念引入到组装技术中,给出了一种基于构件视图的构件组装方法,介绍了此方法进行构件组装的流程和此方法的关键技术.     

一种基于XML的构件组装编译技术研究

基于构件的开发方法的目标是将分布在Internet上的构件,自动或半自动组装成为一个新的粒度更大的构件或者一个新的软件,加快系统的开发周期,降低开发成本,提高系统的灵活性、可靠性、可扩展性和易维护性。在对构件组装编译的研究过程中,提出一种新的基于XML的构件组装编译解决方案。利用XML(Schema)对构件组装规约进行形式化描述,采用数据绑定技术,对用构件组装规约描述的XML文档进行组装编译的解析,最后利用标准代码编译器进行编译。实例证明了该技术的可行性。     

一种基于构件组装方式的特征干扰检测方法

随着基于构件的软件开发技术(CBSDT)的不断发展,构件组装中的特征干扰问题逐渐受到大家的重视,针对这一问题的研究也成为一个热点。基于软件构件的特点。提出采用时序逻辑语言XYZ／E形式化构件,并根据构件组装的不同方式对特征干扰问题进行检测。     

Internet环境下一种基于数据流的构件组装模型

随着Internet上提供在线复用的构件增多，用这种构件服务组装软件系统就成为可能．本文首先针对Internet环境构件组装系统分析了现有相关技术的不足，讨论了组装技术应用上的关键问题．为此将构件与传统的数据流计算模型相结合，设计并实现了支持广域构件组装的DFCM组装框架；给出了DFCM的总体结构，描述了其中的关键技术；经过对原型系统的模拟表明该模型框架是有效的，能够充分利用Internet固有的并行性，具有扩展性．     

基于构件库及构件组合的软件重用

介绍了一种具有动态组合特性的构件Ｐａｄ，详细说明了它如何规范重用单元的接口以及相互间可传递的消息，并进一步介绍了构件Ｐａｄ的组合规划消息传递协议，还简村介绍了一种在面向对象数据库的基础上实现构件库的方法，最后，介绍了已开发成功的一个构件重用支撑环境的原型。     

一种基于分布构件装配元信息动态重构的表示方法

动态重构技术使得软件系统自身进行演进的同时,仍然能够提供服务。本文提出了一种基于构件装配元信息的动态重构操作的表示方法。该表示方法以Jeff提出的动态重构系统设定为基础,采用集合来表达构件应用中的构件、连接子和节点,为动态重构规划的生成以及等价性验证等提供了量化方法,并在基于CORBA构件模型的StaCCM分布构件平台中加以实现。     

一种实现可动态连接构件的方法

本文介绍了面向对象技术开发具有动态连接特性的构件的方法。在简要介绍了可动态连接构件ＩＰ及其构件模型后，详细给出了ＩＰ构件的实现方法。在本文中，我们设计了一个实现构件ＰａｄＭＶＣ结构和基本操作的基类ＢａｓｅＰａｄ，给出了由Ｂａｓｅ Ｐａｄ派生构件Ｐａｄ的方法，最后还阐述了基类ＢａｓｅＰａｄ与构件Ｐａｄ之间的消息传递机制。     

RTCS：一种具有精确语义的实时构件描述机制

大规模和复杂的实时系统可以显著获益于基于构件的软件开发方法,即通过已有的经过验证的可复用构件来构造实时系统,如能将这一集成过程自动化,将会显著提高实时系统的开发效率。通过对实时任务特性的分析,在Timed CSP等形式化工具的基础上,提出了一种具有精确语义的实时构件描述机制-RTCS,并探讨了在实时COR—BA架构内利用RTCS实现构件自动生成的方法。     

实时构件合成的语义研究

实时构件合成是实时应用系统中软件合成的基础,是实现软件复用思想的软件生产活动,其语义研究从实时构件的反射式语义模型、实时构件合成的适配性验证和合成构件的语义规约机制三个方面展开,规约为实时构件合成中的分析理论。     

应用综合评分法评价新疆灰漠土土壤质量的研究

应用综合评分法对新疆国家灰漠土基地1990~2002年长期定位试验土壤监测数据进行计算分析。结果表明:土壤质量指数可以反映各处理的土壤质量的年度变化,且与单项养分变化趋势一致。研究还表明:长期施用无机化肥、有机肥,特别是有机无机配施土壤质量均有显著提高,氮磷配合施用土壤质量也有明显提高,单施氮、磷肥土壤质量有提高趋势,长期不施肥土壤质量将下降。因此应用综合评分法评价灰漠土土壤质量的方法是可行的。     

一个新的灰色综合评估模型研究

不同于一般灰数和区间灰数,本文依据灰数内涵和存在的实际背景,利用不确定性数集与普通数集(实数集)的异同点与联系,定义一种新的灰数表征方法——灰数量度.它满足四则运算法则且有自己的测度公理化定义,在此基础上建立一个灰色综合评判模型,并用案例验证它的有效性和简便性.     

基于灰关联模型的通信网能效评估研究

针对目前通信网络存在的能耗问题,引入灰色关联度算法模型,提出一套通信网能效评估的方法．然后通过实例分析证实方法的可行性。     

基于JavaBeans的软件构件复用技术研究

软件构件技术作为一种软件复用技术，旨在解决软件系统开发所面临的困境。大多数构件组装工具都是基于某种特定的构件模型，选取JavaBeans 构件模型作为研究对象，分析了其与软件复用相关的特征，探讨了其对软件复用的支持程度，并对其中的一些特征进行了扩展。     

主成分分析法在建筑企业评价中的应用

主成分分析是一种通过降维技术把多个变量化为少数几个主成分的实用统计分析方法。建筑业作为推动国民经济发展的重要支柱产业，为根据多项指标对建筑企业发展水平做出评价，使各地区部门得到有益的反馈，进而有效指导资源配置，提高建筑企业质量水平，本文在阐述主成分分析法原理的同时，对大陆地区除西藏外的30个省市自治区的建筑业情况进行了综合评价。