逆向工程分析技术研究

近年来,许多组织面临着遗产系统的理解和演化问题,理解和演化遗产系统的问题在软件研究领域越来越重要。逆向工程通过提供一个对目标系统的设计和总体结构的较好的理解来辅助遗产系统的演化,是解决遗产系统问题的关键技术。文中介绍了逆向工程的定义,综述了逆向工程分析技术的研究进展,探讨了分析技术研究存在的不足之处,给出了未来的发展趋势。     

逆向工程分析技术研究

近年来,许多组织面临着遗产系统的理解和演化问题,理解和演化遗产系统的问题在软件研究领域越来越重要.逆向工程通过提供一个对目标系统的设计和总体结构的较好的理解来辅助遗产系统的演化,是解决遗产系统问题的关键技术.文中介绍了逆向工程的定义,综述了逆向工程分析技术的研究进展,探讨了分析技术研究存在的不足之处,给出了未来的发展趋势.     

ARTEMIS-ARC系统协同模型的自省式实现技术研究

基于运行时体系结构的协同模型能够为面向服务的协同应用系统的动态演化提供有效的支持。但是在实现层面上,如何使软件体系结构从抽象的规约转化为运行时实际的对象实体,并成为系统演化行为的直接载体,是一个较为困难的技术挑战。针对这个问题,本文提出一种基于计算自省的实现途径,主要包括基于面向对象程序设计语言构造的体系结构层面的元表示和元协议、基于体系结构上下文中对象引用重解释构建的因果互连机制,以及基于该因果互连机制的应用系统的动态重配置。以上实现方式在自行开发的服务协同系统ARTEMIS-ARC时得以实施。     

MVC模式下的界面再工程

企业中存在大量的长时间运行良好的遗产系统。该文基于MVC设计模式提出一种图形用户界面再工程方案,目的是将遗产系统整合成为基于Web的应用。事实证明不用全面开发新的系统,而是将遗产系统集成到新的软件环境之中,是一种不错的选择。     

系统状态 了如指掌

“系统信息”工具是Windows系统用来收集和显示系统配置信息,诊断计算机问题或访问其它系统工具的实用程序。它强大的信息收集功能可以让你了解当前系统中软硬件和网络的运行状态,可能出现的问题,再直接调用其它系统工具束解决问题,你还可以用它来保护系统文件免受侵害等等。总之,学会并善于使用它,可以让你对当前系统运行状态了如指掌。     

基于证据推理的动态系统安全性在线评估方法

综合考虑动态系统历史记录、当前状态以及未来退化趋势信息来对其安全性进行在线评估是极其重要的.本文提出了一种基于证据推理（Evidential reasoning,ER）的安全性在线评估方法.该方法先融合多个安全性指标获得各个时刻的安全性状态,而后融合系统"历史"、"当前"、"未来"时刻的安全性状态,评估得到系统的综合安全性水平.首先,建立了基于三阶Volterra滤波器的在线预测模型,预测指标未来信息;然后,建立了指标最优自适应权重求取模型,计算并更新指标实时权重;最后,提出了基于证据推理方法的融合框架,对"历史"、"当前"、"未来"时刻的信息进行融合,得到系统当前时刻的综合安全性评估结果.通过对某惯性平台系统的安全性评估实例验证了所提方法的有效性.     

面向性能的软件再工程研究

将提高遗产系统性能作为软件再工程的一大目标加以考虑,提出了一种基于反模式的再工程方法。这种方法通过对一些反模式的特征进行识别,在遗产系统中发现对于系统性能有不良影响的设计并通过一定的方法加以消除,从而达到改善遗产系统性能的目的。     

VPN 系统反馈调整和实时监控集成解决方案

传统VPN系统存在不能根据状态自动调整运行,而且缺乏对运行状态的监控的问题,为此以Open VPN为基础,提出一个VPN系统自动管理和实时监控解决方案,通过编写程序分析和理解服务运行状态,根据反馈触发执行相应管理程序,与管理端口进行通信调整服务行为,同时使用SNMP协议构造监控代理程序,对系统性能进行实时监控,使得管理员能够通过Cacti监控平台实时了解系统运行参数,达到保障VPN服务持续可靠和高效运行的目的。实验结果表明,该系统能够根据当前状态所设定的规则优化运行,并为管理员提供直观实时的性能视图。     

