软件体系结构动态演化的Z描述语言扩展方法

针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性.     

基于Z-ADL语言的动态体系结构描述

软件动态演化已成为软件发展的新动力,动态体系结构语言成为描述复杂软件体系结构的有效工具.提了一种基于Z-ADL语言的动态体系结构描述,可通过对构件、连接件添加和删除实现软件的动态演化.     

大规模并行网络动态演化特征挖掘技术研究

传统技术无法适应动态变化的网络演化特征,容易引入很多无关节点连接信息,合理设定参数非常困难,导致动态演化特征挖掘结果不可靠。为此提出一种新的大规模并行网络动态演化特征挖掘技术。在建立的大规模并行网络中,把网络节点划分成普通节点和簇头节点,普通节点加入大规模并行网络后,被看作簇头节点,只和某个簇头构建链路,通过多跳实现数据转发,依据择优添加连接和反择优过滤节点演化。针对大规模并行网络动态演化特征,提出挖掘模型,通过初始权重对节点在网络中的初始化状态进行描述,利用突发权重,依据时间独立性对动态演化特征的突发性进行描述,采用密集权重对网络在局部时间内节点连接的密集程度进行描述,通过连续权重对网络在相同演化期间体现的连续性进行描述,依据总权重值实现动态演化特征的挖掘。实验结果表明,所提技术挖掘可靠性和实用性强。     

基于容器的面向对象技术的多态性实现及应用

多态性是面向对象技术的重要特性之一,C++语言支持静态多态性和动态多态性.静态多态性主要通过函数重载和运算符重载来实现,动态多态性主要通过虚函数和动态联编来实现.多态性使程序设计更加灵活、易维护和易扩展.介绍了动态多态性在C++语言中的实现机制,提出基于容器的动态多态性实现技术,结合VC++6.0中绘图软件开发实例,描述基于容器的绘图过程及动态多态性应用.     

基于Petri网的构件组装模型

针对形式化语义对构件组装和演化描述能力不足的问题,提出了基于Petri网的构件组装模型.以Petri网系统表示构件的静态组装结构,用网中标识在库所中的流动来模拟构件的动态运行过程;构造了6种具有普遍适应性的构件组装运算,给出了构件Petri网的动态运行规则,并通过案例演示了构件Petri网的演化和组装运算过程.为了支持对构件演化过程中波及效应的量化分析,从可达标识图中抽象出构件影响因子用来描述相关构件耦合度的大小,并用以度量构件系统演化时的影响度.该模型可应用于基于构件的软件系统的体系结构描述及构造过程的演化分析.     

多线程可动态演化程序的设计

为满足软件系统24/7/365不中断运行的需求,提出了对运行中的软件进行动态演化的要求.分析了软件演化的基本种类,叙述了多线程可动态演化软件的演化步骤,并对该类程序设计中涉及到的一些关键问题展开讨论.最后以数据集成软件为例分析了多线程可动态演化程序实例的运行状况.     

时态GIS中动态网络建模及实现方法

介绍了动态网络以及组成动态网络的主要单元——动态连接对象的数学描述,分析了动态连接对象的演化特征,将动态连接对象的演化分为生命演化、几何特征演化和拓扑关系演化3种类型,其中生命演化可以支持表达对象演化的继承关系。定义了新增、分裂继承、合并继承、消亡、分裂、合并、形变、相遇和分离9个演化事件。在此基础上,建立了以动态连接对象为中心的动态网络数据结构,使得动态网络的数据操作与维护相对容易实现。设计了基于本文模型的面向动态连接对象的基本操作以及动态网络数据的完整性检验规则。     

基于动态事件树的安全风险分析方法

针对系统安全分析过程中,传统静态方法的局限性和现有动态方法的侧重点不同,对动态事件树分析方法进行了研究,给出了其基本理论概念,描述了基本建模过程.以某冷却缓冲装置的安全控制为例,实现了动态事件树的建模方法,通过仿真得到了该装置随时间演化过程中的动态行为及其事故演化的路径、时间和概率等信息.分析结果验证了动态事件树分析方...     

动态信息理论和动力学系统信息描述

发展了作者建立的动态统计信息理论. 基于随机动力学系统、经典和量子非平衡态统计物理系统和特殊电磁场系统的态变量演化方程都可看成是其信息符号演化方程, 结合动态信息和动态熵的定义, 推导出了描述动态信息演化规律的动态信息演化方程和动态熵演化方程. 这四种演化方程的数学类型相同. 它们一致表明: 当信息在系统之外的坐标空间传递时, 动态信息密度随时间的变化率是由其在系统内部的态变量空间和传递过程的坐标空间的漂移、扩散和耗损三者引起的, 而动态熵密度随时间的变化率则是由其在系统内部的态变量空间和传递过程的坐标空间的漂移、扩散和产生三者引起的. 当空间噪声可略去时, 将会出现信息波. 若仅研究系统内部的信息变化, 动态信息演化方程就约化为与描述上述动力学系统演化规律的动力学方程相对应的信息方程, 表明各动力学系统的演化规律都可统一由信息方程描述, 因而这些系统的演化过程就可抽象成信息的演化过程. 进而给出了信息流公式、信息耗损率公式和熵产生率公式. 论证了内部组元间存在相互吸引作用的动态系统可能自发产生信息, 推导出了这种信息产生率公式. 从而得到了系统的总的信息变化率表达式, 它是由信息耗损率、信息产生率和信息流入率三者的代数和组成的, 显示了动力学系统的演化、包括退化和自组织进化统一的信息描述.     

