Filling the gap between voters and cryptography in e-voting

Cryptography is an important tool in the design and implementation of e-voting schemes since it can provide verifiability, which is not provided in the traditional voting. But in the real life, most voters can neither understand the profound theory of cryptography nor perform the complicated cryptographic computation. An e-voting system is presented in this paper to leverage the use of cryptography. It combines the advantages of voting scheme of Moran-Naor and voting scheme based on homomorphic encryption. It makes use of the cryptographic technique, but it hides the details of cryptographic computation from voters. Compared with voting scheme of Moran-Naor, the new system has three advantages: the ballots can be recovered when the voting machine breaks down, the costly cut-and-choose zero-knowledge proofs for shuffling votes made by the voting machine are avoided and the partial tally result in each voting machine can be kept secret. Foundation item: the National Natural Science Foundation of China (No. 60673076) and the National High Technology Research and Development Program (863) of China (No. 2008AA01Z403)     

��ͨӰ������������׼�о�——�Ա�����Ϊ��

目前,国外一些城市对交通影响评价工作的起评阈值进行了研究,即当建设项目规模或周边交通状况达到一定程度时需要开展交评工作,而国内城市开展交评工作相对较晚,对交评阈值相关研究和规定多停留在经验判断的阶段. 本文在总结国外城市交评起评阈值的基础上,根据北京市几年来交通影响评价工作经验,提出北京交评起评规模以公建类建筑面积2万平方米为基准,居住起评规模为公建2-3倍,远郊区为城八区对应建筑类型起评规模的2倍.     

沥青混凝土路面开裂破坏的渗流模型分析

渗流模型是处理相变与临界现象的有力工具,在本质上属于概率论的一个分支。沥青混凝土路面的开裂破坏是由于无数条微裂缝之间相互连通而导致的,其微裂缝无限连通的过程在数学上属于渗流问题。将渗流模型理论应用于沥青混凝土路面破坏过程的描述,通过选择合适的渗流模型,对沥青混合料破坏的最近邻、次近邻和第三近邻等3种状态的渗流演变过程进行了计算分析,用重整化群方法求出渗流阈值,用以确定沥青混凝土路面开裂破坏的临界条件,为沥青混凝土路面破坏研究提供一种新的思路。     

机动车左弯待转区设置的临界条件

为寻求左弯待转区的设置依据,分析了交叉口的几何形状,给出了设置左弯待转区的几何临界条件;利用累计曲线和交通波理论建立了左转车排队位置模型,如果交叉口的渠化方案和信号配时方案保持不变,应用排队位置模型可以得出在排队长度约束下的临界流量和极限流量;如果左转车的到达率一定时间段是稳定不变的,可以得到设置左弯待转区的左转相位最短绿灯时间和最长红灯时间.研究成果可为左弯待转区的设置提供理论依据.     

传输网综合网管系统中告警流程的设计与实现

根据ITU-T X.733和X.734的建议以及传输网综合网管系统中告警功能需求,提出一种告警流程模型,给出具体方案设计.该方案采用数据库高级队列机制实现告警通知,以确保通知的实时性.介绍流程中告警级别表设置、告警过滤器设置、相关性分析等的设计和实现.     

厂矿企业铁路道口安全综合监督系统方案探讨

围绕铁路道口安全的3个维度详细设计技术方案,探讨如何解决道口安全隐患.通过加强系统、设备间、机车与道口的信息互动协调和综合联动,发挥整体效能,实现对道口的综合安全监督.     

带阈值的广义双向细胞联想神经网络GCBAM及其稳定性质研究

在提出双向细胞联想神经网络CBAM的基础上,通过引入阈值概念,进而提出了广义双向细胞 联想神经网络GCBAM,研究了其平衡态,存在性质及其Lyapunov意义下的网络稳定性质。     

基于时间阈值的旅客登机模型及动态登机策略

减少登机时间有利于提高旅客体验和航空公司运行效率,故优化基于旅客行为的登机策略尤为重要. 基于旅客登机过程中两个阶段的延时,建立考虑时间阈值的新登机模型;在干扰时间阈值分布的基础上,通过优化算法分配行李,从而使登机时间最小,进一步得到基于不同行李构成的动态旅客登机策略. 通过元胞自动机仿真和现场模拟实验比较动态登机策略的效率. 结果显示：新登机模型能准确反映登机过程,Steffen 次序具有最大的干扰时间阈值和优化空间;本文提出的动态登机策略可以缩短登机时间,使登机效率显著提高.     

周期无人值守机舱监测报警系统方案研究

无人机舱是目前国际上新建船舶的常规要求，满足各国船级社AUT－0规范的机舱监测报警系统是周期性无人值守机舱的重要组成部分，本文在介绍机舱监测报基本原理的基础上，调研了国内外有代表性的几个机舱监测报警系统，继而阐述了国家船舶一条龙项目机舱监测报警系统小项的具体方案设计。     

基于群索索力域的斜拉桥结构性能状况评估

针对目前依据单根斜拉索索力值变化评估斜拉桥运营健康状态的不足,提出一种基于群索索力域映射斜拉桥性能状况的方法。该方法基于蒙特卡罗法模拟获得斜拉桥群索索力域,在实测索力与群索索力域间做相异度最小寻值,根据桥梁结构不同的极限状态定义评估阈值。以国内某已建24年的大跨径预应力混凝土斜拉桥为工程实例,基于近6年(2013~2018年)实测索力数据,依照提出的新评估方法与传统评估方法对主梁结构性能状态进行评估。结果表明:传统评估方法仅得出2013年单根索力变化幅值超限的结论;新评估方法得出2013年、2018年主梁跨中截面存在消压风险,需要持续跟踪关注。该方法可定量、直观地分析评估群索索力变化对桥梁结构受力状况的影响,为桥梁的科学管养决策提供依据。