楼宇自动控制网络通信协议BACnet实现模型的研究 被引量：15

1

作者 董春桥 刘贤德 惠晓实 《计算机工程与应用》 CSCD 北大核心 2003年第5期172-174,共3页

BACnet是开放的楼宇设备自动控制网络数据通信协议,研究并开发具有自主版权的BACnet协议软件是有重大意义的。该文分析了BACnet的体系结构及其隐含的互操作模式,提出了实现BACnet协议的系统模型,讨论了该模型的特点和实现过程。最后用... BACnet是开放的楼宇设备自动控制网络数据通信协议,研究并开发具有自主版权的BACnet协议软件是有重大意义的。该文分析了BACnet的体系结构及其隐含的互操作模式,提出了实现BACnet协议的系统模型,讨论了该模型的特点和实现过程。最后用实例证明了该实现模型的可行性。 展开更多

关键词 楼宇自动控制 网络通信协议 bacnet 智能建筑 互操作模式 实现模型

在线阅读 下载PDF 职称材料

BACnet网络互操作模型及其应用研究 被引量：2

2

作者 付保川 奚雪峰 +1 位作者 王中杰 许维胜 《制造业自动化》 北大核心 2008年第11期31-34,85,共5页

文章从企业综合自动化系统对Infranet的基本要求出发,简述了BACnet协议的特点。通过对BACnet协议的体系结构、服务描述方法以及互操作机制等的详细讨论,总结归纳出BACnet实现互操作的3种模型:R/W模型、BIBB模型、集成化的BIBB模型。在... 文章从企业综合自动化系统对Infranet的基本要求出发,简述了BACnet协议的特点。通过对BACnet协议的体系结构、服务描述方法以及互操作机制等的详细讨论,总结归纳出BACnet实现互操作的3种模型:R/W模型、BIBB模型、集成化的BIBB模型。在此基础上,针对互操作模型在实际应用中遇到的问题进行讨论,最终给出基于BACnet网络构建Infranet的具体思路和方法。 展开更多

关键词 INFRANET bacnet协议 BIBB 互操作模型

在线阅读 下载PDF 职称材料

BACnet的体系结构 被引量：1

3

作者 王中明 《江汉大学学报（社会科学版）》 2002年第4期33-36,共4页

BACnet协议于1995年由美国采暖、制冷和空调工程师协会制定并成为美国国家标准.此协议规范了楼宇自动控制系统实现互操作的方法,已成为楼字设备通信的标准.本文概述了BACnet协议产生的原因和协议模型,介绍了BACnet网络的体系结构及应用... BACnet协议于1995年由美国采暖、制冷和空调工程师协会制定并成为美国国家标准.此协议规范了楼宇自动控制系统实现互操作的方法,已成为楼字设备通信的标准.本文概述了BACnet协议产生的原因和协议模型,介绍了BACnet网络的体系结构及应用层、网络层、数据链路层、物理层的功能,分析了BACnet与OSI模型的区别与联系. 展开更多

关键词 bacnet协议 体系结构 OSI模型 楼宇自动控制系统 通信协议 数据通信标准

在线阅读 下载PDF 职称材料

BACnet网络拥塞控制机制分析与建模

4

作者 付保川 许维胜 +2 位作者 奚雪峰 王中杰 刘文亮 《苏州科技学院学报（工程技术版）》 CAS 2007年第4期52-57,62,共7页

首先介绍了网络拥塞及拥塞控制的基本概念,然后通过分析BACnet协议的特点和网络层报文的处理过程,阐述了BACnet网络拥塞控制机制的工作机理。在此基础上,分别建立了基于概率丢失和基于优先级的网络拥塞控制模型,从而为进一步改善BACnet... 首先介绍了网络拥塞及拥塞控制的基本概念,然后通过分析BACnet协议的特点和网络层报文的处理过程,阐述了BACnet网络拥塞控制机制的工作机理。在此基础上,分别建立了基于概率丢失和基于优先级的网络拥塞控制模型,从而为进一步改善BACnet网络的性能提供了新的思路和方法。 展开更多

关键词 bacnet协议 网络控制系统 拥塞控制模型

在线阅读 下载PDF 职称材料

BACnet国际标准及发展方向

5

作者 董春桥 聂佳 《智能建筑》 2005年第8期27-29,共3页

