UML状态图映射为Petri网模型的方法研究

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。     

集通铁路长大隧道GSM-R冗余方案研究

针对集通铁路的长大隧道,论述分布式基站和数字光纤直放站的两种冗余方案,通过分析比较两种方案的单网交织以及同站址双网冗余覆盖方式,推荐采用分布式基站单网交织冗余方案.     

某河道网桩板结构护岸结构分析

XX市内河航运在该市经济发展中具有重要地位,为了适应新时期社会发展需要,根据当前水运行业的发展形势,对河道护岸进行结构、工艺、材料的创新应用,改造老旧河道,提高通航能力,成为当前工作的重中之重。本文根据该市河道护岸现状,给出一种冲沉桩板结构的护岸改造结构形式,对原有护岸进行改造,该结构造价低、施工方便,工期短,护岸加固后可以继续发挥作用,对水运发展做出贡献。     

基于“四网融合”的市域铁路城区段线位方案研究

苏州经常熟至张家港市域铁路(简称“苏虞张市域铁路”)是《长江三角洲多层次轨道交通规划》中十四五规划建设项目。该项目苏州北站至阳澄湖北站区段位于苏州市相城区,为了确定该段线路分期建设的合理方案,结合苏州相城区现状及规划情况,兼顾沿线通道分析,从初、近期与远期两个阶段对该段线位方案进行研究。其中,初、近期考虑与如通苏湖城际铁路共线,并从共线可能性,客流需求,线路能力3个方面进行分析;远期考虑独立通道新建线路,并从线路条件、客流吸引、城市规划、工程实施、工程投资5个方面进行分析。研究结果表明,初、近期与如通苏湖城际铁路共线方案可实施性较高,可集约节约通道资源,符合国家新建市域铁路相关政策要求;远期推荐沿G524国道独立通道新建线路方案,该方案具有线路顺直、客流吸引能力强、与城市规划契合度高、工程实施条件好等优势。     

轴类件磨削缺陷的分析

无心磨床通磨加工是将工件从机床前面放到托板和导板上推入磨削区,然后从机床后面穿出磨削区的磨削加工方法。主要适用于加工圆柱、圆盘形零件,另外经过特殊变化可加工短圆锥等其他零件。在这一加工过程中,砂轮、导轮、托板、导板及送进导出辊、切削液等选用调整不当,则都会产生磨削缺陷,进而影响加工精度。公司针对在加工16132、16133等系列拨叉轴时,无心磨床在通磨中产生的常见磨削缺陷进行分析,找出产生缺陷的原因,进而找到消除的方法,以求对无心磨床使用者起到帮助。     

桥梁工程预制T形梁技术分析

为保证桥梁工程预制T形梁施工效果,结合某桥梁工程项目,探讨T形梁技术要点,并对施工过程中的细节进行解析,以期为相关工程提供参考。     

考虑路堤填筑过程的CFG桩网复合地基受力变形特性敏感性分析

基于正交数值试验方法,研究桩网复合地基主要设计参数对路堤变形的敏感性影响。选取桩长A、桩距B、褥垫层厚度C、土工格栅刚度D共4个主要因素,设计4因素4水平正交试验,分别建立有限元模型,模拟各组合条件下路堤填筑施工过程。以路堤沉降、水平位移和桩土应力比为指标,通过极差分析得到各因素与指标的相关关系,最后计算出各影响因素的贡献率以确定其重要程度。结果表明：桩距对路堤的沉降量和水平位移影响最大,贡献率分别为69.10%和78.29%;土工格栅的影响最小,对路堤沉降量和水平位移的贡献率分别为0.10%和2.11%;影响桩土应力比大小的因素重要程度由高到低排序依次为：桩距>桩长>褥垫层厚度>土工格栅刚度。     

牵引网馈线自适应保护原理及配置方案研究

首先讨论了影响牵引网馈线保护原理及配置的因素,然后分析了牵引网馈线自适应保护的原理,其中重点探讨对距离保护传统阻抗多边形进行改进的可行性,并利用现场运行数据进行了仿真验证,最后提出了牵引网馈线自适应保护的配置方案．     

共形平坦流形的一类具常平均曲率的完备超曲面

设肘是共形平坦流形N^n＋1中具有常平均曲率的完备超曲面．如果肘的法向量是Nn＋1的Ricci主方向,则（1）S〈2√n-1C时,M是全脐超曲面．（2）S=2√n-1C时,M=S1（u）χSn-1（v）,其中S是M的第二基本形式模长的平方,C＝（2nr-（n＋1）R/（n2-2）,R与r分别表示N^n＋1的Ricci曲率的上、下确界．该结果是文[1,2]中结论的推广．