HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 期刊 系统仿真学报杂志 系统仿真学报杂志介绍(非官网)
系统仿真学报杂志

系统仿真学报杂志北大期刊CSCD期刊统计源期刊

主管单位:中国航天科工集团总公司  主办单位:中国系统仿真学会;航天科工集团706所

人气 34380

系统仿真学报 2008年第S2期杂志 文档列表

关于Petri网系统S-补相关定理的补充证明及其分析第1-5页
关键词: petri网;  情态集;  行为等价;  
《系统仿真学报》大事记第2-2页
关键词: 系统仿真;  主办单位;  学报主编;  编委会;  编辑部;  数据库;  半年刊;  模拟器;  中国科技期刊;  内部发行;  
一种将时间Petri网转化为时间自动机的方法第6-8页
关键词: 时间petri网;  时间自动机;  模型验证;  性质分析;  
用Pi~+演算表示带抑止弧的Petri网第9-12页
关键词: pi演算;  petri网;  抑制弧;  形式化建模;  
Petri网有界性和公平性关系的进一步研究第13-14页
关键词: petri网;  公平性;  有界性;  外延子网;  
正规表达式到无空标注Petri网的构造方法第15-19页
关键词: 恰当终结的标准petri网;  petri网;  正规语言;  正规表达式;  语言;  
蚁群和BP算法相结合的模糊Petri网参数寻优第20-24页
关键词: 模糊petri网;  蚁群算法;  反向传播算法;  参数优化;  
基于Petri网进程的协议测试例生成方法及其实例第25-28页
关键词: 协议测试例;  lapd协议;  petri网;  petri网进程;  
S-不变量求取的多项式算法第29-32页
关键词: petri网;  死锁;  陷阱;  strc算法;  
Petri网的流分解第33-37页
关键词: petri网;  同步合成;  流分解;  动态性质;  结构性质;  
Petri网的资源损益单调进程段研究第38-42页
关键词: petri网;  petri进程;  资源配置;  资源损益;  
袋自动机与Petri网模型之间的等价转化第43-45页
关键词: 袋自动机;  petri网;  petri网语言;  袋语言;  等价性;  
国际Petri网理论与应用最新研究进展第51-54页
关键词: petri网;  模型检测;  petri网工具;  
基于程序Petri网的新型软件开发方法研究第55-58页
关键词: petri网;  程序petri网;  软件开发体系;  可信性;  
基于Petri网的工作流时间和资源管理研究综述第59-62页
关键词: petri网;  时间管理;  资源管理;  工作流;