基于能量流的风电机组异常运行状态预警软件设计

针对当前风电机组运行异常状态检测的热点难点问题,根据SCADA数据的时序特点,设计一款基于能量流参数关系模型的风电机组运行异常预警软件。基于能量流原理,将风力发电机系统作为一个复杂系统划分为4个子系统;建立关于风电机组运行特性的输入输出参数关系模型,并结合核密度估计原理和统计学置信区间理论,提出实时计算风电机组运行状态健康指标阈值的方法;介绍软件主体框架,以及软件内部数据处理方法与数据调用的实现方法。利用某风电场的实际SCADA数据进行实例分析验证,结果显示该软件可以为风电机组运行状态维护提供更方便的途径。     

逆向工程发展现状研究

随着软件产业的发展，越来越多的遗产系统需要维护和改善，逆向工程已经成为遗产系统维护与演化的关键技术之一。介绍了逆向工程的定义，综述了逆向工程的研究进展。通过对现有工具的分析探讨了逆向工程研究中的不足之处，给出了未来的发展趋势。     

再工程——概念及框架

进入九十年代以来,软件系统的规模变得越来越大,结构也越来越复杂,与此同时,软件的生存期也越来越长。过去的软件生存周期模型认为软件在开发完成之后,经过若干年的维护过程,会慢慢退出历史舞台,被新的软件系统所替代。然而,当前的生存周期模型趋于把系统看作能够随时间而进行连续演化的模型。同时,我们还可以看到,从头开始建造的大系统数量在急剧减少,很多遗产系统正在被逐步地利用起来,但利用遗产系统的同时,会遇到许多困难。由于时间的流逝,这些生存期已有10—25年的系统具有许多这样或那样的缺点。而其中最重要的一个问题就是:现有的遗产系统没有好的可演化性,这样就使得我们无法利用简单的方法把遗产系统转化为一个新的系统。     

进程和病毒诠释

1.什么是进程 进程为应用程序的运行实例,是应用程序的一次动态执行.看似高深,我们可以简单地理解为:它是操作系统当前运行的执行程序.在系统当前运行的执行程序里包括:系统管理计算机个体和完成各种操作所必需的程序;用户开启、执行的额外程序,当然也包括用户不知道,而自动运行的非法程序(它们就有可能是病毒程序).     

基于ARIMA预测修正的工控系统态势理解算法

结合态势感知的概念,重点对工控系统现场控制层数据进行分析,提出一种针对工业控制系统的态势理解算法。该算法利用FCM算法实现系统正常状态空间的建模,度量出实时状态偏离正常状态的程度;此外,利用数据的时序性,通过ARIMA预测出后续时刻系统数据信息;最后使用滑动窗口技术实现对系统过去、当前和未来的数据信息融合,计算出可以表征系统实时态势的二元组,直观地呈现出系统的实时安全状况,实现当前态势理解。通过数据仿真实验,验证了算法的可执行性和有效性,该算法的输出可以为安全管理人员提供可靠的决策信息。     

一种基于双层进化的现代城市CBD演化仿真模型

针对当前CBD(Central Business District)经济现象难以演化的问题,基于演化和进化的思想,结合复杂适应性系统及计算机仿真技术,提出了一种基于双层进化的CBD演化仿真模型,并模拟了核心布局的CBD空间形态演化仿真实验,为探究未来中央商务区的演化规律、CBD规划建设及发展问题的研究提供新的思路和启迪。     

遗产软件的代码翻译

介绍了在遗产软件的基础上建立新系统的一种方法——代码翻译。讨论了代码翻译及在代码翻译中出现的问题，及怎样用再工程的思想来解决源语言和目标语言不兼容的问题。论述了面向对象的上下文无关文法的一些基本概念和一些限定规则，讨论了基于面向对象的上下文无关文法的元对象分析法。     

