叶志宝

作品数：8被引量：55H指数：3
导出分析报告
供职机构：中国科学院软件研究所更多>>
发文主题：PETRI网CIMS信息管理决策支持DCS更多>>
发文领域：自动化与计算机技术经济管理自然科学总论机械工程更多>>
发文期刊：《信息与控制》《小型微型计算机系统》《计算机研究与发展》《应用科学学报》更多>>
所获基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金煤炭科学基金山东省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
最大速度变化的连续Petri网(VCPN)的动态演变及性质判定被引量：9
《计算机研究与发展》2002年第3期330-334,共5页叶志宝 赵义军 董焕河 
国家自然科学基金重点项目 (7993 10 0 0 );基金项目(69873 0 2 9);煤炭科学基金(96电 10 5 0 9)资助
最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 V...
关键词：连续PETRI网 离散事件系统 动态演变 动态性质 结构性质 绝对公平性 
广义混杂PN机被引量：1
《小型微型计算机系统》2001年第11期1386-1388,共3页蒋昌俊 叶志宝 赵明清 
国家自然科学基金(No. 69973 0 2 9;6993 3 0 2 0 );全国优秀博士论文作者专项基金;山东省优秀中青年科学家基金;上海市曙光基金;教育部青年骨干教师计划基金资助项目
建立了广义混杂 PN机模型 ,证明上下文有关矢量文法与广义混杂 PN机模型在语言上是等价的 .这样一来 ,使得文〔4〕中的悬而未决问题得到解决 .另外 ,还进一步研究了
关键词：广义混杂PN机 形式语言理论 计算机 
流程工业CIMS中的实时数据库技术被引量：7
《计算机工程与应用》2001年第14期96-99,105,共5页杨庆 戴国忠 叶志宝 王宏安 
国家自然科学基金重点项目:过程企业信息集成方法与技术(编号:79931000);国家自然科学基金重大项目:实时系统开发方法与研
流程工业存在着大量的实时数据处理、存储和集成问题，仅靠采用集散式控制系统（ＤＣＳ）和关系数据库技术并不能完全解决。开放结构的分布式实时数据库系统能够提供高速的实时数据服务，能够有效地集成异构控制系统，它和关系数据库一...
关键词：流程工业 CIMS 实时数据库 DCS 组态 0PC 
基于模型的企业业务持续改善的研究
《信息与控制》2001年第S1期648-653,共6页叶志宝 戴国忠 
国家自然科学基金重大项目 (7993 10 0 0 );国家"九五"科技攻关项目 (97-5 67-0 4课题 )资助
现代企业在激烈的竞争下要在市场中保持竞争力 ,企业的业务过程就要不断地适应外界的变化 ,这就是业务过程持续改善 (BPCI)的内涵 .企业要实现业务过程的持续改善离不了信息技术的支持 ,本文主要介绍支持企业进行业务持续改善的模型方法...
关键词：BPCI 业务过程模型 ARIS 
Petri网动态运行可视化研究
《应用科学学报》2001年第3期253-256,共4页叶志宝 蒋昌俊 张兆庆 乔如良 
国家自然科学基金 ( 699730 2 9;699330 2 0 1) ;全国优秀博士论文作者专项基金 ( 199934 ) ;山东省优秀中青年科学家基金;上海市曙光基金 ( 0 810 2 360 19)资助项目
讨论了可视化开发方法在开发 Petri网工具中的应用 ,描述了 Petri网的可视化运行的表现形式 ,介绍了Petri网可视化运行的设计方法 .
关键词：PETRI网 网运行 可视化运行 并行编程 死锁 PVM验证系统 
构建现代企业问题求解环境被引量：1
《中国管理科学》2001年第6期43-48,共6页戴国忠 叶志宝 王宏安 张景涛 
国家自然科学基金资助项目 (799310 0 0 );重大资助项目 (6 9896 2 5 0 )
在知识经济时代的激烈竞争中 ,现代企业要在市场中保持竞争优势 ,企业的业务过程就要不断地改善以适应市场的变化 ,传统的企业业务管理方法已经不再适应新的经济形势 ,新型的信息技术能够支持企业实现业务过程的持续改善 (BPCI) ,本文...
关键词：企业问题求解环境 BPCI 企业实现业务持续改善 动态建模方法 软件体系结构 企业业务管理 
控制软件设计与验证计算机辅助系统被引量：3
《高技术通讯》2001年第3期62-65,共4页蒋昌俊 张鹏 叶志宝 
国家自然科学基金(重点);全国优秀博士论文作者专项基金;教育部青年骨干教师基金;山东省优秀中青年科学家基金;上海市曙光基金
介绍了控制软件设计与验证系统的原理与实现过程 ,给出顺序功能图[1] (Se quentialFunctionCharts,即SFC)需求说明语言到系统Petri网模型的转化算法和系统几种异常现象的验证算法 ,讨论了系统实现的若干关键技术 。
关键词：控制软件设计 验证系统 计算机辅助系统 
Petri网的并分解被引量：36
《控制理论与应用》2001年第1期116-118,共3页王培良 赵义军 叶志宝 
煤炭科学基金! (96电 10 5 0 9);国家自然科学基金! (6 98730 2 9);山东省自然科学基金! (Y96G0 410 3)资助项目
给出了Petri网的并分解的定义 ,并讨论了通过这种分解原网与子网在结构性质方面之间的关系 。
关键词：PETRI网 并分解 结构性质 大系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部