基于事务的SMC动态演化容错机制

为提高“软件人”构件动态演化失败时的容错能力,提出一种基于事务的“软件人”构件动态演化容错机制。通过在“软件人”构件的管理外壳中扩展事务元接口,使“软件人”构件具备事务操作能力,定义演化失败时的事务处理流程;为支持“软件人”构件的分布式事务处理,提出一个轻量级的、支持“软件人”构件分布式动态配置的事务处理实现框架,为“软件人”构件动态演化失败时容错恢复的实施提供有效保障。     

一种MPI并行软件的动态演化框架

为使MPI并行计算软件具有运行时改变软件功能和拓扑的能力,基于MPI系统模型提出一种用于描述和实现动态演化的两层软件框架。在管理层,采用适用于消息传递的管道-过滤器风格规范系统的结构、分析并行软件的可演化性,并约定一种相应的动态ADL用于描述演化行为。在计算层,设计符合管道-过滤器风格的构件元模型及过滤器的重配置管理自动机。针对实现演化的两个核心问题,即进程的启动和数据连接的建立释放,实现基于MPI动态进程管理的重配置方法。通过性能测试,验证了该软件框架的可用性,为并行计算软件的动态演化提供了一种新的实现方法。     

体系结构动态演化中的构件行为分析

在体系结构演化的过程中,关闭运行时系统升级的代价增高和频繁改变的业务需求使得研究者考虑动态的软件升级机制.但在体系结构的动态升级过程中,由于构件风格、功能及交互方式等方面的差别,强制的构件升级会影响系统的稳定性和正确性。从构件行为的角度考虑,采用基于Wright的软件体系结构描述语言和通信顺序进程中对于进程的描述方法,描述构件行为并在构件替换之前分析原构件和新构件间的行为特性,在演化前确认构件的行为一致性,从而保证动态升级过程的正确性和合法性,以及提高系统演化的自适应性。     

基于非功能性特征的软件动态自演化框架

针对软件系统的动态自适应演化要求,提出一个基于非功能性特征的软件动态自演化框架。该框架将非功能性特征与不同目标的方面实现相关联,刻画它们之间的正负影响及权衡关系,并通过对方面实现的动态编织实现动态自演化。实验结果表明,该框架是有效可行的。     

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

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

基于不动点转移的SA动态演化模型

构造性和演化性是软件的两个基本特性．而软件演化包括静态演化和动态演化两个方面．动态演化更为复杂，这种复杂性决定了．对动态演化的研究首先应从宏观层面人手．软件体系结构SA作为软件的蓝图和支撑骨架．为人们宏观把握软件的动态演化提供了一条有效的途径．该文描述了构件——连接件组成的SA动态语义网络模型．分析了SA动态语义网络模型中的浸润过程．给出基于不动点的浸润过程收敛的判定，提出了邻接矩阵过滤和原子过滤的概念，阐明了基于邻接矩阵原子过滤的SA动态语义网络浸润步的原子性．指出SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上相继的逻辑衔接来描述．最后给出了两个层面上对SA动态演化波及效应的分析方法．为基于矩阵变换的SA动态演化的进一步研究和计算机自动量化描述奠定了基础．     

基于构件的网构软件系统动态演化

为适应网构软件系统在线演化的需求,提出一种基于构件的网构软件系统动态演化模型。该模型以构件为基本单位,基于软件体系结构部署和实施演化,给出构件添加、删除和替换需求的演化算法,通过引入一致性检查机制保证演化的安全和可靠。该模型实施简单、具有普遍适用性,软件系统无须进行大量的改动即可适应该演化模型。     

面向服务的构件可信演化策略

针对目前软件动态演化研究很少考虑可信方面的不足,以面向服务的构件为对象,提出一种构件可信演化策略。该策略包括构件可信演化的相关定义、推理规则、计算公式和声望更新模型。在演化过程中,该策略根据构件提供的各种服务的可信性计算出构件的声望值,由构件的声望值向导构件的可信演化,并根据实际演化情况动态更新构件的声望值。最后,通过案例进行分析,验证了该策略的有效性。     

C_2风格软件构架的演化研究

