Formal analysis of authentication in 802.11i

Authentication is the basis of the security of IEEE 802.11i standard. The authentication process in 802.11i involves two important protocols: a 4-way handshake and a group key handshake. A formal analysis of authentication in 802.11i is given via a belief multisets formalism. The analysis shows that the 4-way handshake and the group key handshake may provide satisfactory mutual authentication, key management, and issue of a new group temporal key from an access point to a user device, under the guarantee of mutual possession of a confidential pairwise master key. The analysis also shows that there exists a denial of service attack in the 4-way handshake and some seeming redundancies are useful in the protocol implementation.     

机场货运监控系统关键技术研究

介绍了机场货运监控系统的结构和功能,深入研究了机场货运监控系统的多任务控制和实时通信两个关键技术．其中多任务控制技术是指采用多线程技术并行处理多个任务;实时通信技术主要包括采用异步委托技术实现上位机调度和下位机通信的分离和采用OPC（OLE for Process Control用于过程控制的OLE）标准接口技术实现多PLC的实时通讯的技术．概述了该技术在某大型机场实际应用情况．     

外军军用码头防冲设备发展现状与启示

介绍了码头防冲设备的概念和作用,阐述了军用码头防冲设备应具备的吸能容量大、缓冲性能好、环境适应性好、易于维修等五项性能,介绍了外军现今应用的军用码头防冲设备的主要类型:如防冲桩、橡胶护舷、浮动式防冲设备等,指出了其构成材料新、组合性能好等结构方面的特点,得出了加强我军码头防冲设备保障能力建设的启示,如模拟分析战场环境、利用和改造民用防冲设备、研究适合特殊类型军舰的防冲设备等。     

基于优先级策略的 TLS 握手协议研究

当大量的用户通过TLS协议访问服务器时,会带来较大的负担,同时浏览器进程关闭时会清除用户所保存下来的session信息,当再次连接时,又需要完整的握手过程。对TLS协议进行分析,在经典握手协议的基础上提出了服务器端session 的缓存机制的改进,提高了服务器的缓存利用率;并在客户端实现了运用cookie进行会话重用。结合Java相关技术,对其TLS环境进行配置,并在其上进行了服务器端与客户端的实验,然后对经典TLS握手协议进行效率测试。     

A Secret Sharing Featured Secure Communication System Based on Dual Synchronization of Chaos in Colpitts Circuits

Introduction Synchronizationofchaoshasrecentlyattract-edgreatinterestbecauseofitspotentialapplica-tionsinsecurecommunications[1]andspreadspec-trumcommunications.Inasecurecommunication system,itcanbeusedforsharingtheidentical chaosinthetransmitterandreceiverasacrypto-graphiccode.Synchronizationofchaosinonewaycoupled onepairchaoticcircuitshasbeenstudiedinalarge volumeofliteratures[2-4].Inrecentyears,anew conceptofchaossynchronization,namely“dual synchronizationofchaos”,israised[5].Dualsyn-chr…     

�ۺϽ�ͨ������ϵ�µ�“ʮ����”ˮ·���䷢չս�Ե�˼��——“��ͨ7+1��̳”��ʮ�ߴλ����ʵ

交通“7+1”论坛第十七次会议的主题为“综合交通运输体系下的‘十二五’水路运输发展战略的思考”. 从综合交通运输体系的角度,探讨了水运的地位与作用,总结了取得的成果以及存在的问题,提出了未来发展的战略思路. 针对内河、港口、综合交通运输管理体制、港口与城市的协调发展等问题进行了深入的分析与交流. 同时以上海港、广西内河航运、深圳大交通管理体制为案例,分析了成功的经验以及可以借鉴的发展思路,为“十二五”水运发展规划出谋划策.     

A Context-Aware Medical Instant Message Middleware

