一体化网络中可证明安全的三方认证协议

为了有效地保证终端、接入交换路由器和认证中心的安全,本文提出了一体化网络中可证明安全的三方认证协议．该协议实现了终端和认证中心之间及接入交换路由器和认证中心之间的相互认证,不仅可以有效防止非授权终端接入网络,还可以防止伪造的认证中心和接入交换路由器对终端的欺骗．在BR扩展模型下,可证明该协议是安全的．通过性能分析得出,协议具有很高的效率．     

基于用户口令的GSM—R身份认证协议

现有的GSM-R身份认证协议,是对SIM卡的身份认证而不是对铁路员工的身份认证,在日常铁路生产中,移动台容易丢失也容易被盗窃,使得SIM卡信息有可能泄露,导致SIM卡被克隆,给正常的铁路生产带来安全隐患.针对这一问题,本文设计了一种新的身份认证协议,通过在移动台使用用户口令作为认证密钥,不仅实现了对人的认证,而且实现了认证实体之间的双向认证,使得铁路员工可以使用任意的移动台进行通信,提高了日常工作的灵活性和安全性.     

一体化网络体系架构中一种新型接入机制

要对网络体系做出重大调整,在新的协议设计之初将网络安全问题考虑在内越来越成为安全研究领域的共识.本文在国家“973”项目“一体化网络体系”的基础上,提出以具备自验证功能的地址结构实现端节点标识符,并在此基础上设计了一种新型接入机制,给出了相应的协议流程和协议格式,有效保障了“一体化网络体系”中信息源的真实性.最后使用SVO形式化逻辑对其安全性进行了详细的证明.     

一体化网络的名字解析映射系统

在理解域名解析系统（DNS）的基础上,阐明了在当前网络应用中DNS系统所存在的一些缺陷,如不支持数据的移动和复制,负载不均衡等．本文设计了全新的名字解析映射系统来克服这些缺陷,并把它应用在一体化网络中．该名字解析映射系统采用三层重叠网络结构：中继层、实现层和维护层,中继层控制用户接入,实现层和维护层协同工作,实现名字的解析映射．理论分析和试验结果表明,该设计克服了域名解析系统存在的缺陷,将在一体化网络的设计中起到重要作用．     

一体化网络中支持寻呼的移动性管理机制

一体化网络是一种基于身份信息和位置信息分离的网络体系结构,能够有效支持主机的移动性.但随着用户数量的增多,信令开销可能成为制约网络发展的瓶颈之一.为了有效地减少移动过程中的信令开销,本文在一体化网络体系结构的基础上,提出了一种支持寻呼的移动性管理机制.此外,本文还建立了解析模型,导出了信令开销的计算公式,并分析了不同系统参数对信令花费的影响.性能分析结果表明,寻呼机制能够减少信令开销,从而增强了网络的性能.     

大中小学心理健康教育一体化研究：真实性问题的视角

大中小学心理健康教育一体化是德育一体化的产物。准确把握大中小学心理健康教育一体化的概念,循序渐进地促进学生心理健康发展,坚持“衔接性、递进性和原则性,”基于真实性问题的分析构建大中小学心理健康教育一体化体系的必要性,探寻大中小学心理健康教育一体化体系建设的路径,构建制度一体化、开展活动一体化和建立档案一体化,全面推进大中小学心理健康教育一体化进程。     

新一代互联网中连接标识解析映射研究

分析了连接标识解析映射的4种情况,并提出了一种新型的动态映射机制.其优势在于根据服务的要求,合理的选择路径建立方式用于数据传输,通过探测网络单向状态参数,实现动态调整映射关系的目标.在真实网络中的测试结果表明,该机制能够很好的测量多条路径单项时延的差别,为准确检测网络单向状态参数提供了一种新的思路,也为在新一代互联网中实现高性能数据传输提供了重要的方法.     

分离机制下一种互联网安全接入方法

重点研究身份与位置分离机制下源地址真实性保障方面的方法,提出了身份与位置分离网络中唯一且不变的终端身份标识EID结构,并设计了一种保障源地址真实性的安全接入方法,并且给出了相应的协议流程和协议格式,保证了身份与位置分离网络中源地址即终端身份标识EID的真实性.最后使用SVO形式化逻辑对其安全性进行了证明.     

基于ECC和指纹USBKey的身份认证协议

