Democratic group signatures with threshold traceability

This paper presents a concrete democratic group signature scheme which holds (t, n)-threshold trace-ability. In the scheme, the capability of tracing the actual signer is distributed among n group members. It gives a valid democratic group signature such that any subset with more than t members can jointly reconstruct a secret and reveal the identity of the signer. Any active adversary cannot do this even if he can corrupt up to t - 1 group members.     

基于多因素的连续高架桥梁设计高度研究

为解决连续高架桥梁设计高度问题,从连续高架桥梁结构高度、桥下通行车辆需求、交通指示标志识别需求、驾驶员舒适驾驶需求以及桥荫植物生长特性等多方面分析,计算连续高架桥梁设计高度确定的控制因素,得出桥梁结构高度、桥下通行净空高度以及桥下道路交通标志识别所需高度为确定高架桥梁设计高度的控制指标,驾驶员舒适驾驶需求和桥荫植物生长所需高度为确定高架桥梁设计高度的验证性指标,并于某连续高架桥梁设计方案比选中应用。     

船舶居住性评价方法

为更加客观地评价船舶的居住性,分析温度、湿度、空气质量、光照、环境色彩、噪声等6个因素对于船舶居住性的影响。建立船舶居住性的评价模型,并提出一种评价船舶居住性好坏的定量方法。研究成果可为船舶居住性评价提供一定参考。     

求解多峰性函数全局最优解的进化算法及其应用研究

本又针对简单遗传算法（SGA）在解决多峰性函数最优化问题存在的不足，提出了一种分配区间型进化算法，能够求出多峰性函数所有全局最优解及多个局部最优解。通过十几个多峰性函数与工程实例的数值实验，验证了算法的正确性。对简易海洋平台进行了疲劳可靠性优化设计为算例，取得了满意的结果。     

稀疏表示和判别性字典学习的舰船图像自动分割算法

现有舰船图像自动分割算法存在着分割准确率低的问题,故提出稀疏表示和判别性字典学习的舰船图像自动分割算法研究。为了降低图像分割计算难度,通过图像插值、坐标转换、互信息计算配准获取的舰船图像,以此为基础,提取配准图像的灰度与梯度特征,并转换为列向量构成训练样本集,构建判别性字典学习模型,通过模型求解获取舰船图像稀疏表示,判断像素点所在区域,实现了舰船图像的自动分割。仿真实验结果显示:在自变量图像数量与图像块尺度背景下,与现有算法相比较,提出算法舰船图像分割准确率较高,充分表明提出算法图像分割效果更好。     

潜艇液舱晃荡对其稳性影响的数值仿真与评估

结合潜艇耐波性和稳性的问题,分析液舱内的自由液面晃荡现象,建立潜艇液舱液体晃荡的数值仿真模型,利用计算流体力学软件Flow 3D,对潜艇横摇过程中液舱的液面晃荡进行模拟,根据数值计算结果,分析液舱晃荡对潜艇稳性的影响。     

论民航运输业对区域经济的贡献

民航运输业的发展推动了机场所在区域的经济发展,并且也为各种类型的商业创造出了良好的发展环境,尤其是大型国际机场的所在地,更能够凸显出对区域经济发展的促进性作用。现阶段,我国民航机场已经进入到了高速发展期,区域经济也实现了快速发展,然而,由于缺乏对民航运输与区域经济发展规律的准确认识,无形中也削减了民航运输推动区域经济发展的力度。为了能够进一步的了解到民航运输业在实际发展过程中对区域经济发展做出的相关贡献,本文进行了深入的探究。     

基于SQP优化和上限法的倾斜荷载下条形浅基础极限承载力计算

对均质地基岩土体上条形基础承受倾斜荷载的情况,根据线性破坏准则和相关联流动法则,利用极限分析中的机动法,构建了一个承受倾斜荷载作用的条形浅基础的二维机动许可破坏模式.根据外力功率与内部耗能相等原理获得极限承载力的目标表达式,并把其转化成了一个求含有非线性约束的极限承载力上限解最小值问题计算模型.应用MATLAB软件平台,对建立的计算模型采用序列二次规划法(SQP法)进行了承载力上限解优化求解.研究结果表明:极限上限分析结合优化理论SQP法适用于该问题的求解;荷载的倾斜程度对条形基础地基承载力影响较大;相同计算参数条件下,构造刚性块较少的简单的相容速度场也能够求得较为精确的数值,因而计算的速度和效率也将得到大幅提高;影响参数分析表明,计算参数取值对极限承载力量值具有非线性影响且权重存在差别,将结果与已有文献资料进行了分析比较,所得结果较前人研究成果有一定改进.     

换乘节点的功能及其在轨道交通线网中的作用--杭州地铁1号线换乘节点的线路站型方案研究

本文以杭州地铁1号线武林广场站、九堡东站和市心路站的线路站型方案研究为例,说明换乘节点的重要作用,在线网规划阶段考虑到换乘节点的可实施性是非常重要的.     

基于二进制可辨矩阵知识约简方法的完备有效性

对于海量数据的铁路各种信息管理系统,利用基于二进制可辨矩阵的知识约简方法简化数据和从大量的冗余数据中挖掘出有价值的信息,是一种很有前途的方法。但实例证明该方法中的一些规则在有些情况下还不是完备有效的。因此,以从铁道部某管理信息系统的数据中抽取并建立的决策表为例进行检算和分析,提出基于二进制可辨矩阵知识约简方法的有效性及完备性的形式化定义,即:若给定二进制矩阵其列向量逻辑和为全“1”,则其正域相等,称其为有效;反之也成立,则称其为完备。从理论上给出严格的证明,首先求出有效和完备的二进制矩阵,然后求出最简的二进制矩阵,所得结果就是最简约简。