检索结果-内蒙古大学图书馆

作者：徐可杜君姜帆孟伟郭飞王青权段永亮范乃冲 100192 北京市海淀区西小口路66号中关村东升科技园A区3号楼

本申请涉及一致性测试技术领域，实施例提供了一种电力无线传感网络协议一致性测试方法及装置。其中，一种电力无线传感网络协议一致性测试方法包括：向测试平台中的待测传感器发送多参数的配置指令，所述配置指令经若干中继节点到达所... 详细信息

标准号: CN117118878A

本申请涉及一致性测试技术领域，实施例提供了一种电力无线传感网络协议一致性测试方法及装置。其中，一种电力无线传感网络协议一致性测试方法包括：向测试平台中的待测传感器发送多参数的配置指令，所述配置指令经若干中继节点到达所述待测传感器并触发所述待测传感器执行所述多参数对应的多个配置功能；获取所述待测传感器和所述若干中继节点与所述多参数的配置指令相关的日志信息；根据获取的日志信息得到所述配置指令对应的测试结果。本申请提供的实施方式采用多参量融合和多指标互证的协议一致性检测方法，提高了检测效率和测试准确率。

关键词：待测传感器配置指令一致性测试多参数无线传感网络协议日志信息中继节点测试准确率协议一致性测试平台方式采用配置功能多参量多指标检测触发申请发送融合

来源：评论

学校读者我要写书评

暂无评论

一种WiFi承载Modbus的无线传感网络协议构建方法

一种WiFi承载Modbus的无线传感网络协议构建方法

引用

作者：张治忠付彦伟颜佳解勒张鑫瑶 614000 四川省乐山市金口河区滨河路四段1号

一种WiFi承载Modbus的无线传感网络协议构建方法，首先对WiFi的时序进行重新定义，减少消息类型和节点状态，简化无线通信协议流程。其次优化了WiFi的MAC帧格式，分配更多字段给Payload Type，同时将Modbus协议嵌入WiFi协议中，充分扩展... 详细信息

标准号: CN116684502A

一种WiFi承载Modbus的无线传感网络协议构建方法，首先对WiFi的时序进行重新定义，减少消息类型和节点状态，简化无线通信协议流程。其次优化了WiFi的MAC帧格式，分配更多字段给Payload Type，同时将Modbus协议嵌入WiFi协议中，充分扩展WiFi数据帧容量，构建了一个新的涵盖数据链路层和应用层的通信协议。最后在大型水电站对所设计的无线传感网络协议进行了应用测试，测试结果表明分散数据源无线传输能力强、通信可靠性高，根据应用实际情况选择不同的频域有效信道带宽可最大程度满足大型水电站的数据采集和设备监测需求，在出现信道占用的情况下，采取提高TTL延拓设定策略，可以有效减少丢包率，保证数据的完整性。

关键词：无线传感网络协议大型水电站构建无线传输能力无线通信协议数据链路层通信可靠性时序分散数据节点状态设备监测数据采集通信协议消息类型信道占用应用测试有效减少有效信道重新定义丢包率数据帧应用层频域延拓字段嵌入带宽承载涵盖分配应用优化保证

来源：评论

学校读者我要写书评

暂无评论

基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析

引用

中国科学：信息科学 2013年第1期43卷 90-107页

作者：张凤玲卜磊王林章赵建华李宣东南京大学计算机软件新技术国家重点实验室

近年来,传感器技术得到了长足而有效的提升,无线传感网络(WSN)以其开放、动态的特征获得了极大的关注,并成为了互联网计算的一个重要组成.WSN系统行为复杂,经常面临信息丢失、节点动态变化等不确定因素,且网络中的节点一旦部署将很难更... 详细信息

