一种基于RSL的协议形式化描述技术的研究

This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of protocolsbased on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal de-scription based on RSL is given.

基于CSP和RSL的协议形式化描述技术研究

协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具.

基于形式化描述和模板对数据帧解析技术的研究

近年来,国内各种形式的水文通信规约标准纷纷出台,加快了水文行业智能化、信息化的进程,伴随着数据采集设备数量的逐年增加,数据的采集来源也更加多样化,目前尚未形成统一的标准。传统的处理方法,找到数据来源,对其所使用的通信规约编写相应的解析代码,这样做不仅代码工作量大、编程中极易出错、系统后期维护也比较困难,而且在针对其他规约进行数据采集时缺乏灵活性、拓展性与普适性。数据采集的根本是对数据帧的解析与处理,本文针对以上问题,提出了一种基于形式化描述和模板的解析方法,通过对主流的各类水文规约数据帧进行分析与研究,建立一种通用的规约解析系统,进而实现数据的解析与采集。本文依托江苏省东海县沭新灌区续建配套与节水改造项目信息化工程,结合上述提出的解析思想,设计出一种基于形式化描述与模板的规约解析系统,来完成对数据帧的解析工作,并在该系统上验证上述提出的规约解析方法的可行性。通过实验取得了一定的成果,验证了本文提出的思想具有可行性。

通信顺序进程的扩充及其在协议形式化技术中的应用

讨论了为进行协议形式化描述而进行的CSP扩充问题。向CSP中引入了可终止进程的概念,并给出了可终止进程的判定方法;针对CSP只能进行同步通信描述的缺陷,提出了用CSP来描述异步通信的手段;最后给出了AB协议的CSP描述,并在此基础上初步讨论了协议规范的正确性及测试用例的生成。

形式描述技术在通信协议安全分析中的应用

讨论在通信协议安全分析中形式描述技术的使用方法。重点研究在协议模型的基础上建立层次化的协议攻击行为模型的方法,对所建模型进行形式化验证和脆弱性分析,根据验证和分析结果提出防护措施,设计安全方案。给出Petri网建模实例,提出形式描述技术在通信协议安全分析中的一些其他应用。

藏文字结构自动识别与形式化描述研究

本文提出了藏文字组合的规则和藏文字的语法分析相结合的藏文字自动分解算法和藏文字组成结构用形式化描述，通过研究藏文字的构件规则，得到藏文字的结构特征，而进一步对藏文字的字母组合进行分段处理，简化藏文字构件复杂度，研究出各分段部分的藏文字的构件规则，并且按照规则进行藏文字数的统计。实验表明，系统对现代藏文字能有效地自动识别分解。一、引言在信息时代，信息技术发展水平成为衡量一个国家、一个地区或一个民族科学技术发展水平的重要标志。而文字的信息处理则是信息技术的重要组成部分，藏文信息处理技术语言也在进一步发展。

铁路信号联锁逻辑形式化描述的研究

同济大学和兖州矿业（集团）公司东滩煤矿在以HCPN为基础进行形式化描述的同时,引入UML建模技术的部分概念和方法,使其融入HCPN建模技术中,从而能更好地对铁路信号联锁逻辑进行更深层次的描述。

基于Petri网的铁路信号联锁逻辑形式化描述的研究

在层次化有色Petri网的基础上,引入了UML建模技术的类图的概念和方法,提出了一种针对联锁逻辑Petri网的建模方法,并以铁路车站设备的HCPN模型为前提,介绍了铁路联锁逻辑层的形式化描述方法。

用于通信网络协议开发的形式化方法

阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议。介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法,即SDL、ESTELLE、Petri网、LOTOS,并给出了对这些形式化方法的分析和评价。

FDT技术及其应用

FDT(FieldDeviceTool)是现场设备集成的新技术,人们利用它可以方便地把现场设备集成到控制系统中并实现设备的互操作,在一种集成的平台下对智能设备进行调试、组态、诊断和统一的管理。详细地介绍了FDT的原理和整体的框架结构,并分析FDT技术的应用及其发展的前景。

用于通信网络协议开发的形式化方法

随着形式化方法和技术日趋完善,网络协议开发也逐渐向形式化描述方法过渡和发展,并逐渐渗透到网络协议分析、综合及测试的各个环节中,形成应用于各个环节的软件工程方法。本文通过对通信网络协议的要素进行分析,并对网络协议形式化方法、形式化模型及描述进行阐述,在此基础上对通信网络协议的形式化方法进行了探究,并给出了一些自己的看法和建议。

