论文部分内容阅读
中国列车运行控制系统是一种典型的复杂实时分布系统,Petri网是其有效的建模、仿真和验证形式化方法.针对系统特征并以列车、无线闭塞中心等构件为基础,考虑列车的实际运行情况和功能类型,采用面向对象的Petri网实现系统动态特征的描述和建模.
针对面向对象着色Petri网的中国列车运行控制系统建模
【摘 要】
：
中国列车运行控制系统是一种典型的复杂实时分布系统,Petri网是其有效的建模、仿真和验证形式化方法.针对系统特征并以列车、无线闭塞中心等构件为基础,考虑列车的实际运行情
【机 构】
：
兰州交通大学信息与电气工程学院,光电技术与智能控制教育部重点实验室（兰州交通大学）,西北工业大学
【出 处】
：
甘肃科学学报
【发表日期】
：
2005年3期
【基金项目】
：
甘肃省自然科学基金，教育部重点实验室基金
其他文献
据路透中文网报道，2012年中国国产葡萄酒增长幅度仅为4％，进口葡萄酒为9%。国产酒从2007年开始增幅就落后于进口葡萄酒，连续五年增长幅度落后。使得国产葡萄酒企业整体状况在2012
提出一种模拟基因工程技术优化算法，进而基于MMSE准则提出一种全新的模拟基因工程技术优化算法的盲最佳多用户检测器SGE（Blind Optimal Multi—User Detector of Simulating Ge
综述了采用扩展卡尔曼滤波实现无传感的场定向矢量控制变频调速系统在MATLAB6.5/SIMULINK5.0环境下仿真搭建过程,并对仿真结果进行了讨论.
近日，澳大利亚天鹅庄2014郑州VIP高端品鉴会举行。品鉴会邀请到布鲁塞尔国际葡萄酒大赛评委、澳大利亚悉尼国际葡萄酒大赛评委、著名红酒投资专家房大方等精英出席。澳大利亚
运用PHP网络编程技术设计出一套适合企业清洁生产的经济评估系统，实现了清洁生产方案的筛选、可行性分析以及显示数据清单等功能，为企业提供高效、可行和最佳的项目生产方案．
以图形替换图形为原则,定义了基于符号描述的图形重写系统,根据符号系统的文法复杂度和应用的需求对图形重写系统进行了分类,重点分析了上下文无关的图形重写系统常见结构、处理方法以及与IFS和L系统关系.结果表明,图形重写系统比L系统和IFS更简单,造型能力更强,构图过程更直观.
分析了考试报名系统结构.介绍了视频图像信息的捕获、智能取景框的设计以及数据压缩传输的技术实现要点.
提出了一种复合模糊分段控制策略,应用于具有大惯性、强扰动并难以建立准确模型的系统,通过计算机仿真对三层PE温度控制系统进行模拟,取得了良好的效果.