针对BACnet国际标准(ISO 16484-5)在我国研究和应用的不断深入和广泛,对BACnet标准的基本原理、扩展机制和技术特点进行了分析、讨论了BACnet标准的发展动向,并对最新增补的Web Services内容进行了介绍和分析。

关键词 bacnet标准 国际标准 信息模型 网络技术 网络设施

原文传递

IEC 61850在智能水电厂建设中的应用研究

6

作者 唐雄 《电力系统装备》 2025年第11期124-126,共3页

IEC 61850作为电力系统通信领域的国际标准,凭借其开放性、互操作性和可扩展性,为智能水电厂建设提供了关键技术支撑。文章从IEC 61850标准的核心特征出发,结合智能水电厂建设需求,系统分析了该标准在设备建模、通信协议、系统集成及安... IEC 61850作为电力系统通信领域的国际标准,凭借其开放性、互操作性和可扩展性,为智能水电厂建设提供了关键技术支撑。文章从IEC 61850标准的核心特征出发,结合智能水电厂建设需求,系统分析了该标准在设备建模、通信协议、系统集成及安全防护方面的应用价值,并通过大渡河沙坪二级电站等典型案例验证了其技术可行性。研究表明,IEC 61850可显著提升水电厂自动化水平、运行效率及安全性,为行业数字化转型提供了标准化解决方案。 展开更多

关键词 IEC 61850 智能水电厂 设备建模 通信协议 互操作性

在线阅读 下载PDF 职称材料

密码协议代码执行的安全验证分析综述 被引量：9

7

作者 张焕国 吴福生 +1 位作者 王后珍 王张宜 《计算机学报》 EI CSCD 北大核心 2018年第2期288-308,共21页

