摘要：Recently, Lutwak, Yang and Zhang posed the notion of Lp-projection body and established the Lp-analog of the Petty projection inequality. In this paper, the notion of Lp-mixed projection body is introduced--the Lp-projection body being a special case. The Petty projection inequality, as well as Lutwak＇s quermassintegrals （Lp-mixed quermassintegrals） extension of the Petty projection inequality, is established for Lp-mixed projection body.

摘要：We proposed a lower extremity exoskeleton for power amplification that perceives intended human motion via humanexoskeleton interaction signals measured by biomedical or mechanical sensors, and estimates human gait trajectories to implement corresponding actions quickly and accurately. In this study, torque sensors mounted on the exoskeleton links are proposed for obtaining physical human-robot interaction（pHRI） torque information directly. A Kalman smoother is adopted for eliminating noise and smoothing the signal data. Simultaneously, the mapping from the pHRI torque to the human gait trajectory is defined. The mapping is derived from the real-time state of the robotic exoskeleton during movement. The walking phase is identified by the threshold approach using ground reaction force. Based on phase identification, the human gait can be estimated by applying the proposed algorithm, and then the gait is regarded as the reference input for the controller. A proportional-integral-derivative control strategy is constructed to drive the robotic exoskeleton to follow the human gait trajectory. Experiments were performed on a human subject who walked on the floor at a natural speed wearing the robotic exoskeleton. Experimental results show the effectiveness of the proposed strategy.

摘要：为了研究液压凿装机结构参数对作业面积的影响,采用D-H方法建立5自由度掘进臂的正运动学数学模型,针对蒙特卡洛法生成的凿岩作业面在边界处随机点分布密度过低的问题,提出一种基于压缩关节自由度的分段极值法生成边界作业面,仅需5 000个随机点便已高于蒙特卡洛法50 000个随机点的边界点分布密度。运用层切法计算掘进臂的作业面积为28.843m^2,误差为0.33%。掘进臂结构参数中,铲臂长度、冲击部伸缩长度、万向节摆角和动臂俯仰角对作业面积的影响较大,在掘进臂设计和优化时,可适当增大其活动范围。

摘要：建筑物在地下施工、地上施工或者是建筑物运营的过程中,受到勘测设计、后期管理等因素的影响,大楼主体会产生沉降现象。如果沉降量超过了既定范围,建筑物的安全性就会受到威胁,甚至会威胁人的生命健康安全。因此,对主体建筑进行沉降测量观测,可以提高工程设计的科学性,并使设计的质量得到进一步提高。

摘要：城市轨道交通耗电量相当大。其中,通风空调系统在地铁各设备系统中又是耗电大户,所以在设计时应全面考虑节能措施。鉴于高架车站的特点,从节能减排角度出发,合理地进行通风空调系统划分和设备运行方案设计,就可实现通风空调系统的节能运行。因此,就地铁高架站的通风空调系统划分和在不同季节的运行方案阐述了通风空调系统的节能运行设计。

摘要：对于通过准直方式成像的γ相机,因其闪烁体、位置灵敏光电倍增管(PSPMT)光阴极均具有一定的厚度,以及通过重心法计算位置的方式等原因,造成了γ相机在不对所成图像进行修正的情况下,这些γ图像向中心压缩,即出现边沿压缩效应。为减少和修正边沿压缩效应,本文设计了一套刻度系统。该系统采用逐点扫描探测器表面的办法,获得平板型探测器有效区域内所扫点位置与探测器响应位置的原始信息,得到进入探测器的光子的真实位置与γ相机电路输出信息之间的关系映射,形成用于还原每个进入γ相机有效区域内γ光子的实际位置的查找表,从而有效解决了γ相机成像时无法避免的边沿压缩效应造成的图像畸变。该系统在刻度过程中无需人工干预,自动生成位置查找表,为γ相机小孔成像的图像还原或编码孔成像的图像重建提供了必要条件。

摘要：将CO_2转化为甲醇,用作燃料或基础化工原料,是实现CO_2资源化利用的重要途径之一。研究设计了一种新型双室隔膜电解池,能够在N-甲基吡咯烷酮(NMP)/四丁基高氯酸铵(TBAP)溶液中,以可再生电能为能源,用电化学催化还原的方法将CO_2转化为CO,然后用工业制甲醇的传统方法将CO氢化还原为甲醇。循环伏安测试结果表明,CO_2在Au电极上发生了电还原反应;恒电位电解测试结果表明,阴极电流密度最高可达6.6 m A×cm^(-2);气相色谱检测结果表明,阴极气相反应产物主要为CO,生成CO的电流效率最高可达93%。由于CO_2电还原反应自身有H_2O生成,阴极表面有H2析出。扫描电镜(SEM)检测表明,Au电极表面没有附着物生成。在N-甲基吡咯烷酮/四丁基高氯酸铵溶液中电还原CO_2,具有电解液性质稳定、电极不中毒的优点,因而具有潜在的工业化应用前景。

摘要：针对跟踪路径复杂、立体空间运动、模型参数动态变化、风浪流扰动下的多无人潜航器(unmanned underwater vehicle,UUV)协同路径跟踪问题开展研究.首先,针对UUV跟踪复杂路径情形设计自适应前视距离策略,使得UUV可以更好地跟踪复杂水下路径;其次,针对立体空间运动的UUV集群,设计三维视距制导律和协同控制律引导UUV集群在三维空间中沿参数化路径运动;最后,针对模型参数动态变化、风浪流扰动影响下的UUV集群,设计自抗扰控制器实现对动态变化模型、总扰动信息和速度信息的统一估计,保证动力学控制的稳定性.仿真结果验证了所提出基于自适应视距制导的无人潜航器三维协同路径跟踪控制方法的有效性.

摘要：测试预言是一种用来检测被测系统的测试执行是否正确的方法。文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。首先,作者将一线性时序逻辑公式转换为一个有限状态自动机,然后,管理源代码,以便抽取与线性时序逻辑性质有关的状态序列。最后,用该信息来模拟状态自动机,并决定程序执行是否满足线性时序逻辑的性质。

摘要：阐述了现代风格的主要特点,以U型结构为基础整合相关功能完成了系统设计。从人机学角度分析确定了整体橱柜各部分的具体尺寸,从美学角度探讨了橱柜的颜色和外观,并选取了最佳方案。最后,通过三维软件建立了虚拟模型,将功能、细节进行了详细展示。