SDL-2000的形式语义研究

介绍了 SDL - 2 0 0 0形式语义的理论基础抽象状态机 (ASM) ,深入分析了 SDL - 2 0 0 0形式语义 ,其中静态语义使用一阶谓词演算定义 ,动态语义使用多代理的分布式

基于运动生物力学的舞蹈动作分析与描述方法

基于计算机视觉的人体运动捕捉技术为舞蹈动作的形式化与数字化描述提供了新思路。本文结合运动捕捉技术,设计了一种新的舞蹈动作的形式化描述语言。首先,以三维人体骨骼层次结构为描述对象,基于运动分析方法解析舞蹈动作捕捉数据,建立人体舞蹈动作描述模型;其次,利用拉班运动分析技术方法描述舞蹈动作,并进一步从时间、空间、重力和流畅度4种力效角度提取舞蹈动作肢体姿态特征,以实现对舞蹈动作形式化描述语言的定义;最后,开发了一种舞蹈动作分析与描述系统,为保护和传承民族舞蹈提供有效手段。

FDT助力中国自动化用户——访FDT(中国)协会主席邱唯力先生

物随着自动化技术的发展,现场的自动化设备越来越纷繁复杂,如何有效地管理这些现场设备,FDT技术提供了很好的解决方案——它是一种统一开放的设备描述工具,可以解决不同厂商、不同通信协议、不同类型的现场设备的集成问题。对于这一新技术,本刊通过中国FDT协会(CFA)各会员单位,重新完整地介绍其技术、标准、应用等相关文章,继续"FDT在中国"之行。

计算机网络通信协议的一种形式化描述技术

针对目前绝大多数形式化描述技术在处理协议的活性等方面存在的不足，提出一种新的基于公平性假设的时态逻辑技术描述协议，并给出ＡＢ协议的形式化描述实例。

计算科学的新领域:DNA计算(Ⅰ)

DNA 计算是应用分子生物技术进行计算的新方法。从理论上研究 DNA 计算方法,有利于推动理论计算科学的发展。本系列文章应用形式语言及自动机理论技术,系统地探讨了 DNA 分子的可计算性及其计算能力。本文主要介绍常用 DNA 分子操作方法,并根据 DNA 分子的结构及特点,给出了 DNA 分子的形式化描述。

基于受限领域本体的中文问句分析

基于受限领域本体的中文问句的研究方法多数都是将构建的领域本体作为存储知识的知识库,针对问句进行语法、语义相似度的计算或者将它与句型模板进行匹配,再利用本体的查询和推理规则来反馈答案。但上述方法对问句自身语义的处理以及本体查询的精度存在缺陷。为了克服上述不足,侧重用汉语中词的词性和中词来增强问句的结构描述,采用基于形式化的语义框架来刻画问句的语义,并在Jena技术的基础上进行了二次开发。通过分析网络本体语言(OWL)文件中关于本体的属性和等价类的表达规律,将知识的外延与内涵完整地反馈给用户。实验表明,该方法在受限领域本体的问句测试中返回的结果更为精确、合理,扩展性强且无需高成本的语料进行模型的训练,可以有效地应用于网络教学等领域。

计算机解决问题的过程——“智能晾衣架”项目设计

项目设计依据《普通高中信息技术课程标准(2017年版)》中提出的学科核心素养之一是“计算思维”,强调个人运用计算机科学领域的思想方法,在形成问题解决方案的过程中产生的一系列思维活动。本案例基于教育科学出版社教材《信息技术必修1:数据与计算》第2单元编程计算第1节内容,围绕“算法”概念展开,将对问题抽象或形式化描述作为算法基础.

基于FDT技术的无线通信协议实现方法

利用形式化描述技术FDT(FormalDescriptionTechnique),可以进行高效、可靠的通信协议与系统开发。以220B协议为例,介绍了MSC、SDL、TTCN等形式化描述语言对通信协议进行描述、分析、仿真、实现的过程;最后说明了如何将整个协议栈在硬件平台上进行实现。

基于云服务的卫星通信应用体系建设构思

随着信息技术、网络技术及计算机信息处理技术的快速发展,云服务概念被提出。云服务以其独特的服务优势,逐渐被业界所认同,并不断被应用到信息化建设各个方面。为了提高卫星通信应用领域的技术水平,增强智能化功能,笔者提出了一种基于云服务的卫星通信应用体系,给出了系统的架构设计,并对架构中的各个单元进行了详细的功能描述和内容设计。在系统设计中,应用了形式化定义技术,提高了笔者提出的方法的适用性。