论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 系统仿真学报期刊 >
系统仿真学报2003年第z1期出版文献
出版文献量（篇）
14694
总下载数（次）
35
总被引数（次）
173926
系统仿真学报
分享
投稿
《系统仿真学报》是中国系统仿真学会会刊，是中国系统仿真技术领域具有权威性及代表性的学术刊物。其宗旨是报道我国仿真技术领域具有国际、国内领先水平的科研成果, 刊登创新性学术见解的研究论文。《系统仿真学报》由中国系统仿真学会及中国航天科工集团706所联合主办，以中文编辑形式出版，同时附有英文摘要，供国外学者和检索系统引用。本刊始创于1989年，月刊，每期300页左右。
《系统仿真学报》的国内影...
更多
主办单位：
北京仿真中心
中国系统仿真学会
期刊荣誉：
Ei全部收录
中国科技论文统计源核心刊
中文核心期刊
ISSN：
1004-731X
CN：
11-3092/V
出版周期：
月刊
邮编：
100039
地址：
出版文献量（篇）
14694
总下载数（次）
35
总被引数（次）
173926
分享
文章浏览
目录
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法.赵义军等在文[1]中给出了有界时延混合Pet...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的.斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 可达性是Petri网的一个基本性质,其判定问题是Petri网理论研究方面的一个重要课题.众所周知,一个Petri网的状态方程可满足性是其可达性的一个必要不充分条件.然而[2]证明了,对于活的...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 随着计算机硬件的发展,网络硬件支持Gb/s的带宽已成为现实.但是由于分层网络软件频繁的系统调用和内存-内存拷贝,物理层和应用层之间形成性能鸿沟.虚拟接口体系结构是一种崭新的机群系统内部通信思...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： PNML(Petri网标记语言)是一种基于XML的Petri网的交换格式.因为可以用PNTD(Petri类型定义符)来定义Petri网的类型,PNML支持任何一种类型的Petri网.PNML...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 事务处理对于建立可靠的CORBA应用系统是很统设计的原则.CORBA的一个重要的服务是OMG的提出了对象事务处理服务OTS(ObjectTransaction Service),负责将事务处...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 首先给出无冲突可重复网的定义,并证明无冲突可重复网是结构活的.然后将无冲突可重复网的极小活标识的配置化为强连通T_图极小活标识的配置.文[2]虽然给出T_图极小活标识的判断方法,但是对于一个...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 广域Web服务器集群是由多个局域Web服务器集群在Intemet上广域分布而形成的一种服务器体系结构,是目前解决Web系统超载和提供高性能服务器的一种有效手段.基于随机高级Petri网的性能...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： MPI是目前最流行的并行编程消息传递标准之一,它提供了多种点到点通信函数和集群通信函广Petri网模型,有利于解决此问题,并更好地利用它们编写并行程序.
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 目前,判定一类随机Petri网(SPN)是否具有乘积形式解还没有比较好的方法.在这篇文章里给出了一个基于随机Petri网的乘积形式解存在的判定定理,它对于判定一些SPN模型是非常有用的.利用...
-
12. Petri网的分层递归模型刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： Petri网的分层模型是应用Petri网对复杂系统建模时的一种常用手段.在传统的Petri网分层模型中,是不考虑递归的.这样的分层模型虽然为系统的建模和分析带来方便,但并增强模拟能力.在分层...
-
13. 投入产出系统Petri网模型刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： Petri网是分析系统的一种有用工具.介绍了Petri网和投入产出系统的基本概念;给出了构造投入产出系统Petri网模型的方法;讨论了投入产出系统Petri网模型的性质;基于投入产出系统Pe...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： Petri网和Estelle是国际上流行的两种描述通信协议的形式技术.基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用.而Estelle类似于程序...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法.该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法.它相对于只能面向某一类网的死...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： Petri网是模型并行系统和分布式系统的一种强有效的形式化工具.它能够很好地刻画系统的动态行为、分析系统的性能.目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： Agent作为一种新的软件开发范型,应用领域逐步扩大,但其潜在优势并没有在应用中完全展现,主要原因是缺少成熟实用的软件开发方法和工具.在软件工程领域Agent通常被认为是对象尤其是并发对象的...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN).此...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题.本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 在实时控制系统中,常常需要使用时延Petri网对系统进行建模、分析.作者提出了用硬件描述语言对时延Petri网进行描述,用VHDL语言中的wait语句和after语句来模拟Petri网中的时...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动.但人们习惯于用状态序列对并列程序模型的语义作数学处理.一旦偏序的状态空间...
-
22. Petri网的公平分解和守恒分解刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 给出了Petri网的公平分解和守恒分解的定义,同时给出了Petri网达到公平分解和守恒分解的具体方法,并证明了这种分解方法保持了网的一些结构性质.
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 提出一类新的模糊Petri网,讨论了其可达性问题,其特点是一方面保持适度的不确定性,以便于分析,另一方面又可作为许多实际问题的模型.最后给出求解知识表示与推理的问题的例子.
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 智能主体动态动作的形式化描述是开发应用多主体系统的的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中.该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 有色Petri网(CPNs)提供了一个框架用来对系统进行设计.有色Petri网有着很广泛的应用领域,很多CPNs项目在工业中得以应用.通讯协议、操作系统、硬件系统、嵌入式系统和软件设计也是有...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： Coloured Petri网(简称CP-nets或CPN)是一种用于设计、详细说明、仿真和检验的面向 图形的语言。它特别适合于那些通讯、同步、资源共享非常重要的系统。例如应用程序间的通讯...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 给出人携带狼,羊,白菜安全过河问题的增广Petri网模型及著名的用餐哲学家问题的一个无饥饿解的增广Petri网模型.
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： 随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点...
-
刊名： 系统仿真学报发表期刊： 2003年z1期页码:摘要： π-网是一类新型的模块化的高级Petri网.π-网有机地结合了两类并发模型Petri网和π-演算,π-网既可称为Petri网中的π-演算,又是π-演算的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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
