搜索筛选:
搜索耗时2.3588秒,为你在为你在102,285,761篇论文里面共找到 12 篇相符的论文内容
发布年度:
[学位论文] 作者:叶志宝,,
来源:中国科学院研究生院(软件研究所) 年份:2002
随着计算机技术、网络技术和电子商务的广泛应用,企业之间的竞争表现出快速、灵活、自动化与全球化的新特征,企业中也充满了变化和不确定性。为了能够在竞争中生存并取得比对手......
[期刊论文] 作者:叶志宝,戴国忠,
来源:信息与控制 年份:2001
现代企业在激烈的竞争下要在市场中保持竞争力 ,企业的业务过程就要不断地适应外界的变化 ,这就是业务过程持续改善 (BPCI)的内涵 .企业要实现业务过程的持续改善离不了信息...
[会议论文] 作者:叶志宝,蒋昌俊,
来源:第五届全国经济与管理系统学术会议 年份:1998
针对petri网工具开发过程中的几个问题,提出了实用的解决方法,这些方法对其它图形编辑工具的开发也有一定的参考作用。...
[期刊论文] 作者:叶志宝, 赵义军, 董焕河,,
来源:计算机研究与发展 年份:2002
最大速度变化的连续Petri网(VCPN)是由David等最早提出的一类时延连续Petri模型,但并未对其动态及结构性质给出分析方法.首先给出了VCPN的相区间的定义及其划分,并结合实例对...
[期刊论文] 作者:蒋昌俊,叶志宝,赵明清,
来源:小型微型计算机系统 年份:2001
建立了广义混杂PN机模型,证明上下文有关矢量文法与广义混杂PN机模型在语言上是等价的.这样一来,使得文[4]中的悬而未决问题得到解决.另外,还进一步研究了PN机的语言性质....
[期刊论文] 作者:王培良,赵义军,叶志宝,
来源:控制理论与应用 年份:2001
给出了Petri网的并分解的定义,并讨论了通过这种分解原网与子网在结构性质方面之间的关系,对用Petri网分析大系统提供了一种有效的方法....
[期刊论文] 作者:蒋昌俊,张鹏,叶志宝,
来源:高技术通讯 年份:2001
介绍了控制软件设计与验证系统的原理与实现过程,给出顺序功能图[1](Seq uential Function Charts,即SFC)需求说明语言到系统Petri网模型的转化算法和系统几种异常现 象的验证算法,......
[期刊论文] 作者:杨庆,戴国忠,叶志宝,王宏安,
来源:计算机工程与应用 年份:2001
流程工业存在着大量的实时数据处理、存储和集成问题,仅靠采用集散式控制系统(DCS)和关系数据库技术并不能完全解决.开放结构的分布式实时数据库系统能够提供高速的实时数据...
[会议论文] 作者:叶志宝;杨庆;王宏安;戴国忠;,
来源:中国科学院计算技术研究所第六届计算机科学与技术研究生学术讨论会 年份:2000
XML为应用系统的集成提供了一种强有力的手段,应用XML在不同系统间的传递信息将是系统集成的首选方法.本文讨论在互连网环境下,利用XML语言实现某羊绒衫厂的物流系统集成的情...
[期刊论文] 作者:戴国忠,叶志宝,王宏安,张景涛,
来源:中国管理科学 年份:2001
在知识经济时代的激烈竞争中,现代企业要在市场中保持竞争优势, 企业的业务过程就要不断地改善以适应市场的变化,传统的企业业务管理方法已经不再适应新的经济形势,新型的信...
[期刊论文] 作者:叶志宝,蒋昌俊,张兆庆,乔如良,
来源:应用科学学报 年份:2001
讨论了可视化开发方法在开发Petri网工具中的应用,描述了Petri网的可视化运行的表现形式,介绍了Petri网可视化运行的设计方法....
[期刊论文] 作者:张兆庆,蒋昌俊,乔如良,叶志宝,周杰,
来源:计算机学报 年份:1999
本文主要介绍PVM并行程序验证系统的基本原理和实现技术.首先,我们扼要分析PVM程序的构成与特点;然后阐述验证系统的理论模型和验证算法;最后,讨论开发过程中的若干关键技术.本系统......
相关搜索: