An improved ring signature scheme without trusted key generation center for wireless sensor network

Security of wireless sensor network (WSN) is a considerable challenge, because of limitation in energy, communication bandwidth and storage. ID-based cryptosystem without checking and storing certificate is a suitable way used in WSN. But key escrow is an inherent disadvantage for traditional ID-based cryptosystem, i.e., the dishonest key generation center (KGC) can forge the signature of any node and on the other hand the node can deny the signature actually signed by him/herself. To solving this problem, we propose an ID-based ring signature scheme without trusted KGC. We also present the accurate secure proof to prove that our scheme is secure against existential forgery on adaptively chosen message and ID attacks assuming the complexity of computational Diffie-Hellman (CDH) problem. Compared with other ring signature schemes, we think proposed scheme is more efficient.     

车号自动识别系统的组网方式与配置方法

介绍车号自动识别系统(ATIS)关键设备的连网方式和CPS的网络配置及监控方法.     

列车自动识别系统ATIS应用与实践

提出了利用Windows2000server功能来提高ATIS系统健壮性方法,介绍了根据CPS和Modem的状态进行故障判断划分方法.可使系统更稳定,使用更方便.     

快速原型法在深圳地铁AFC系统中的应用

系统地描述快速原型法在深圳地铁AFC应用系统实施过程中的应用,分析深圳地铁AFC应用系统在改进更新过程中遇到客观阻力的原因,并对采用快速原型法的两种分类途径解决实际应用情况进行阐述.     

自动停复机系统在徐州铁通分公司的应用

徐州铁通分公司为了进一步提高服务质量,加大对欠费用户的清欠力度,缩短用户停复机的时间,将自动停复机系统运用到日常运营中.就徐州铁通自动停复机系统的总体设计、应用及功能进行介绍.     

非线性聚焦生成畸形波规律之研究

非线性聚焦是畸形波生成的一种可能机理。采用可以描述非线性聚焦现象的四阶修正非线性薛定谔方程,模拟了边带扰动条件下波列空间演化过程中畸形波的生成。不同初始边带扰动条件和不同波陡等情况下的数值试验结果表明,满足边带不稳定性条件时,初始边带扰动条件和波陡对畸形波的生成具有重要的影响,并给出了畸形波生成的规律。     

Incorporating time and income constraints in dynamic agent-based models of activity generation and time use: Approach and illustration

Existing theories and models in economics and transportation treat households’ decisions regarding allocation of time and income to activities as a resource-allocation optimization problem. This stands in contrast with the dynamic nature of day-by-day activity-travel choices. Therefore, in the present paper we propose a different approach to model activity generation and allocation decisions of individuals and households that acknowledges the dynamic nature of the behavior. A dynamic representation of time and money allocation decisions is necessary to properly understand the impact of new technologies on day to day variations in travel and activity patterns and on performance of transportation systems. We propose an agent-based model where agents, rather than acting on the basis of a resource allocation solution for a given time period, make resource allocation decisions on a day-by-day basis taking into account day-varying conditions and at the same time respecting available budgets over a longer time horizon. Agents that share a household interact and allocate household tasks and budgets among each other. We introduce the agent-based model and formally discuss the properties of the model. The approach is illustrated on the basis of simulation of behavior in time and space.     

同步环线如何实现列车准确停车

以广州地铁1号线和2号线为例,介绍同步环线的设计原理和组成,分析列车准确停车功能的实现,探讨同步环线的优缺点及国际上列车定点停车技术的发展趋势。     

路段重要度法进行公路网交通量分配的进一步探讨

针对总量控制法中路段重要度交通分配法存在的缺陷,将节点的交通发生强度及交通吸引强度应用于路段重要度分配模型,从而更加真实地反映了节点的社会经济、土地使用特性对交通分配的影响,使交通分配的精度提高,进一步完善了总量控制法理论。     

基于约束编程的飞机排班问题研究

飞机排班是航空运输生产计划的重要环节,对航空公司的正常运营和整体效益有着决定性影响.飞机排班通常构建为大规模整数规划问题,是航空运筹学研究的重要课题,构建的模型属于严重退化的NP Hard问题.本文把飞机排班问题构建为多商品网络流模型,并应用列生成算法求解;在列生成子问题中,引入约束编程系统实现快速求解航班连线（航班串）并计算各航班串简约成本,动态选择列集并与限制主问题进行迭代.最后,利用国内某航空公司干线航班网络实际数据验证模型和算法的有效性,并与航空公司实际排班进行比较研究.