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

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

锚杆扩大基础支挡结构在山区公路中的应用

提出在特殊地形地质路段采用锚杆扩大基础的支护设计理念,针对重力式挡墙介绍锚杆扩大基础的结构设计方法与稳定性分析步骤。相对于常规的衡重式或重力式连体基础,锚杆扩大基础在使用性能与工程造价上均占有明显的优势,作为地形地质复杂山区公路的特殊支挡结构具有良好的应用前景。     

无支架缆索吊装锚碇锚索施工技术研究

介绍落布溪大桥钢管拱肋劲性骨架的无支架缆索吊主锚碇锚索施工技术。     

改善预应力连续箱梁耐久性措施探讨

近年来大量预应力混凝土箱梁在运营阶段相继出现了影响结构正常使用及结构耐久性的受力裂缝。从以下几个方面探索改善预应力连续箱梁耐久性的措施、建立全寿命成本分析优化设计理念;加快抗裂、抗渗等高性能混凝土材料的推广和应用;改善原有预应力连续箱梁施工工艺、结构形式;设计时充分考虑桥粱使用时所处的环境,针对具体的环境采取适当的措施减少环境对桥梁耐久性的影响,加强运营阶段的管理和维护。     

红色歌谣研究综述

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

基于FPGA的FM调制解调器的实现

当前虽然数字通信技术占据了主导地位,但FM波形在一些特殊的场合仍有较广泛的应用,而工程实现时出现了无专用芯片支持的情况,论文据此提出了一种基于软件无线思想和FPGA硬件平台的FM调制解调器的实现方案.对FM调制解调器的工作原理、硬件平台的设计和软件算法的设计进行了详细的描述,并结合工程实际进行了算法性能仿真分析,仿真结果表明该方案有性能好、消耗资源少、简单灵活的特点,可以替代传统的专用芯片,应用于一些特殊专用的标准和非标准的FM调制解调的场合.     

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.     

降低传动系统冲击载荷的一种有效方法

研究了半轴、传动轴扭转刚度对传动系冲击载荷最大值的影响,得出了半轴扭转刚度与传动系冲击载荷最大值之间的函数关系,指出降低半轴扭转刚度是减小传动系冲击载荷最大值,提高传动系可靠性的有效方法。研制了新型非调质刚半轴,并将其与原调质刚半轴进行了对比试验。结果表明,将非调质钢半轴杆径从60 mm减小到58 mm,其静扭刚度及疲劳寿命均可满足技术要求,而扭转刚度较原调质刚半轴略有降低,有利于整个传动系降低冲击载荷。     

CCS Plays a Key Role in Safeguarding the National Interests

After 55 years' development, CCS actively takes her part in the international competition due to its fast development in the tide of China's opening up and reform process. With the rise of shipping and shipbuilding industries in China, CCS has bravely taken up the mission brought up by history in the volatile situation.     

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.