基于GEP的线性指数函数型程序不变量动态发现方法

不变量是用来描述程序运行时保持不变性质的逻辑断言.根据关系数据理论,程序不变量可分函数依赖型和非函数依赖型程序不变量.着眼于函数依赖型程序不变量,借助GEP的函数发现特点和Daikon对线性程序不变量的发现能力,重点对线性指数函数型程序不变量动态发现方法进行研究,通过实验证明了GEP对线性指数形式的函数有较高的发现效率,可以扩展Daikon在线性指数函数型程序不变量方面的预置形式以达到从程序轨迹数据中发现该类程序不变量的目的.     

形式化方法在核事故评价系统中的应用

核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.     

基于Java的IP网络数据包抽样采集研究

阐述了数据包抽样的基本方法及特点，论述了IP网络数据包抽样采集系统的体系结构，最后用Java实现了基于Poisson的数据包抽样。     

靶场激光测距仿真系统中非标板卡数据采集的实现

在激光测距实时仿真系统中,我们提出了解决非标板卡在MATLAB环境下驱动的方法,实现了激光测距仿真系统对各个部分关键技术指标的数据采集和整体测控性能的仿真.     

IPSec技术在VPN中的应用

当前VPN应用中,基于IPSec的VPN受到人们的普遍关注.本文分析了IPSecVPN的安全体系结构;IPSec的实现策略以及应注意的问题;提出了一些实现VPN的IPSec集成解决方案.     

基于.Net的工程项目信息系统的设计与实现

工程项目信息具有周期长、信息量大、数据形式多样等特点，文章分析了一个工程项目信息管理系统的功能，提出了基于．NET的五层组件式结构的解决方案．系统采用快速开发方法完成，不仅完全实现了面向对象和分布式特性，而且具有高度的可伸缩性和易维护性。     

图像的小波压缩技术及研究进展

讨论了利用离散小波进行图像压缩的方法和特点,其中重点分析了嵌入式零树编码算法.评述了小波图像压缩技术的研究现状,指出小波编码理论在第二代编码技术中的应用前景.     

基于.NET组件技术的虚拟网络实验系统的设计与实现

基于.NET组件技术的虚拟网络实验系统,采用C#作为前台开发工具,SQLServer 2000作为后台数据库的C/S模式,结合了.NET组件技术、仿真技术,提供友好的用户操作界面,为学习和研究网络技术提供经济、实用、通用性强的实验平台.     

基于构件的教务管理信息系统设计与实现

针对目前高校教务管理信息系统中的个性化和持续变化的特点,采用基于构件的开发技术,并结合南华大学的实际办学及教学管理模式,设计开发了一套高效的、具有本校特色的综合教务管理信息系统.     

基于Client/Server架构的数据存储引擎

本文深入探讨了基于Client／Server架构的SQL Server体系结构的工作原理和数据库引擎的增强功能及其使用技巧，以及数据存储过程中的可靠性与安全性。