基于Modbus/TCP协议自动档案库系统设计与实现

随着信息化建设的不断深入,如何将电子档案利用与纸质档案管理结合起来,大幅度降低档案维护成本,提高档案管理效率,成为目前迫切需要解决的问题。本文针对以上问题,提出了自动档案库系统的解决方案。该系统分为应用管理层、档案柜管理层和档案柜控制层,档案柜管理层和档案柜控制层采用Modbus/TCP传输控制协议。为了解决人工归还和借阅档案时放错位置的问题,设计档案自动盘库功能;为了解决不同档案柜硬件设备之间的差别,提出了档案管理层接口规范,不同硬件设备按照规范编写组件,实现档案柜管理层程序与底层硬件设备无关性。实际使用表明,基于Modbus/TCP协议自动档案库系统可以方便快捷的实现电子档案系统与纸载档案管理的无缝结合,在大幅度提高档案的管理效率和档案管理自动化水平的同时,降低了档案管理费用和档案管理人员的工作量。     

基于三值语义的软件运行时验证方法

运行时验证技术是对传统的程序正确性保证技术如模型检验和测试的有效补充。模型检验和测试都试图验证系统的所有可能执行路径的正确性,而运行时验证关注的是系统的当前执行路径。本文提出一种基于三值语义的软件运行时验证方法,一方面该方法提供了从代码插装、系统底层信息提取到监控器生成、验证系统运行轨迹是否满足性质规约的完整的解决方案;另一方面基于三值语义的监控器有发现一条无穷运行轨迹的最小好(坏)前缀的能力,从而使得监控器能尽可能早的发现性质违背。同时,我们开发了基于三值语义的软件运行时验证原型工具并针对案例进行了分析。     

一种软件智能部署方法的研究

研究了能够根据不同环境自动调整软件部署过程的软件智能部署问题。介绍并分析现有软件的部署工具,提出了软件智能部署的概念、整体框架和部署工作流程。介绍并分析了软件规范化描述语言和客户端信息的模型描述方法。在此基础之上,提出了一种能够根据环境差异,自动调整软件部署过程的软件智能部署算法。最后,对比并分析了软件智能部署实际应用效果。     

干部队伍数学模型仿真与决策支持系统的应用研究

干部队伍结构的好坏直接决定着部队战斗力水平的高低,因此预测干部队伍结构变化趋势,对干部管理工作过程中方针政策的制定,干部管理工作的有效开展都有着十分重要的意义。该文通过建立干部队伍数学模型,利用蒙特卡洛方法模拟干部的退役、更替、补充,通过年度数据仿真来预测干部队伍的变化,为干部的结构调整提供指导。该文研究的方法是依据干部政策、根据干部编制、结合干部历史数据,利用蒙特卡洛方法计算得出干部的退役人员、更替人数、补充人数,对整个干部状态进行动态仿真模拟。     

一种软件部署冲突检测及其自动调整算法

主要研究能够根据不同环境自动调整软件部署过程的软件智能部署问题.首先,介绍并分析现有软件部署工具,提出软件智能部署模型、软件智能部署的规范化描述.其次,介绍并分析软件部署过程中冲突检测以及自动调整方法.在此基础上,提出一种能够根据环境差异,自动调整软件部署过程的软件智能部署算法.最后对比并分析软件智能部署实际应用效果.