Fully secure revocable attribute-based encryption

Distributed information systems require complex access control which depends upon attributes of protected data and access policies. Traditionally, to enforce the access control, a file server is used to store all data and act as a reference to check the user. Apparently, the drawback of this system is that the security is based on the file server and the data are stored in plaintext. Attribute-based encryption (ABE) is introduced first by Sahai and Waters and can enable an access control mechanism over encrypted data by specifying the users’ attributes. According to this mechanism, even though the file server is compromised, we can still keep the security of the data. Besides the access control, user may be deprived of the ability in some situation, for example paying TV. More previous ABE constructions are proven secure in the selective model of security that attacker must announce the target he intends to attack before seeing the public parameters. And few of previous ABE constructions realize revocation of the users’ key. This paper presents an ABE scheme that supports revocation and has full security in adaptive model. We adapt the dual system encryption technique recently introduced by Waters to ABE to realize full security.     

管道切入工程

在中港三航局承担的科威特国舒艾拜油码头修复工程中，由于不能影响油码头的正常生产，所以管道的切入工程是危险性最大的项目。在无施工经验可借鉴、不具备按常规工艺施工所需条件的情况下，工程技术人员设想了冷切割、封堵、区隔的施工方案，经细化后进行实施，取得了圆满的结果。     

Long-term tracking based on spatio-temporal context

Aiming at the problem that the fast tracking algorithm using spatio-temporal context (STC) will inevitably lead to drift and even lose the target in long-term tracking, a new algorithm based on spatio-temporal context that integrates long-term tracking with detecting is proposed in this paper. We track the target by the fast tracking algorithm, and the cascaded search strategy is introduced to the detecting part to relocate the target if the fast tracking fails. To a large extent, the proposed algorithm effectively improves the accuracy and stability of long-term tracking. Extensive experimental results on benchmark datasets show that the proposed algorithm can accurately track and relocate the target though the target is partially or completely occluded or reappears after being out of the scene.     

轻型车制动磨损颗粒物排放与测试

美、欧研究显示,传统动力下LDV(Light Duty Vehicle,轻型车)制动磨损颗粒物的排放量为5~7 mg/km,此值高于国6b排放标准Ⅰ型试验PM(ParticulateMatter,颗粒物)限值。车辆技术配备是关键影响因素,制动能量回收可以显著降低PM排放数值,采用NAO(Non Asbestos Organic friction material,非石棉有机物混合纤维摩擦材料)技术相比少金属衬片配置的车辆其PM排放量会降低。虽然在2018年有关制动器衬片的标准规定了一部分危害身体健康的物质含量上限,但对人体危害显著的元素锑Sb却未在列,相关标准规范亟需补充。欧盟的测试方法已基本完成框架搭建和要素设定,预计2022年发布法规标准。在制动磨损测试中,速度循环、环境温度和冷却风设定对测量值有影响,分析WLTP-BrakeCycle(World Light-duty Vehicle Test Procedure-brake Cycle,全球轻型车测试规程-制动工况)是否符合我国轻型车使用规律。     

A programmable calculation procedure for number of traffic conflict points at highway intersections

Traffic movement conflict points at intersections are the points at which traffic movements intersect (including crossing, merging, and diverging). Numbers and distribution of different types of conflict points are used to evaluate intersection access management designs and safety performance. Traditionally, the determination of the numbers of conflict points for different traffic movements is based on manual methods, which causes the difficulty for computerized procedures to evaluate safety performance of different access management designs. Sometimes, a programmable calculation procedure may provide more effective solutions as compared with manual methods. This paper presents a programmable calculation procedure for the determination of the numbers of conflict points, which could be used as a basis for a computerized procedure. Concepts of virtual movement lanes and intersection quadrants are introduced to specify types of intersections, traffic lane configurations, and traffic movement regulations. Calculation models, based on such concepts, for traffic movement conflict points at signalized and unsignalized intersections can be obtained. In support of the procedure, case studies are presented in the paper. The procedure presented in the paper can be programmed into a computer program for the purpose of a computerized evaluation of intersection safety and design performance of different access management or control approaches. Copyright © 2012 John Wiley & Sons, Ltd.     

重庆市两江新区疏唐互通立交方案设计浅析

重庆市两江新区基础设施快速建设,港口、码头、铁路、公路、城市道路之间相互交叉影响,以疏唐互通立交为例,浅述如何解决各项基础设施建设之间的矛盾,确保项目的顺利实施。     

单极电阻点焊机器人焊接电源的分析及维护措施

在重卡驾驶室焊接生产中,由于制作工艺要求需要采用单极点焊,所以单极点焊的焊接电源不同于普通点焊焊接电源,本文对单极点焊机器人焊接系统的结构以及其使用当中的设备维护进行分析。     

基于实测温度的国六后处理线束设计

鉴于国六大包温度高、传感器多的特点,从防止插错、精简线束种类、规避烤化风险的角度,以实测温度为依据,设计具有高可靠性的国六后处理线束。     

枢纽下游近坝段不同类型河段的再造床过程及其对航道条件的影响

枢纽蓄水运用改变了坝下河段的水沙条件,其中径流过程的变化,改变了不同流量级水流的水动力条件和造床能力,输沙量的改变.是引发坝下游河床调整的关键.根据三峡和丹江口下游近坝河段实测资料,分析了相对窄深.低水分汊、两岸约束很强,以及低水分汊、两岸约束很弱等3种类型河段在蓄水以后冲淤调整特点,在此基础上分析了其冲淤变化对航道条件的影响.结果表明:当河段相对窄深时,河段冲刷主要为下切;当河段为相对宽浅的低水分汊河段且河岸约束较强时,蓄水以后的冲淤变化主要体现为江心洲潍的冲淤调整、汊道深泓高程差的冲淤调整,并引起主支汊分流比的调整:当河段为较为宽浅的低水分汊河段且河岸约束相对较弱时,则冲刷调整不仅限于分流比的调整,甚至会导致大的分汊格局的调整.无论如何调整,都有可能引起新的航道问题.     

Flexible feeder transit route design to enhance service accessibility in urban area

To improve the accessibility of transit system in urban areas, this paper presents a flexible feeder transit routing model that can serve irregular‐shaped networks. By integrating the cost efficiency of fixed‐route transit system and the flexibility of demand responsive transit system, the proposed model is capable of letting operating feeder busses temporarily deviate from their current route so as to serve the reported demand locations. With an objective of minimizing total bus travel time, a new operational mode is then proposed to allow busses to serve passengers on both street sides. In addition, when multiple feeder busses are operating in the target service area, the proposed model can provide an optimal plan to locate the nearest one to response to the demands. A three‐stage solution algorithm is also developed to yield meta‐optimal solutions to the problem in a reasonable amount of time by transforming the problem into a traveling salesman problem. Numerical studies have demonstrated the effectiveness of the proposed model as well as the heuristic solution approach. Copyright © 2015 John Wiley & Sons, Ltd.