论文部分内容阅读
同济大学和兖州矿业（集团）公司东滩煤矿在以HCPN为基础进行形式化描述的同时,引入UML建模技术的部分概念和方法,使其融入HCPN建模技术中,从而能更好地对铁路信号联锁逻辑进行更深层次的描述。
铁路信号联锁逻辑形式化描述的研究
【摘 要】
：
同济大学和兖州矿业（集团）公司东滩煤矿在以HCPN为基础进行形式化描述的同时,引入UML建模技术的部分概念和方法,使其融入HCPN建模技术中,从而能更好地对铁路信号联锁逻辑进行更
【出 处】
：
煤矿机械
【发表日期】
：
2009年10期
其他文献
介绍了液压缸差动连接的工作原理，对液压缸差动连接时的压力进行理论分析，并应用Automation Studio5．0仿真软件进行仿真研究，其结果与理论分析是相符的。
[摘要] 目的 探讨彩色多普勒超声闪烁伪像在以超声定位的体外冲击波碎石中的应用价值。 方法 选择我院2013年1月～2015年12月收治的316例输尿管结石患者，所有病例普通B超均未发现结石，后经其他影像学检查确诊输尿管结石，再行彩色多普勒超声检查，结合其他影像学检查提示结石解剖位置，于可疑结石强回声处，运用彩色多普勒超声闪烁伪像技术，重点扫查，观察结石的检出率变化。 结果 本组316例输尿管结石
目的探讨单操作孔胸腔镜肺癌根治术的临床应用效果。方法选择2013年1月～2015年12月在我院治疗的单操作孔胸腔镜下行肺癌根治术的患者64例的临床资料进行回顾性分析。31例患者
“吱吱吱……”树上的知了烦躁地叫着,好像在说:“这鬼天气,怎么这么热?我都快被烤干了!”大树也无精打采地站着,耷拉着脑袋,好像生命快衰竭了。南京的夏天就是一个火炉,人们
目的研究视网膜中央静脉阻塞(central retinal vein occlusion,CRVO)和视网膜分支静脉阻塞(branch retinal vein occlusion,BRVO)继发黄斑水肿(ME)患者黄斑中心凹下脉络膜厚
以松软突出煤层钻进装备为研究对象，介绍了松软突出煤层顺层钻孔装备的研制及其特点；阐述了顺层钻孔装备的工艺研究及其试验过程，并验证了松软突出煤层顺层钻孔采用螺旋钻进工艺
“文贵出新”,尤其是考场命题作文。如果千篇一律的表达,势必给阅卷老师带来“审美”疲劳。只有进行创意表达,尽力避免与别人发生“撞车”现象,才能使自己的作文脱颖而出。那
应用后混合磨料水射流原理，用冰粒水射流进行了除锈实验研究。冰粒直径为0.5～1mm，冰粒温度为-15-50℃，除锈喷嘴内径为1．5mm，除锈工件为锈蚀的碳素钢板。研究表明，通过水射流引导的冰
依据统计学和模糊数学理论，考虑设计参数的随机性和模糊性，在一般优化设计模型的基础上，建立了考虑模糊因素时的优化设计模型。研究了在巷道卧底机机械传动系统的可靠性设计中含
高职教育人才培养质量提升工程是教育教学改革永恒的课题,高职教育的教师队伍建设是人才培养质量提升工程的关键性因素。针对高职学生的现状,在高职教育中创新发展导师制并进