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

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

语篇中的评价:显性与隐性

评价是语篇意义的一个核心成分,可以出现在语篇的任何地方.评价的实现方式存在显性与隐性之别,它不仅可以借助评价词汇显性表达,也可以通过其它途径隐性暗示.文章通过探究评价显明性的本质,认为语境和价值观在隐性评价的解读过程中发挥了重要作用.同时,文章探讨了影响语篇评价显明程度的因素,这些因素包括语篇体裁、评价处所和交际双方的...     

虚拟雷达信号环境构建方法研究

简要分析了虚拟雷达信号环境构建的方法,结合雷达信号环境基本要素完成对辐射源模型的构建,最后结合仿真技术定量研究了构建战场大区域、雷达信号辐射源的电磁环境仿真实现,试验结果表明,该方法切实可行,具有实际意义。     

形式化方法在铁路信号系统软件设计中的应用

首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明。     

虚拟应答器研究进展与发展展望

欧洲应答器(Eurobalise)是欧洲列车控制系统(ETCS/ERTMS)中广泛使用的列车定位设备.在使用时需要铺设大量的地面设备,需要昂贵的费用和较大的维护量.随着卫星定位导航(GNSS)技术的发展,定位精度越来越高;同时越来越多的卫星定位系统(GPS,GLONASS,GALILEO)可用,使得降低列车定位的成本成为可能.国际铁路联盟(UIC)提出采用卫星定位导航技术,辅以地图匹配技术实现虚拟应答器(virtual balise).虚拟应答器可以部分甚至全部取代实物应答器,无需地面轨旁设备.本文就虚拟应答器的发展背景、功能要求、实现方式、应用方式以及目前发展的现状进行描述,并且建议在中国的列车控制中采用虚拟应答器,从而适应中国铁路快速发展的需要.     

矿区铁路综合信息系统的应用

根据矿区铁路运输的特点,借鉴国铁运输管理信息系统的成功经验和国外先进的无线Mesh网格网通信技术,开发研制了集铁路运输行车管理、货运管理及铁路无线调度通信管理为一体的矿区铁路综合信息系统.论述了系统的原理与架构,描述了系统的总体功能以及系统运行的实际效果.     

青藏铁路多年冻土区某斜坡湿地路基设计

多年冻土是青藏铁路建设面临的主要难题之一.在多年冻土地区的斜坡地带往往发育有湿地等不良地质现象,对于路基修建的安全造成严重影响.描述了青藏铁路多年冻土区DK1 487 717～DK1 487 880段的路基设计情况,总结了关于多年冻土斜坡湿地地段的路基设计体会.     

高速公路入口匝道多维可调模糊控制器设计

鉴于入口匝道多维模糊控制器的控制规则库会随着人们控制方面经验的增加而变得愈加复杂,从而造成规则之间的冗余性、兼容性问题.因此,给出入口匝道多维模糊控制器的解析描述,不仅有效地解决了多维模糊控制器控制规则之间的冗余性、兼容性问题,而且通过在不同状态下引入不同加权因子实现了控制器的自调整,使所设计的模糊控制器更能适应实际的高速公路交通需求.最后通过MATLAB仿真得到的结果表明,控制效果令人满意.     

公路平、纵、横几何描述体系研究

首先分析了目前公路CAD系统对平、纵、横三方面的几何描述和定义的不足之处，并指出了全面而规范化的几何描述和定义对公路CAD系统进一步走向集成化、一体化的重要性和迫切性。然后根据平、纵、横各方面均是复杂多变的特点，总结和归纳相应的变化规律，建立简洁、灵活、统一和通用的公路平、纵、横各方面的几何描述和定义模型，构成了层次分明的平、纵、横几何描述体系，以便作为核心模型来开发集成化、一体化的公路CAD系统。     

高职数学课堂教学中学生创新思维的培养

高职数学从概念到理论具有高度的抽象性、严谨性、精确性和应用的广泛性等特点。本文根据高职数学教学上存在的问题和高职教育的特点，论述了不同的数学内容应采取不同的教学方法，以利于培养学生的创新思维能力。