分析了现有网络身份认证方案的不足,给出了一种指纹识别技术与USBKey技术相结合的身份认证方案。利用载有指纹特征的指纹USBKey改进现有的USBKey认证技术。利用椭圆曲线密码算法ECC（elliptic curve cryption）,提高身份认证协议的安全性。采用挑战与应答的认证机制,实现了双向身份认证。使用含指纹特征的数字证书,防止非法用户篡改指纹特征。给出的身份认证协议实现了USBKey对用户权限的验证及远程服务器对用户身份的实体认证。能够有效抵御窃听攻击、假冒攻击、重放攻击及DoS攻击。     

一体化公交网络均衡配流模型

分析了一体化公交网络的交通特性,基于一体化公交出行的路径特点,研究了公交出行时间与出行费用因素对出行阻抗的影响.考虑人流密度对步行速度的影响以及出行费用与时间的换算关系,将公交出行的路段阻抗、节点阻抗与费用阻抗统一换算为时间,建立了一体化公交网络的出行阻抗函数.利用Wardrop均衡原理,建立了一体化公交网络的均衡配流模型,并通过FW算法对配流模型进行求解.计算结果表明:当地面公交线路长度与轨道交通长度分别为57.3、16.2 km时,轨道交通线路输送的客流量占总客运量的65.4％,通过换乘进入轨道交通系统的客流量达55.4％.构建合理的一体化公交网络能降低乘客出行总阻抗,提高公交系统运输效率.     

针对私有协议的模糊测试技术研究

模糊测试（Fuzzing）技术是一种很有效的自动化软件漏洞挖掘技术,将其运用到网络协议测试领域非常具有现实意义.本文结合网络协议本身的特点,分析了对网络协议进行模糊测试需要注意的关键问题,并在传统模糊测试框架的基础上,在代码覆盖和目标监控等方面加以改进,提出一个基于自动化的网络协议模糊测试框架;同时,针对私有网络协议,特别是经过编码的私有网络协议模糊测试提出有效的测试思路,以减少在协议解析过程中,对加密例程进行逆向工程的艰难过程,提高漏洞挖掘的效率.     

A universal potential energy function and precise calculations on the molecular spectra

By using a function with a phase factor, a universal analytic potential energy function applied to the interactions between diatoms or molecules is derived and six kinds of potential curves of common shapes are obtained by adjusting the phase factor. The spectroscopic parameters of ten diatomic molecules are calculated by using the potential energy function; as a consequence, all calculation results are in good agreement with experimental data.     

浅谈信息网络环境下的公共图书馆的发展

时至 2 1世纪 ,在“知识经济”浪潮下 ,作为知识殿堂的公共图书馆也正经受着信息技术革命和社会变革的洗礼 ,粗析了信息网络环境下公共图书馆发展的思路 ,并从藏书结构、现代化建设、服务深度等几个方面提出了相应举措     

A QoS aware service composition protocol in mobile ad hoc networks

A novel decentralized service composition protocol was presented based on quality of service (QoS) for mobile ad hoc networks (MANETs). A service composition in MANETs is considered as a service path discovery in a service network. Based on the concept of source routing, the protocol integrates route discovery, service discovery and service composition and utilizes a constrained flooding approach to discover the optimal service path. A service path maintenance mechanism was exploited to recover broken service paths. Simulation experiments demonstrate that the proposed protocol outperforms existing service composition protocols.     

基于神经网络的交叉口交通流量预测方法研究

主要介绍利用BP神经网络模型来预测交叉口交通流量的方法。在概述了神经网络的工作原理和BP网络模型的设计之后,通过举例更进一步说明此方法的可行性和预测效果。     

一种在CDMA辅助下实现WLAN无缝切换的机制

随着无线局域网（WLAN）技术的发展,越来越多的用户可以在移动过程中通过WLAN获得网络接入服务,这就需要对WLAN切换的支持,而单纯基于接收信号强度（RSS）的切换机制难以克服乒乓效应及其他一些服务质量下降问题.本文提出一种CDMA辅助下的WLAN无缝切换（即低延时、低丢包率）机制（CAHO）,该机制在用户发生相邻WLAN之间的切换过程中使用CD-MA连接来避免性能下降问题.为了评价该机制,我们建立一个实验床,并与传统的WLAN切换机制及Multiscan切换机制进行了比较.实验结果表明,CAHO机制能够有效地解决丢包、服务中断及乒乓切换等问题.     

����TransCAD�ij��й�������ɴ���ָ�꼰��Ӧ��

对城市公共交通进行可达性分析，可以反映城市间不同区域通过公交线网的交通便捷程度。本文通过对乘客出行心理、行为的假设和公交线路、道路可达性范围的界定，给出了一种简易的公共交通网络可达性指标计算公式，并基于TransCAD软件给出了指标计算方法步骤。最后，通过对长春市中心区的公交可达性进行了实证验算，得到了可信的结果。