密码协议安全验证分析是信息安全重点研究之一.常用的密码协议安全分析(例如,形式化分析、计算模型分析、计算可靠的形式化分析)只能从理论上验证或证明密码协议的安全,无法确保密码协议代码实际执行的安全.只有当密码协议在代码执行时... 密码协议安全验证分析是信息安全重点研究之一.常用的密码协议安全分析(例如,形式化分析、计算模型分析、计算可靠的形式化分析)只能从理论上验证或证明密码协议的安全,无法确保密码协议代码实际执行的安全.只有当密码协议在代码执行时被验证或证明安全,才能保障密码协议在实现中是安全的.因此,代码级的密码协议安全验证分析是值得关注的方向.文中分别从自动模型提取、代码自动生成、操作语义及程序精化4个方面,综述代码级的密码协议安全验证分析,并对当前代码级的密码协议安全验证分析领域中的最新成果进行详细比较、分析、总结和评论.文中以常用程序语言(C、Java、F#等)编写的密码协议为例,重点阐述密码协议代码执行的安全验证分析,并展望代码级的密码协议安全验证分析的研究方向. 展开更多

关键词 密码协议 模型 代码 执行 安全验证

在线阅读 下载PDF 职称材料

一种互操作测试的建模及测试选择方法 被引量：3

8

作者 李华 叶新铭 +2 位作者 吴承勇 王龙 王玲玲 《计算机研究与发展》 EI CSCD 北大核心 2009年第6期913-919,共7页

互操作性测试可以对设备互连互通互操作提供根本保证,一致性测试与互操作性测试既有相交的部分又各有不同.互操作性测试包括两个被测实现,其中一方有时称为QE(qualified equipment).根据被测的规范说明的不确定有限状态机模型和当前已... 互操作性测试可以对设备互连互通互操作提供根本保证,一致性测试与互操作性测试既有相交的部分又各有不同.互操作性测试包括两个被测实现,其中一方有时称为QE(qualified equipment).根据被测的规范说明的不确定有限状态机模型和当前已有的互操作性测试经验构建概率不确定有限状态机,有效地刻画当前的互操作性测试状况.基于该模型采用宽度优先算法以及一定的策略生成包含所有状态的二叉树,然后基于得到的二叉树给出了包含不确定状态的互操作性测试序列的选择算法,通过示例展示了提出的算法的有效性,并以RIP协议的计数到无穷为例展示了提出的建模方法的应用.最后给出了结论以及下一步的研究工作. 展开更多

关键词 建模 互操作性 测试序列 不确定性 协议 被测实现

在线阅读 下载PDF 职称材料

集中抄表装置及其通信系统的研究 被引量：9

9

作者 吴在军 王峥 胡敏强 《电网技术》 EI CSCD 北大核心 2002年第2期44-48,共5页

针对电能量采集及计费自动化系统对集中抄表装置的功能要求 ,以及开放系统互操作性的要求 ,对集中抄表装置的软硬件实现和通信系统的协议模型进行了详细研究。在此基础上 ,提出了一种适用于变电站的电能量自动采集系统解决方案 ,比较好... 针对电能量采集及计费自动化系统对集中抄表装置的功能要求 ,以及开放系统互操作性的要求 ,对集中抄表装置的软硬件实现和通信系统的协议模型进行了详细研究。在此基础上 ,提出了一种适用于变电站的电能量自动采集系统解决方案 ,比较好的实现了电力运行管理部门对所辖用户分时段电能、总电能的实时计量和复费率电费核算 。 展开更多

关键词 电能表 集中抄表装置 通信系统 电力系统

在线阅读 下载PDF 职称材料

一类基于事件/动作的传感器网络通讯协议设计与实现 被引量：3

10

作者 琚春华 邢建国 +3 位作者 赵文敏 袁鑫 朱微微 黄菁 《传感技术学报》 CAS CSCD 北大核心 2007年第12期2640-2646,共7页

本文针对工业过程中的现场监控设备特点,提出了一种轻量级的传感器网络协议.该协议在链路层中通过引入异步事件及主/从通信等模式,提高了实时事件响应性能;同时采用事件/动作模型,提供了一种独立于开发者和使用者、又具备扩展性的应用... 本文针对工业过程中的现场监控设备特点,提出了一种轻量级的传感器网络协议.该协议在链路层中通过引入异步事件及主/从通信等模式,提高了实时事件响应性能;同时采用事件/动作模型,提供了一种独立于开发者和使用者、又具备扩展性的应用层协议.本文还给出了链路层协议的FPGA参考实现、应用层协议的参考实现及应用实例. 展开更多

关键词 传感器网络 通信协议 事件/动作模型 FPGA实现

在线阅读 下载PDF 职称材料

路由协议测试的窗口黑盒模型和多通道的测试方法 被引量：3

11

作者 赵邑新 韩博 +1 位作者 尹霞 吴建平 《计算机研究与发展》 EI CSCD 北大核心 2001年第12期1446-1453,共8页

路由协议测试中的效率和覆盖率亟待提高 .原有通信协议测试理论将被测实现作为黑盒 ,使得大量可增强控制观察能力的手段无法利用 .因此在路由协议测试中以窗口黑盒模型描述被测实现 ,在测试结构上实现了多通道测试方法 ,提高了测试效率... 路由协议测试中的效率和覆盖率亟待提高 .原有通信协议测试理论将被测实现作为黑盒 ,使得大量可增强控制观察能力的手段无法利用 .因此在路由协议测试中以窗口黑盒模型描述被测实现 ,在测试结构上实现了多通道测试方法 ,提高了测试效率和测试覆盖率 .通过与被测模块交互的其它模块 ,增强了测试的控制观察能力 ,测试例的执行时间相比原有方式下降 5 0 % ;消除或减小了以往不能测试的范围和内容 ,相应测试例个数增加 3倍以上 ; 展开更多

关键词 路由协议测试 测试方法 窗口黑盒模型 通信协议

在线阅读 下载PDF 职称材料

安全协议实施安全性分析综述 被引量：4

12

作者 孟博 鲁金钿 +1 位作者 王德军 何旭东 《山东大学学报（理学版）》 CAS CSCD 北大核心 2018年第1期1-18,共18页

安全协议是网络空间安全的重要组成部分,安全协议实施是安全协议的最终表现形式。介绍了安全协议实施安全性分析的意义,分别按照三个前提条件:能够获取安全协议客户端实施和安全协议服务器端实施、仅能够获取安全协议客户端实施、不能... 安全协议是网络空间安全的重要组成部分,安全协议实施是安全协议的最终表现形式。介绍了安全协议实施安全性分析的意义,分别按照三个前提条件:能够获取安全协议客户端实施和安全协议服务器端实施、仅能够获取安全协议客户端实施、不能获取安全协议客户端与安全协议服务器端实施,并依据安全协议实施安全性分析采用的主要分析方法——程序验证、模型抽取、网络轨迹、指令分析等,对相关研究成果进行归类、分析、比较、总结和讨论。对未来安全协议实施安全性分析的研究方向进行了展望。 展开更多

关键词 网络空间安全 安全协议实施 程序验证 模型抽取 网络轨迹 指令分析

原文传递

一种基于对象序列图的组件交互协议设计方法 被引量：2

13

作者 魏峻 王栩 李京 《软件学报》 EI CSCD 北大核心 2001年第7期996-1006,共11页

基于组件的软件开发 (component basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一 ,其关心的核心问题是组件标准化与组件间的互操作性 .它在互操作方面被广泛采用的思想是 ,分离组件的功能与交互特征 ,使用独立部件... 基于组件的软件开发 (component basedsoftwaredevelopment,简称CBSD)现已成为软件开发的主流范型之一 ,其关心的核心问题是组件标准化与组件间的互操作性 .它在互操作方面被广泛采用的思想是 ,分离组件的功能与交互特征 ,使用独立部件 交互协议来协调组件之间的交互 .基于这种思想 ,探讨运用UML(unifiedmodel inglanguage)的对象序列图 (objectsequencediagram ,简称OSD)方法进行组件交互协议设计的多个方面的研究 ,其中包括OSD规范的形式定义以及规范的静态和动态形式分析方法 。 展开更多

关键词 对象序列图 组件 互操作 交互协议 软件开发

在线阅读 下载PDF 职称材料

C-BML关键问题研究进展 被引量：6

14

作者 黄红兵 李贤玉 王学宁 《指挥与控制学报》 2015年第3期241-253,共13页

联盟作战管理语言(Coalition Battle Management Language,C-BML)是一种在参与联合作战的指挥控制系统、建模仿真系统、自主机器系统之间表达和交换作战计划、命令、请示、报告等的标准化语言,其目的是为这些系统之间的标准化信息交换... 联盟作战管理语言(Coalition Battle Management Language,C-BML)是一种在参与联合作战的指挥控制系统、建模仿真系统、自主机器系统之间表达和交换作战计划、命令、请示、报告等的标准化语言,其目的是为这些系统之间的标准化信息交换提供支持,提高联合作战中各项行动的效率,包括训练、计划和任务执行.在概述C-BML的地位、作用和发展概况后,首先介绍了C-BML的概念和基本结构;然后鉴于C-BML第一阶段标准开发的经验和教训,探讨了C-BML发展路径与开发方法问题;在此基础上,从数据模型、语法、本体、交互协议、服务等方面,分析了C-BML的关键技术问题;最后,总结C-BML的发展和影响,旨在为我军作战管理语言的构建提供方法和技术上的启发和借鉴. 展开更多

关键词 联盟作战管理语言 互操作 联合磋商指挥控制信息交换数据模型 语法 本体 交互协议

在线阅读 下载PDF 职称材料

基于计算模型的安全协议Swift语言实施安全性分析 被引量：1

15

作者 孟博 何旭东 +2 位作者 张金丽 尧利利 鲁金钿 《通信学报》 EI CSCD 北大核心 2018年第9期178-190,共13页

分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包... 分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包含SubSwift语言的语句、类型到Blanchet演算的语句及类型的映射关系与规则;再次根据Sub Swift语言到Blanchet演算的映射模型,提出从安全协议Sub Swift语言实施生成安全协议Blanchet演算实施方法;最后应用Antrl4工具和Java语言开发安全协议Blanchet演算实施生成工具SubSwift2CV,分析OpenID Connect协议、Oauth2.0协议和TLS协议的SubSwift语言实施安全性。 展开更多

关键词 安全协议 实施安全性 Swift语言 形式化分析 模型抽取

在线阅读 下载PDF 职称材料

企业即时消息系统服务器设计与实现 被引量：2

16

作者 祁玉 张新有 《微计算机信息》 北大核心 2008年第30期17-19,共3页

即时消息已成为Internet上日渐流行的通信技术。本文借鉴当前主流的即时通信商业软件,采用JavaNio多线程无阻塞技术,提出针对企业特点的即时消息系统模型,讨论了所用的通信协议、协议格式及相关的数据库设计。最后详细介绍了消息系统服... 即时消息已成为Internet上日渐流行的通信技术。本文借鉴当前主流的即时通信商业软件,采用JavaNio多线程无阻塞技术,提出针对企业特点的即时消息系统模型,讨论了所用的通信协议、协议格式及相关的数据库设计。最后详细介绍了消息系统服务器在消息分发和状态感知两个环节上的设计与具体实现。该系统具有可管理性好、运行效率高的特点。 展开更多

关键词 即时消息 模型 协议 实现

在线阅读 下载PDF 职称材料

基于Java及PS/2协议的数控仿真平台 被引量：1

17

作者 唐晓刚 王孙安 《计算机仿真》 CSCD 2005年第11期256-258,共3页

数控加工技术是机械类工科大学生必备的专业技能之一,但由于资源的缺乏及安全的考虑,受培训者实际动手操作的机会有限,教学效果不佳。数控仿真很好地解决了上述问题。文中以数控车床为主要研究对象,给出了切削加工的简单运动学模型和力... 数控加工技术是机械类工科大学生必备的专业技能之一,但由于资源的缺乏及安全的考虑,受培训者实际动手操作的机会有限,教学效果不佳。数控仿真很好地解决了上述问题。文中以数控车床为主要研究对象,给出了切削加工的简单运动学模型和力学模型及Java语言的程序实现,取得了具有真实感的仿真效果。同时基于PS/2协议开发了数控车床的仿真面板,并实现仿真程序与仿真面板的连接。开发出跨平台(cross platform)、即插即用(plug and play)具有真实感的数控车床仿真教学平台。 展开更多

关键词 数控仿真 数学模型 标准协议 实现

在线阅读 下载PDF 职称材料

具有互操作性的新一代电能表通信协议标准 被引量：4

18

作者 宋晓林 刘君华 +1 位作者 刘守谦 杨晓西 《电力系统通信》 2004年第4期38-42,52,共6页

为方便电能量计量计费系统集成、维护及保护投资,需要实现电能表通信的互操作性,而其关键在于制定具有互操作性的电能表通信协议标准。为此DLMS用户协会基于面向对象技术提出了一种新的电能表通信协议DLMS COSEM,它是目前唯一适用于不... 为方便电能量计量计费系统集成、维护及保护投资,需要实现电能表通信的互操作性,而其关键在于制定具有互操作性的电能表通信协议标准。为此DLMS用户协会基于面向对象技术提出了一种新的电能表通信协议DLMS COSEM,它是目前唯一适用于不同的制造厂家、仪表型号、通信信道并能满足电能表全部应用的具有互操作性的通信协议,该协议已经由国际电工委员会采纳作为IEC62056国际标准,所有厂家只有共同遵循DLMS COSEM,才能最终实现电能表通信的互操作性。文中介绍了其概念、体系结构、实现互操作性的关键技术、一致性测试认证以及与其他通信协议的区别,并给出了应用实例。 展开更多

关键词 电能表 通信协议标准 互操作性 计费系统 智能电能表 数据通信 电能计量

在线阅读 下载PDF 职称材料

自治Agents的面向服务的协商模型 被引量：5

19

作者 刘欣 高济 《计算机工程》 CAS CSCD 北大核心 2003年第18期114-116,共3页

提出了一个基于自治Agents的面向服务的协商模型。模型主要包括两大模块：首先定义了一系列的战略和战术过程，使得Agents可以产生初始建议，评价对方的建议，以及在此基础上做出反建议；其次，定义了两个层次的Agent通信机制。二者相... 提出了一个基于自治Agents的面向服务的协商模型。模型主要包括两大模块：首先定义了一系列的战略和战术过程，使得Agents可以产生初始建议，评价对方的建议，以及在此基础上做出反建议；其次，定义了两个层次的Agent通信机制。二者相辅相成，实现了Agents间合作的动态形成和随机协调，使得Agents可以承担因环境的不确定性而需动态协作的复杂任务。 展开更多

关键词 协商协议 协商对象 推理模型 语义互操作 自治AGENT

在线阅读 下载PDF 职称材料

RSVP-TE协议性能测试框架的研究与实现 被引量：4

20

作者 潘兴亚 孙卫强 《光通信技术》 CSCD 北大核心 2014年第1期57-59,共3页

构建了RSVP-TE协议测试系统模型,搭建了一个具有良好扩展性和复用性的测试框架,并通过优化多线程和有限状态机有效地改善了框架的时间性能。在对模型进行实例化的同时完成了核心部分代码架构,为系统实现提供了技术基础和保证。

关键词 RSVP—TE 系统模型 测试框架 系统实现

在线阅读 下载PDF 职称材料