On sequential composition of precise zero-knowledge

Precise zero-knowledge was introduced by Micali and Pass in STOC'06.This notion captures the idea that the view of any verifier in interaction can be reconstructed in almost time.Pass also obtained a sequential composition lemma for precise zero-knowledge protocols.However,this lemma doesn't provide tight precisions for composed protocols.In this paper we further obtain a sequential composition lemma for a subclass of precise zero-knowledge protocols,which all satisfy a property:their simulators use the cod...     

地铁沿线平行公交线网调整策略研究

地铁的建设改变了城市公共交通结构,打破了城市公交系统的原有平衡状态。为了整合城市公共交通资源,最大限度地发挥公共交通系统的整体效益,本文研究了地铁沿线平行公交线网的调整,在分析其调整的目标和原则的基础上,提出了地铁沿线平行公交线网调整的策略,具有重要的实际意义。     

����ACP�����ij��й����ͨƽ��ϵͳ��ϵ�о�

针对目前城市轨道交通中亟待解决的安全、高效、可靠运行等关键问题,运用复杂系统研究中的人工交通系统、计算实验和平行执行（ACP）方法,提出了基于ACP方法的城市轨道人工交通平行系统体系研究. 通过对传统仿真软件的分析,指出了建立动态、整体、真实的城市轨道人工交通系统研究体系的必要性;详细描述了城市轨道人工交通系统的构建方法和计算实验流程方案;最后,通过平行执行对各种方案进行综合评估,制定合理的管理方案;形成一套自下而上的城市轨道交通平行控制和管理方法. 城市轨道交通平行系统体系的研究,对综合交通体系的发展必将产生深远的影响.     

基于ACP方法的城市轨道交通平行系统体系研究

针对目前城市轨道交通中亟待解决的安全、高效、可靠运行等关键问题,运用复杂系统研究中的人工交通系统、计算实验和平行执行（ACP）方法,提出了基于ACP方法的城市轨道人工交通平行系统体系研究. 通过对传统仿真软件的分析,指出了建立动态、整体、真实的城市轨道人工交通系统研究体系的必要性;详细描述了城市轨道人工交通系统的构建方法和计算实验流程方案;最后,通过平行执行对各种方案进行综合评估,制定合理的管理方案;形成一套自下而上的城市轨道交通平行控制和管理方法. 城市轨道交通平行系统体系的研究,对综合交通体系的发展必将产生深远的影响.     

铁路供电线路的覆冰危害及预防处理

供电导线覆冰会使线路承受过大载荷、相邻跨距覆冰厚度不均,易造成线路拉断、杆塔倒塌等一系列严重危害,必须加以预防及处理。针对导线覆冰现象,提出采用碳纤维复合芯防覆冰导线等措施,论证了在易于出现低温雨雪冰冻灾害地区采用碳纤维防覆冰导线的可行性,有助于降低覆冰对供电线路的安全营运影响。     

秦淮河特大桥主桥中跨合龙段空间应力分析

针对秦淮河特大桥主桥施工过程中合龙段底板可能存在较大的复杂应力状态,建立了该桥的整体空间有限元分析模型及局部空间有限元模型。分析了多种工况下中跨合龙段附近底板的3向应力状态,得到了施工过程中合龙段底板可能出现较大竖向拉应力的截面位置,为合理确定关键应力监测位置提供了理论依据。     

基于四轮主动转向的路径跟踪自动控制

对于四轮转向汽车,基于2自由度线性车辆模型设计了用于路径自动跟踪的最优控制算法.在Matlab/Simulink中以2自由度非线性车辆模型作为被控对象对控制算法进行仿真评价,仿真模型中对最优控制算法所确定的前、后轮转角分别施加一个惯性环节.双移线和蛇行工况下的仿真结果表明,路径和横摆角速度跟踪效果好,质心侧偏角得到有效抑制.该最优控制算法实现了四轮转向车辆的低速反相转向和高速同相转向.     

汽车用铝合金零部件的节能减排分析

基于生命周期评价的基础理论和技术框架,以铝合金轮毂为例,分析了铝合金零部件在生命周期中原材料生产、零部件生产及使用、回收再生等阶段的能耗和温室气体排放.在此基础上,定量分析了典型铝合金零部件在汽车上应用的节能减排效果,可知,应用1 kg铝可减少414～2 475 MJ的能耗和30～147 kg C02 eq的温室气体排放量;节能及减排量和钢铁部件质量与铝合金部件质量之比有关.     

A Study on the Stiffness Characteristics of Multi-Leaf Spring with Consideration of Contact Friction

建立某重型载货汽车后悬架12片等厚钢板弹簧自由状态模型,利用ANSYS软件的接触非线性功能,进行钢板弹簧的刚度特性分析,得到其载荷-变形曲线和应力分布;同时对钢板弹簧进行试验.结果表明,刚度的计算值和测试值基本吻合,应力的计算值和测试值误差较小,说明有限元分析能精确地模拟各簧片间的接触和摩擦问题,真实反映钢板弹簧的受力和变形情况.     

DQ3025型堆取料机的技术改造

武钢原料场现有2台DQ3025型堆取料机,担负接卸陆运原料和向上道工序输送粉矿的任务。设计堆料能力、取料能力分别为600t/h、300t/h,采用液压与机械传动。这2台机器都是20多年前的产品,生产能力较低、故障率高。为此对其进行了一系列技术改造,取得了较好的效果。1对液压系统的改