近年来,传感器技术得到了长足而有效的提升,无线传感网络(WSN)以其开放、动态的特征获得了极大的关注,并成为了互联网计算的一个重要组成.WSN系统行为复杂,经常面临信息丢失、节点动态变化等不确定因素,且网络中的节点一旦部署将很难更改、维护.因此,为了保证相关应用的正常工作,在系统设计阶段对WSN中的底层协议进行质量保障就成为了一项非常重要的研究问题.系统设计人员不仅需要保证协议功能上的正确性,还应该评估协议在目标工作环境下的性能,以保证其可以胜任相应的工作需求.针对以上问题,本文提出了一种基于随机时间自动机和统计模型检验技术的WSN协议建模、分析和评估途径.在建模阶段,首先将采用时间自动机对协议在理想环境下的基本业务流程进行建模.考虑到WSN系统实际工作中会遇到的各种不确定性因素,将用带权分枝来对模型进行扩展,生成协议的随机时间自动机.在验证阶段,首先采用经典模型检验技术,在理想时间自动机上检验相关功能性质,保证协议工作逻辑的正确性.为评估协议在不同条件下的具体性能,则在随机时间自动机上用统计模型检验技术对其进行数值分析,以进行参数配置、性能预测、协议比较等工作.为展示该途径的可用性及其技术细节,本文对两种著名的WSN时间同步协议,TPSN和FTSP分别进行了完整的建模与评估.

关键词：无线传感网络协议时间自动机随机时间自动机模型检验基于统计的模型检验

来源：评论

学校读者我要写书评

暂无评论

基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析

基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与...

引用

作者：张凤玲南京大学

学位级别：硕士

近年来,传感器技术得到了长足而有效的提升,无线传感网络(Wireless Sensor Network, WSN)以其开放、动态的特征获得了极大的关注,并成为了互联网计算的一个重要组成。WSN系统行为复杂,经常面临信息丢失、结点动态变化等不确定因素,且网... 详细信息

近年来,传感器技术得到了长足而有效的提升,无线传感网络(Wireless Sensor Network, WSN)以其开放、动态的特征获得了极大的关注,并成为了互联网计算的一个重要组成。WSN系统行为复杂,经常面临信息丢失、结点动态变化等不确定因素,且网络中的结点一旦部署将很难更改、维护。因此,为了保证相关应用的正常工作,在系统设计阶段对WSN中的相关协议进行质量保障就成为了一项非常重要的研究问题。系统设计人员不仅需要保证协议功能上的正确性,还应该评估协议在目标工作环境下的性能,以保证其可以胜任相应的工作需求。与仿真和测试相比,形式化分析能够给出对系统相关性质的确定性验证结果。因此,无线传感网络协议的形式化分析是一个重要研究方向。目前,使用模型检验技术对协议进行正确性验证的相关工作已经展开。然而,现有工作中存在一定问题,如建模方法不统一,建模流程不规范,可验证系统规模与网络实际规模相差较大等。针对相应问题,本文提出了一种基于随机时间自动机和统计模型检验技术的WSN协议建模、分析和评估方法框架。其主要工作包括以下两点： ·建模方面,采用分阶段、自底向上的建模方法。首先根据协议的工作流程建立其理想情况下的时间自动机。为描述现实中广泛存在的信息丢失和结点失效等不确定性行为,用随机带权迁移扩展相关时间自动机,得到协议的随机时间自动机模型。 ·分析和验证阶段,首先用模型检验技术在理想时间自动机上检验协议的功能性性质,以验证其逻辑正确性。然后采用基于统计的模型检验技术在随机时间自动机上对其进行数值分析,以进行性能评估和分析、协议选择与比较等。为展示以上建模与验证方法框架的细节及其有效性,文中对两种著名的WSN时间同步协议TPSN(Timing-sync Protocol for Sensor Networks)和FTSP(Flooding Time Syn-chronization Protocol)分别构建了其时间自动机及随机时间自动机模型。在两种模型的基础上,则使用模型检验技术和基于统计的模型检验技术分别对协议进行了正确性验证和数值分析。使用我们的分析和验证方法可以发现,FTSP协议中存在设计缺陷,在特定情况下协议无法完成网络全局范围的时间同步。而TPSN虽然设计逻辑正确,但是对环境极其敏感,在恶劣环境中无法正常工作。相应发现也有力地说明了本文所提方法的有效性。另一方面,一线协议设计工程师直接对WSN协议进行建模与验证存在一定的难度,需要经过长时间的学习与培训。这也是现阶段相关方法尚未能在相关应用中普及的原因所在。针对相应问题,本文从设计人员所熟悉的程序代码及流程图出发,设计了一种程序员友好的WSN协议描述语言WPDL,使得设计人员可以方便的对相关协议进行描述。在此基础上,我们定义了相应规则并开发了辅助建模工具AMT以支持对协议描述文件进行自动化处理并生成时间自动机模型,从而可直接利用现有时间自动机验证工具进行验证分析。该建模过程与原来的过程相比,复杂度大大降低,减化了建模人员的工作。

