电力补偿系统在轮胎式集装箱门式起重机上的应用

目前大部分轮胎式集装箱门式起重机都是由发动机-发电机组提供电能,其电力系统为独立系统,不与电网相连,多余的电能不能回馈给电网.起重机在装卸作业时,起升、大车、小车三大机构的拖动电动机都有工作在制动状态的情况.     

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.     

红色歌谣研究综述

在回顾20世纪80年代中后期以来红色歌谣在历史、文学、传承和人物等领域的研究现状的基础上,提出红色歌谣研究与现实社会生活相互动的方向,实现研究空间拓展,研究方法创新和研究导向的现实介入.     

Collection, spillback, and dissipation in pedestrian evacuation: A network-based method

We present a method of predicting pedestrian route choice behavior and physical congestion during the evacuation of indoor areas with internal obstacles. Under the proposed method, a network is first constructed by discretizing the space into regular hexagonal cells and giving these cells potentials before a modified cell transmission model is employed to predict the evolution of pedestrian flow in the network over time and space. Several properties of this cell transmission model are explored. The method can be used to predict the evolution of pedestrian flow over time and space in indoor areas with internal obstacles and to investigate the collection, spillback, and dissipation behavior of pedestrians passing through a bottleneck. The cell transmission model is further extended to imitate the movements of multiple flows of pedestrians with different destinations. An algorithm based on generalized cell potential is also developed to assign the pedestrian flow.     

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.     

8m长低入口城市客车的开发

国内已开发出多种11-12m长的低入口城市客车,而市场需求量大的8m长低入口城市客车还是空白.本文应用轮顶悬架前桥及短后悬结构专利技术,成功开发出低成本的8m长短后悬低入口城市客车.     

舰船物资转运方案计算机辅助决策算法研究

瞬息万变的现代战场对大中型水面战斗舰船甲板物资转运的效率提出越来越高的要求。引入计算机辅助决策技术,在考虑多种牵制因素的情况下,快速获得最优的物资转运方案。详细分析和阐述舰船物资转运线路规划、时间计算、作业排序以及资源配班等4个主要问题的计算机解决方法,为利用计算机辅助制定最优物资转运方案提供可行途径。     

适用于高速铁路的计算机联锁测试平台设计

因高速铁路和客运专线的建设需要,计算机联锁系统增加了新的控制功能和外部接口,如正线车站的点灯和灭灯功能,以及与列控系统的安全通信接口等。计算机联锁的新增功能和通信接口直接影响着整个系统的安全性和可靠性。因此,研究科学的、全面的测试方法,设计适合高速铁路的计算机联锁测试平台,对提高计算机联锁系统的安全性、可靠性具有重要的意义。重点对测试平台的结构、测试案例、测试方法等进行了叙述。     

船舶主机机旁自动化系统设计常见问题剖析

提出船舶船舶主机机旁自动化系统设计中几个常见的问题,并对进行剖析,提出改进措施,供设计、生产及检验单位参考,避免类似问题的重复发生。     

瑞利面波椭圆极化在盾构隧道地层扰动探测中的应用

为解决传统物探方法在城市盾构隧道工程中难以对地层扰动达到较好探测和监测目的，提出了主动源瑞利面波椭圆极化方法. 采用二维有限元数值模拟对实际盾构隧道施工背景下的地层情况进行全波场正演模拟，并对其波场传播、速度频散和椭圆极化频散等特征进行分析；结合工程实例，进一步将椭圆极化方法和传统速度频散方法进行对比研究. 研究结果表明:主动源瑞利面波椭圆极化方法在探测地下介质结构分布及监测地下空洞等异常结构的变化方面具有和传统速度频散方法同样的探测效果，但由于其不需要长大检波器排列，对周围环境震动等噪声抗干扰能力相对较强，因此更适合城市等场地受限和具有一定震动和噪声干扰的环境，从而具有更广阔的应用前景.