一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.     

利用MATLAB和VC++6.0混合编程技术研究元胞自动机动态演化过程

在论述MATLAB和VC 6.0混合编程的基础上,以二维方格元胞自动机的动态演化过程为背景,对不同边界条件和邻居条件的二维方格元胞自动机在奇偶演化规则下的动态行为进行分析,并通过混合编程技术对其动态演化过程进行"可视化"再现和跟踪,得到了元胞自动机在不同条件下其演化过程具有复杂性、不确定性、平衡性、周期性以及分形性等特性的结论,为进一步发掘和揭示元胞自动机的演化规律提供了研究思路和方法.     

一种基于演化代价约束的本体演化方法

针对本体演化方法提出粒度最小的演化基本操作,即附加演化元操作并引入了演化代价的概念;根据实体对本体影响内容的不同将其分类进行量化分析,实现了演化代价的计算方法;为减少本体演化中的演化代价,适应复杂的本体演化环境,给出一组演化操作策略集,以简化演化过程.实验结果表明,该COST启发式算法可以降低演化代价,有效减少了搜索空间并加速了演化过程.     

软件宏观拓扑结构标准结构熵和度的演化分析

现代软件生存周期可以看做是一个软件结构的演化过程.基于大量开源软件的统计数据,分析了标准结构熵、高度值节点数量和新增节点中低度值节点所占比例的演化,然后分析了度中心化指标较高的节点数量和新增节点中该指标较高的节点数量的演化.结果表明,标准结构熵和度中心化指标较高的节点数量普遍呈下降趋势,高度值节点数量呈上升趋势,新增节点大都为低度值节点.由此得出,成功实践的软件演化过程中,软件网络和软件结构的复杂性增长速度是逐步降低的.本研究对于指导软件开发有重要的作用.     

基于信息熵的网络数据演化涌现性度量方法研究

为了衡量网络数据演化过程中产生的"涌现现象",从涌现性特征的宏观分析出发,建立信息熵与网络数据演化涌现性之间的关联关系,基于概率估计提出1种可行的信息熵值计算方法,用信息熵对网络数据演化涌现性进行度量,并对演化行为和系统层次可能引入的误差进行校正,使度量方法更贴近实际情况.用实验分析说明该方法的合理性和有效性.     

基于模型试验的散装铁精矿流态化细观规律

利用室内振动台模型试验,对散装铁精矿流态化细观规律进行了研究.基于细观图像采集分析系统,研究了铁精矿在流态化演化过程中颗粒间及颗粒与水分间的相互作用,分析了颗粒长轴方向、平均接触数、平面孔隙率等演化规律,探讨了铁精矿流态化细观规律及其与宏观现象间的联系.结果表明:水分迁移在铁精矿流态化演化过程中至关重要,其宏观表现是水液面上升;细观组构是控制铁精矿宏观力学行为的重要参数,其所反映的规律与宏观现象一致.     

基于学习竞争模型的集成化物流系统协同演化

利用非线性学习竞争模型来描述集成化物流系统的演化机理,通过对企业在市场竞争中的行为因素及文化倾向的分析,得出不同的行为选择将导致企业在集成化物流系统中地位的差异,并就集成化物流系统内企业的竞争与协同演化过程作相关分析.     

基于系统动力学的化工园区事故演化仿真研究

为有效预防和控制化工园区事故,探究园区事故的发展演化规律,对事故影响因素进行分析,结合系统动力学理论,构建化工园区事故演化系统动力学(SD)模型,并运用Vensim-PLE仿真软件对系统进行仿真分析。结果表明:化工园区事故演化过程整体呈现"快速上升→相对稳定→缓慢下降"的趋势,事故上升期是控制事故的关键阶段,对于降低事故演化水平有重要作用;提升应急处置能力能够有效地干预事故演化过程,进而减少事故损失;对信息保障水平的投入是优化应急处置能力的最有效措施。     

金融系统多层复杂结构建模研究

