昔格达地层路堑边坡稳定性物元分析

结合西(西昌)攀(攀枝花)高速公路建设需要,通过对西攀高速公路沿线昔格达地层既有铁路、公路路堑边坡稳定性的调查研究,采用物元数理统计方法进行归纳分析,系统全面地总结出昔格达地层路堑边坡稳定性的影响因素,即坡高、坡度、坡体结构、含水率、植被覆盖率、岩石性质以及坡体内结构面产状与岩层产状,然后建立物元方程,得出各因素对边坡稳定性的影响程度,同时对昔格达地层路堑边坡按稳定性进行归类,共分稳定型、次稳定型、次不稳定型和不稳定型4种类型。通过系统论述昔格达地层边坡稳定性与边坡地形、地质条件的关系,得到了昔格达地层路堑边坡稳定性的理论判别依据和判别标志。     

基于主元分析的车牌图像倾斜校正新方法

为解决机动车牌图像倾斜将对其字符分割与识别带来不利的影响,提出一种基于主元分析(PCA)的车牌图像倾斜校正新方法。在该方法中,PCA被用于求取坐标变换矩阵以进行图像旋转修正。将原始的像素坐标矩阵经过中心化后转换为2维协方差矩阵,再奇值分解为能反映图像倾斜方向的2维对角矩阵和坐标变换矩阵。算法的时间复杂度分析与试验结果均表明:相对于Hough等搜索倾角的校正方法,PCA方法缩短了计算时间1￣2个数量级,并且在污迹、光照不均等条件下也能获得较好效果。     

模糊决策理论在汽车内部设计方案评价中的应用

方案评价是产品设计过程中的重要环节。分别应用模糊综合评判法、基于模糊集重心的模糊评价法和二元对比排序法对汽车内部设计方案进行定性评价,并对3种方法的评价结果进行了比较。此外,还给出了一个关于A柱盲区定量评价的实例,并建立了整车内部布置与设计的多级评价体系。指出了进一步实现基于知识工程的整车设计评价还需要解决的其他关键技术。     

元征KXX-301制动、侧滑、悬挂检测线

一、机动车安全检测业的现状以及发展方向 随着汽车保有量的增加和高速公路的迅速发展,机动车的安全检测越来越重要。据统计,我国现已建成汽车综合安全检测站1119家,一个适应汽车保有量增长需要、为汽车运输生产、维修生产和社会服务的汽车检测市场已初步形成。但是,目前我国汽车检测水平与世界水平还有差距,在检测技术、检测设备智能化检测管理网络化方面还需提高和发展。 针对我国机动车检测业的迫切需要,应制定适合国情的安全检测模式、加大开发新设备的力度。我国的车检法规和标准,也需要不断修订内容、统一形式,以促进有     

半解析数值方法在路基工程中的运用

将半解析数值方法运用到路基分析，对地基采用有限层元，并将它与用有限元离散的路堤进行耦合进行受力分析，从而达到简化计算的目的。     

有限——边界元法在桩基工程计算中的应用

利用有限－边界元法，在考虑了桩－土相互作用问题的基础上对单桩的内力和位移进行了计算分析，并和数值法的计算结果做了对比，证明了有限－边界元法的实用性和可靠性。     

砂卵石地层台阶法施工隧道围岩-支护结构应力应变特性三维离散元分析

为了解砂卵石地层隧道围岩和支护结构的应力应变特性，以青海循隆高速公伯峡隧道为依托，借助PFC3D离散元软件对公伯峡隧道穿越砂卵石地层进行三维模拟，重点研究以密排短管棚预支护为根本前提，以三台阶预留核心土为施工方法的砂卵石地层围岩和支护结构的应力应变特性，并与现场实测进行对比分析。研究结果表明： 隧道台阶开挖时，围岩应力集中范围逐渐从拱顶过渡到拱腰，直到拱脚，对应的塑性区范围不断扩大，且密排短管棚对塑性区的发展有一定的“遮拦效应”； 围岩横纵向变形规律一致，主要是向隧道临空面产生收敛变形，且密排短管棚形成的梁拱效应限制了掌子面前方位移发展； 2种方法得到的初期支护变形规律一致，均呈阶段性变化，拱顶下沉累计值大于周边收敛累计值，且两者的最终变形量均满足规范限值要求。     

角色自律分散系统的RN-C形式化描述方法

旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点.     

基于MSC与UPPAAL的高铁跨界临时限速建模与验证

临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机理论和消息顺序图(MSC)相结合的方法,首先建立跨界临时限速命令的MSC模型和时间自动机子模型,再利用UPPAAL验证工具对形式化语法BNF描述的时间自动机子模型属性进行验证。根据仿真验证结果确认了跨界临时限速信息的安全性和受限活性,为进一步开发临时限速服务器功能提供了重要的依据。