混沌演化算法求解动态优化问题

提出了一种结合混沌序列的演化算法——混沌演化算法,将其用于处理动态优化问题,并对动态多峰benchmark优化问题进行了数值实验,实验结果表明:混沌演化算法在处理动态优化问题时是有效的.     

Refinement and Transformation from Z Specification to C + +

As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in increasing the quality, reusability and maintainability of software. With the automatic programming model of software engineering, through the analysis for Z specification language, a feasible semi-automatic way of refinement and transformation is proposed, and the correctness of the procedure is also discussed.     

对称式面向方面软件体系结构动态演化研究

提出了一种对称式的面向方面体系结构模型（SAOSA）,该模型将系统的功能模块、非功能模块都封装成了方面,编织这些方面构成软件体系结构中的构件、连接件.从抽象层次和实现层次出发,SAOSA模型的演化能力包括类型演化和动态重配置两种,结合一个ATM系统实例说明了SAOSA模型的动态演化机制.     

并发Z规格说明在系统需求分析与设计中的应用

阐述了并发Z语言是一类适合于并发实时软件系统设计的规格说明语言,其基本语义是Z语义的并发和实时扩展,提出了对这些扩展方法的分类原则,并通过微机仿真系统设计阐述了基于状态转化方法的并行Z规格说明在并发实时系统需求分析和设计开发中使用的一些基本方法、典型问题的处理原则以及操作间时序关系描述的基本手段。     

多视点实时形式化方法的应用模式

RT-Z结合了Z的状态描述能力和Timed CSP对并发实时进程的描述能力,成为一种有效的实时并发软件的开发手段。RT-Z不但是一种规格说明语言,也可以用于建模．多视点的软件开发方法的研究从不同的视点观察系统,分离各自的关注点。简化了系统的设计．本文在形式化方法RT-Z的基础上扩充语法框架,以支持多视点工程的思想,充分利用形式化方法的精化推理机制,同时具有对实时约束的描述能力,可作为并发实时系统开发中的基本模式．     

自省的动态软件体系结构描述与实现

软件系统的体系结构对于软件开发具有重要的意义，然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足，利用自省计算的原理和技术，提出一种将体系结构具体化为系统实现中可见可控的实体，并在其基础上构建系统的新途径．这样，软件体系结构的抽象描述和具体实现都基于统一的模型，从而可以保证可追溯性；而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制。遵循这个途径，给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图法形式模型，并在World Wide Web的环境下实现了一个支撑系统原型。     

DP-3级动力定位控制系统的体系结构

根据各船级社对深海作业的安全规范要求,完成了DP-3级动力定位控制系统的硬件与软件设计.详细阐述了DP-3级动力定位控制系统的硬件体系结构与软件体系结构的组成.针对动力定位各子系统所完成功能的不同,对控制系统的软件体系结构进行了应用层、实时层以及物理层的分层设计.为了对控制系统的软件逻辑、硬件体系、数据接口以及系统可靠性进行有效验证,采用实物仿真与虚拟仿真相结合的方法建立了DP-3级动力定位的半实物仿真系统.在半实物仿真系统上对某一深水钻井平台进行了动态模拟试验,仿真结果表明所设计的定位系统可以为动力定位控制系统方案设计的可行性以及控制方法的有效性提供测试环境,所设计的体系结构可为工程应用提供一定的参考.     

软件构架描述语言ADL的研究进展

软件构架是对子系统、软件系统构件以及它们之间相互关系的描述,已逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.构架描述语言(ADLs)是具有构架结构的规范及其操作语义的形式化体系,采用形式化手段表达和推理软件构架,它提供了建模软件系统概念构架的特征.与编程语言、需求语言、建模语言、模块互连语言(MILs)等不同,ADLs形式化地描述了整个系统的构件、连接器、配置及其约束关系,除了识别系统的构件和连接器之外,还专门表达了构件的行为规范、协议规范和连接器规范.目前ADLs的研究逐步转移到移动及可视化集成框架的研究、ADLs支持工具的研究、提高支持工具的有效性等方面.融合ADL与UML进行系统建模与分析也是一个重要的研究内容.     

一种在万维网上显示Z规格说明的方法

万维网的普及和发展给软件工程师提供了交流和共享知识的场所。Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言,Ｚ语言用大量的数学符号和模式来构造规格说明,然而,当前的ＨＴＭＬ标准不支持在万维网上显示Ｚ规格说明所需的一些符号,此外如何在ＨＴＭＬ文件中表示模式框、公理框和类描述同样是困难的,本文实现了一种在万维网上显示Ｚ规格说明的解决方法,并给出了程序代码和实例。     

基于Vxworks的DP 3动力定位 控制系统设计与分析

为了满足深海油气资源开发对动力定位系统可靠性的需求,根据船级社对附加标志为DP 3动力定位系统的规范要求,在Vxworks实时操作系统下设计了三模冗余的动力定位控制系统.基于PC104总线设计了冗余动力定位控制系统的硬件体系结构. 采用软件实现了三模冗余实时控制计算机组的控制解算与容错管理.应用马尔可夫过程对所设计的DP 3级动力定位控制系统进行了可靠性分析,预测了不同的硬件故障参数对DP 3动力定位控制系统可靠性的影响.分析结果表明,所设计的DP 3动力定位控制系统具有较高的可靠性.