Communication or the lack of it has been complained to be a major contributor to medical errors in healthcare.To enhance communication in hospital,diverse communication mechanisms are proposed.However,human directed communication in a complex clinical setting in which many people play diverse roles and need to collaborate in many parallel tasks is always in chaos and inefficient.Context-aware communication which can help target who should be communicated and what information should be provided for different scenarios has the potential to improve the communication in hospital.This paper proposes a flexible,automated and asynchronous context-aware medical instant message(IM)middleware which support dispatch,forward and routing different message to the right person in the right time based on the context information.A prototype of this IM communication middleware was implemented in real clinical setting for evaluation.The preliminary results demonstrate its novel features and clinical feasibility.     

江苏港口高质量发展现状评价

为明确江苏港口高质量发展的环境条件与阻碍因素,采用数据分析法对江苏港口的发展现状进行综合分析,结果表明,江苏港口的传统优势较大,但仍处于粗放型发展阶段。构建了港口高质量发展评价指标体系,并采用R型因子模型法进行实证分析,结果表明,江苏港口除了在集装箱港口作业效率、集装箱在港作业成本、港口运作能力等个别指标上有较优表现外,其余大多指标均远落后于标杆港口。实证分析为江苏港口高质量发展指出了方向。     

单片机串行通信波特率误差分析

本文对计算机异步串行通信中因波特率误差产生错码传输进行分析、计算,总结出波特率误差允许范围。分析了整位误差对波特率误差的影响。     

考虑碳排放的港口全要素生产率及影响因素分析

基于我国沿海19个港口2009-2018年面板数据,结合DEA(Data Envelopment Analysis)方法和方向距离函数,同时考虑非期望产出构建港口全要素生产率模型,并采用面板数据模型厘清影响港口全要素生产率的内外因素。模型运行结果表明：中国主要沿海港口的全要素生产率都有不同程度的提高,且货物吞吐量大的港口GML(Global Malmquist-Luenberger)指数不一定高;中国主要沿海港口的技术效率有所降低,但技术进步都有所提高;五大港口群中东南沿海地区、长江三角洲地区和西南沿海地区GML均值较稳定,环渤海港口群和珠江三角洲地区不稳定,时高时低;中国主要沿海港口GML指数除受内部因素影响,还与货物进出口总额有关,货物进出口总额增长率每增长1个百分点,港口GML指数提高0.049242个百分点。     

政府环境规制下港航系统减排演化博弈研究

针对碳达峰目标下我国港航系统的减排问题，通过构建地方政府、港口和航运公司三方主体参与的港航系统环境规制演化博弈模型，系统分析三方主体的策略选择过程与整体演化稳定性，阐明港航系统内各主体演化趋势的驱动机理。并通过数值仿真分析，讨论三方主体初始策略和地方政府不同奖惩监管机制下港航系统的策略选择。研究结果表明，地方政府主动监管策略的选择与港口和航运公司的低积极减排意愿有关；港口和航运公司积极减排策略的演化速率与彼此的意愿成正比；地方政府在静态奖惩监管机制下，对惩罚强度的调整不影响港口和航运公司的积极减排策略，但低补贴强度会导致两者的消极减排；静态监管机制下，地方政府仅有(高补贴，无惩罚)的单一策略可以使港口和航运公司达成(积极减排、积极减排)的演化均衡；动态监管机制下，地方政府采取(低动态补贴，高静态惩罚)的混合监管策略能够以低成本实现港航系统积极减排策略的演化均衡。     

港口区域移动通信网络设计

针对港口实际应用需求和当前网络技术发展现状,通过讨论WiMAX技术的特点及关键技术,提出了在港口通信中采用"有线交换+无线接入"的混合网络。无线接入满足用户移动性需求,有线交换满足用户对高数据传输率的需求。确定港口WiMAX网络的网络结构,提出了具有智能化、灵活性、可扩展性、经济性等需求的网络设计方案。     

港口装卸作业系统战时武器毁伤条件概率评估方法研究

由于战场情况的复杂,毁伤形式的多样,直接评定港口装卸作业系统的毁伤概率有很大困难。分析了装卸作业系统毁伤程度划分的影响因素,提出了基于抢修时间和贝叶斯网络法的武器毁伤的条件概率评估方法,解决了影响因素的选取和量化问题,有一定的实际应用价值;最后结合典型的装卸作业系统进行了毁伤条件概率的分析与计算。随着未来战争中要解决问题的大型化和复杂化,如何建立适用性更强、求解效率更高的装卸作业系统毁伤概率评价模型有待于进一步研究。     

