体外预应力主动加固技术施工控制分析

根据某T型刚构桥的病害情况、受力特点,采用有限元软件midas/civil对结构进行三维空间有限元建模计算分析。通过对某特大桥的体外预应力加固全过程进行现场施工监控,分析比较体外预应力筋的索力、结构的应力、挠度改变量等的理论值和实测值,得出有价值的结论,用于指导工程实践。     

分布式作战体系的自同步构建研究

提出分布式作战体系构建的“Bottom Up”思想，在体系描述的基础上提出分布式作战体系遵循“Bottom Up”进行自同步构建与重构行为的基本思想、行为原则以及自同步构建流程与具体内容，其流程的包括从使命目标的分解与任务建模到确定任务序列关系的行动规划、从行动规划方案到任务计划、从任务计划输出至作战单元的协同问题、作战单元的编成问题以及作战单元间的信息计划，分析构建框架中存在的关键技术问题，指出作战体系构建中存在的问题以及未来的发展方向。     

基于视觉识别的线控制动压力滑模控制

制动安全是车辆主动安全的关键技术之一.制动决策和执行器控制是影响线控制动系统性能的两个主要因素.路面自适应性和控制器鲁棒性分别对制动决策和执行器控制有着重要影响,制约着线控制动系统的发展.本文中以一种液压调控的线控制动系统为基础,针对路面自适应性和控制器鲁棒性问题,提出一种双层结构的制动系统控制器,上层采用计算机视觉的...     

计及导向摆臂约束的重型货车驾驶室俯仰平面动力学模型

传统的重型货车驾驶室俯仰平面动力学模型没有考虑悬置导向机构的影响,仅能粗略计算驾驶室垂向和俯仰响应,无法计算驾驶室质心的纵向振动特性,因而其仿真精度较低,且在实际工程应用中受到了限制.为提高模型精度并拓宽其工程应用范围,创建了考虑导向摆臂约束作用的驾驶室俯仰平面动力学模型,分析了摆臂导向机构的约束特性.在此基础上,通过...     

轿车与6岁儿童行人不同方位碰撞中下肢损伤分析

Euro NCAP发布的行人模型认证技术公告TB024的最新版本对6岁儿童行人模型认证提出了单独要求,旨在加强对儿童行人的保护.本研究应用符合Euro NCAP技术公告(TB024)规定并且具有详细解剖学结构的6岁儿童行人有限元模型,设置了4组不同方位行人-汽车碰撞仿真试验,以探究不同碰撞方位下的儿童下肢损伤机理.结果...     

不同浇筑方式下UHPC空心板受力性能研究

为了研究不同浇筑方式下的UHPC空心板结构的受力性能,通过两点对称加载法分别对1块UHPC整浇空心板和2块抗剪腹筋数量不同且分2次浇筑的UHPC叠合空心板进行弯曲加载试验,对试件的承载力、挠度、裂缝形态以及混凝土应变进行分析.研究结果表明:有腹筋叠合空心板和整浇空心板在对称荷载作用下纯弯段满足平截面假定;整体浇筑可以提...     

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

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

红色歌谣研究综述

在回顾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.