基于协议分析状态机的入侵检测系统

协议分析状态机是提高协议分析正确性的重要保证，将其应用于入侵检测系统是一个新的研究应 用方向，协议的形式化描述工具有穷状态自动机。通信有限状态自动机。在此基础上重点讨论了使用协议 状态机分析入侵事件的相关算法及流程.设计了基于协议分析状态机的入侵检测系统的总体框架，提出了 该状态机的面向对象的模型，使该系统具有良好的可扩展性和通用性，测试结果验证了这一思想的正确性 和有效性。     

关于对调制解调器的协议和标准的一些看法

本文介绍调制解调器在调制解调和压缩纠错方面一些常用协议标准的技术特征，供选用调制解调器时参考。     

我市与西安市共建科技合作平台

作为全面落实银川市委、市政府与西安市委、市政府达成的共同发展合作框架协议的具体举措，银川市科技局按照市委、市政府的要求，主动出击，精心筹备，在10月25日——27日以自治区党委常委、市委书记崔波为团长的银川市党政代表     

一个基于活体指纹的用户身份认证协议及其形式化分析

基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析.除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证,有效地抵抗重放攻击,保证认证信息的机密性.并且具有良好的执行效率.     

中美能源合作:有利于重塑世界能源秩序

2017年11月美国总统特朗普访华期间,中美签署超过2500亿美元的商贸合同和双向投资协议,其中能源阱议金额占半壁江山,显示中美能源关系正在扩展与深化,逐渐由过去的“竞争为主、合作为辅”转变为“合作为主、竞争为辅”。     

基于同步变距的输变电线路在线监测WSN路由协议研究

基于先进传感、信息通信的输变电设备运行状态在线监测技术已成为电力系统的发展趋势.输电线路状态在线监测网络具有链状、数据传输量大和传输距离长等特点,能量热区问题显著.为均衡输电线路在线监测中无线传感器网络的能量消耗,提出了一种基于同步变距的全局能量均衡路由算法EBRA-SVD.采取多个子网络方式,缩短数据传输距离,从而缓解长距多径损耗而产生的"能量热区"问题.仿真显示,EBRA-SVD可有效均衡网络能耗,提升网络寿命.     

安全协议抗DoS攻击的形式化分析研究

随着拒绝服务攻击给协议的可用性带来的危害越来越大,需要行之有效的方法对安全协议的抗DoS性进行分析.但是目前对安全协议的抗DoS性进行分析的方法模型都存在一些缺陷,有的只能分析部分的DoS攻击,有的只关注协议各方计算资源的消耗,而忽略了存储资源消耗.针对以上不足,本文对基本的串空间模型进行扩展,引入消息相关度集合和代价函数,提出了一种分析安全协议抗DoS性的新方法,并利用该方法,对JFK协议的抗DoS性进行了详细分析.     

海南渔民的风帆船航海技术——地方性知识视角下科技史案例研究

海南渔民在帆船时代使用航海罗盘与《更路簿》在南海航行。航海罗盘及针路体现了丰富的中国传统文化知识和中国古代特有的方位指示方法。在长期的航海实践中,海南渔民根据自己的实践经验精细地测定并记载了南海各岛礁之间的针路和更数:"更"表示距离,也大致表示时间;"路"是针路,指航行的方向,针路多为对针记法,具体航行时有单针、缝针、线针、三向并用针路等4类操作,为中华民族的海洋文化积累了弥足珍贵的经验性、地方性知识。     

一类型超欧拉有向图

如果一个有向图D包含一个生成欧拉子有向图,那么称D是超欧拉图.Alsatami等人定义了两个有向图的2-和,并且给了两个有向图的2-和是超欧拉图的充分条件.论文将2-和的概念推广到了l-路和,同时给出了一些两个有向图的l-路和是超欧拉图的充分条件.     

人工全髋关节置换术研究现状与展望

人工全髋关节置换术(Total hip arthroplasty THA)是治疗终末期髋关节疾病的快速恢复髋关节功能的有效方法之一,现就人工全髋关节置换术中假体的材料应用与界面配伍、微创手术入路选择、数字骨科发展对THA的意义、手机APP在康复指导和追踪随访中的应用等几方面进行综述.