标准模型下基于身份的签密密钥封装

针对随机预言模型下的签密密钥封装机制依赖现实世界无法实现的随机预言假设的问题,提出在标准模型下可证明安全的基于身份签密密钥封装机制(IBSC-KEM)。新提出的IBSC-KEM方案基于一种受到广泛研究的身份加密机制,在标准模型下被规约为求解q-ABDHE问题和判定性q-ABDHE问题,具有机密性和不可伪造性。新方案主要计算开销为5次群G上的指数运算、3次群GT上的指数运算和3次双线性对运算,与类似的签密方案比较,计算开销较低。此外,新方案还具有公开可验证性,适用于构建安全的端到端传输。     

Stochastic consensus control with finite frequency specification for Markov jump networks

A stochastic finite frequency consensus protocol for directed networks with Markov jump topologies and external disturbances is proposed in this paper. By introducing the frequency band information into consensus control design, the disagreement dynamics of interconnected networks asymptotically converge to zero with an improved level of disturbance attenuation in the specific frequency band. In addition, the new model transformation approach is presented by exploring certain features of Laplacian matrix in real Jordan form, which leads to more generality of the designed protocol. A numerical example validates the potential of the developed results. Copyright © 2015 John Wiley & Sons, Ltd.     

A Train Dispatching Model Under a Stochastic Environment: Stable Train Routing Constraints and Reformulation

After major capacity breakdown(s) on a railway network, train dispatchers need to generate appropriate dispatching plans to recover the impacted train schedule from perturbations and minimize the expected total train delay time under stochastic scenarios. In this paper, we propose a cumulative flow variables-based integer programming model for dispatching trains under a stochastic environment on a general railway network. Stable Train Routing (STR) constraints are introduced to ensure that trains traverse on the same route across different capacity breakdown scenarios, which are further reformulated to equivalent linear inequality constraints. Track occupancy and safety headways are modelled as side constraints which are dualized through a proposed Lagrangian relaxation solution framework. The original complex train dispatching problem is then decomposed to a set of single-train and single-scenario optimization subproblems. For each subproblem, a standard label correcting algorithm is embedded for finding the time dependent least cost path on a space-time network. The resulting dual solutions can be transformed to feasible solutions through priority rules. Numerical experiments are conducted to demonstrate the efficiency and effectiveness of the proposed solution approach.     

城市轨道交通车辆段与维修基地的生产污水处理探析

简要分析了我国城市轨道交通车辆段与维修基地生产污水的特点,并对城市轨道交通车辆段与维修基地生产污水处理的有效措施进行了深入的探讨、分析,以供参考。     

基于ARMA NExT和稳定图方法的飞行器工作模态指示研究

研究了基于飞行遥测数据,使用环境激励模态辨识方法辨识系统的模态参数时,挑选真实模态的方法.首先,详细介绍了ARMA-NEx T环境激励模态辨识方法的理论.接着,给出了模态指示因素,并详细分析了基于稳定图方法、频域和时频分析方法的真实模态筛选的方法.最后通过算例研究了飞行模态筛选的过程.研究发现,通过该方法得出结果与频域和时频分析结果基本一致.     

智能手机的无线身份认证系统应用研究

在现有身份认证技术的基础上,研究了一种利用智能手机作为身份认证载体、结合了二维条码和蓝牙技术、具有较高安全性和易用性的身份认证系统,并对系统实现的关键技术进行了研究。     

网络信息技术在高中体育教学中的应用

随着信息时代的到来,网络信息技术的应用范围越来越广,在学校教学不断改革的过程中,教学中对信息技术的使用越来越普遍。本文主要对网络信息技术在高中体育教学中的应用进行了讨论,首先分析了在高中体育教学中运用网络信息技术的作用,然后介绍了网络信息技术在高中体育教学中具体的应用方式。     

防火墙技术在校园网安全建设中的应用

随着网络技术的发展,越来越多的校园网加入Internet,校园网络作为学校重要的基础设施,在学校的教学、科研、管理和对外交流中扮演着不可替代的角色,校园网的安全状况直接影响着学校的工作效率。本文论述了防火墙技术在校园网安全建设中的应用。     

CAN总线到1553B总线的网关设计

1553B和CAN总线已经得到广泛的应用,但是这两种总线标准在性能和造价上各有所长。作为一种折中的设计,在系统中的不同部分按照其需求分别采用不同总线的方案成为一种理想的选择。因此两种总线之间的网关设计成为一个栾守廷＊重点,设计一种可行的CAN总线到1553B总线的网关,以满足实际应用系统的需求。     

提高计算机辅助设计应用课程教学效果的思考

当前计算机辅助设计应用非常普及,我国大多数高等院校也都逐渐开设了相应课程教学.该类课程以突出实践性、技能性为主,很多学生对之充满了好奇和向往,但高职学生基础知识环节比较薄弱,自主学习能力较差.针对上述情况探讨在该类课程中提高教学效果的有效途径.