Analysis and improvement of authenticatable ring signcryption scheme

We show that the Zhang-Yang-Zhu-Zhang identity-based authenticatable ring signcryption scheme is not secure against chosen plaintext attacks.Furthermore, we propose an improved scheme that remedies the weakness of the Zhang-Yang-Zhu-Zhang scheme.The improved scheme has shorter ciphertext size than the Zhang-Yang-Zhu-Zhang scheme.We then prove that the improved scheme satisfies confidentiality, unforgeability, anonymity and authenticatability.     

Piecewise affine control for lane departure avoidance

This article presents the design of a lane departure avoidance system which is conceived to operate even in demanding manoeuvres with respect to the lateral vehicle dynamics. Piecewise affine state feedback and output feedback controllers are used to handle the nonlinear behaviour of the lateral tyre forces. The controllers are designed based on the search of a piecewise quadratic Lyapunov function casted as a bilinear matrix inequalities problem. Experimental tests demonstrate the performance of the controller in degraded road conditions.     

体外配置CFRP筋预应力混凝土箱梁收缩徐变效应分析

以体外配置CFRP筋预应力混凝土箱梁1 001 d的长期受力性能试验为基础,采用徐变换算截面法对收缩徐变效应引起的截面应力重分布规律进行分析。理论分析与试验结果对比表明,徐变换算截面法能较好地分析持续荷载作用部分预应力箱梁的收缩徐变效应。运用双线性法和曲率法对试验箱梁的长期挠曲变形进行预测,两种分析方法预测结果基本一致,建议取长期挠度增长系数为2.45,此时长期挠度变形理论预测值与实测结果吻合较好。对现行设计规范进行有关参数修正后,持续荷载作用下预应力混凝土箱梁的最大裂缝宽度理论值与实测结果吻合较好。研究成果将为CFRP筋在体外预应力箱梁中的推广应用提供参考。     

An Efficient Forward Secure Signature Scheme

Introduction Exposureofsecretkeysthreatensthesecurity ofadigitalsignaturegreatly.Totacklethisprob-lem,severaldifferentmethodshavebeenpro-posed,includingsecretsharing[1],thresholdsigna-ture[2],andproactivesignature[3].Thesemethods,however,needcooperativeandinteractivecompu-tationsinmultiplesevers,whicharequitecostly.Forwardsecuresignatureschemecanreducethe damageofkeyexposurewithoutcooperativeand interactivecomputations.Intheparadigmoffor-wardsecuresignature,thewholelifetimeofsigna-tureisdivid…     

An Efficient Provable Secure ID-Based Proxy Signature Scheme Based on CDH Assumption

IntroductionMambo, et al.[1]first introduced the conceptof proxy signature. In their scheme, an originalsigner delegates his signing right to a proxy signerin such a way that the proxy signer can sign anymessage on behalf of the original signer and theverifier can verify and distinguish proxy signaturefrom original signature. Proxy signature is of greatuse in such a case that a manager needs to autho-rize his secretary to sign documents on behalf ofhimself before his leaving for a vacation. Du…     

基于HALCON的视频交通参数检测方法

基于图像处理软件HALCON对视频交通参数检测方法进行讨论,研究双线性插值的图像距离标定方法和基于灰度统计的交通参数检测算法及流程,选取具有代表性的北京五道口交叉路口及成府路路段监控视频进行试验,证明方法的有效性,对试验结果中车速误差及混合交通启动车头时距规律进行深入分析,提出误差改进措施,并将混合交通排队车流启动车头时距规律与美国交通工程手册中车头时距规律进行对比分析。     

基于内聚力模型的沥青路面低温缩裂研究

为了深入分析沥青路面低温收缩裂缝的形成和扩展问题,引入了双线性内聚力模型。使用双线性内聚力模型模拟了沥青路面的低温缩裂过程,并且讨论了双线性内聚力模型参数和面层结构参数对低温缩裂的影响。研究表明:随着温度的降低,沥青面层经历了从材料损伤到断裂的过程。在降温幅度较小时,沥青路面虽然没有形成宏观裂缝,但是路表附近的路面材料已经经历了一定程度的损伤;当降温幅度达到一定值时,沥青路面就会发生脆性断裂,形成宏观裂缝。增加断裂能可以减小路面的损伤程度和受损深度,降低路面的断裂温度,从而延缓了路面的断裂。与断裂能相比,提高开裂强度可以更有效地减小路面的损伤程度和受损深度;减小面层的弹性模量和温度收缩系数可以有效地减小面层的损伤程度。     

航空公司机队集中调度的成本分析

机队集中调度能够提高机队调度的质量和效率,但目前缺乏评估机队调度质量的技术经济指标.本文提出飞机-航班节分配成本的概念作为其评估指标,分析该成本的三个组成:航班直接运行成本、航班溢出成本和罚成本,并根据航空运输协会工作组提出的成本理论得出航班直接运行成本,构造旅客溢出的概率模型,引入罚成本的相关系数.     

城市轨道交通乘务夜早任务搭配模型研究

乘务夜早任务连乘是我国城市轨道交通(以下简为"城轨")乘务普遍采用的轮转策略。编制良好的乘务夜早任务搭配方案可保证乘务员工作的均衡性和安全性。根据城轨乘务夜早任务连乘需求,建立了相应的最优分配模型(NMC模型),设计了夜早连乘任务综合费用函数,并结合传统的匈牙利算法对NMC模型进行了求解。以某地铁线路为例,进行了算例分析。结果表明,NMC模型所编制的夜早连乘方案能够满足现场需求,可提高乘务夜早任务搭配的效率。     

飞机排班数学规划模型

分析了国内航空公司普遍采用的单枢纽线性航线结构以及飞机排班工作流程和要求,研究了描述飞机排班问题的数学模型构造方法,引入“航班节”的概念,将一个具体的飞机排班问题归结为三种典型排班模式中的一种,即基于飞机调度指令要求的排班问题、基于最少需用飞机数的排班问题、基于飞机使用均衡要求的排班问题。应用结果表明平均每架飞机分配的航班任务时间与期望飞行时间的偏差仅为4．8min,而且得到飞机排班方案的时间不到23s,因此此飞机排班模式是解决单枢纽线性航线结构下的飞机排班问题的一种有效方法。