基于分层架构模式识别的软件架构重构技术

本文提出一种基于分层架构模式识别的软件架构重构技术.该技术以目标软件的源代码作为输入,过滤与分层架构无关的代码,再利用代码词汇信息挖掘程序实体之间的语义关联,通过代码主题提取并计算程序实体之间的职责相似度,依据相似度将程序实体聚类形成组件.在软件组件化的基础上结合分层模式的ILD属性识别软件层次和软件架构模式.在模式识...     

两类动态时滞经济控制模型研究

微分方程及其控制理论在现代经济管理中有着极为广泛的应用，但对于经济现象的时滞效应缺少足够的分析和研究。本文拟就消费和积累比及动态投入产出两类问题中存在的时滞效应进行一些分析研究，从而得出一些有用的结论。     

基于微分动态逻辑的CPS建模与属性验证

随着信息物理融合系统(Cyber-Physical Systems,CPS)应用的越来越普及,CPS的设计和实现能否满足实际需求显得至关重要.本文提出了一种CPS建模与属性验证框架.在框架中,首先使用HybridUML对CPS进行建模,然后将该通用模型转换为形式化模型,进而进行形式化验证.本文采用的形式化验证方法为dL(Differential Dynamic Log-ic),其操作模型为hybrid program.将HybridUML模型转换为hybrid program时,基于语义一致性的原则定义转换规则.转换完成后,结合得到的hybrid program对验证的CPS属性进行规约,最后使用定理证明器KeYmaera对属性进行自动化验证.     

基于XCFG的BPEL数据流属性分析与验证

 BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的.     

Java类和包的易替换性度量与影响因素分析

按照ISO25010标准中代码易替换性定性描述，人们很难从被替换软件产品的代码出发，定量地刻画其易替换性.为了自动化地度量代码的易替换性，本文充分考虑Java类/包的耦合关系和本身的复杂度，定义了一个类/包的易替换性度量公式.然后，在100个开源项目上进行实验，结果表明：（1）不同构造型的类的易替换性差异较大，其差异性与类承担的交互职责的多少有关；（2）包的易替换性与包中类个数没有显著的线性相关性；（3）与按层次划分的包相比，按功能特性划分的包具有更高的易替换性.从代码易替换性角度来看，在设计类和包时，本文的经验研究为开发者提供了有益的建议.     

形式概念分析在软件维护中的应用综述

形式概念分析是一种层次化的形式对象分析方法,能够从二元关系中挖掘出具有共同形式属性的一组形式对象的聚集.近十几年来,形式概念分析技术已在软件工程领域,特别是软件维护的各项活动中得到了广泛的应用,并取得成功.本文从软件维护的角度,如软件理解、修改影响分析、重构、调试与测试等方面总结了从2000~2013年形式概念分析在这些领域的研究进展.这些研究成果的分类方法是基于一种软件维护活动框架进行论述,最后文章给出了形式概念分析在软件维护领域的研究趋势与展望.     

软件修改影响分析研究与进展

软件修改是软件维护的基本元素，对软件的任何修改会对软件的其他部分造成一些潜在的负面影响。软件修改影响分析就是用来识别软件修改可能带来的潜在影响。修改影响分析在软件维护、回归测试等方面都有着重要的应用。本文对近年来的修改影响分析技术进行调查，根据调查结果对修改影响分析技术进行分类和总结，为软件开发和维护人员选择适合的修改影响分析技术提供参考。通过对调查结果的分析，首先，提出了修改影响分析可从分析类型、方法、所支持的语言范型、阶段、层次五个角度进行分类；其次，对软件修改影响分析进行了展望，探讨了修改影响分析在基础理论、工具支持、评价机制、可拓展性、跟踪性等方面还需进一步深入的研究。     

高等学校中的行为教育初探

对经过12年左右中学教育后步入大学殿堂的学子们来说．大学生活对他的人生将起非常关键的作用。其中大多数一毕业就离开学校去“闯荡江湖”，众所周知：江湖可不那么容易闯荡，非真本事硬功夫必定“出师不利”。当然在20世纪末的今天．“江湖”是指市场经济大潮下的各行各业，真本事硬功夫绝对不仅是你每次考试名列前茅，而更是指你所具备的综合知识、     

一种基于演进原则度量的软件架构持续演进效果评估方法

本文提出一种基于演进原则度量的软件架构持续演进效果评估方法（Software Architecture Evolution Principles,SAEP）,首先该方法给出与软件架构演进相关的四个代表性的软件架构演进原则;然后通过对这四个架构演进原则的度量结果评估软件架构的演进效果;最后把本文的方法应用于8个代表性的开源项目,并分别进行有效性验证实验,实验结果表明：无论是单个演进原则还是四个演进原则结合起来,均能有效反映软件架构演进效果的好坏.单个原则用来关注软件架构特定方面的演进效果,四个原则结合起来关注软件架构的综合演进效果.     

动态投资分配模型及其优化

动态投资分配模型及其优化李必信，张康培（合肥经济技术学院基础部，合肥２３００５２）（安徽大学数学系，合肥２３００３９）当拥有资金的某个决策者面临多个投资去向时，如何选择投资项和投资比例以在短时路中能取得最大的收益，这在经济管理中是极其重要的问题，本文...