高校设备微机管理系统的设计与实现

作为教学与科研中心的高等院校都拥有大量仪器设备,对于这些设备进行计算机管理是高等院校实现科学化、现代化、自动化管理的一个重要环节,我们以西北大学设备处长期设备管理的经验和情况为参考模型,结合高校设备管理的共同要求和教委规定标准研制出一个较为通用的设备管理系统。本文就该系统的设计思想和实现技术加以分析和总结。     

关于并行计算机加速比公式的辨析

在简要叙述了Ａｍｄａｈｌ公式和Ｂｒａｕｎｌ公式的基础上，对两者之间的关系以及各自的适用范围进行了讨论和分析。     

超文本结点粒度划分问题的研究

讨论了超文本结点的粒度问题和粒度划分的原则，提出了动态增加超文本链的算法，并叙述了一个原型系统的设计与实现。     

基于Petri网的协议辅助设计工具的实现

研究了一种基于Ｐｅｔｒｉ网的协议辅助设计工具Ｐｅｔｏｎ的实现细节。该研究是对计算机辅助协议工程（ＣＡＰＥ）方法学的一种有益的尝试．     

协议工程形式化方法的研究及辅助设计工具的实现

采用工程的方法对计算机通信协议形式化理论进行了研究，并详细叙述了所设计的、基于Ｐｅｔｒｉ网理论的辅助设计工具Ｐｅｔｏｎ，是对“协议工程”方法学的一种补充。