论文部分内容阅读
火灾自动报警系统数据输出通信协议的理解和实现直接影响到通讯双方的兼容性。本文结合协议的应用环境和功能需求，利用形式化分析方法对协议进行剖析，给出协议的Petri网模型，将标准中隐含的、影响兼容性的要求明确化，探讨该协议的网络化应用应该注意的问题。
火灾报警系统数据输出协议的形式化分析
【摘 要】
：
火灾自动报警系统数据输出通信协议的理解和实现直接影响到通讯双方的兼容性。本文结合协议的应用环境和功能需求，利用形式化分析方法对协议进行剖析，给出协议的Petri网模型，将
【机 构】
：
公安部沈阳消防研究所
【出 处】
：
计算机系统应用
【发表日期】
：
2014年11期
其他文献
在管理信息系统中，将报表导出到Excel是一个常见的功能．通过分析报表的常见组成结构，设计了一个动态模板，并基于该模板利用JavaExcelAPI将数据写入Excel文件，实现复杂报表的导出．
应用公理设计原理设计车用散热器时，耦合功能的存在是一个普遍问题。国内外学者提出使用人工免疫方法求解耦合功能集。针对这些算法在度量抗体优异性时存在的不足，提出了新的度
在Web应用系统中经常在页面中浏览大量的数据，在系统的开发过程中必然要遇到数据分页的问题，ASP.NET提供了多种数据分页处理方式，但在技术上都是采用同步传输方式，这种方式在提取
Crowdsourcing是作为一种新的商业模式发展起来的，随着社交网络、移动互联网的发展，已经发展成为一种新的信息交互方式，推动了新的网络信息生产与交流模式的产生．在近年来的全球
针对不带汉字字库的点阵液晶模块显示原理的研究,基于瑞萨78K0R/KG3 16位微控制器和128＊64液晶显示模块的特点,采用汉字取模软件取模实现汉字和点阵图形的混合显示.
基于高斯核的支持向量机应用很广泛，高斯核参数σ的选择对分类器性能影响很大，本文提出了从核函数性质和几何距离角度来选择参数σ，并且利用高斯函数的麦克劳林展开解决了参数σ
随着计算机信息技术的发展，中医药行业大量的文献资料和数据库资源需要共享到Internet网上，以方便专业人十进行查询搜索，独特的中医药行业搜索引擎就是顺应这个需求而开发的．文章
以四川交通职业技术学院为例，主要讨论了高职院校信息化现状、建设数据仓库的基本策略、确定数据仓库的主题、数据仓库的粒度、选择数据仓库模型等．基于四川交通职业技术学院信