网上考试系统的设计与实现

本文讨论了一种新的考试方法———网上考试 ,并讨论了一种基于B/S系统实现网上考试的思路和设计方法 ,并对实现网上考试系统的部分关键技术进行了分析     

KVM技术在网络服务器管理上的应用

KVM技术又称多电脑共享器 ,其在网络服务器的管理上的应用具有广阔的发展前景。     

机载分区操作系统形式化建模及验证研究

分析和总结了国内外在机载分区操作系统建模及验证方面的研究成果,指出了存在着验证工作不充分性、建模与验证方法单一性等问题;提出了从"设计后验证"到"Correct-by-Construct"、从规约模型到契约模型、组合运用多种形式化建模三种分区操作系统建模及验证的新思路,以期对未来研究者有所借鉴。     

基于IP的网络管理技术分析

对基于IP的网络管理采用的技术,如基于策略的网络管理,RMON技术,基于Web的网络管理技术和结构化网络管理的实现要点进行了介绍,并对这几种网络管理技术的优点进行了分析。     

数字签名在校园网中的应用

本文介绍了数字签名技术的概念 ,数字签名技术的使用意义 ,及用JAVA实现数字签名的思想     

基于WEB在线评选系统在校园网中的应用

Microsoft（r） Active Server Pages（ASP）是微软公司提供的快速、高效、安全的开发工具.在介绍基于WEB在线投票系统在校园网中的应用的基础上,给出了ASP实现.     

制冷课件制作

利用FrontPage和Flash软件制作《空气调节用制冷技术》课程的计算机辅助教学软件 ,通过基于WEB的技术 ,制作可以发布的网页。用Flash制作成动画演示制冷系统及其设备的工作过程 ,并设置思考题和习题 ,在网上发布 ,方便学生学习。