一种远程维护自动公交报站器的设计

针对传统报站器现场维护模式的弊端,设计一种完全基于远程维护的自动报站器,采用文本转语音模块,实现远程转线、远程更新线路信息、远程更新站点信息,并给出实际应用中遇到的问题及解决办法。     

Fault diagnosis for singular stochastic systems

This paper studies the fault diagnosis of singular stochastic systems. The probability distribution of output is measured by probability density functions (PDFs), which are modeled by a square root B-spline expansion. An adaptive nonlinear observer is proposed to estimate the size of the fault occurring in systems. Furthermore, the linear matrix inequality (LMI) approach is applied to establish sufficient conditions for the existence of the observer. Finally, the simulation results are given to indicate the method for diagnosing the fault.     

Behavior-consistent service substitutions in dynamic environments

In this paper, a novel approach for service substitutions based on the service type in terms of its interface type and behavior semantics is proposed. In order to analyze and verify behavior-consistent service substitutions in dynamic environments, we first present a formal language to describe services from control-flow perspective, then introduce a type and effect system to infer conservative approximations of all possible behaviors of these services. The service behaviors are represented by concurrent behavior expressions （CBEs）. Built upon the interpretation of CBEs, behavior-consistent service substitutions are defined and analyzed by subtyping technology. The correctness of the analysis approach is guaranteed by type safety theorem, which is mechanically proved in the Coq proof assistant. Finally, applications in web services show that our method is effective and feasible.     

隔离式减振垫仿真分析

隔离式道床垫作为一种新型的轨道减振产品,近年来,在国铁和城市轨道交通建设中得到了广泛的应用。本文通过建立隔离式减振垫的有限元模型,研究其固有频率和动力学响应,分析隔离式道床垫的减振性能,为实现减振轨道结构的合理选用提供参考。     

港口斗轮取料机回转减速机的国产化改造

对黄骅港现有取料机在使用过程中回转减速机出现的故障进行了详细的分析,完成了减速机的国产化改造,降低了故障率.     

基于SIMULINK的岸边集装箱起重机减摇系统仿真

在岸边集装箱起重机起升机构和小车运行机构模型的基础上建立简化的单摆模型,通过对模型的受力分析建立非线性方程.同时在MATLAB的SIMUUNK环境下对此模型进行动态仿真,达到通过控制小车的驱动力来控制吊具的摆角的目的.     

竖直式垃圾压实器压头形状优选

针对竖直式垃圾压实器的设计,阐明了反映垃圾压缩率的压头形状优化目标以及基于加权平均法的综合评价方案,构建了加权平均法的分析模型并确定各指标的加权系数.然后提出了圆形、方形、推铲形和楔形四种压头形式,分别建立对应的垃圾压缩有限元模型,运用加权评分的方法,选择出最优的压头形状,为压实器的结构设计提供了依据.     

交叉口协调感应信号控制

介绍了传统的感应控制方法,着重对协调感应信号控制的基本原理,控制过程等进行了分析,并提出了解决问题的方法。分析了定时信号控制和感应信号控制的优缺点,对感应信号控制的进一步研究提出了几点看法。     

燃料电池汽车抗侧风稳定特性预测及分析

应用ADAMS软件Car模块,建立了某型燃料电池轿车的整车模型,研究轿车在高速行驶状态中行驶轨迹对侧风影响的敏感性,分析了影响车辆侧风稳定性的主要因素。     

高桥墩桩基础的优化设计及因素分析

在高桥墩桩基屈曲能量法分析的基础上,提出兼顾结构稳定、强度和经济性的优化模型,并应用优化算法中非线性序列二次规划法,进行优化设计探讨,同时给出优化设计算法流程图,编制了相应的优化计算程序;为了解桥墩高度、轴向荷载、地基比例系数和混凝土弹性模量对于高桥墩桩基屈曲的影响,结合优化设计模型进行了因素分析,探讨了参数变量对目标函数最优值的影响规律和程度,比较结果说明,在进行高桥墩桩基的屈曲受力分析时,高桥墩的大变形影响不容忽视;而一般在工程设计中,可考虑将桩周土体和混凝土弹性模量的增强作用作为设计的安全储备。