为了更好地分析金融复杂系统的微观行为,基于投资主体协同演化自适应理论,在单层结构模型基础上,提出了主体、介主体多层结构建模方法,构建了投资主体在外部环境约束下多层树型结构模型.通过对原型系统的可信性检验表明该模型对简单分类投资主体的金融系统微观行为演化过程具有较高的可信度,能够对层次化的金融系统微观主体行为进行有效仿真...     

软件演化过程的度量数据采集策略研究

度量数据的采集是度量软件过程的重要环节,讨论了度量数据的采集过程中遇到的问题,以及有效数据采集应遵循的原则,并针对软件演化过程的特点及不同的应用提出了2种数据采集的策略．     

一种基于数据库的进程演化机制

在软件开发中 ,以进程为中心的环境已经成为新一代的软件开发环境 ,它的目标是对整个软件开发周期提供自动化的支持。实际的软件开发任务是一个不断变化的动态进程 ,它需要以进程为中心的环境来支持进程演化。本文提出了一种以增量方式为处理模式、以流行数据库为进程仓库的进程演化机制 ,它对软件开发有着重要的意义。     

一种分解树到形式化代码片断的转换算法

在软件演化过程研究中,对任务功能进行分解,利用分解树来存储分解结果,提出了一种算法,使分解树可以自动转换为对任务功能的形式化描述语句,从而提高了软件演化过程建模的效率和规范性．     

软件演化过程中的资源管理研究

资源管理对软件演化过程具有重要意义.总结了软件演化过程中资源的组成和特点,分析了软件演化过程资源管理器应具有的功能,并提出了几种资源分配算法.     

浅析个体软件过程(PSP)

介绍和分析了PSP的基本概念、作用和进化框架等内容 ,给出了PSP和CMM之间的联系 .CMM被软件业界公认为是当前最好的软件过程 ,PSP是CMM在软件工程师等级上的应用 ,是针对个体软件过程的改进 .     

一种分层的软件过程执行机制的研究

选择不同的过程执行机制会对软件过程支持的灵活性产生影响,两种传统的过程执行机制———前摄式和反应式存在模型复杂性和执行灵活性之间的矛盾.借鉴了Alf Inge Wanget al.所提出的基于组织中过程执行主体分层支持的思想,提出了一种分层过程机制,该机制将软件过程分为两个层次,底层是具有流程稳定的子过程,采用前摄式机制支持,而高层是易于变化的过程,则用反应式机制支持,通过过程片段将两层过程统一在一个过程模型中既增加了过程执行的灵活性,又降低了过程模型的复杂性.为了说明该过程机制的实践有效性,分析了一个案例所发生的“例程”、“并发”、“反馈”和“等待”的各种情况并且阐述了在CPMS系统中应用分层机制对上述情况的解决方案.     

个体软件过程分析与应用探讨

从软件质量保证方向出发 ,概要阐述了个体软件过程 ( PSP,Personal Software Process)的原理和方法 ,分析了 PSP过程的进化框架 ,讨论了 PSP应用过程中可能遇到的问题 ,给出了 PSP在软件企业的具体应用 .     

钢筋混凝土框架结构地震倒塌过程模拟分析

为研究钢筋混凝土框架结构倒塌模式,指导抗震设计.概述了钢筋混凝土框架结构的主要震害特点,并借助动力有限元软件LS-DYNA对三层钢筋混凝土框架结构在地震作用下的损伤演化直至倒塌过程进行模拟.通过对参数和模型的选取,再现真实的倒塌过程,证明了柱角端是结构的薄弱环节,仿真结果和真实倒塌过程较好的吻合.     

基于多维属性演化树的软件演化风格匹配方法研究

为了提高软件企业的过程能力,该文提出一种基于多维属性演化树的软件演化匹配方法,利用软件的每个版本包含的原子构件个数、原子构件大小、软件体系结构大小、有效代码行数、java文件数等属性,再通过树匹配的方法找出特定类型项目的软件演化风格,优化软件企业演化过程,为提高软件企业的过程能力提供条件.