使用异步通信组件构筑松散耦合系统

介绍了松散耦合系统的优点,并探讨了消息传递与消息队列服务在松散耦合系统中的应用特点,结合实例介绍了使用MSMQ的com 接口应用程序设计的基本步骤。     

集装箱班轮运输中空箱调运组织与库存优化研究

为了分析由多个始发港、多个中转港和多个目的港所组成的集装箱班轮运输网络中不同类型空集装箱调运组织和库存优化问题,本文提出该类问题的混合整数线性规划模型;在实现空箱物流成本（空箱库存成本和运输成本）最小化前提下, 确定不同类型空集装箱在不同船期之间的最佳分配量和在不同港口节点的最优存箱量;通过始发港和目的港在不同时间内累计空箱库存量表达式的推导,提出原有模型的简化形式;最后运用具体算例对上述模型进行了应用分析. 结果表明,模型具有有效性和实用性.     

��װ����������п��������֯�����Ż��о�

为了分析由多个始发港、多个中转港和多个目的港所组成的集装箱班轮运输网络中不同类型空集装箱调运组织和库存优化问题,本文提出该类问题的混合整数线性规划模型;在实现空箱物流成本（空箱库存成本和运输成本）最小化前提下, 确定不同类型空集装箱在不同船期之间的最佳分配量和在不同港口节点的最优存箱量;通过始发港和目的港在不同时间内累计空箱库存量表达式的推导,提出原有模型的简化形式;最后运用具体算例对上述模型进行了应用分析. 结果表明,模型具有有效性和实用性.     

三相交流异步电动机建模及仿真研究

针对三相异步电动机矢量控制系统研制的要求,建立了在静止坐标α和β系统中异步电机的数学模型,研制了电机实时仿真系统,并对仿真系统的软硬件进行了说明。应用该仿真系统对一种实际电机进行仿真,仿真结果与实验数据比较,验证了数学模型的正确和仿真系统的实用性。     

Asynchronous complex pipeline design based on ARM instruction set

This paper proposes an asynchronous complex pipeline based on ARM-V3 instruction set. Muller pipeline structure is used as prototype, and the factors which may affect pipeline performance are analyzed. To balance the difficulty of asynchronous design and performance analysis, both complete asynchronous and partial asynchronous structures aere designed and compared. Results of comparison with the well-Rnown industrial product ARM922T verify that about 30% and 40% performance improvement of the partial and complete asynchronous complex pipelines can be obtained respectively. The design methodologies can also be used in the design of other asynchronous pipelines.     

我国铁路下一代移动通信系统制式及演进探讨

目前我国既有第二代移动通信系统产业链已表现出萎缩趋势,及时完成铁路下一代移动通信技术应用准备,对促进我国铁路移动通信系统发展具有重要意义. 本文阐述了发展我国铁路下一代移动通信系统的迫切性,对当前主流宽带移动通信系统的发展现状进行了分析,结合我国铁路主要应用场景业务需求特点,对第4代及第5代移动通信技术在铁路应用的适用性进行了分析. 提出在试验验证基础上抓紧申请铁路适用频率,建议铁路正线采用以3GPP （third generation partnership project） LTE （long-term evolution）为基础的集群通信系统并采用3GPP组呼方案,在站场及枢纽地区可采用包括第5代移动通信技术（5G）在内的多种通信技术. 提出结合现场高速试验、开展技术及装备研究/制,研究制订相应技术标准体系,研究第5代移动通信等新技术在铁路的工程应用.      

建设生态型内河港口之探究

环境保护问题迫在眉睫,对于内河港口亦是如此．与沿海港I：7相比,内河港口的一些特殊性使得其生态建设显得尤为重要．建设生态型内河港口任务艰巨,意义深远．通过阐述建设生态型内河港口的重要性,并坚持全过程控制的理念和从政府、港口管理者的角色发挥作用等方面,提出了建设生态型内河港口的思路与举措．