基于CPN的联锁进路控制建模及验证

颜色集、层次化的概念使得有色Petri网(Colored Petri Nets,CPN)能够方便地对大型复杂系统进行形式化模型验证分析,铁路车站信号计算机联锁逻辑关系形式化验证方法的研究,对于减少联锁软件开发过程中的不确定性,提高联锁系统的安全性、可靠性,保障行车安全具有重要意义,联锁系统进路控制是联锁逻辑关系的重要内容,在分析联锁进路控制的基础上,采用CPN对联锁进路控制建立形式化分析模型,为车站信号计算机联锁逻辑关系形式化验证方法的研究提供一种联锁进路控制的形式化验证方法,同时通过CPN Tools对所建立的模型进行仿真分析及状态空间分析,结果表明模型能够正确描述联锁进路控制流程及联锁进路控制的功能逻辑,且状态空间分析结果与联锁进路控制逻辑完全相符。     

非均匀卵砾石粗糙床面的分形特征

针对传统方法刻画粗糙床面总体特征存在缺陷的问题,将分形几何理论引入非均匀卵砾石粗糙床面特征研究,以卵砾石床面激光扫描试验资料为基础,探讨了分形尺度区宽度与中值粒径d50的关系,分析了覆盖基准面对分形维数的影响,研究了床面整体与局部分形维数的特征与联系,获得了分形维数随床面颗粒组成及高程统计参数的变化规律。结果表明:分形尺度区宽度与床面颗粒中值粒径d50有关,上临界尺度可取为1.5d50;分形维数与覆盖基准面位置有关,覆盖基准面距平均床面的距离越大,分形维数越大且逐渐失真,为有效量化和区分床面粗糙特征,覆盖基准面宜取平均床面;粗糙床面分形维数具有良好的稳定性,局部分形维数变异性很小,并与整体分形维数接近;粗糙床面的分形维数与颗粒大小、级配组成及床面高程统计参数有关,中值粒径越大,颗粒组成越均匀,床面高程极差、标准差、偏度(绝对值)和峰度越大,分形维数越小。     

挤压套管钢筋冷连接节点力学性能试验

挤压冷连接试验是针对四面六边透水框架节点力学性能而进行的试验研究。通过万能试验机的抗拉试验对比传统的焊接抗拉强度,试验设计套管材料、千斤顶尖角角度、压痕长度、千斤顶输出压力和钢筋表面光滑程度5种因素,探索不同因素对套管挤压钢筋冷连接节点抗拉强度的影响,并找到最优组合。通过对试验数据分析得出,在无缝钢管材料、千斤顶尖角角度为43°、压痕长度为4 cm、压力为50 MPa和带肋钢筋为最优组合。     

基于多目标优化的黔中区水资源配置研究

以黔中水利枢纽一期工程为研究对象,开展水资源优化配置研究。在分析黔中水利枢纽工程概况及水资源优化配置原则的基础上,建立了黔中水利枢纽工程水资源优化配置模型,采用多目标规划对模型进行求解,得出了2007,2015年和2020年水平年黔中灌区、贵阳市区以及安顺市区的水资源优化配置结果;同时,对供需平衡、经济效益和污水排放量3个指标进行了对比分析。该模型分析结果为黔中区水资源的配置提供了科学合理的依据。     

就地复合冷再生路面设计参数及工艺参数

就地复合冷再生层技术是在现场将部分旧沥青层与基层一同再生后,形成既具有一定柔性又具较大刚性的新型路面层结构的一种技术。结合渝涪高速公路沥青路面病害处治工程,研究了就地复合冷再生层的结构厚度和组合、材料参数和工艺参数以及受力分析,并取得了成功的应用经验。研究结果认为：1）在复合铣刨和再生沥青面层和水泥稳定上基层条件下,为了确保就地复合冷再生层的压实质量,其厚度应控制在26cm以内比较适宜;2）复合冷再生层的空隙率应控制小于12％;3）复合冷再生层上应设置一层防水层,而且新铺沥青混凝土厚度应不小于9cm;4）复合冷再生层混合料的主要技术性能宜采用马歇尔流值（3～5mm）、浸水劈裂强度（大于0．45MPa）、冻融劈裂强度比（大于50％）和-10℃弯曲应变（大于1800με）来控制,而动稳定度（大于2000次／mm）仅作为次要技术指标。     

水工隧洞支护特性研究

以某水工隧洞为工程背景,采用D-P屈服准则,考虑了水应力的影响范围,利用ANSYS软件进行了水工隧洞三维弹塑性有限元计算分析.分别研究了衬砌支护材料的选择对隧洞稳定性的影响、开挖过程和应力旋转对支护时机选择的影响.计算结果表明:随着衬砌支护材料弹性模量的提高,隧洞顶部和底部分别有上弹和下沉的趋势,隧洞的稳定性有所提高;隧洞的开挖步骤和应力旋转对衬砌支护施做时机的选择有重要影响.     

基于不确定信息条件下的多属性群组决策评价模型

建筑安全管理的复杂性要求将决策者的知识和经验有效结合以利于做出正确的决策判断.逼近理想解排序方法(TOPSIS)作为一种实用且有效地处理多属性决策问题的方法被广泛地应用到建设管理领域.将该方法与灰数理论相结合,通过建立不确定信息条件下的多属性群组决策模型来进行建筑安全绩效评价.首先采用区间型灰数矩阵描述专家评价信息的不确定性;其次引入线性变换函数对灰数评价矩阵进行规范化处理以改善评价信息偏差问题,并采用明可夫斯基距离函数来克服传统TOPSIS方法中初始权重影响过大的缺陷;最后结合建筑安全绩效评价实例证明该模型算法的科学性和有效性,并易于拓展到类似决策评价中.     

改进校园人才招聘会的对策探讨

校园招聘会已经成为高校毕业生就业签约的主要渠道。如何提高校园招聘会的成效,对于促进高校的就业工作具有重要的现实意义。通过分析校园招聘会的现有形式及存在的问题,提出改进校园招聘会的对策,以提高毕业生在招聘会上的就业成功率。     

循环动载作用下层状介质长期沉降计算方法

针对循环动载作用下交通基础设施长期沉降,研究解决在移动条形荷载作用下层状介质动应力和循环加卸载条件下层状介质残余应力、永久应变与残余沉降计算2个基本问题.采用Fourier积分变换与递推矩阵方法,依据平面问题动力微分方程、边界条件与层间连续条件,推导得到移动条形荷载作用下的层状介质动应力解析解.考虑应力水平和应力路径的影响,提出新的永久应变经验公式,通过卸载条件下附加永久应变的弹性边值问题求解,获得循环动载作用下层状介质残余应力与长期沉降的表达式.针对3种不同路基半刚性基层沥青路面环道试验,研究路表残余长期沉降变化规律;通过实测值和预测值对比分析验证了本文方法的合理性和可靠性.     

我国理工科大学生思想现状分析及教育对策

理工科大学生在国家的经济和社会发展中又占有举足轻重的作用,随着我国改革开放和社会主义现代化建设的加快,社会出现了很多新情况、新问题。这就需要有针对性的开展理工科大学生思想政治教育,以期取得良好的思想政治教育效果。