【摘 要】
：
为了使系统与模型达到一致性,在C2级向C3级转换的过程中,采用有色Petri网对其进行建模.采用自动验证工具（CPN Tools）对模型性能、系统等级转换功能及相关动态属性进行验证,完成
【机 构】
：
兰州交通大学自动化与电气工程学院,中国水利水电第四工程局有限公司
【基金项目】
：
国家自然科学基金资助项目（61661027）
论文部分内容阅读
为了使系统与模型达到一致性,在C2级向C3级转换的过程中,采用有色Petri网对其进行建模.采用自动验证工具（CPN Tools）对模型性能、系统等级转换功能及相关动态属性进行验证,完成对所建模型的确认.对提取到的模型运行数据进行MATLAB仿真,结果表明：搭建的C2级转换到C3级模型能够达到规定的要求;列车以不同速度进行等级转换时,行车速度越高,列车转化时间越短;在C2级控车模式下,以其顶棚速度250km·h^-1进行转换,相比Petri网建模,转换成功率可提高0.1%.
其他文献
6月的镇平，玉文化改革发展试验区建设如火如茶：国际玉城开市迎宾，玉料市场正紧张施工，“玉神玉雕”迈向中国驰名商标……今年以来，镇平县强力实施项目带动、品牌带动、创新带动、
采用射频磁控溅射技术和快速热退火方法在Si(100)衬底上制备多层Ge/ZnO纳米晶薄膜.Ge纳米晶的大小随着退火温度的增加,从2.9nm增加到5.3nm.光致发光谱测试发现两个发光峰,分
为研究三相异步电动机定子绕组不对称故障对电机运行特性的影响,分别定义可表征定子绕组电阻和电感不对称故障程度的电阻不对称率和电感不对称率两个参数,并应用多回路理论建
生成语法的C—统制概念把词语间的照应关系理解为一种结构层次关系，并能用形式化的语言阐明词语间的照应关系。法、汉代词在句法中的照应特性可以由C—统制概念作统一的描述和
艾尔默·莱斯是20世纪美国戏剧史上一位才华横溢、成绩斐然的现实主义剧作家。他悉心关注重大社会问题，是个具有很深社会意识的作家。他在作品中尖锐地批判了西方现存的社
日前，广西壮族自治区出台管理办法规定：新增建设用地计划指标与自治区设置的土地管理绩效指标挂钩，奖优惩劣，绩效指标考核优秀的市奖励用地指标，指标不落实的市扣减用地指标，以提高
日前，武警黄金一总队二支队在内蒙古包头市哈达门沟矿区探获金资源量突破127吨。其中313号单条脉体金储量近70吨，达到特大型金矿床，潜在经济价值270多亿元。自此，该支队在内蒙高
试论民族文化语义与两级符号系统刘佐艳对民族文化语义的研究是与语言国情学的研究分不开的，因为语言国情学的研究对象主要是反映民族文化语义的语言单位。语言国情学诞生于本
在我国,存款合同的性质长久以来都没有定论,法律未对其作出明确规定,法学界也未形成统一观点,而英美法系国家和大陆法系国家对于存款合同性质,也有不同理解.
在对称集中荷载作用下,对8根高强钢筋活性粉末混凝土矩形截面简支梁进行抗剪试验,研究剪跨比、配箍率、纵筋配筋率对试验梁抗剪承载力的影响规律.结果表明：高强钢筋活性粉末混