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

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

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

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

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

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

机械化定理证明研究综述

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

通用图形处理器缓存子系统性能优化方法综述

随着工艺和制程技术的不断发展以及体系架构的日趋完善,通用图形处理器(general purpose graphics processing units, GPGPU)的并行计算能力得到了很大的提升,其在高性能、高吞吐量等通用计算应用场景的使用越来越广泛.GPGPU通过支持大量线程的并发执行,可以较好地隐藏长延时访存操作,从而获得高并行计算能力.然而,GPGPU在处理计算和访存不规则的应用时,其存储子系统的效率受到很大影响,尤其是片上缓存的争用情况尤为突出,难以及时提供计算操作所需的数据,使得GPGPU的高并行计算能力不能得到充分发挥.解决片上缓存的争用问题、优化缓存子系统的性能,是优化GPGPU性能的主要解决方案之一,也是目前研究GPGPU性能优化的主要热点之一.目前,针对GPGPU缓存子系统的性能优化研究主要集中在线程级并行度(thread level parallelism, TLP)调节、访存顺序调节、数据通量增强、最后一级缓存(last level cache, LLC)优化和基于非易失性存储(non-volatile memory, NVM)的GPGPU缓存新架构设计等5个方面.也从这5个方面重点分析讨论了目前主要的GPGPU缓存子系统性能优化方法,并在最后指出了未来GPGPU缓存子系统优化需要进一步探讨的问题,对GPGPU缓存子系统性能优化的研究有重要意义.     

彻悟白领店务销售技巧

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

660 MW超临界机组高调阀反馈故障分析与处理

线性位移传感器(LVDT)作为汽机主汽门和调门开度的反馈装置在机组调节中具有重要作用,一旦发生故障可能造成负荷大幅波动、轴振大、轴温高等问题,影响机组的正常运行,严重时还会危及机组安全。以某660 MW超临界新建机组整套启动调试阶段AGC考核期间反馈装置故障为例,详细阐述了事故的发生、分析与处理过程,处理过程中机组负荷未发生大波动,轴振、轴温等参数正常,最终机组顺利恢复正常运行。     

功能性发酵剂在发酵香肠中的应用研究进展

发酵香肠因其风味独特、营养丰富、保质期长等优点深受消费者喜爱.近年来,在保证安全性的前提下赋予发酵香肠功能特性已成为研究热点.将功能性发酵剂应用于发酵香肠中,可有效抑制有害微生物繁殖、降低生物胺和N-亚硝胺的生成、促进良好风味的形成、抑制过度氧化、降血压、降低胆固醇含量.本文主要就发酵香肠中功能性发酵剂的种类、发酵剂的...     

衬板填充胶在φ2100圆锥破碎机上应用效果

圆锥破碎机是选矿工艺流程中矿石进行中碎和细碎关键设备,它的工作原理是圆锥破碎机破碎锥即活动圆锥作偏心圆周摆动,当活动圆锥接近固定圆锥时,处于两者之间的矿石就被破碎,活动圆锥离开固定圆锥时,破碎产品因自重经排矿口排出。因圆锥破碎机破碎锥具有较高的摆动次数和较大的摆动行程,在破碎腔内设有一定的长度的平行碎矿区,活动圆锥和固定圆锥上保护衬板磨损较快。