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种状态的渗流演变过程进行了计算分析,用重整化群方法求出渗流阈值,用以确定沥青混凝土路面开裂破坏的临界条件,为沥青混凝土路面破坏研究提供一种新的思路。     

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

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

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

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

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

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

国产商用密码技术在AFC系统票卡读写器的设计与应用

为提高城市轨道交通AFC系统中密码技术的自主可控程度,尝试在AFC系统中应用符合S M4标准的国产商用密码技术。研发一款支持国密算法的读写器是实现国密算法在AFC领域应用的关键。文章详细分析读写器的软件、硬件开发特点及测试方法。测试结果表明,新研发的国密读写器可支持SM4加密算法,且各项性能满足城市轨道交通AFC系统建设和运营的需求。     

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

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

The asymmetric effects of gasoline prices on public transportation use in Taiwan

This study investigates the asymmetric effects of gasoline prices on public transportation use in Taiwan. The empirical results obtained are as follows. First, we verify that gasoline price is an important determinant of transit demand. Gasoline prices have significantly positive effects on bus and mass rapid transit (MRT) use. Second, MRT ridership is more sensitive than bus and railway ridership to gasoline price and income. In the face of oil prices escalation and economic growth, the MRT system should have higher priority in public transportation planning. Third, the effects of gasoline prices on bus and MRT use are asymmetric. Bus and MRT use increases faster when gasoline prices rise than it decreases when gasoline prices fall. The transit agencies should adjust operating strategies faster in the rising of oil prices than in the falling of oil prices. It is important for transit planning to use oil prices as signals and increase the flexibility of operation in dealing with the changes in ridership. Some strategies, such as enhancing the availability of transfer information and updating transit information timely, are helpful to move passengers efficiently.     

JL-601机车走行部检测系统的应用与体会

简述了JL— 60 1机车走行部检测系统在我段的应用情况及检测周期的确定 ,制定了适用于牡丹江机务段DF8及DF8B型内燃机车走行部轴承较为合理的注意域门限值及解体域门限值 ,并就一些典型案例进行了分析。