工程图中的模板识别和匹配方法

针对建筑结构图的规则和特征，提出了结构平面布置图和标准结构详图的识别及实例化方法。该方法分三个阶段：首先，通过表格识别和模板识别建立标准模板库；然后，利用规则引导识别结构平面图；最后，通过模板实例化实现构件到模板的对应。此方法可以大大提高工程图自动识别的正确性和系统的自适应能力。     

基于构件的软件框架与角色扩展形态研究

框架是实现大粒度软件复用的有效途径,面向对象框架可以通过实例化扩展实现具体的应用系统,但是,研究和实践表明,面向对象框架存在着一些问题.采用基于构件的框架(CBSF),通过用构件替代框架内部相互协作的类,以增大框架构成成分的粒度;同时利用构件的接口调用和组装实现框架扩展机制.主要探讨了角色扩展形态,角色是将要被进一步实例化的特殊构件,可分为抽象构件和模板.针对不同变化性类型,提出可以利用体系结构模式、设计模式或参数化这3种方式设计CBSF角色扩展,进而讨论了基于角色扩展形态的应用构件组装.     

基于模板技术的汽车多体动力学建模研究

针对当前汽车动力学仿真软件建模复杂度高、模型结构不易理解、模板开放性不高等缺点,提出开放的模板化建模技术.将汽车动力学模型分解为相对独立的子系统并抽象为基本模板,采用“基本模板—结构模板—模板实例化”的架构,用XML描述模板,从而实现模板的开放性,构建汽车动力学模型的树状层级模板库和实例库,结合基于实例推理的方法生成模型.在此基础上开发了汽车整车建模软件,并以某重型汽车起重机为例说明了该技术的应用.     

面向联盟定制的产业链协同平台演化技术

结合面向联盟定制的产业链协同平台的实际需求,提出基于构件组装的软件即服务(SaaS)平台体系结构,对平台数据特点进行分析,给出基于业务数据库模板的分联盟数据管理方案,研究联盟定制过程中与业务功能关联的数据库动态生成算法,以及在联盟使用过程中基于用户身份的业务数据库动态连接技术。汽车产业链协同SaaS平台上的应用实例证明了该演化技术的有效性。     

基于构件的服务模板研究

针对“软件人”构件动态演化系统(SoftMan component dynAmic eVolution system,SMCAVS)平台提出了一种服务模板的概念模型——“软件人”服务(SoftMan service,SMS).通过形式化定义服务体、服务绑定、服务端口、子服务等元素,形成了一个递阶式、可扩展的模型.给出了用于表示SMS服务模板信息的DTD规范文档,并在此基础上设计实现了存储和管理方法.通过服务构件化测试,验证了SMS服务模板概念模型设计的正确性与可靠性.     

构件化软件开发及系统测试技术探究

随着社会对软件需求的不断增加,以及软件开发的难度和成本的加大,构件软件开发系统及系统测试技术的应用越来越广泛,本文就构件化软件开发过程进行探究,同时运用一个开发实例进行了分析,最后研究了构件化软件系统测试技术和构件测试方法,并得出测试技术中存在的问题。     

基于软构件的动态企业建模技术

动态企业建模是企业信息化工程中的一次重大变革.本文在分析动态企业建模理论的基础上,提出了一种基于软构件的动态企业建模技术:在企业建模过程中引入软构件,通过对模型构件的动态重构,快速建立同时具备柔性和扩展性的企业模型.文中详细说明了企业模型的构件化过程和基于软构件的动态建模体系.     

基于进程代数的构件动态演化行为一致性研究*

为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后,通过一个构件化系统的实例来说明所提出方法的可行性。     

基于规则的代码构件提取技术研究

构件提取是构件化技术中的一个热点问题,采用程序树作为代码构件的一种形式化表示,并使用结构化标记文法来解决构件提取中规则描述的问题。使得提取技术具有跨语言的能力,并给出了基于结构化标记规则的Ada代码构件提取过程实例。     

一种动态适应性连接器设计实现关键问题研究

连接器对软件的适应性具有重要影响.为正在研发的适应性软件开发平台-smartFramework提出一种动态适应性连接器模型.针对该模型设计实现存在的一系列关键问题,基于实例化方法和反射技术,并融合所提出的动态设定通信缓冲区方法和使用主题描述与匹配数据方法,给出支持不同构件间连接机制、构件间动态连接机制、传输和匹配异类数据机制,形成完整的解决方案,设计实现了该模型.应用该模型进行的示例开发实验进一步证实了解决方案可行有效,为适应性软件支撑工具开发提供了支持.     

一种并行数据库的动态多维数据分布方法

并行数据库系统的性能与数据库在多处理机之间的分布密切相关.目前已经出现一些并行数据库的数据分布方法.但是,这些方法都不能有效地支持动态数据库.文章提出了一种并行数据库的动态多维数据分布方法.该方法不仅能够有效地支持动态数据库的分布,还具有多维数据分布的诸多优点.此方法由初始数据分布机构和启发式动态数据分布调整机构组成.初始分布机构完成给定数据库文件的初始分布.动态数据分布调整机构实现动态数据库数据分布的动态调整.理论分析和实验结果表明,这种方法十分有效,并且能够有力地支持动态数据库上的各种并行数据操作算法.     

