-
题名PN机
被引量：2
- 1
-
-
作者
蒋昌俊
-
机构
中国科学院计算技术研究所国家智能机中心
中国科学院自动化研究所复杂系统实验室
山东矿业学院计算模型与算法研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
1998年第S1期35-40,共6页
-
基金
国家自然科学基金!69673039
69635030
+3 种基金
中国博士后科学基金
煤炭部跨世纪学术带头人基金
山东省科学基金
山东省计划联合资助
-
文摘
本文提出PN机的几种范式，讨论它们的串语言与步语言之间的关系，提出拟行为有限状态机概念，给出PN语言的一个拟正规性刻划，从而表明一般Petri网模型的局限性，以及引入PN机模型的必要性．本文结果对于PN机理论框架的建立起到奠基作用．
-
关键词
PETRI网
PN机
语言
拟正规性
-
Keywords
Petri net, PN machine, language, quasi-regularity
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名XeMI板上高效可靠的数据传递机制
- 2
-
-
作者
董向军
-
机构
中国科学院计算技术研究所智能机中心
-
出处
《小型微型计算机系统》
CSCD
北大核心
1996年第9期17-24,共8页
-
文摘
作为可扩展的并行计算机系统的关键部件之一，本文涉及的ＸｅＭＩ板沟通该系统的互连开关网络和作为结点的ＥＩＳＡ总线计算机系统，同时负责整个系统的软硬复位。它的高效和可靠的数据传递机制是系统至关重要的保障之一；它所采用的并行ＣＲＣ技术和互连接口技术是系统设计的典型技术；它所采用的ＥＩＳＡ接口技术是设计ＥＩＳＡ总线扩展板的关键。
-
关键词
XeMI板
接口
并行计算机
数据传递
-
Keywords
Scalable parallel computing system
XeMI board, EISA bus, Interface
-
分类号
TP338.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于 PN 的并行程序设计方法
被引量：3
- 3
-
-
作者
蒋昌俊
张兆庆
乔如良
-
机构
中国科学院计算技术研究所国家智能机中心
-
出处
《高技术通讯》
EI
CAS
CSCD
1998年第1期28-32,共5页
-
基金
国家自然科学基金
-
文摘
首先分析了并行程序的特点，在此基础上，提出并行程序设计的若干Ｐｅｔｒｉ网方法。这些方法在一定程度上有助于减少或避免一些逻辑错误的出现，从而减轻了程序验证的负担。最后通过例子显示了这些方法的作用。
-
关键词
并行程序
设计方法
PETRI网
组合法
精炼法
-
Keywords
Parallel program, Design method, Petri net, Combination method, Refiniment method
-
分类号
TP311.11
[自动化与计算机技术—计算机软件与理论]
-
