排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
作为教学与科研中心的高等院校都拥有大量仪器设备,对于这些设备进行计算机管理是高等院校实现科学化、现代化、自动化管理的一个重要环节,我们以西北大学设备处长期设备管理的经验和情况为参考模型,结合高校设备管理的共同要求和教委规定标准研制出一个较为通用的设备管理系统。本文就该系统的设计思想和实现技术加以分析和总结。 相似文献
2.
党华锐 《西北大学学报(自然科学版)》1996,26(6):481-482,490
在简要叙述了Amdahl公式和Braunl公式的基础上,对两者之间的关系以及各自的适用范围进行了讨论和分析。 相似文献
3.
讨论了超文本结点的粒度问题和粒度划分的原则,提出了动态增加超文本链的算法,并叙述了一个原型系统的设计与实现。 相似文献
4.
研究了一种基于Petri网的协议辅助设计工具Peton的实现细节。该研究是对计算机辅助协议工程(CAPE)方法学的一种有益的尝试. 相似文献
5.
协议工程形式化方法的研究及辅助设计工具的实现 总被引:1,自引:0,他引:1
党华锐 《西北大学学报(自然科学版)》1996,26(1):21-25
采用工程的方法对计算机通信协议形式化理论进行了研究,并详细叙述了所设计的、基于Petri网理论的辅助设计工具Peton,是对“协议工程”方法学的一种补充。 相似文献
1