党华锐
- 作品数：14 被引量：20H指数：3
- 供职机构：西北大学信息科学与技术学院（软件学院）更多>>
- 发文基金：陕西省自然科学基金陕西省科委基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 超文本技术在通信协议辅助设计中的应用
- 1994年
- 本文给出了一个基于Ｃ＋＋的超文本ＣＡＳＥ子系统在通信协议辅助设计中的应用，同时对该系统的设计与实现过程、其内部结构、结点类型说明等做了介绍．
- 党华锐
- 关键词：超文本面向对象PETRI网通信协议
- Petri网图形的压缩存储与自动转换被引量：2
- 1996年
- 本文给出了一种Ｐｅｔｒｉ网的计算机表示方法以及其图形的压缩存储／还原算法，并在此基础上对Ｐｅｔｒｉ网图形进行自动转换以产生此图的矩阵表示，这为在其上进行可达性分析和验证的自动化提供了极大的方便。
- 党华锐
- 关键词：PETRI网通信协议
- 计算机通信协议辅助设计工具的实现被引量：3
- 1991年
- 1.引言 协议是计算机系统中两个要通信的实体必须共同遵守的一套约定,随着计算机网络和分布式系统的发展,协议的设计变得越来越复杂,所以,近年来有许多人从事这方面的研究,试图将一些形式化的方法引入协议设计的各个阶段。
- 党华锐
- 关键词：计算机通信通信协议
- 关于并行计算机加速比公式的辨析被引量：4
- 1996年
- 在简要叙述Ａｍｄａｈｌ／ｋ式和Ｂｒａｕｎｌ公式的基础上，对两者之间的关系以及各自的适用范围进行了讨论和分析。
- 党华锐
- 关键词：并行计算机加速比
- 分布式并行符号处理系统的研究与实现
- 该文的研究就是在这种背景下并结合863智能计算机系统主题中的研究课题进行的,其目的是在一般可扩展并行计算机系统上对分布式并行符号处理技术进行深入研究并在此基础上实现一个分布式并行符号处理语言XJD-PARLISP及相应的...
- 党华锐
- 关键词：分布并行计算大规模并行处理性能评价
- 交互式Petri网图形系统的设计与实现
- 1995年
- 本文介绍了一种交互式Ｐｅｔｒｉ网图形系统的设计思想与实现细节，其中包括系统功能；Ｐｅｔｒｉ网的数据结构以及其图形的压缩存储／还原算法；从Ｐｅｔｒｉ网图形到其矩阵表示的自动转换等。
- 党华锐赵慧
- 关键词：PETRI网通信协议
- 网络协议辅助设计系统中可达性分析的设计与实现
- 1992年
- 在网络协议的设计过程中,一个重要的段就是对协议的运行行为进行验证,以确定协议的正确性。本文采用可达性分析的方法,实现了对用Petri网描述的协议模型运行行为的自动验证,包括死锁验证、非法循环验证及特定状态的验证。
- 刘玉平党华锐罗景仁
- 关键词：计算机网络网络协议可达性
- 对网络通讯协议设计,验证和实现方法的研究
- 党华锐
- 基于Petri网的协议辅助设计工具的实现被引量：3
- 1995年
- 研究了一种基于Ｐｅｔｒｉ网的协议辅助设计工具Ｐｅｔｏｎ的实现细节。该研究是对计算机辅助协议工程（ＣＡＰＥ）方法学的一种有益的尝试．
- 党华锐赵慧
- 关键词：PETRI网CAPE计算机网络通信协议
- 全文增补中
- 协议工程形式化方法的研究及辅助设计工具的实现被引量：7
- 1996年
- 采用工程的方法对计算机通信协议形式化理论进行了研究，并详细叙述了所设计的、基于Ｐｅｔｒｉ网理论的辅助设计工具Ｐｅｔｏｎ，是对“协议工程”方法学的一种补充。
- 党华锐
- 关键词：计算机网络通信协议形式化
