叶志宝
- 作品数：12 被引量：80H指数：4
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金煤炭科学基金更多>>
- 相关领域：自动化与计算机技术经济管理自然科学总论机械工程更多>>
- 基于模型的企业业务持续改善的研究
- 2001年
- 现代企业在激烈的竞争下要在市场中保持竞争力 ,企业的业务过程就要不断地适应外界的变化 ,这就是业务过程持续改善 (BPCI)的内涵 .企业要实现业务过程的持续改善离不了信息技术的支持 ,本文主要介绍支持企业进行业务持续改善的模型方法 (ARIS)、基于模型和构件的软件开发方法以及 Microsoft DNA体系结构 .文中的建模方法的有效性和实用性在国家“九五”
- 叶志宝戴国忠
- 关键词：业务过程模型ARIS
- Petri网动态运行可视化研究
- 2001年
- 讨论了可视化开发方法在开发 Petri网工具中的应用 ,描述了 Petri网的可视化运行的表现形式 ,介绍了Petri网可视化运行的设计方法 .
- 叶志宝蒋昌俊蒋昌俊张兆庆
- 关键词：PETRI网并行编程死锁
- Petri网的并分解被引量：49
- 2001年
- 给出了Petri网的并分解的定义 ,并讨论了通过这种分解原网与子网在结构性质方面之间的关系 。
- 王培良赵义军叶志宝
- 关键词：PETRI网
- 长岭炼油化工有限责任公司CIMS应用示范工程
- 戴国忠王宏安王军王堃李源叶志宝杨庆章峰李晓光刘伯龙蒋白桦张冬乐郭武陈世波王焕喜林伟张国兴刘利文肖向阳
- 本分系统应用可视化技术、图形技术以及Intranet技术，对于实时监控的各种数据进行汇总，为有关业务领导和管理人员提供了综合信息和重要装置的运行状态，能源系统和重要设备运转情况。也为决策支持系统及生产管理应用系统提供数据...
- 关键词：
- 关键词：CIMS系统集成
- 生产信息综合管理与决策支持系统
- 刘伯龙戴国忠蒋白桦王宏安赵建华王军赵日峰张冬乐苗健郭武杨庆王堃陈世波王焕喜夏巧生叶志宝杜惠捷荀兀章峰熊正凤丁罕林伟陈军李源张国兴廖建平李晓光顾明忠刘利文李玉国单宏浩邵楠肖向阳乔颖戴芙蓉
- 该成果项目来源于国家重点科技项目（攻关）计划，针对当前石化行业所具有如上问题而提出的。其主要原理是通过建立生产管理业务系统参考模型，采用在此基础之上的生产管理核心数据库，解决了企业生产管理与经营决策或其内部之间繁杂的逻辑...
- 关键词：
- 关键词：信息管理决策支持
- 计划与调度优化软件
- 戴国忠刘伯龙王宏安蒋白桦赵建华赵日峰张冬乐王军苗健李源丁罕李玉国王景芳彭江清夏巧生李晓光单宏浩杜惠捷陈世波叶志宝张国兴林伟李江保熊正凤陈军王堃廖建平顾明忠杨庆章峰邵楠肖向阳乔颖戴芙蓉
- 本专题中的原油评价数据库的建立及评价数据的发布、基于生产计划模型的生产计划优化系统及基于图形化的生产装置建模工具具有一定的创造性和先进性。在原油评价数据库中，针对国内目前常用的原油品种，石化研究院进行了新的分析与化验，保...
- 关键词：
- 关键词：信息管理决策支持
- 最大速度变化的连续Petri网(VCPN)的动态演变及性质判定被引量：9
- 2002年
- 最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 VCPN的稳定的相区间 ,进一步对其性质给出了相应的定义及判定定理 .利用这些结论 ,可以对由 VCPN模拟的系统进行性能分析 .这种分析方法对某些系统利用
- 叶志宝赵义军董焕河
- 关键词：连续PETRI网离散事件系统动态性质
- 构建现代企业问题求解环境被引量：1
- 2001年
- 在知识经济时代的激烈竞争中 ,现代企业要在市场中保持竞争优势 ,企业的业务过程就要不断地改善以适应市场的变化 ,传统的企业业务管理方法已经不再适应新的经济形势 ,新型的信息技术能够支持企业实现业务过程的持续改善 (BPCI) ,本文主要介绍支持企业实现业务持续改善的企业问题求解环境的软件体系结构和动态建模方法。应用先进的软件技术和方法可以帮助企业快速建立业务管理系统 ,同时降低实施成本 ,保护企业在信息系统的已有投资 ,最大限度满足企业动态多变的需求以适应多变的市场。
- 戴国忠叶志宝王宏安张景涛
- 关键词：动态建模方法软件体系结构
- 支持企业业务过程持续改善的应用系统开发方法
- 该文针对这种'Gap',研究支持企业业务过程持续改善的应用系统开发方法,提出了支持企业业务过程持续改善的应用系统开发模式,在这种开发模式下,论文又在下列方面进行了研究：研究了企业的建模方法,提出了企业业务系统和应用系统集...
- 叶志宝
- 关键词：工作流体系结构三层结构PETRI网
- 文献传递
- 控制软件设计与验证计算机辅助系统被引量：4
- 2001年
- 介绍了控制软件设计与验证系统的原理与实现过程 ,给出顺序功能图[1] (Se quentialFunctionCharts,即SFC)需求说明语言到系统Petri网模型的转化算法和系统几种异常现象的验证算法 ,讨论了系统实现的若干关键技术 。
- 蒋昌俊张鹏叶志宝
- 关键词：控制软件设计计算机辅助系统