一种演化超图文法到状态转移系统的映射方法

运用模型检测技术验证动态演化的正确性,是近年来软件体系结构动态演化研究领域面临的一个挑战.然而,当前的方法很少考虑软件体系结构动态演化时的相关条件.针对该问题,提出用条件状态转移系统表示软件体系结构动态演化的状态模型,将软件体系结构超图映射为状态,演化规则运用映射为条件状态转移关系,给出软件体系结构动态演化的条件超图文法到条件状态转移系统的映射方法以及相应的实现算法,实现了软件体系结构动态演化的条件状态转移系统的构建,并证明了在该映射方法下,软件体系结构动态演化条件超图文法与条件状态转移系统的互模拟等价.最后通过案例分析,运用该方法以及模型检测技术,验证了软件体系结构动态演化的相关性质,从而验证了该方法的有效性.     

飞控FTI系统状态监测与数据分析系统设计与实现

在飞行试验工程中,机载测试系统完成对飞控数据的采集、封装和输出;为了实现基于USB的PCM数据解调及其与计算机之间的数据通信,实现实时的状态监测和数据事后分析处理,设计并实现了基于.NET框架的FCS-FTI系统状态监测与数据分析系统;该系统包括数据实时捕获、状态监测、数据事后处理等模块;测试表明,系统各功能模块运行稳定,能对FCS-FTI进行状态监测并能进行数据事后分析处理,具有高效的实时性和良好的可靠性。     

人工免疫系统研究进展

对人工免疫系统的工程应用历史及现状进行简要概括．针对目前人工免疫系统研究出现的单纯偏重算法研究等问题,在自然计算背景下考察面向工程的人工免疫系统的主要研究进展,包括免疫计算、免疫启发的软、硬件系统等几个重要分支．基于进展情况,对人工免疫系统未来发展方向及面临问题开展讨论和分析．目的是拓展人工免疫系统研究范围,促使免疫学研究成果受到工程研究的重视和吸收,促进人工免疫系统深入发展．     

基于指数保性能的比例-积分-时滞滑模观测器设计

传统状态观测器仅基于当前观测误差重构系统状态,未充分利用系统历史观测数据.针对存在匹配扰动的二阶不确定线性系统,设计一种比例-积分-时滞滑模观测器,实现不确定线性系统状态的鲁棒确切估计.首先,设计带记忆滑模函数,形式为历史观测误差和当前观测误差的线性组合,设计参数包括滑模面增益和人工时滞两部分,将滑模面中的时滞项基于泰勒级数展开,将截断误差表示为积分形式;然后,设计带记忆输出反馈等效控制律,采用时滞依赖型Lyapunov泛函,进行滑模动态指数稳定性分析和观测补偿;接着,将观测器参数设计转化为多目标优化问题,优化目标包括:系统状态衰减率、控制代价、高频噪声不灵敏度,基于粒子群算法,在上述3个优化目标间实现设计参数优化整定,在“快、准、稳”方面进行合理折衷选择;最后,在无源网络系统中,验证所提出滑模观测器的可行性和有效性.     

监控使能的分布式软件系统构造方法

针对开放的网络环境中大型分布式软件的调试、调优、维护和可信演化问题,提出了伴随式的监控使能分布式软件构造方法.基于发布/订阅的分布计算模型,提出了被监控对象的业务逻辑和监控逻辑分离的运行时体系结构;基于面向方面编程思想,提出了监控使能的分布式软件开发方法和工具,降低了监控实施代价,增强了代码的可维护性;基于运行时体系结构,提出了监控系统的动态可定制部署方法.监控使能的分布式软件构造方法能够在开发时控制功能代码和非功能代码的纠结,尽可能地降低软件编程人员的代码维护难度;能够在部署时保证监控系统和被监控对象的松耦合;能够在运行时实现监控信息的按需汇聚和按需处理.从而在对系统核心业务的影响尽可能小的前提下.获得对系统运行行为尽可能全面的理解.