首页> 中文期刊> 《系统仿真学报》 >离散事件系统仿真程序的正确性验证

离散事件系统仿真程序的正确性验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文在仿真事件图的基础上建立了离散事件系统仿真过程的数学模型,它包括事件表转移模型和状态空间模型,讨论了仿真过程数学模型在仿真程序正确性验证中的应用.

著录项

来源
《系统仿真学报》 |1990年第4期|24-28|共5页
作者
曾建潮; 孙国基; 胡保生;
展开▼
作者单位

太原重机学院电气工程系;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机仿真;
关键词
离散事件系统; 仿真;

相似文献

中文文献
外文文献
专利

1. 观测永久丢失下随机离散事件系统故障预测的验证算法 [J] . 廖辉 ,刘富春 . 计算机应用研究 . 2022,第1期
2. 基于粗糙集理论的离散事件系统不透明性的验证算法 [J] . 刘富春 ,赵毅澎 ,赵锐 . 控制理论与应用 . 2019,第008期
3. 对离散事件系统的共可诊断性验证 [J] . 李占山 ,靳志敏 ,杨凤杰 . 吉林大学学报（工学版） . 2013,第001期
4. 基于MATLAB的离散系统仿真程序设计 [J] . 买买提热依木·阿布力孜 ,帕孜来提·马合木提 . 工业控制计算机 . 2010,第007期
5. 基于积分环节的连续系统离散化仿真程序 [J] . 黄士元 . 自动化技术与应用 . 1993,第004期
6. 带有时序的离散事件系统可恢复故障的诊断方法 [C] . LIAO Meng ,廖盟 ,WEI Sheng-jie . 2016年第27届中国过程控制会议 . 2016
7. 离散事件系统与模糊离散事件系统监控理论的关系 [A] . 刘春芳 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号