切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
[!--class.name--]论文
[!--title--]
[!--title--]
来源 :计算机科学 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
【摘 要】
:
State equation method based on incidence matrix ,which shows the structural property of Petri Nets ,has been used widely in the reachability analysis ot Petri N
【作 者】
:
熊超越
丁国俊
【机 构】
:
上海交通大学自动控制系
【出 处】
:
计算机科学
【发表日期】
:
1999年6期
【关键词】
:
正则Petri网
异步并发系统
发生率矩阵
满秩
Petri Net
Full-rank Petri Net
Sink transition
Inciden
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
专家系统的评测方法
<正>专家在进行工程设计时通常要遵睛一般的规律,应用专业知识,联系相关线索,凭借丰富的经验。人们用基于知识的系统—一专家系统来完成工程设计时,期望它具备专家的行为。因
期刊
专家系统
知识库
知识获取
评测
Expert system
Knowledge-based system
Knowledge acquisition
Doma
基于Web的数据库发布系统的分析和实现
<正> 1 引言 Web和数据库技术的结合已经成为必然的发展趋势,其原因主要来自这几个方面:第一,信息的飞速膨胀使得原来的以HTML文件为基础的组织机制遇到巨大挑战。大量的文件
期刊
数据库发布系统
WEB
INTERNET网
数据库
Internet
WWW
Database publishing
Web-based applicat
现有Z的工具的比较
<正> 一引言软件开发过程需要大量的工具支撑,如编辑工具,编译工具,调试工具等。这些工具的使用不仅方便了软件的开发,而且合适的工具保证了软件开发的质量,它将使软件开发人
期刊
软件开发
Z工具
面向对象
计算机
Tools for Z
Z specification
Proof
Refinement
PKI中的证书和发证机构
<正> 1 引言 Internet从诞生之日起就是一个开放的系统,把许许多多的计算机系统互联起来形成一个庞大的通信网络,但是这种开放性使得Internet中的信息很容易被拦截、监视和窜
期刊
PKI
证书
发证机构
INTERNET网
Public Key Infrastructure (PKI)
Certification Authority (
基于CORBA的分布式图书资料信息系统的设计与实现
<正> 当前计算机及网络技术飞速发展,国内大多数的管理信息系统(MIS)已不能适应现代信息管理的需求,用户对MIS的功能要求在不断提高。就目前的形势来看,MIS的市场很大,种类繁
期刊
图书资料
信息系统
设计
CORBA
Distributed
Object
CORBA.BDIS
预测模型获取的遗传算法研究
<正>预测活动是国民经济各个领域及现代生活中常见的行为。如经济增长指标预测、国民产值顶测、生态环境预测、环境质量预测、农作物产量预测、虫害预测、入口增长预测、商业
期刊
预测模型
数学模型
遗传算法
Genetic algorithms
Forecasting model
基于UML集成化支持环境的柔性软件开发过程
<正> 面向对象开发方法主要由以下三方面组成:开发语言、开发过程和支持工具。开发语言包括建模语言、程序语言和按文档格式组织的文字语言等。开发过程指规范化地使用开发语
期刊
软件开发
UML
集成化支持环境
面向对象
UML
UML integrated supporting environment
UML flexible s
基于Multi—agent技术的决策支持系统
1.引言 agent最早提出于60年代,由于当时的硬件水平与计算机科学理论水平的限制,agent的能力不强,几乎没有影响力。近几年来,计算机的软件技术(特别是面向对象技术)、硬件技
期刊
决策支持系统
MULTI-AGENT
人工智能
Multi-agent
Decision support system
Model base
Human-co
面向对象开发方法的最新进展
<正>面向对象程序设什方法起源于六十年代末期的语言SIMULA’67,到了七十年代末期,软件行业正受到软件危机的困扰,结构化的开发方法不能够很好地解决软件危机。面向对象语言S
期刊
面向对象
开发方法
程序设计
Object-oriented development methodology
Modeling language
基于Web服务器的性能模型与参数分析
<正> Web是全球范围的信息浏览系统,建立在“客户机/服务器”模型之上。Web服务器具有高度的集成性,能把各种类型的信息(如文本、图像、声音、动画等)和服务(如News,FTP,Goph
期刊
WEB
服务器
性能模型
参数分析
网络协议
Web server
Model
Markov queue network
Performance analy
与本文相关的学术论文