基于组态技术的软件构件组装框架

通过对软件构件组装技术的研究,结合组态技术提出了一个可视化的软件构件组装框架。解决了构件组装过程中存在的异构问题、分布式问题和组装复杂性问题,实现了跨平台的软件构件组装。通过标准的元适配器构件,摆脱了构件代码连接方法的缺陷,实现了完全构件化的软件构件组装。     

Cogent后组装技术研究与实现

构件组装技术是构件软件的核心技术之一.本文分析了当前构件组装机制的现状及几个有代表性的构件组装机制的不足之处,然后提出了一种基于移动Agent技术的构件组装技术,它利用后组装技术弥补了传统连线机制中构件组装机构改动困难、构件装配欠灵活的弱点.其方法是通过提出的组调用表与定位表的概念,实现构件功能体与组装机制的分离,各自独立开发与编译.最后本文通过一个实例说明了Cogent构件后组装技术的特点.     

基于领域特征本体的构件语义描述和组装

构件的功能语义是复用者了解并判断构件可复用性的重要依据，因此必须在构件开发者和复用者共同的知识基础上进行构件描述．目前已有一些方法引入本体作为构件语义描述的基础，但仍然存在语义描述不够精确以及无法支持语义的组装推导等不足．引入了领域分析中提出的基于本体的领域特征模型作为构件语义描述基础，在此基础上给出了构件端口语义、静态语义、语义协议的定义以及语义组装算法．基于构件静态语义和组装算法可以在构件组装时进行语义合成，从而辅助开发者进行基于语义的构件适配和组装分析．     

基于模型构件和Petri网的企业整体建模方法

模型复用是提高建模质量和效率的主要手段，而模型构件是复用的核心和基础。在对构成企业这一社会技术系统的各种要素进行分析的基础上，首先将组成系统的要素分为功能构件、资源构件和人力构件等三类模型构件。然后以Petri网作为建模工具，给出一种以模型构件作为变迁和库所的企业整体建模方法。由此方法建立的企业模型具有良好的整体性和可复用性，能够全面反映构成企业的技术实体、资源和人等要素的配置和相互关系。最后给出一个企业建模实例。     

一种支持变化性的构件模型JBCOM/E

在基于构件的软件开发中,构件模型是基础,领域变化性是关键因素之一.为此,本文在原有构件模型的基础上,提出了抽象构件的概念,使之能对一族具有领域共性和变化性的构件进行定义与描述.文中就抽象构件的定义、规约语言描述以及相应的构件组装和构件管理等问题进行了讨论,定义了一种支持变化性的构件模型JBCOM/E,并给出了一个应用实例-青鸟POS领域平台.     

面向重用的构件化平台设计和实现

提出了利用抽象工厂模式来解决了构件化平台的设计架构,并给出了构件化平台的描述和讲解了构件组装,给出了CACP的实现细节和实现技术.通过实践证明,CACP确实可以对技术积累和产品化路线的规划起到推动作用,并且大幅提高实际开发中的开发效率.     

软件构件匹配技术研究

基于构件的软件开发(CBSD)以软件体系结构为蓝图,通过可复用构件的组装构建高质量大规模应用系统,是软件开发走上工业化的必由之路,如何从构件库中找到适用的可复用构件是CBSD的关键环节,首先分析了基于软件体系结构的CBSD开发过程,接着研究了软件构件模型和接口结构,最后给出了基调匹配和基于此的构件匹配算法.     

基于环境变迁的构件组合模型

Internet为分布构件的重用提供了平台，准确、高效的构件组合是新型软件生产的重要环节．针对新一代的软件模型．网构软件，本文首先建立了构件的环境本体，并提出将变迁图作为刻画环境本体的模型；其次提出了基于环境及其状态变迁的构件描述框架；然后针对网构软件的特征，提出了基于环境变迁的构件组合算法，最后用具体的案例展示了算法的可行性．     

基于可重构路由器装配的构件候选集生成方法研究

可重构路由器的研究与设计将冗长的网络设备生产过程变为类似于搭积木的构件装配过程。该文从构件组装角度出发,根据可重构路由器的特点,并针对第三方厂家大量提供构件导致的构件库急剧膨胀,构件提供困难的情况,提出了可重构路由器构件候选集CCS (Component Candidate Set) 概念。该文针对构件静态加载和动态加载的区别,采用神经网络分别设计了静态构件候选集生成方法和动态候选集生成方法。CCS的提出解决了可重构路由器构件组装过程中的自动化和智能化的问题。CCS描述了构件运行状态、自主运行及自适应演化运行等机制,最后给出了基于该方法生成构件候选集的仿真实验,实验验证该候选集生成方法的准确性和高效性。通过该方法在可重构路由器中的实际运用证明该方法的实用性。     

