-
题名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
[自动化与计算机技术—计算机系统结构]
-
-
题名基于移动Agent的网络管理框架及实现
被引量：40
- 2
-
-
作者
张松
阎保平
-
机构
中国科学院计算技术研究所国家智能机研究中心
中国科学院网络中心
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1999年第8期1007-1010,共4页
-
基金
"八六三"高技术计划306主题基金
-
文摘
Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ的迅速发展，促使网络日趋复杂，规模不断扩大，应用服务数量剧增，网络管理的重要性日益提高．传统上作为事实工业标准的ＳＮＭＰ采取集中管理模式和功能固定的代理（ａｇｅｎｔ）机械地收集大量原始数据，逐渐无法适应网络的发展现状，大量网管信息加重了网络负载，对管理对象的请求响应缓慢．文中提出采用移动代理（ｍｏｂｉｌｅａｇｅｎｔ）的网管框架，将代理支撑环境驻留在设备上，替代功能固定的代理，网管中心根据实际网络状态选择适当功能的代理程序发送到设备，在代理运行环境中生成程序实例（ｉｎｓｔａｎｃｅ），完成预期功能，移动代理不仅收集而且能够处理数据，从而加快响应速度，减轻网管中心负载．文中阐述了移动代理的结构，控制和安全问题，以及用于网络管理的系统框架和原型的实现．
-
关键词
移动代理
网络管理
计算机网络
人工智能
-
Keywords
mobile agent, network management, SNMP, Java
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名基于 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
[自动化与计算机技术—计算机软件与理论]
-
