基于改进奇异值分解滤波和谱峭度的滚动轴承故障诊断

针对含噪信号的有效奇异值个数难以确定的问题，提出了一种改进的奇异值分解降噪方法--奇异值累积法。该方法通过计算奇异值的实际下降值与奇异值平均下降速度累积量的差值，并取该差值最大值点的位置作为有效奇异值的分界点来确定有效奇异值的个数。在此基础上，提出了一种基于奇异值累积法与快速谱峭度的滚动轴承故障诊断方法。采用奇异值累积法对原信号进行降噪处理，然后利用快速谱峭度确定滤波器中心频率及带宽，通过分析频段包络谱中明显的频率成分来诊断故障。该方法可以有效去除信号中的噪声，使得到的峭度值所反映的故障冲击更接近实际情况。对含内圈、外圈故障的滚动轴承实验数据进行分析，实验结果表明，相比快速谱峭度的故障诊断方法，该方法具有更好的故障识别效果。     

黏弹性支承阻尼器抑制机床低频残余振动的研究

为减少机床加工过程中轴向运动引起的低频残余振动,提出一种新型黏弹性支承阻尼系统。利用黏弹性四元模型对该阻尼系统进行建模,结合时域迭代计算方法定量估计机床系统阻尼性能。实验结果表明通过安装阻尼器可以减弱系统残余振动,减少机床稳定所需时间;另外,当机床底部可安装阻尼面积增大时,对于减少机床残余振动更加有效。     

基于SolidWorks Simulation的3D打印机机体静力学分析

近年来,3D打印机作为一种高效率的成型设备被广泛的使用,然而,其高速性、高精度与高可靠性与其机体的轻量化设计存在一定的矛盾关系。通过SolidWorks软件对3D打印机机体进行轻量化设计,并使用集成的Simulation仿真软件对设计模型进行快速静态力学分析,参照仿真结果对轻量化设计的模型进行验证与优化。通过集成化的三维建模软件和仿真软件,实现了3D打印机的模型设计和模型力学分析,验证了3D打印机设计的合理性和可靠性,为3D打印机的轻量化设计提供理论指导和修改建议,节省设备的研发周期和研发成本。     

非对称In0.53Ga0.47As/In0.52Al0.48As量子阱的零场自旋分裂能与高场g因子

我们研究了非对称In_0.53Ga_0.47As/In_0.52Al_0.48As量子阱中二维电子气的磁输运性质,所测量的样品的径向磁阻Rxx的Shubinikov-de Haas振荡没有呈现出拍频的特征。通过测量样品的弱局域效应提取了其零场自旋分裂能并通过对自旋分裂的Rxx双峰间距随倾斜角度theta的依赖关系的拟合提取了高场下的有效g因子。样品的Dingle plot图呈现非线性和特征,这可以归因于来自样品衬底附近的掺杂Be原子的长程势散射效应。     

彻悟白领店务销售技巧

白领总裁苗鸿冰从很小的时候崇拜王府井百货大楼著名的糖果销售员张炳贵开始，就确定了自己的理想——当一名售货员，而且“到现在为止还是如此”。如今，白领公司总部历久不变，雷打不动的规矩就是，每天早上九时准时召开店长会议，及时汇总昨天的工作以及今日的销售计划。而每个周末，     

信号交叉口机动车-电动车交通流建模及仿真

为研究城市信号交叉口电动自行车在行驶过程中侵入机动车道时对机动车交通流产生的影响,建立一个适用于机动车-电动车的异质交通流模型来描述电动车侵入机动车道的场景.新建模型在原始社会力模型的基础上,引入了间隙力、跟驰力和排斥力,更加精确地描述异质交通流的特征,利用真实数据对模型进行标定和验证.在搭建真实案例仿真平台后,分析电动车的排队数量及到达率对机动车的流量及通行速度的影响.模型标定结果显示:车流量、平均速度的eMAE、eMARE和U值均小于12%,证明新建模型能较大程度还原真实交通流特征.仿真发现当电动车排队数量大于20辆时,需要采取合适的交通组织和控制方法来减少电动车和机动车的冲突.最后提出让电动车提前2~3 s的时间行驶或提前非机动车停车线等建议来提高交叉口机动车的通行能力.     

机械化定理证明研究综述

随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明技术、自然演绎和类型化的λ演算、3种编程逻辑、基于高阶逻辑的硬件验证技术、程序构造和求精技术之间的联系和发展变迁,其中,3种编程逻辑包括一阶编程逻辑及变体、Floyd-Hoare逻辑和可计算函数逻辑.然后分析、比较了各类主流证明助手的设计特点,阐述了几个具有代表性的证明助手的开发和实现.接下来对它们在数学、编译器验证、操作系统微内核验证、电路设计验证等领域的应用成果进行了细致的分析.最后,对机械化定理证明进行了总结,并提出面临的挑战和未来研究方向.