搜索筛选:
搜索耗时3.0666秒,为你在为你在102,285,761篇论文里面共找到 15 篇相符的论文内容
发布年度:
[期刊论文] 作者：党华锐,
来源：西北大学学报(自然科学版) 年份：1996
采用工程的方法对计算机通信协议形式化理论进行了研究，并详细叙述了所设计的基于Ｐｅｔｒｉ网理论的辅助设计工具Ｐｅｔｏｎ，是对“协议工程”方法学的一种补充。...
[期刊论文] 作者：党华锐,
来源：西北大学学报(自然科学版) 年份：1996
在简要叙述了Ａｍｄａｈｌ公式和Ｂｒａｕｎｌ公式的基础上，对两者之间的关系以及各自的适用范围进行了讨论和分析。...
[期刊论文] 作者：党华锐,
来源：计算机研究与发展 年份：1995
本文叙述了一个基于面向对象程序设计语言Ｃ＋＋的超文本ＣＡＳＥ系统的设计与实现过程，并对共内部结构、结点类型说明和应用环境做了详细介绍。...
[期刊论文] 作者：党华锐,
来源：微电子学与计算机 年份：1996
本文给出了一种Ｐｅｔｒｉ网的计算机表示方法以及其图形的压缩存储／还原算法，并在此基础上对Ｐｅｔｒｉ网图形进行自动转换以产生此图的矩阵表示，这为在其上进行可达性分析和验证的自动化提供了极大......
[期刊论文] 作者：党华锐,
来源：计算机学报 年份：1991
1.引言 协议是计算机系统中两个要通信的实体必须共同遵守的一套约定,随着计算机网络和分布式系统的发展,协议的设计变得越来越复杂,所以,近年来有许多人从事这方面的研...
[期刊论文] 作者：党华锐,
来源：微机发展 年份：1994
本文给出了一个基于Ｃ＋＋的超文本ＣＡＳＥ子系统在通信协议辅助设计中的应用，同时对该系统的设计与实现过程、其内部结构、结点类型说明等做了介绍．...
[期刊论文] 作者：赵慧,党华锐,
来源：西北大学学报：自然科学版 年份：1995
讨论了超文本结点的粒度问题和粒度划分的原则，提出了动态增加超文本链的算法，并叙述了一个系统的设计与实现。...
[期刊论文] 作者：党华锐,赵慧,
来源：小型微型计算机系统 年份：1995
本文介绍了一种交互式Ｐｅｔｒｉ网图形系统的设计思想与实现细节，其中包括系统功能；Ｐｅｔｒｉ网的数据结构以及其图形的压缩存储／还原算法；从Ｐｅｔｒｉ网图形到其矩阵表示的自动转换等。......
[期刊论文] 作者：党华锐,赵慧,
来源：西北大学学报(自然科学版) 年份：1995
研究了一种基于Ｐｅｔｒｉ网的协议辅助设计工具Ｐｅｔｏｎ的实现细节。该研究是对计算机辅助协议工程（ＣＡＰＥ）方法学的一种有益的尝试．The implementation details of Peton, a protocol-aided design t......
[期刊论文] 作者：刘玉平,党华锐,
来源：微电子学与计算机 年份：1992
在网络协议的设计过程中,一个重要的段就是对协议的运行行为进行验证,以确定协议的正确性。本文采用可达性分析的方法,实现了对用Petri网描述的协议模型运行行为的自动验证,...
[期刊论文] 作者：党华锐,郑守淇,
来源：计算机科学 年份：1994
一、引言 约束逻辑程序设计(Constraint Logic Program-ming．CLP)是基于人工智能(AI)中约束满足问题(Constraint Satisfaction Problem．CSP)模型的一种程序设计风范。CLP...
[期刊论文] 作者：田增平,党华锐,
来源：软件学报 年份：1999
文章研究了多媒体数据库的查询需求，提出结构化的多媒体对象查询语言ＭＯＱＬ。它能够支持基于类型，结构特征，同步关系，时态关系和内容信息的多媒体查询。以ＤＢ２数据库的内存储机制，定义了一组......
[期刊论文] 作者：党华锐,雷帮军,郑守淇,
来源：计算机科学 年份：1996
近年来,基于消息传递的并行处理方式越来越受到重视,PVM(Parallel Virture Machine)正是这更多还原...
[期刊论文] 作者：刘玉平,党华锐,罗景仁,
来源：微电子学与计算机 年份：1992
在网络协议的设计过程中,一个重要的段就是对协议的运行行为进行验证,以确定协议的正确性。本文采用可达性分析的方法,实现了对用Petri网描述的协议模型运行行为的自动验证,...
[期刊论文] 作者：田增平,党华锐,周傲英,施伯乐,
来源：软件学报 年份：1999
...
相关搜索：
