排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
党华锐 《计算机研究与发展》1995,32(1):50-53
本文叙述了一个基于面向对象程序设计语言C++的超文本CASE系统的设计与实现过程,并对共内部结构、结点类型说明和应用环境做了详细介绍。 相似文献
2.
3.
近年来,基于消息传递的并行处理方式越来越受到重视,PVM(Parallel Virture Machine)正是这 相似文献
4.
计算机通信协议辅助设计工具的实现 总被引:3,自引:0,他引:3
1.引言 协议是计算机系统中两个要通信的实体必须共同遵守的一套约定,随着计算机网络和分布式系统的发展,协议的设计变得越来越复杂,所以,近年来有许多人从事这方面的研究,试图将一些形式化的方法引入协议设计的各个阶段。但这些工作多是提供一种 相似文献
5.
Petri网图形的压缩存储与自动转换 总被引:1,自引:0,他引:1
党华锐 《微电子学与计算机》1996,13(1):44-47
本文给出了一种Petri网的计算机表示方法以及其图形的压缩存储/还原算法,并在此基础上对Petri网图形进行自动转换以产生此图的矩阵表示,这为在其上进行可达性分析和验证的自动化提供了极大的方便。 相似文献
6.
本文介绍了一种交互式Petri网图形系统的设计思想与实现细节,其中包括系统功能;Petri网的数据结构以及其图形的压缩存储/还原算法;从Petri网图形到其矩阵表示的自动转换等。 相似文献
7.
本文给出了一个基于C++的超文本CASE子系统在通信协议辅助设计中的应用,同时对该系统的设计与实现过程、其内部结构、结点类型说明等做了介绍. 相似文献
8.
约束逻辑程序设计综述 总被引:1,自引:0,他引:1
一、引言 约束逻辑程序设计(Constraint Logic Program-ming.CLP)是基于人工智能(AI)中约束满足问题(Constraint Satisfaction Problem.CSP)模型的一种程序设计风范。CLP是逻辑程序设计(LP)的一种推广,是八十年代发展起来的一种新的逻辑程序设计方法。由于它继承了LP简单易懂的说明性描述方法并结合了CSP在求解问题时的效率,使它在解决很多AI问题(如组合问题、资源分配、事务安排等)时有不凡的表现。更由于AI领域中绝大多数问题可以用CLP来表示,所以这一方法已引起了人们的广泛注意,并在八十年代后期得以迅速发展。 相似文献
1