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

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

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

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

面向动态演化的复杂网构软件系统可靠性分析方法

 网构软件是Internet上各种软件实体以各种协同方式实现跨网络的互连、互通和协作的软件系统，动态演化是其基本特征，演化过程中会导致软件系统失效，面向动态演化的网构软件可靠性分析成为新的技术难题。首先分析构件接口交互之间的协议关系和网构软件动态演化错误传播可达性，提出通过错误传播可达图来界定构件动态演化错误的影响范围，并建立错误传播可达图生成过程模型；其次，为有效解决Markov状态空间“爆炸”的问题，利用错误传播可达图来生成Markov状态转移图，提出基于Markov的网构软件动态演化可靠性分析方法；最后通过案例分析来验证该方法的有效性。     

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

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

基于动态体系结构的形式化描述

随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定义,以达到动态演化的目的.     

网络化软件自适应动态演化技术的趋势分析

综述了网络化软件自适应动态演化技术,以软件演化基本概念为基础,深刻分析了网络化软件自适应动态演化的动因,重点评述了网络软件自适应动态演化技术在需求捕捉、情境建模、感知操作、决策技术、演化操作五个方面的发展现状,由此指出网络化软件自适应动态演化面临的挑战和发展趋势.     

平台动态防御演化博弈模型和状态迁移策略

为提升平台动态防御系统对病毒的适应性和防御效能,对基于有限理性假设的平台动态防御演化博弈模型和状态迁移策略进行研究。首先,从病毒传播感染机理入手,阐述了平台状态迁移动态防御和有限理性假设下的演化博弈原理,分析了平台动态防御中节点状态转移关系和影响因素;其次,定义了平台动态防御的演化博弈模型和关键参数,考虑迁移平台与病毒类型之间的免疫特性,提出免疫因子和防御节点收益计算方法;最后,通过算例给出了单个状态演化稳定分析流程和方法,设计了节点状态迁移演化均衡策略生成算法。理论分析和仿真结果表明:平台动态防御节点状态迁移演化均衡策略具有更好的防御效能,可有效解决平台动态防御系统在面对随机攻击病毒的平台迁移选择问题。     

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

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

基于阈值的网络行为动态消息传递方法

提出了一种基于阈值的动态消息传递方法,该方法能够根据更新方程给出每个个体接受趋势的概率随时间演化的情况.通过与蒙特卡洛仿真方法在实际网络中的比较,证明了动态消息传递方法不但和仿真方法的计算结果吻合得好,并且极大地降低了仿真实验的次数.最后讨论了动态消息传递方法在大规模随机网络中的应用,通过分析结果,动态消息传递方法能给出在任一随机网络中接受者和未接受者的出现频率随时间演化的规律.     

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

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

基于连接件的软件体系结构动态演化

针对基于中间件的软件体系结构（SA）动态演化存在的缺陷,对连接件进行了扩展,使连接件能够对其所连接的实体进行监视和操作;提出了一种支持动态演化的SA风格,使得演化信息可以通过SA自身进行传播．如果连接件之间没有连接通路,则增加一个或多个连接件对SA进行改造．设计了从运行系统中获得SA的算法,使SA成为运行系统的一个可控组成部分．提出了直接对连接件进行操作的SA动态演化框架,消除了SA动态演化的不一致性,提高了演化效率,并具有很好的可跟踪性．     

软件封面的设计及动态封面的实现

从静态软件封面程序设计和动态软件封面程序设计２个方面叙述了软件封面的一般原则，介绍了软件封面实现的一种方法。     

在线社会网络的动态社区发现及其演化

分析了目前动态社区发现及其演化所存在的问题,提出了一种新的动态社区演化方法.该方法利用静态社区挖掘算法提取不同时间快照的每个社区,然后计算出相邻快照的社区之间的演化影响力,进一步分析连续快照中社区结构的发展演化过程.在新浪微博、网络测量Gnutella等大规模实验数据集上的验证,证明了该方法的有效性.此外,实验中还分析了社会网络中节点的出现和消失的频繁程度会影响社区稳定性以及社区结构的演化.      

机床整机动态特性的预测解析建模方法

应用均质梁、集中质量及结合部单元对机床进行整机动态建模,然后基于结合面的动态基础特性参数,应用于结合合成的思想建立了整机系统的动力学方程,编制了相应的整机动态性能预测解析软件。通过实例测试,证明该方法及软件是正确的。     

软件体系结构演化模型

近几年来,软件体系结构(Software Architecture, SA)已成为软件研究的热点之一.它作为软件的蓝图,为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径.文章从宏观层面入手,以软件体系结构作为软件的支撑,讲述了软件演化及其两个方面:动态演化和静态演化.     

基于UKF神经网络子空间逼近的非线性动态过程演化建模

复杂化工过程建模对于工艺操作变量优化、指导技术决策具有重要意义,人工神经网络是其广泛采用的建模工具.但化工过程往往是复杂非线性动态系统,而描述其过程的神经网络模型往往是一个静态映射.没有考虑也很难考虑其操作变量与内部状态变量共同对目标性能的影响,从而导致依赖静态模型的技术决策效果不稳定.将静态过程模型看成是复杂非线性动态模型在操作变量子空间上的投影模型,为保证该投影模型实时逼近理想的非线性动态模型的精度,提出用Kalman滤波实时更新神经网络模型的权值,建立基于Kalman滤波神经网络子空间逼近的非线性动态工艺演化建模方法.鉴于扩展Kalman滤波的计算复杂性和精确性,采用无迹卡尔曼滤波刷新神经网络模型的权值.最后,把该方法应用于氢氰酸(HCN)工艺过程的动态演化建模试验,结果表明,该方法高精度地跟踪了非线性动态演化化工过程.因此,基于Kalman滤波神经网络子空间逼近的建模方法适用于非线性动态工艺演化建模.     

基于时间和成本的动态联盟建盟过程分析

在讨论了 Rick Dove企业敏捷性评价指标和企业经营收益评价方法一致性的基础上 ,基于成本和时间敏捷性评价指标 ,研究了基于生产过程分解和招投标的动态联盟的建盟方法的一般性问题 ,并讨论了影响动态联盟建盟过程整体规划时间和成本的主要因素 ,以及具体的建盟过程步骤。分析了动态联盟的演化趋势和对中国企业的启示     

一种动态约束优化调度的软件模型

基于静态约束调度及其组件结构,建立了一种动态约束优化调度的软件模型结构,可以适应于调度环境的动态变化。从软件模型上分析,动态约束优化调度的组件包括动态解析器、动态分配器和推理引擎。动态解析器规范了变元和约束条件,动态分配器解决了约束条件的重新分配和冲突,推理引擎实现了快速搜索。实验表明该模型可以满足实际动态逻辑约束问题的求解,并且把传统优化调度的封闭形式扩展为开放状态。     

虚假广告行为的演化博弈分析

本文利用有限理性条件下演化博弈理论的方法,研究广告商的虚假广告行为的演化规律,建立了广告商之间的对称博弈模型和广告商与监管部门之间的非对称博弈模型,并对所建立的复制动态方程进行局部稳定性分析,得到了广告商与监管部门的决策行为选择演化的条件与路径,在此基础上提出了治理虚假广告的措施.     

虚假广告行为的演化博弈分析

本文利用有限理性条件下演化博弈理论的方法,研究广告商的虚假广告行为的演化规律,建立了广告商之间的对称博弈模型和广告商与监管部门之间的非对称博弈模型,并对所建立的复制动态方程进行局部稳定性分析,得到了广告商与监管部门的决策行为选择演化的条件与路径,在此基础上提出了治理虚假广告的措施．