k个不同型部件串联系统的最优更换策略

引入并研究了一种δ-冲击下的几何过程维修模型:假设由k个不同型部件组成的串联系统,受到的冲击来自冲击间距服从威布尔分布的的更新过程,当冲击间距小于阈值时,部件故障导致系统失效.在更换策略M=(N1,N2,...,Nk)下,得出了平均费用率表达式,并通过数值模拟获得最优更换策略M=(N*1,N*2).     

铁道车辆几何滤波现象及弹性车体共振分析

运用简化铁道车辆模型,对几何滤波现象进行了分析.建立了刚柔耦合弹性车体模型,分析了几何滤波现象对车体响应功率谱的影响,以及几何滤波与弹性车体共振频率的关系.研究表明,几何滤波分为轴距滤波和定距滤波.在某些特定轨道不平顺波长下,车体的点头和浮沉响应均为零,该现象称为轴距滤波;定距滤波是指在某些波长下,车体的浮沉或者点头响应为零.在车体空点头响应频率附近,轨道对车体浮沉振动的加速度传递率达到局部最大,当车体的垂向1阶弯曲频率与这些峰值频率吻合时,将产生车体弹性共振现象.     

变几何涡轮增压器关键技术分析

变几何涡轮增压器（英文缩写VGT）属于国家高新技术成果转化项目,是国家节能降耗缓解石油资源紧缺,强制控制发动机排放污染的急需项目,该技术被誉为内燃机发展史上第二个里程碑。开展汽车发动机节能降耗、降低排放烟度、提高低速,当前最现实可行的技术方法之一就是应用变几何涡轮增压器。它解决了常规的废气涡轮增压器存在的油耗大、低速扭矩特性差、起动响应慢和低速排放烟度大等缺陷。     

氯化胆碱离子对几何及电子结构的量子化学研究?

采用密度泛函理论方法,在B3LYP/6—31G(d,p)水平上研究氯化胆碱离子对的几何与电子结构。共有四种稳定离子对构型被发现。在稳定离子对结构中,Cl-离子倾向与阳离子形成多重稳定氢键。阴阳离子间的氢键相互作用主要通过Cl-离子的LPCl轨道和阳离子的σ*C-H,或σ*O-H轨道间的相互作用完成。研究发现这种σ相互作用很弱,由此判断阴阳离子间大的相互作用能并不是单纯的氢键作用能,还包含阴阳离子间静电作用能的贡献;而且是主要贡献。阴阳离子间大的相互作用能还为氯化胆碱的高熔点提供了解释。     

程序正确性证明中逻辑公式的可满足性

采用Herbrand定理及归结原理证明在程序证明中遇到的逻辑公式是可满足的。并给出了相应的算法;同时讨论了已知循环程序中循环不变式的求解方法。     

一种新型全平衡高强度转子式压缩机的几何关系

探讨了一种新型内、外转子啮合的压缩机结构,以短幅外摆线的内等距线为内转子型线进行了典型分析,说明内、外转子型线的形成,并提出了一种工作容积的准确计算方法,分析结果表明：内、外转子型线互为共轭曲线;外转子圆弧齿的啮合是在一定范围内进行的。工作容积的计算结果表明：当齿数比为6：7时,工作腔容积随主轴转角的关系7π/3为周期变化。最后,还对这种新型压缩机与滚动活塞压缩机的空间利用率进行了比较,结果表明两者基本相当。这些结果为进一步研究这处结构压缩机的相关质打出了基础。     

机器人装配中的几何不确定性建模

在机器人装配中,几何不确定性使装配工件的真实位姿在一定的区域内变化,对几何不确定性建模就是求解物体的几何不确定性区域。将几何不确定性解耦成位置不确定性和 姿态不确定性的组合,对位置不确定性用物体上各点的不确定性球表征,而姿态不确定性用各点的不确定性球表征,并由此求得物体的几何不确定性区域。由于得到的模型较为抽象复杂,在实践应用中,需要进行必要的简化,在此仅对一些近似方法作了简要讨论。     

关于模态公理系统P1-P5的布尔值

证明与模态命题系统S     

关于模态公理系统P1-P5的布尔值

证明与模态命题系统S2－S4等价的系统P2－P4的布尔值为1,而分别与S1和S5等价的系统P1和P5的布尔值不能确定,由此,证明了V^B是P2－P4的布尔模型。     

Grassmann流形G（2，8）上的几何

利用Clifford代数建立映射γ:G(2,8)→S^6,它使Grassmann流形G（2,8）成为单位球面S^6上的纤维丛,纤维型是复射影空间CP^3,利用calibration证明复射影空间CP^3和单位球面S^6在同调意义下是G（2,8）中的体积极小子流形,且生成G（2,8）的G维同调群H6(G(2,8))。