Provably Secure Short Proxy Signature Scheme from Bilinear Maps

An enhanced formal model of security for proxy signature schemes is presented and a provably secure short proxy signature scheme is proposed from bilinear maps. The proposed proxy signature scheme is based on two short secure signature schemes. One is used for delegating the signing rights and computing the standard signature; the other is used for computing proxy signature. Finally, a security proof of the proposed proxy signature scheme is showed by reducing tightly the security of the proposed proxy signature scheme to the security of the two basic signature schemes. The proposed proxy signature scheme has the shortest ordinary signatures and proxy signatures. Moreover, the proxy signature generation needs no pairing operation and verification needs just two pairing operation.     

基于影响图理论的舰艇编队C4ISR系统建模研究

以舰艇编队反潜作战为战争背景,运用影响图理论建立了舰艇编队C^4ISR系统在反潜作战中的数学模型,充分考虑了编队武器系统、通信系统、探测系统、敌方干扰等系统参数指标对作战结果的影响,研究了各个参数指标间的作用关系,应用微分方程稳定性理论对模型进行了定性分析,并通过对模型的仿真反映了C^4ISR系统对提高兵力指数的重要性,提出了一种编队C^4ISR系统建模途径．     

GPS-RTK配合全站仪数字测图技术的应用

采用RTK与全站仪联合进行数字化测图的方法比之传统方法更具优越性,可保证图根点点位误差不积累、不传播,减少人为的干预,自动化程度较高,在很大程度上避免人为误差,使精度得到提高.     

RTK与全站仪在城镇地籍调查中的联合应用

在巴彦托海镇第二次土地调查过程中,根据国家二调规范和测区设计方案,采用GPS与全站仪联合测图方法,应用南方CASS软件成图,并对采集的数据进行检核,实践证明该方法可以快速准确的获得界址点、地物点的定位信息,满足国家二调中对于界址点的精度要求。     

基于旅客列车开行及停站方案的客流分配

客流分配是评价旅客列车开行方案的一个重要方面。通过分析旅客对列车选择行为的影响因素,旅客根据自己的意愿选择出行方案,考虑旅客乘坐列车的消费水平及拥挤费用,消费层次较高的旅客选择费用较高、旅行时间较短的乘车方案,消费层级较低的旅客选择费用较小的乘车方案,最终每个路段上的客流达到一个平衡状态。通过构造基于开行方案及停站方案的换乘网络,根据路段路径阻抗,利用梯度映射法进行求解该网络的客流分配模型,最终获得各OD对之间的多条出行路径方案。     

考虑前后车速度和减速幅度的元胞自动机模型

三相交通流理论和基本图方法对自由流到拥挤流的相变过程提出不同的解释,双方争议至今没有解决.基于典型慢启动模型规则,本文提出一个考虑前后车速度和减速幅度的交通流元胞自动机模型来探讨自由流到拥挤流的相变.新慢启动模型的减速幅度大小与前车速度相关,两个减速幅度值分别对应缓慢减速和急减速.新慢启动模型的数值模拟结果表明：同一密度值对应的交通状态可能是自由流,也可能是拥挤流;小堵塞集团可以稳定存在于道路系统并有同步的趋势;当道路系统中存在大量不考虑舒适驾驶并倾向于急减速的车辆,在此条件下,三相交通流理论提出的紧致压缩效应不具有合理性,自由流状态可以直接相变为堵塞状态.     

基于宏观基本图的相邻子区协调控制方法

为了提升道路网整体运行效益,克服针对单个控制子区的最优化控制可能造 成的拥堵转移,本研究基于宏观基本图的概念,建立控制子区间驶入驶出交通量的协调 控制模型.该模型以两个相邻控制子区为对象,考虑各子区自身宏观基本图特征及交通量 流入流出关系.在运用博弈论对其相互作用进行描述的基础上,提出了一种以两个子区整 体运行效益最大化为目标的博弈控制逻辑及其求解流程.通过VS2010 对所建立的博弈进 行仿真,验证了模型的可行性及控制效果.研究表明,不同的控制策略对相邻小区的运行 水平（收益）会造成不同的影响,但经多次博弈后,两相邻控制子区整体运行状况可稳定 在一个最佳水平.博弈结果显示路网容量相对较小的控制子区更应受到保护,当内部车辆 数达到最佳车辆数时应对其进行流入限制.     

铁路纵断面图的设计与自动绘制的实现

铁路纵断面图自动绘制系统利用Access2003数据库对测量资料进行存储管理,建立测量资料数据库,基于AutoCAD2010绘图平台,在ObjectARX环境下,运用Visual Studi0 2008开发工具,通过DAO访问Access数据库,实现了任意比例尺、任意里程范围内的铁路纵断面图的自动化绘制.     

图纸布局下道路平面图自动分图技术研究

利用AutoCAD 2000的图纸布局功能,采用AutoLisp语言实现道路平面图的自动分图。该文提出了道路平面图自动分图的技术方案,并给出了自动分图的程序结构流程、功能模块,对道路CAD系统的开发具有参考作用。     

基于MultiGen Creator/Vega的道路三维实时仿真系统实现方法

介绍了利用MultiGenCreator/Vega为平台,建立道路工程三维仿真系统的一般过程;分析和论述了道路仿真系统中地形地貌的生成、道路三维模型的建立及虚拟场景的生成。