基于C#.NET和SSM框架的通信台站动环监控系统实现技术

为满足通信台站动环信息化监管需要,提出一种基于C#.NET和SSM框架的通信台站动环监控系统实现技术.分别采用C#.NET框架和SSM框架实现各通信台站局站动环监控软件和中心服务器端软件,并采用JSON数据交换格式定义局站动环监控软件与中心服务器端软件之间的数据通信和控制接口.系统用于对下辖通信台站机房配电、空调、温度、湿度等动环参数的集中监控,确保机房设施安全和设备稳定可靠运行.     

基于补偿事务的业务流程异常处理建模研究

对补偿触发条件的判断会影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使得流程开发人员在设计补偿流程时容易出错。分析了顺序、选择、并发等几种基本流程结构及其复合结构中的补偿依赖,给出了补偿活动触发条件计算方法和补偿事务的Petri网模型构造过程,并通过实例说明了方法的可行性。     

基于服务冗余的SOA系统容错方法研究

Web Service的分布、异构和动态特性使面向服务的软件系统易受网络和软硬件故障影响,导致Web Service不可用,进而使整个SOA系统失效.论文提出一种基于服务冗余的容错体系结构,给出服务域划分规则,并介绍了三种容错策略以及一般的容错过程.     

电磁环境感知与可视化仿真系统的设计与研究

阐述了电磁环境感知与可视化仿真系统的总体结构和功能;分析了电磁环境感知分系统的设计理念和关键技术;提出基于HLA的可视化仿真的结构体系,给出了电磁环境可视化仿真分系统的设计方法。感知与可视化仿真相结合,形成真实可靠、形象逼真的电磁环境态势,为决策和控制提供依据和保障。     

基于网络的文件持续保护技术研究与实现

传统的数据容灾技术由于存在种种的缺陷,不能满足用户对数据实时性保护的需求。文章研究了新型的持续数据保护技术（CDP）,并设计和实现了文件的CDP系统。实验表明,系统能实现文件的粒度细保护,使文件能回退到文件之前的任意状态。     

一种混合式的指针分析算法

指针的指向分析在检测C语言多线程程序的数据竞争中占有重要的地位。Steensgaard提出的流非敏感上下文非敏感的指针别名分析算法,因其执行效率极高的优点被广泛的应用于快速的指针指向分析。但该算法计算结果精度不高,得到的指针指向集往往有误差。针对该不足,引入了Vineet Kahlon的用求最大更新序列来求指针别名的思想,对Steensgaard算法计算出的结果进行了修正。并通过一个实例证明了改进后的算法比先前的算法更精确。     

基于Tropos~+需求模型的软件自适应方法

在模型驱动的软件自适应控制过程中,监测、分析、决策和执行等活动均基于共享的知识模型。为便于知识重用和运行时维护,常采用抽象级别较高的需求模型来表示知识。为建模软件的适应性需求,针对传统的Tropos及其扩展方法不能用于软件对异常事件适应性需求建模问题,对Tropos进行上下文和异常条件扩展,记为Tropos+。在此基础上,提出一种由Tropos+需求模型驱动的软件自适应方法,该方法能够用于软件运行环境和异常事件监测以及软件对环境变化和异常事件的自适应处理。最后通过一个案例说明了软件自适应过程。