用时序和逻辑规则形成动态故障树的紧缩Markov链

针对枚举底事件的所有时序状态来形成Markov链的弊端,借鉴静态故障树的最小割集(minimum cut set, MCS)思想,考虑形成紧缩的Markov链（即最简顺序割集）。其重要目的是剔除冗余的Markov链,在保证不影响系统失效分析的同时减小状态空间,最大限度地避免陷入组合爆炸的危险。其显著特点在于用时序规则和逻辑规则来描述动态逻辑门。以此为基础,用BDD（binary decision diagram）技术首先形成基于逻辑规则的动态系统的MCS,其次对每个MCS运用时序规则,组合成必要的Mark     

VirtualPC在计算机教学中的应用

针对计算机专业的主干课程,如操作系统、计算机组装与维护、计算机网络应用等教学中遇到的问题,提出了使用VPC虚拟机技术的解决方法,为进行计算机课程的教学提供了一种良好的解决方案。     

个人软件过程及应用

阐述了个人软件过程(PSP) 产生的背景及原理,介绍了PSP的结构、层次、当前的应用状况及发展趋势,并指出应用PSP要注意的问题。     

基于需求变更测试模型的研究

针对已有的测试模型大都没有明确提出如何应对需求变化的问题,本文从需求变更对模块组装方式的影响入手,通过分析需求变更的类型,提出一个可以应对需求变化的测试模型,并在此基础上讨论了需求管理工具的选择.最后,通过分析一个实际的软件开发项目对该模型的有效性进行验证.     

DDoS攻击原理及防御

分布式拒绝服务攻击（Distributed Denial of Service，DDOS）是近年来对Internet具有巨大影响的恶意攻击方式，给互联网业务带来了不可估量的损失。互联网的攻击手段层出不穷，而分布式拒绝服务攻击是其中的佼佼者，由于其简单、破坏性很大，而被攻击者广泛使用。DDoS攻击分析和防御方法是当前网络安全领域的重要前沿。本文阐述了DoS攻击的原理和DDoS攻击的原理，提出了DDoS的防御措施。     

基于KVM的GC优化技术的研究与实现

本文分析几种应用于Java虚拟机的内存管理优化技术，并针对移动通信设备硬件的特点，分析现有的内存管理优化技术应用在KVM上所面临的困难，提出并实现一种基于内存分代管理技术的KVM性能优化方案。     

分布式拒绝服务防御技术研究

分布式拒绝服务（Distributed Denial of service,DDoS）攻击是网络安全的主要威胁之一。由于攻击源多采用虚假源IP地址,对攻击行为的溯源和应急处置工作面临很大困难。文章基于路由器的DDoS防御技术进行了分析,重点研究了边采样算法。通过ISP在传输网络路由器上设置DDoS防御系统是可行和有效的。