基于动态主成分子空间的人脸识别算法

在基于子空间分析的人脸识别中,通常是按照特征值的大小来确认主成分的重要性,并以此为基础构造一个固定的特征子空间.通过人脸图像重建分析,发现固定的特征子空间会给人脸识别带来误差,于是采用多元线性回归分析理论,提出一个动态主成分子空间构造算法.在此基础上,得到了动态PCA(主成分分析)算法和基于Gabor特征的动态PCA算法.由ORL和Georgia Tech人脸数据库上的实验结果表明,该算法不仅减少了主成分数目,而且提高了识别率.     

基于"和欣"操作系统的安全文件系统构件

“和欣”是基于ezCOM构件技术、支持构件化应用的操作系统，它的灵活内核体系结构支持动态加载、更换、卸载文件系统构件。本文在介绍ezCOM构件技术的基础上，扩展“和欣”的文件系统构件，详细论述了安全文件系统构件的设计与实现。该安全文件系统不仅是可装卸的，而且从操作系统层次上对数据提供了强大的安全基础支持。     

基于SCA的SHP组件动态部署方案

在软件通信体系结构(SCA)中,调制解调级硬件抽象层(MHAL)规范不支持专用硬件处理器(SHP)中组件的动态部署。为此,提出一种基于SCA的SHP组件动态部署方案。介绍MHAL通信机制,设计硬件装配描述文件和硬件组件描述文件,在此基础上实现动态部署。分析结果表明,该方案能实现波形开发和部署阶段软件与硬件的分离,增强SCA对SHP的兼容性。     

基于构件动态演化的行为一致性验证方法

为了保证构件在动态演化中的行为一致性,避免不合法的构件演化,提出一种基于进程代数的构件模型,引入对外主动请求接口和内部连接,形式化描述构件及其对外交互协议,给出相关定理和验证算法。实例证明,该构件模型可以验证动态演化中的接口兼容性、外部交互行为一致性,以及运行时行为完整性。     

结合可信度模糊评价与动态聚类的构件选择

开放、动态的Internet环境下,网构软件面临可信性的重大挑战。运用模糊理论,提出了一种满足最贴近用户可信度期望的构件选择方法。该方法中,定义了网构软件环境下构件的6种可信属性,介绍了一种多因素的构件可信度模糊综合评价方法,以此为基础,建立了一种满足用户可信度期望的关键词：网构软件;可信计算;构件选择;模糊综合评价;动态聚类网构软件模型,为实现候选构件与抽象构件的映射,应用基于模糊等价关系的动态聚类实现可信构件的选择。结合案例说明了方法的有效性。     

构件动态演化内部一致性保证方法

基于构件的软件开发已成为软件开发的主流方法,针对构件式软件动态演化后的一致性保持问题,目前大多数学者主要是从构件式软件的外部一致性角度进行分析和研究。为此,从构件内部的角度出发,提出一种保证构件式软件动态演化构件内部一致性的方法。首先,对构件及其相关模型进行建模,并给出了构件内部类有向图的同态映射关系的判定算法;其次,给出构件式构件动态演化内部一致性的标准,基于进程代数的强模拟理论和图论中的同态映射关系,分别从全局和局部的角度定义了构件式软件动态演化前后构件内部一致性标准的充分条件和必要条件,并对其进行了证明;然后,基于上述工作,给出了构件动态演化内部一致性保证方法的流程;最后,通过案例研究表明该方法的可行性和有效性。     

基于Pi演算的构件行为兼容性研究*

构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证构件在替换或组合之后系统仍能正常稳定运行,利用Pi演算对构件行为进行建模,并对多个构件行为间的兼容性进行验证,提出了绝对兼容、相对兼容等理论,并运用兼容度来判定构件行为兼容性强弱,且通过实例进行分析说明。     

构件系统建模及其动态演化一致性验证方法

基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型;然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态演化一致性的验证准则;最后,提取演化前后构件系统的行为,并将其转换成便于Pi演算自动工具MWB(Mobility Workbench)识别的格式,以进行行为一致性验证。案例研究表明,该方法是可行且有效的。     

基于组件动态多维模型的组件库架构

基于组件的软件开发是一种用来提高复用水平的最有前途的软件工程技术．而基于组件开发的最重要的问题之一就是如何能最有效的建立、维护和使用组件库．本文从不同的视角来反映组件的整体特征，每个视角称为一个“维”．又从静态和动态两个方面来阐述组件库的各个维，如描述维、部署维、案例维、测试维、需求维、创建和维护维、应用维、度量维等，提出了组件库的元模型．在此基础上又给出了基于组件动态多维模型的组件库的实现架构．