扩展方面机制的软件产品线体系结构建模及构件组装实现

 软件产品线是提高软件开发效率与质量的有效途径,它以体系结构(SA)为蓝图,定义组成产品线的构件与构件之间相互作用的关系,指导基于构件的应用产品组装实现.现有的基于接口连接式的体系结构仅能描述构件间的直接交互,却无法支持产品线可变性所带来的更为复杂的构件交互情况.因此,本文提出一种扩展方面机制的软件产品线体系结构建模及构件组装实现方法,其核心是一套扩展xADL2.0、结合面向方面机制的软件产品线体系结构描述语言.它能支持基于可变性的产品线体系结构设计与定制,并指导应用产品的构件组装过程.在此方法的基础上,我们开发了原型工具FdSPLC,提供对体系结构的可视化建模以及应用产品的自动化生成.     

基于PLM的可视化构件组装环境的设计与实现

本文在基于构件的软件开发方法基础上介绍了一种面向中小企业的可视化构件组装开发环境的设计和实现,并对构件技术的发展方向进行展望。     

同步合成网的进程特性研究

进程是反映Ｐｅｔｒｉ网动态特性的重要工具，同步合成是考察复杂Ｐｅｔｒｉ网性质的有效途径。本文研究Ｐｅｔｒｉ网同步合成过程中进程关系的特性，获得基本进程集的合成公式和进程语言的合成公式，还得到了切集，线集的有关性质，这些结果可为复杂Ｐｅｔｒｉ网动态特性的考察提供有力手段。     

Petri网的同步合成运算及其语言求解

文章拓展了Petri网同步合成运算的概念，并讨论了拓展后的同步合成运算满足的语言性质。证明了任意Petri网∑都可由一组S-网通过同步合成得到，从而可由这些S-网来求取∑的语言，最后给出了结构复杂的Petri网的语言的求解算法。     

基于同步合成的Petri网基本进程段求解算法

Petri网基本进程段的求取是Petri进程描述的前提和基础，然而直接求取通常是比较困难的。文章研究通过Petri网的同步合成操作求取基本进程段的方法。首先证明了一个结构复杂的Petri网可通过结构简单的S-网的同步合成操作得到，通过分析S-网与合成后的结构复杂网系统基本进程段之间的对应关系。给出了结构复杂Petri网基本进程段的求取算法。     

CWDM技术在城域网的综合应用

CWDM技术随着科学的发展和成本的下降。将在城域网各业务的衔接和传输上，得以更加广泛深入的应用。     

光控光开关的发展和应用

综述了光控光开关的发展状况以及它在未来全光网络中的应用 ;分析了几种典型的光控光开关实现方案的结构及原理 ;详细论述了光控光开关在全光网络中的各种应用 ,并通过分析和论述指出光控光开关将在未来的大容量全光网络中发挥关键作用。     

基于Petri网语言的系统设计与分析

本文从Ｐｅｔｒｉ网语言着手，研究系统设计方法，提出相应的理论，建立有关策略，形成一套从用户需求到原型Ｐｅｔｒｉ网模型以及对模型的性质分析和控制的方法。通过对系统的逻辑行为及性能指标的分析比较，从而优选出好的设计方案     

一种VxWorks环境下双冗余网卡的设计与应用

网络通信是现代通信系统领域的主要方式。网卡作为网络通信系统的关键组成部分,一旦发生故障,将导致整个网络通信系统的全部崩溃而不能工作。实现双冗余式网络构架是提高现代网络通信系统的可靠性和稳定性的一种重要方式,而双冗余网卡则是其中核心。文章简要介绍了一种双冗余网卡的实现机理、技术指标、结构特征、硬件组成以及软件描述。     

基于开放Petri网的Web服务行为弱合理性分析

目前,组合Web服务的正确性主要是通过合理性来判定,判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法,而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的.文中利用开放Petri网对Web服务进行建模,基于服务树理论,提出了判定多个Web服务组合后满足行为弱合理性的算法,实现对组合Web服务的正确性分析.最后通过具体实例分析了该方法的有效性.