首页期刊导航|中国电子商情·通信市场
期刊信息/Journal information
中国电子商情·通信市场
中国电子商情·通信市场

陈雯海

双月刊

1006-6675

zgdzsq@126.com;TX@ctrn.com.cn

010-52427922;68207726;68207724

100036

北京市海淀区复兴路49号

中国电子商情·通信市场/Journal Telecom Market
正式出版
收录年代

    基于JAVA-MOP添加逻辑库的方法和策略

    周戈于康徐姣
    35-37页
    查看更多>>摘要:本文结合作者课题内容,对基于JAVA-MOP工具软件添加逻辑库的方法和机制进行了深入的研究,首先,本文详细介绍了JAVA-MOP工具软件,探讨了其采用反射机制调用逻辑库的机理,并对出现的若干问题如多进程的调试等提出了自己的解决方案,最后作者示例如何添加基于线性时序逻辑三值语义监控器生成的ltl3逻辑库.

    JAVA-MOP逻辑库反射机制线性时序逻辑三值语义ltl3逻辑库

    舰船电磁兼容技术的探讨

    詹建华
    38-42页
    查看更多>>摘要:现代化舰船对电磁兼容(EMC)性技术提出新的需求,EMC技术在舰船领域所处的地位越来越重要.新技术、新装备的发展对舰船EMC技术提出了新的和更高的要求和需求.这促使舰船EMC技术在新形势下要有新的发展.本文首先介绍了舰船潜在的干扰危害和抑制措施;继而对舰船电磁兼容技术国内外研究情况进行了阐述,分析了电磁兼容的关键技术和发展趋势.

    舰船电磁兼容电磁干扰频谱管理

    针对SIP协议的入侵检测关键技术的研究

    杨露王勇军赵文哲
    43-47页
    查看更多>>摘要:VoIP通信技术已成为网络技术中的热门技术.在VoIP业务中,SIP协议用于建立、修改和终止IP网络上的双方或多方多媒体会话.SIP协议以其简易性、开放性、公用性和标准化等特点成为了IMS(IP Multimedia Subsystem,IP多媒体子系统)中的呼叫控制协议,但是,由于SIP协议的简易性、开放性、公用性、标准化和模块化,在一定程度上增加了攻击者攻击的简易程度.同时SIP服务主要作为一种基于TCP/IP技术的面向无连接的服务,不需要对源地址进行授权和认证,因此更容易遭受到恶意攻击者的攻击,本文主要针对SIP协议的安全性中的畸形信令报文检测,DoS攻击检测,SIP协议会话攻击检测提出了初步的研究方法,并给出了相应的防范措施,希望能够为SIP协议的安全性研究提供一定的参考.

    会话初始协议入侵检测畸形报文DOS攻击

    一种源代码级的控制流错误检测实现方案

    孟宪凯谭庆平徐建军赵昕琳...
    48-52页
    查看更多>>摘要:由瞬态故障引发的软错误已经成为影响计算机系统可靠性的主要因素之一.控制流错误作为软错误的一种主要表现形式,约占软错误总量的33% ~ 77%.本文提出了一种在源代码级实现控制流错误检测的方法SLCEDM,该方法针对高级语言程序以函数作为基本功能单元的特点,通过函数标签分析策略解决了函数间控制流容错的难点问题.并且,由于基本块的划分及标签分配以函数为界,可以根据函数内控制流的结构选用最适合的标签更新和检测手段,增强了可配置性,具有开销小、检错率高、易于实现等优势.

    钦件容错控制流检测瞬态故障

    一种基于AVISPA的安全协议形式化分析方法

    张鑫王勇军付绍静
    53-58页
    查看更多>>摘要:形式化方法是分析和验证安全协议的有效手段.AVISPA工具集是一套建立和分析安全协议模型的形式化自动分析工具,结合SPAN可以对安全协议进行直观而全面的分析并得出结论.本文通过将CAS+规范引入到AVISPA工具集中来对协议进行安全性的分析,利用AVISPA分析发现,使用CAS+规范可以更加直观、简便地对协议进行形式化语言建模,快速准确的推导出分析结果和入侵者轨迹.

    安全协议AVISPACAS+SPAN

    一种故障管理系统的结构设计

    程龙卢凯王小平
    59-63页
    查看更多>>摘要:随着系统规模的不断增加,大型计算机系统的可靠性问题日益突出,系统的管理和维护工作变的越来越复杂.本文提出了一种新的故障管理系统设计方案,使计算机本身通过实施自我管理,对故障进行检测、诊断、隔离和修复,降低系统故障开销,为用户提供稳定的计算环境,提高大型计算机系统的可用性.

    大型计算机系统故障管理

    水下传感器网络中关键参数优化研究

    舒远仲王亚钢
    64-69页
    查看更多>>摘要:水下传感器网络中节点间通信的参数优化研究是基础,而数据包长是影响通信性能的重要指标,因此要选择一个最优的数据包长使节点的通信性能最优是一个关键问题.该文首先针对水下传感器网络的高时延、高能耗、高误码率特性构造体现通信性能的模型作为优化目标,然后引入QICA算法以离线的方式整定出多种环境和条件下最优通信参数组合,最后从理论上和仿真实验中结合数值分析论证了该算法的有效性和实时性.

    水下传感器网络数据包长QICA

    基于Openflow的FloodLight控制器实现研究

    黎进都时向泉
    70-75页
    查看更多>>摘要:OpenFlow提供了一种新型的将控制与转发分离的架构,OpenFlow交换机的流表负责转发功能,外部的OpenFlow控制器提供网络的控制和管理,从而实现了数据转发和路由控制的分离.控制器可以通过事先规定好的接口操作来控制OpenFlow交换机中的流表,基于控制器提供的API,用户可以开发网络应用对网络功能和行为进行定制,从而达到控制数据转发的目的,实现网络的创新.本文在对OpenFlow协议进行分析的基础上,对开源FloodLight控制器功能结构和实现技术进行了分析.

    OpenflowFloodLight控制器

    基于AirMagnet Survey的无线局域网覆盖性能分析与研究

    王闯曹飞飞王涛
    76-80页
    查看更多>>摘要:无线网络具有抗干扰性强,抗衰弱性好,保密安全性高等优点.校园网正是基于这些优点建立起来.AirMagnet Survey就是测量网络信号覆盖质量的一种软件,通过对网络所覆盖范围信号进行扫描、利用软件自身生成模块、形成信号强弱的有关数据.首先根据测量对象的空间结构,对软件进行配置,然后对测量区域进行数据测量与采集,最后对收集到的数据进行加工处理,获得网络信号覆盖效果的报告.

    校园网网络测试网络覆盖

    计算思维与计算机教育

    牛少彰
    81-83页
    查看更多>>摘要:随着计算机日益广泛而深刻的运用,计算思维成为计算机教育中的热门话题,形成了以“计算思维”为核心的计算机教育.以计算思维为导向进行大学计算机课程的教学,其目的就是运用计算机科学的基础概念进行问题求解、系统设计、以及人类行为理解.学生学会计算机的目的在于解决本专业的实际问题.大学阶段各相关专业培养对计算机的要求越来越高,同时不同专业之间对计算机基础教育的直接需求和依赖程度又存在较大差异,大学计算机教育应与各类专业的培养“无缝连接”.

    计算思维计算机教育专业培养