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...     

应急物流中基于PPSVM的应急物资分类研究

突发事件一旦发生,应急物资需求种类是纷繁复杂的,应急物流中的物资需求又是紧迫的、动态变化的. 为了提高应急物流的运作效率,救援管理人员需要对应急物资进行分级. 本文提出一种基于后验概率支持向量机的应急物资分类方法,并在此基础上建立应急物资分类模型. 把物资的重要性、时效性和缺口程度三个因素作为物资需求分级的评价标准,将模糊化后的评价值作为PPSVM的输入,选择后验概率最大所的类别作为测试样本的类别输出来完成整个分类过程,从而得到对应的分级结果. 实验结果表明,PPSVM用于应急物资分类是可行的,能够很好地解决应急物资的分类问题.     

万宁2号特大桥预应力混凝土系杆拱施工中的特殊技术措施

万宁2号特大桥有一孔61.5m预应力混凝土系杆拱,在系杆拱桥施工时需通过JQ900A型架桥机和KSC900型运梁车,因此系杆拱的拱肋、横撑要等到后续孔的运梁、架梁工作完成以后才能施工。故在施工中采取调整工序,在箱梁梁体的跨中增加临时支墩(保证架桥机、运梁车等重型荷载作用在梁体上而不会导致箱梁的破坏)、系杆拱桥箱梁梁体的预应力体系进行二次分配等一系列技术措施来保证施工目的实现,确保了安全、保质、按期地完成施工任务。     

我国民航运力动员面临的挑战与对策

新时期民航系统建立起了符合社会主义市场经济要求的新型民航体制,新体制给民航运力动员与使用带来了诸如体制调整、结构重组,使运输保障组织协调难度加大等新的问题,针对这些新情况、新挑战,提出了重视民航系统的国防教育和保密工作,加强机构建设,建立民航后备机队以及依法建立民航运力兼容发展的协调机制等建议,为改善动员效果提供参考。     

考虑土拱效应的土钉墙内部竖向平均应力分析

土钉支护模型多被简化为平面应变问题,土钉间沿竖向土拱效应成了主要的考虑因素。若考虑问题的空间性,则可建立基于水平土拱效应的钉土相互作用理论。在土钉墙内部应力分析中,将竖向平均应力作为重要的一个方面,可通过给定有限的假设得到解析解。基于水平土拱原理推导了竖向平均应力和水平平均应力的计算式,并通过实例进行了讨论。     

既有线侧深基坑支护施工技术

介绍了钢板桩支护在沪宁城际铁路一深基坑工程中的应用。通过对钢板桩围堰的检算,确定了较好的支护方案和施工工艺,控制基坑开挖防护的关键环节,有效地保证了既有线铁路的正常运行和基础的顺利施工。     

基于数据仓库的口岸跨境运输决策支持与系统实现

以云南省20个国家级口岸及与之相对接的贸易往来口岸为研究对象,根据跨境运输涉及的多个相关部门分别进行了多维数据处理需求分析。在此基础上,设计了多种运输方式下基于数据仓库的口岸跨境运输决策支持系统体系结构。最后通过构建数据仓库系统实现联机在线分析处理（OLAP）和多维分析报表,运用数据挖掘技术为口岸跨境运输相关部门提供辅助决策支持。系统的实现展示了该技术应用于实践的可行性和有效性。     

应用交通仿真技术辅助交通管理与决策

为了提高智能化决策水平,深入挖掘交通仿真技术对日常交通管理工作的指导作用,在总结国内外各类交通仿真项目实践经验的基础上,以一个正在实施的决策支持系统为例,介绍了应用中观动态交通仿真技术建立的交通决策支持系统。该系统针对路网中常见的各类突发事件,模拟事件发生前后对交通流的影响效果,并针对事件造成的拥堵建立多套交通响应预案,系统对预案的实施效果进行仿真评估,根据仿真结果指标分析比选各个预案的优劣,优秀预案用于指导日常交通管理与决策。通过对系统应用的优缺点分析和应用发展趋势分析,展示了交通仿真技术的应用价值以及对交通规划和交通管理的指导意义,指出交通仿真技术的未来发展必然带来交通管理决策水平的新的飞跃。     

超前管棚支护在浅埋偏压黄土隧道施工中的应用

在特殊地质地段,如砂土地层、黄土地层、裂隙发育地层、浅埋地层、大偏压地层等隧道围岩地层中,采用超前管棚支护并辅以水泥注浆,是一种行之有效的超前支护方法.文章介绍了某浅埋偏压黄土隧道超前大管棚的施工工艺、流程及技术要点,并通过监控量测的数据分析,证明了该方法的可靠性.工程实践表明,超前管棚支护有效地减小了地表下沉和围岩变形,达到了确保不良地质段安全施工的目标.     

礼嘉车站大断面小净距隧道进洞施工技术

重庆市轨道交通六号线礼嘉车站为双岛四线车站,单洞最大开挖面积427 m2,两洞之间净岩柱6.5 ～6.9m宽,是典型大断面小净距隧道,国内同类工程可借鉴施工经验少.施工实践证明,由于采用先加固稳定边仰坡、施作超前大管棚、隧道断面化大为小、从上向下分块施工、对中间岩柱打设预应力对拉锚杆等措施,并辅以监拉量测及时反馈指导施工,有效控制了沉降和变形,保证了施工安全.