基于ARM的非开挖钻进轨迹控制系统设计

在分析非开挖钻机钻进轨迹控制系统设计原则的基础上,讨论非开挖钻机导向系统的探头单元、跟踪器单元和同步器单元的硬件组成及设计方法,以及各部分的接口电路及元件参数;设计基于ARM的非开挖钻机的钻进轨迹控制系统,为非开挖钻进铺管技术的推广应用和提高非开挖钻机的自动化水平提供了技术支持.     

关于狭义相对论中时空问题的讨论

狭义相对论明确指出同时性、时间和空间的测量是相对的,与物体的运动状态或与参考系的选取密切相关,并以此建立了相对论时空观.基于狭义相对论中时空概念的关联分析,讨论了解决时空问题的思路和方法,指出了＂同时性的相对性＂是理解和认识相对论时空观的基础,有利于解决大学物理教学的重难点问题.     

起始水力梯度对真空预压下砂井地基固结过程的影响

针对粘土中孔隙水渗流存在起始水力梯度的现象,将考虑起始水力梯度的非Darcy渗流方程引入传统的砂井固结理论对其进行修正,并给出了真空预压下砂井地基固结近似解。探讨起始水力梯度对真空预压下砂井地基固结过程的影响,包括渗流前锋面的运动规律、孔隙水压力的分布变化规律和平均固结度的变化规律。结果表明,由于存在起始水力梯度,会延缓真空压力的传播,进而影响孔隙水的渗流和整个土层的固结速度。起始水力梯度越大,滞后现象越明显。此外,起始水力梯度的存在将使平均孔隙水压力逐渐趋于某一稳定值,但无法达到真空压力,所以最终平均固结度将小于100%,且其值随起始水力梯度的增大而减小。     

输电塔-线体系覆冰作用非线性分析

在重冰区,高柔大跨越输电塔-线体系在覆冰、风载等作用下具有强烈的耦合特性和非线性特征。推导了绝缘子、索以及边界条件的刚度表达式,以向家坝-上海±800kV特高压直流输电线路为例,建立了输电塔、导线、绝缘子以及边界条件的简化数值分析模型。对大跨越输电塔－线体系进行了7种工况下的静力非线性分析。分析表明,在导线均匀覆冰及风荷载作用下,铁塔构件的P-△效应较小;在不均匀覆冰工况下,导线不平衡荷载对铁塔产生扭转效应,铁塔受压支座节点和最大悬臂处单元的轴向压力和弯矩具有较明显的P-△效应,应考虑荷载非线性的不利影响。     

几种特殊矩阵的Pareto特征值问题

Pareto特征值问题是定义在正卦限上一类锥约束问题,在许多领域有着深厚的背景。将讨论Pareto特征值的一些理论性质,包括给定矩阵Pareto特征值范围及个数上界。引进了一类新矩阵,讨论并给出它的部分理论性质,可直接计算其最大Pareto特征值。     

密集标志点集的拓扑保持变换方法*

为了解决图像变换后拓扑结构不保持的问题,提出了一种密集标志点集情况下的拓扑保持变换方法.该方法首先确定拓扑不保持的局部区域;然后确定拓扑不保持区域的方向角;最后根据该方向角确定并删除密集标志点集中引起拓扑关系不保持的标志点,从而得到拓扑关系保持的变换结果.实验证明该方法能较好地解决密集标志点情况下的拓扑不保持问题,不仅效率高,而且配准效果好.     

BNs-OLS-SARIMA对城市短时交通流的预测*

通过在目标路口构建贝叶斯交通网（BNs）,并对与此交通网相关的交通流建立非平稳季节（SARIMA）模型,采用最小二乘法（OLS）取得相应模型的最佳权重组合,对缺失数据下的城市道路短时交通流进行预测。使用重庆市某路口的交通流数据对模型进行检测,通过多种预测指标对结果进行对比分析,结果表明BNs-OLS-SARIMA把交通流的网络结构与其周期性结合在一起,对短时交通流有良好的预测效果。     

非化学计量Li6F5团簇的几何结构和电离能

基于非化学计量Li6F5团簇的电离能的实验测量值,从第一性原理出发间接地确定了这个团簇的几何结构．首先选取若干可能的初始结构,然后在密度泛函理论框架内,使用B3LYP泛函和6—311＋G（d）基组优化所有初始结构,从而获得能量较低的同分异构体．对该团簇本文找到8个同分异构体,其中最低能量结构是一个对称性为Cs的三维构型．其计算的绝热电离能3．9eV与实验值4．1±0．1eV符合很好,表明本文找到的最低能量结构是可靠的．     

基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。     

非衍射波X-wave的仿真

X-wave是一种超声脉冲非衍射波,它在传播过程中保持一定能量分布局域性而不发散,具有良好的非衍射性,因此可以用于雷达和通信、医用成像和组织识别.为了探讨X-wave波物理实现的有效途径,该文对非衍射X-wave进行了仿真,提出了用环行超声传感器发射声场,采用瑞利--索末菲时域衍射公式计算声场,并讨论了结果.该文对X-wave波的物理实现具有一定的指导意义.