软件演化是软件生命周期中始终存在的变化活动,软件维护只是软件演化的特定阶段的活动和组成部分。由于软件复用思想的兴起,基于构件和构架的软件开发方法得到越来越广泛的应用,而相应的软件演化就成为组成软件系统的构件的演化和构架的演化。该文探讨了软件演化和构架演化的概念,研究了构架动态演化所涉及到的问题,并在分析软件构架风格的基础上重点研究了C2构架风格对构架动态演化的支持能力。该文提出的构架动态演化模型及其与C2风格的结合能够支持实际的构架演化。     

一种支持构件动态重配置的部署框架

基于构件的开发(Component-BasedSoftwareDevelopment,简称CBSD)逐渐成为创建大型可扩展系统的一种重要的开发方式,同时对基于构件的软件系统的灵活性和适应性的要求也越来越高;而能够动态重配置的构件系统可以满足这种不断增长的需求。文章提出了一种支持系统动态重配置的构件部署框架(ComponentDeploymentFramework)和相应的构件模型,实现了在系统运行时动态地添加、删除和替换构件,而且这些任务都是由构件部署框架自动完成的,对构件开发者透明,减轻了构件开发者的负担。     

ASP中实现数据库的动态操作

主要讨论在ASP中实现对某一数据库的某一表的动态操作.不论内容、字段数如何,都能实现打开显示以及对记录进行编辑(主要是修改).     

DF控制器的设计方法研究

基于动态模糊集（Dynamic Fuzzy Sets）理论和动态模糊控制推理模型的相关概念,提出了一种DF控制器的设计方法,给出了DF控制器结构,探讨了DF控制规则库、DF控制推理计算、DF化以及清晰化方法,解决了控制过程中的动态模糊性问题,更符合具有动态模糊性特点的控制系统的控制规律,并通过具体的应用实例体现了此设计方法的有效性和可操作性.     

动态表达式的解析和计算

介绍动态表达式的解析和计算的设计和实现,以及为几何作图函数曲线动画的多线程计算提供支持。     

DF积分的解法研究

We introduce the basic conceptions of DF integral in this paper. And based on the conception,we research on basic theories of DF integral further. Our research provides the foundation of the basic theory frame of DF integral. It helps other scholars to research DF system. In addition ,it enriches and develops the basic content of the DF Set. Therefore,the research achievement of the paper plays a stimulative role in DF system theory research.     

动态模糊逻辑（DFL）的真值域刻画

以往的理论的提出,虽然为研究解决具有动态模糊性的问题提供了一定的理论依据,但从整个动态模糊系统来看,这些还仅仅是一些初步工作,还有许多的内容需要进一步研究,因此,文章基于动态模糊逻辑,结合动态的模糊测度论,对动态模糊逻辑的真值域进行刻画。     

Experimenting with dynamic linking with ADA

An approach to achieving dynamic reconfiguration within the framework of Ada¹ is described. A technique for introducing a kernel facility for dynamic reconfiguration in Ada is illustrated, and its implementation using the Verdix VADS 5.5 Ada compiling system on a Sun3–120 running the 4.3 BSD Unix operating system is discussed. This experimental kernel allows an Ada program to change its own configuration dynamically, linking new pieces of code at run-time. It is shown how this dynamic facility can be integrated consistently at the Ada language level, without introducing severe inconsistencies with respect to the Standard semantics.     

一般意义下动态加载机制的应用研究

本文研究了一般意义下动态加载机制的原理和过程。首先建立了动态加载机制的下载、链接和分解三个基本操作的参数结构并进行分析,然后在此基础上提出了动态加载机制的过程模型并给出模型的运算机理。     

一个支持动态需求集的软件设计模型

就软件在需求变化时的适应性问题提出了一个可以动态演化的软件模型。首先描述了该模型的结构,然后解释了该模型的动态演化特性以及基于该模型的开发方法,最后给出了一个通用报表的实例验证了该模型的有效性。     

基于DFS的专家数据库系统设计

基于DFS,给出了动态模糊专家数据库系统的设计方法,并对系统的功能、系统的结构、DF数据库和规则库进行了详细的描述。     

动态二进制翻译中的冗余LOAD删除优化技术

动态二进制翻译系统是根据程序的动态执行信息来将源机器上的可执行代码翻译成目标机器上的可执行代码.在翻译成中间表示的过程中会产生一些冗余的LOAD指令,为提高代码的执行效率,提出对这些LOAD指令进行冗余删除优化.该优化技术可以使优化效果超过其自身的开销,达到优化的目的.