关键词：无线传感网络协议时间自动机随机时间自动机模型检验基于统计的模型检验无线传感网络协议描述语言辅助建模工具

来源：评论

学校读者我要写书评

暂无评论

多模收发器布置

多模收发器布置

引用

作者：法比安·里维埃杰罗姆·布里扬塞巴斯蒂安·罗伯特荷兰埃因霍温高科技园区60邮编:5656AG

一种多模收发器布置，其被配置成提供多个无线传感网络协议的信令的发射和接收，所述收发器包括：单个发射路径和多个并行接收路径；所述发射路径包括调制器元件，其被配置成在任一时间根据所述多个无线标准中的特定一个无线标准调制用... 详细信息

标准号: CN107135010B

一种多模收发器布置，其被配置成提供多个无线传感网络协议的信令的发射和接收，所述收发器包括：单个发射路径和多个并行接收路径；所述发射路径包括调制器元件，其被配置成在任一时间根据所述多个无线标准中的特定一个无线标准调制用于发射的信号，以及频率参考元件，其被配置成提供参考频率，以在预定频率下产生用于天线的信令；所述接收路径各自被配置成跨越不同的预定频带接收信令，并且其包括解调器，所述解调器用以提供经解调信号，以供控制器进行处理，所述控制器被配置成向所述发射路径提供信号，并从所述解调器接收信号以用于符号辨识，由此使得所述多模收发器能够与多个无线传感网络同时通信。

关键词：发射路径信令配置多模收发器无线标准控制器解调器无线传感网络协议解调器接收信号无线传感网络调制器元件并行接收参考频率接收路径解调信号频率参考预定频带预定频率发射收发器辨识调制天线通信

来源：评论

学校读者我要写书评

暂无评论

多模收发器布置

多模收发器布置

引用

作者：法比安·里维埃杰罗姆·布里扬塞巴斯蒂安·罗伯特荷兰埃因霍温高科技园区60

标准号: CN107135010A

来源：评论

学校读者我要写书评

暂无评论

一种无线传感器网络的安全性分析方法

一种无线传感器网络的安全性分析方法

引用

作者：李晓红刘云昊郭奇 300072 天津市南开区卫津路92号

本发明公开了一种无线传感器网络的安全性分析方法，步骤一、进行AWN形式化语言扩展设计；步骤二、基于扩展的AWN形式化语言，进行无线传感网络协议(AODV)形式化描述；步骤三、构建并分析无线传感网络AODV协议模型；步骤四、生成攻击者... 详细信息

标准号: CN107124332A

本发明公开了一种无线传感器网络的安全性分析方法，步骤一、进行AWN形式化语言扩展设计；步骤二、基于扩展的AWN形式化语言，进行无线传感网络协议(AODV)形式化描述；步骤三、构建并分析无线传感网络AODV协议模型；步骤四、生成攻击者模型，步骤五、生成对应检测方法，包括基于误用例检测方法与异常检测方法。与现有技术相比，本发明提高了检测效果的通用性，改进了形式化AWN建模语言；给出了一个能够分析协议弱点的方法；自动化地生成针对性强且能耗小的攻击检测方法。

关键词：检测无线传感网络协议无线传感器网络无线传感网络安全性分析形式化描述攻击检测建模语言异常检测语言扩展构建能耗自动化分析攻击语言改进

来源：评论

学校读者我要写书评

暂无评论

基于无线传感网络在生态环境监测的设计及应用

基于无线传感网络在生态环境监测的设计及应用

引用

全国先进制造技术高层论坛暨第十届制造业自动化与信息化技术研讨会

作者：邹成武黄伟江西师范大学计算机信息工程学院

本文采用无线传感网络技术,设计鄱阳湖环境监测平台,实现了水质、大气、土壤、周边环境的监测及预警。本文通过设计无线传感网络节点降低成本,研发一套三次握手通信协议,提高网络生存周期。本文同时也为鄱阳湖生态经济区的建设提供有效... 详细信息

本文采用无线传感网络技术,设计鄱阳湖环境监测平台,实现了水质、大气、土壤、周边环境的监测及预警。本文通过设计无线传感网络节点降低成本,研发一套三次握手通信协议,提高网络生存周期。本文同时也为鄱阳湖生态经济区的建设提供有效的信息化支撑。

关键词：无线传感节点无线传感网络协议环境监测及预警

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：