用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

基于IP网络构建视频会议系统技术

根据IP网络的主要特点,重点从网络带宽、压缩技术、多播技术、传输协议、QOS等五个方面论述了基于IP网络构建视频会议系统的技术要求.     

一种基于动态分级网关代理的移动IP缓存方案

研究移动IP下平滑切换的缓存方案.首先提出了一种动态分级的网关代理的模型,分析了在这个模型下的缓存过程,研究了缓存区的分配与管理,并进行了仿真测试.理论和仿真分析表明,将缓存分为网关代理和局部代理两级,局部代理动态形成,使缓存任务得以分散.采用的单缓存十字链表的缓存结构,及相应的释放和大小设置策略,有效地解决了移动节点切换丢失数据和TCP性能下降及数据乱序问题.为更好地研究移动IP平滑切换问题提供了基础.     

无线通信环境下VoIP的应用

目前,随着无线通信技术GPRS(General Packet Radio Service)和IEEE802.11 WLAN(WirelessLocal Area Networks)的应用越来越普及,如何将VoIP和无线通信技术有效地结合起来成为了下一代的无线网络的研究方向了.阐述了在无线广域网和无线局域网上VoIP的应用,并且展望了下一代的互连网协议IPv6在VoIP中的应用.     

一种双种群进化集成QoS组播路由算法

设计了一种IP/DWDM光Internet中的非NP类QoS组播路由算法,采用树形编码方式,基于双种群进化,寻找一棵带宽、延迟、延迟抖动与出错率受限的费用优化组播路由树,集成解决路由与波长分配问题.仿真结果表明,该算法是可行和有效的,不仅能够满足QoS约束,而且性能优于基于经典遗传算法设计的QoS组播路由算法,克服了算法易早熟、收敛慢等缺点,有效地解决了IP/DWDM光Internet中的QoS组播路由问题.     

基于平台的SoC设计技术研究

文章分析了平台的概念及基于平台的SoC的设计流程,重点讨论了平台的构建方法及基于平台的产品开发过程中的2个关键问题,即IP(Intellectual Property)集成方法和参数化总线桥的设计,为构建平台库及顺利利用平台进行SoC产品开发积累了一定的经验。     

云南省香格里拉市伊隆迈铜多金属矿区物探异常特征

伊隆迈多金属矿位于西南"三江"义敦岛弧的南段东部斑岩成矿带中。以地质勘查资料为依据,通过开展物探工作获得了以下成果:60线长剖面的重力测量在2 780~4 500区间获得了明显的相对低重力异常,推断该区间深部存在隐伏中-酸性岩体;激电中梯扫面工作在测区东西两侧各获得一个北北西向展布的高极化率条带,推断这两个条带与玄武岩和黄铁矿化凝灰岩有关;利用放射性伽马总量测量对平面上石英二长斑岩脉的走向延伸情况进行了推测;利用高密度电法、激电测深及音频大地电磁测深对该区深部的地质特征进行了推测,根据高密度电法工作成果推断,石英二长斑岩在埋深30m范围内产状陡倾略偏南西,闪长玢岩前期侵入灰岩地层并形成较陡的接触面,石英二长斑岩在后期侵位于闪长玢岩与灰岩的接触面。     

基于移动IP组播机制的研究

无线宽带的接入需要目前计算环境提供对固定IP网络主机移动性的支持.一方面,互联网工程专门小组(IETF,Internet Engineering Task Force)在现有IP协议的基础上设计了一种支持主机漫游的网络层协议—Mobile IP;另一方面,作为一种高效的多点通信方式,IP组播在固定IP网络中提供了支持分布式多媒体应用和海量数据传送的机制.以移动IP作为路由协议面向移动主机提供组播机制是一个极具理论和实践意义的研究课题.在对相关文献进行深入研究的基础上,提出了一个新的解决方案,与现有移动IP组播机制仿真试验结果的比较表明,在相同环境下具有较小的资源开销和较高的效率,从而提供更好的网络服务质量(QoS Quality of Service)保证.     

通信计费数据采集与传输模式的研究

计费数据采集与传输为计费系统采集必要的计费数据,并把数据准确地传送到目的地。计费数据采集与传输是计费系统的前提和基础,其性能直接影响着计费系统的好坏。错综复杂的网络和通信,对计费数据采集与传输的要求也越来越高：计费数据采集与传输要可靠、实时,要有友好的用户界面。针对以上要求,对它们的框架、模型及计费数据的采集方式、使用的协议等进行了研究和探讨。     

用于卫星载荷数据传输总线的终端IP核设计

根据通信卫星有效载荷数据传输总线协议及其工作原理,提出了一种总线终端IP(intellectual property)核的设计及验证方法,该IP核由总线接口模块、时钟分频模块、协议处理模块、数据采集模块等组成,其设计和研制具有自主知识产权.该IP核完成了模块仿真验证、芯片系统仿真验证和FPGA(field progra...