论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 系统仿真学报期刊 >
系统仿真学报2005年第z1期出版文献
出版文献量（篇）
14694
总下载数（次）
35
总被引数（次）
173926
系统仿真学报
分享
投稿
《系统仿真学报》是中国系统仿真学会会刊，是中国系统仿真技术领域具有权威性及代表性的学术刊物。其宗旨是报道我国仿真技术领域具有国际、国内领先水平的科研成果, 刊登创新性学术见解的研究论文。《系统仿真学报》由中国系统仿真学会及中国航天科工集团706所联合主办，以中文编辑形式出版，同时附有英文摘要，供国外学者和检索系统引用。本刊始创于1989年，月刊，每期300页左右。
《系统仿真学报》的国内影...
更多
主办单位：
北京仿真中心
中国系统仿真学会
期刊荣誉：
Ei全部收录
中国科技论文统计源核心刊
中文核心期刊
ISSN：
1004-731X
CN：
11-3092/V
出版周期：
月刊
邮编：
100039
地址：
出版文献量（篇）
14694
总下载数（次）
35
总被引数（次）
173926
分享
文章浏览
目录
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 现有的Petri网子网分类在活性判断问题上难度跳跃过大,难以取得突破.通过对活标识单调性质的研究对结构活网进行了子类划分,将结构活网划分为严格单调活网、单调活网、关于冲突源单调活网、广义单调...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 针对一类柔性制造系统的ES3PR网模型提出了一种死锁预防策略.基于Petri网和信标的理论,我们将可被清空的信标分为基本信标和从属信标.引入多步迭代的思想,给每个基本信标添加两类控制库所:普...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： TCP协议是目前广泛使用的一种可靠的网络传输协议.TCP协议的分析和改进一直是研究的热点,由于协议的复杂性,协议的形式化描述是其中的难点.文章用颜色Petri网及其工具CPN/tool对简化...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一种关键技术.研究了...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri 网的C/E系统来模拟哲学家就餐问题具有很好的...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 模糊知识表示及不确定的推理方法是知识工程与专家系统中重要的常用技术.在文中利用模糊Petri网对MYCIN专家系统进行建模,详细地描述了网模型的定义以及变迁发生规则,并提出了一个结合正向推理...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 研究并行程序的验证问题对于提高并行编程的效率具有十分重要的意义,本文在[1]的基础上,建立了目前普遍使用的基于消息传递的并行程序编写标准之一--消息传递接口(MPI)的集群通信函数的Petr...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： Petri网是描述工作流的理想建模工具,本文介绍了一种基于抽象方法的工作流模型的分解过程,将工作流网分解为两个满足二元模拟关系的子网,其结果得到工作流模型,并举例说明了基于抽象的工作流模型分...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 工作流模型的性能研究越来越受到人们的重视[1-4],随机Petri网易于描述分布、并发和异步等特征,加上它具有坚实的数学分析基础,在工作流的模型中独具鳌头.但随机Petri网在表示实际工作流...
-
11. 网格体系的Petri网模拟与分析刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(Interval speed Continuous...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在P...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 任务调度是一个NP-hard问题,并且是并行与分布式计算必不可少的组成部分.本文首先提出了适合描述异构环境下独立、等尺寸的大规模任务调度问题的T-时间Petri网模型,然后给出了刻画该模型运...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 为适应侦察平台Agent中各种知识的分类及知识动态更新过程的需求,采用一种自下而上的面向对象的模糊Petri网建模方法,不仅考虑处理中的侦察平台Agent推理规则,而且更注重其结构、子系统及...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任多代理系统的...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 简要介绍了多层次Petri网模型.在论述了Petri网技术优点的基础上,提出采用层次化的Petri网技术来建立装备系统维修保障流程仿真模型,并举例详述了该模型的建立.
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 定义了一类含弧权变量的Petri网,并以此为工具构造出一种Petri网随机数发生器,进而实现了对(s, Q)策略随机库存系统的建模.该模型可实现需求量与供货滞后时间均为随机变量的库存系统的计...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 为了有效地解决车站通过能力中各项时间指标问题, 基于扩展模糊时间Petri网提出了层次扩展模糊时间Petri网(Hierarchical Extended Fuzzy Timing Petr...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Pe...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： SWF-net是一类带约束条件的petri网,文章提出一种扩展的ECA规则(FECA),将多个SWF-net转换为FECA模型.采用这一技术,实现了工作流执行中的动态路由和模式反馈,能很好的...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 讨论了Petri网分析的符号有序二叉决策图(Ordered Binary Decision Disgram--OBDD)技术.对于一类赋时Petri网模型的生产调度问题,通过实施赋时位置(迁...
-
25. 几类合成网的性能分析刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 研究了T-图,P-图,CFR网(无冲突可重复网)的同步合成网与共享合成网的结构性质和动态性质,这些工作对T-图网系统,P-图网系统,CFR网系统(无冲突可重复网系统)合成的性能分析提供了有力...
-
26. 库所组合有色网-一种新型的有色网刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 为了解决用Petri网描述复杂系统时出现的"节点爆炸"问题,本文提出了四种特殊的弧:约束弧、柔性弧、组合弧和因果弧.库所组合有色网就是在有色网的基础上添加这四种特殊的弧得到的,这种网系统并没...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： Petri 网理论已日益成为复杂系统设计与分析中不可或缺的工具.而ARM嵌入式处理器是一种高性能,低功耗的RISC芯片.同步动态RAM控制器状态间的相互转换较为复杂,且通过状态图只能描述它的...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为UML动态描述机制...
-
刊名： 系统仿真学报发表期刊： 2005年z1期页码:摘要： 为建立一种可以合理的同时描述工作流中的过程信息和数据信息的模型,在过程定义方面,本文采用Petri网建模方法,建立工作流过程模型;在数据信息方面,采用面向对象方法,建立分级多粒度的数据模型....
系统仿真学报基本信息
| 刊名 | 系统仿真学报 | 主编 | 李伯虎 赵沁平 |
| 曾用名 | |||
| 主办单位 | 北京仿真中心 中国系统仿真学会 | 主管单位 | 中国航天科工集团公司 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1004-731X | CN | 11-3092/V |
| 邮编 | 100039 | 电子邮箱 | simu-xb@vip.sina.com |
| 电话 | 010-88527147 | 网址 | www.china-simulation.com |
| 地址 | 北京市海淀区永定路50号院 |
系统仿真学报评价信息
该刊被以下数据库收录
| 1. | 化学文摘(美) |
| 2. | 中国科学引文数据库 |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 科学文摘(英) |
| 5. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | Ei全部收录 |
| 2. | 中国科技论文统计源核心刊 |
| 3. | 中文核心期刊 |
系统仿真学报统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
