归纳证明的规范变换方法

给出了一般等式规范有序类等式规范的变换方法，以及在有序类等式规范上的主要结论，在此基础上，又给出了有序规范上的一个归纳证明方法，这一方法避免了Ｊｏｕａｎｎａｕｄ－Ｋｏ－     

免疫算法在QoS路由中的应用

针对覆盖网络多播QoS路由问题,提出基于免疫进化的覆盖网络多播路由算法。在免疫算法中引入聚类和混沌优化机制,有效地提高抗体群分布的多样性。实验结果表明该算法取得较好的效果。     

三维运动轨迹的单片机控制系统

本文提供一种三维运动轨迹的单片机控制系统的软、硬件实现方法，有较好的系统扩展性运行精度。     

谈ASP网站的安全管理

网络安全问题已经威胁到了网民的个人隐私,同时也威胁到了网站的发展。本文分析了基于ASP网站的安全问题。因为ASP广泛应用,基于ASP的同站也日益增多,其安全性得到了大家的关注。本文介绍了ASP网站中网页和服务器存在的一些安全性漏洞,最后给出了解决方案。     

超级计算机中多级互联网络的容错路由选择

本文主要介绍超级计算机中错误多级互联网络的ＤＦＡ图的构造方法并用该图来判定相应的多级互联风络是是有ＤＦＡ能力，从而进一步决定能否众错误网络中任一处理器开始在有限步内将数据传递到任何其他处理器，即容错路由选择能力。