检索结果-南通市图书馆

计算机工程与应用 1992年第3期28卷 1-17页

作者：李卫国机电部华北计算技术研究所

本文介绍了在开放系统互连(OSI)中广泛使用的信息的抽象表示方法——抽象语法表记法1(ASN.1),给出了该表记法的基本编码规则,以及几种常用的数据类型的编码,并在此基础上针对信报处理系统(MHS)说明该表记法的应用。

关键词：抽象语法表记法信报处理 OSI

在线全文

学校读者我要写书评

暂无评论

快速传送语法的设计与实现

国防科技大学学报 1993年第1期15卷 26-30页

作者：龚正虎国防科技大学电子计算机系

国际标准化组织提出的抽象语法ASN-1和传送语法ASN-BER功能强,通用灵活,但在一般实现中存在编码效率低和开销大的缺点。本文讨论提高编码效率和速度的一般方法,以及描述快速传送语法的设计与实现技术。

关键词：计算机网络抽象语法传送语法

在线全文

学校读者我要写书评

暂无评论

过程蓝图统一元模型语法

计算机工程与设计 2010年第13期31卷 3017-3021页

作者：刘建宾北京信息科技大学计算机学院软件工程系北京100101

为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法... 详细信息

为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法和良构规则进行了定义。结果为过程蓝图语言的结构、建模符号的语法与静态语义以及从内部统一结构到外部视图的导出方法提供规格说明,并为过程蓝图程序技术的研究与应用提供统一的形式框架。

关键词：过程蓝图多阶段程序表示统一元模型抽象语法良构规则建模语言

在线全文

学校读者我要写书评

暂无评论

Statecharts的形式化验证研究

计算机工程 2005年第18期31卷 19-21,24页

作者：钱俊彦古天龙赵岭忠桂林电子工业学院计算机系桂林541004

给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作语义。然后在此基础上把一个图形化的语言转换为文本的方式来... 详细信息

给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作语义。然后在此基础上把一个图形化的语言转换为文本的方式来描述,并对Statecharts进行形式化分析及验证。

关键词： Statecharts 抽象语法操作语义一步

在线全文

学校读者我要写书评

暂无评论

智能神经网络程序设计语言的研究与实现

计算机工程 2007年第4期33卷 32-33,36页

作者：黄雪梅李涛徐春林卢暾四川大学计算机学院

将神经网络与逻辑推理统一到面向对象理论中,建立了同时具备神经网络和专家系统特性、融合连接机制和符号机制的智能神经元模型。提出了一种新的程序设计语言——智能神经网络程序语言(NIPL),实现了神经计算、逻辑推理和数值计算的统一... 详细信息

将神经网络与逻辑推理统一到面向对象理论中,建立了同时具备神经网络和专家系统特性、融合连接机制和符号机制的智能神经元模型。提出了一种新的程序设计语言——智能神经网络程序语言(NIPL),实现了神经计算、逻辑推理和数值计算的统一。定义了NIPL的语法,设计并实现了智能神经网络程序设计语言NIPL编译器,从而为开发智能神经网络应用系统提供了有效的手段。

关键词：智能神经元模型智能神经网络程序设计语言抽象语法 NIPL编译器

在线全文

学校读者我要写书评

暂无评论

基于C++的BACnet应用层编解码实现

基于C++的BACnet应用层编解码实现

作者：邱勇云华中科技大学

学位级别：硕士

BACnet协议是人们对楼宇自动控制网络的开放性,互联性的提出迫切要求的前提下产生的,它是一个用于楼宇自动控制的网络数据通信协议,最终目的是要实现楼宇自控系统的互操作. 就整个协议的层次结构而言,BACnet协议采用了简化的RM/OSI模型... 详细信息

BACnet协议是人们对楼宇自动控制网络的开放性,互联性的提出迫切要求的前提下产生的,它是一个用于楼宇自动控制的网络数据通信协议,最终目的是要实现楼宇自控系统的互操作. 就整个协议的层次结构而言,BACnet协议采用了简化的RM/OSI模型,不包含任何表示层功能,这样使得整个协议的描叙更加的精简。由于减少了应用层,原本属于表示层的协议数据单元的编解码功能就必须由应用层来承担。本文作者通过分析研究了抽象语法描述的BACnet应用层协议数据单元的特征发现,.BACnet应用层协议数据单元一般由大量深层嵌套的结构化数据记录构成,这种深层嵌套使得协议数据单元的描述变得复杂。如果采用传统的过程调用方式实现协议的编解码将会是一种复杂而繁重的工作,这种传统的面向过程的方法调用,涉及到大量的压栈和出栈操作,不但浪费资源,还影响了协议的实现效率。于是,作者提出了利用面向对象的C++语言封装抽象形式语法的基本数据类型的思想,在形式上要求封装后的协议数据单元在形式上与抽象语法标注的形式相似,在功能上要达到提高协议实现效率的目的。

关键词： BACnet 编解码抽象语法面向对象面向过程

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

程序设计语言的指称语义

计算机工程与应用 1984年第8期 47-62页

作者： R. D. Tennent

本文是由***和***所研究的程序设计语言语义理论的入门指导性读物。它论述了该理论在形式语言描述方面的应用,文章还介绍了该理论在其它方面的应用。本文考察的第一个语言LOOP是十分初级的,它的定义仅仅说明其途径的记号和方法论。然后... 详细信息

本文是由***和***所研究的程序设计语言语义理论的入门指导性读物。它论述了该理论在形式语言描述方面的应用,文章还介绍了该理论在其它方面的应用。本文考察的第一个语言LOOP是十分初级的,它的定义仅仅说明其途径的记号和方法论。然后把环境、存贮与后继等语义概念引入到程序设计语言特征的模型种类中。文章扼要地论述了Scott关于计算的基本数学理论。最后,本文给出语言GEDA-NKEN的形式定义。

关键词：表达式递归含意数学论域定义函数值元语言模型化程序设计语言语义解释计算机语言抽象语法参数值

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

我国术语工作应和国际标准接轨

中文信息 1994年第1期 5-6页

作者：冯志伟国家语言文字工作委员会

我代表中国术语标准化技术委员会3分会(简称“SC3”)参加了在丹麦哥本哈根举行的国际标准化组织ISO/TC37/SC3的第10次会议。简要介绍如下: 这次会议讨论了4个文件,它们是:SC3/WG2提出的《计算机辅助术语工作词汇》(ISO/CD1087—2)SC3/WG... 详细信息

我代表中国术语标准化技术委员会3分会(简称“SC3”)参加了在丹麦哥本哈根举行的国际标准化组织ISO/TC37/SC3的第10次会议。简要介绍如下: 这次会议讨论了4个文件,它们是:SC3/WG2提出的《计算机辅助术语工作词汇》(ISO/CD1087—2)SC3/WG1提出的《计算机辅助术语工作—术语交换格式(TIF)—数据元词典》(ISO/WD12620)、SC3B/WG3

关键词：术语数据库置标语言广义词典词汇标记语言机助计算机辅助数据元文本内容抽象语法交换格式

ASN.1及其UPER编码在LTE中的应用研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

数字通信 2010年第5期37卷 81-84页

作者：文小强李校林重庆邮电大学通信新技术应用研究所重庆400065 重庆邮电大学重庆信科设计有限公司重庆400065

0 引言随着通信系统的不断发展,通信系统中协议结构的可选项、元素类型和扩展项等也变得越来越复杂.为了适应复杂数据结构传输的需要,ITU-T建议的X.680和X.681中定义了抽象语法描述(ASN.1).国际标准8825定义了把ASN.1表示的数据结构值... 详细信息

0 引言随着通信系统的不断发展,通信系统中协议结构的可选项、元素类型和扩展项等也变得越来越复杂.为了适应复杂数据结构传输的需要,ITU-T建议的X.680和X.681中定义了抽象语法描述(ASN.1).国际标准8825定义了把ASN.1表示的数据结构值编码为适合传输的字节序列的转换语法.ASN.1描述时一般使用BER(basic eucoding rules)或PER(packed encoding rules)编码规则.同PER编码相比,BER编码因其在大小上的开销过大而受人诟病,和真实编码数据相比,平均需要增加50%的额外数据,也正是因为这个原因推动了PER的诞生.相同协议,PER编码与BER相比在大小上至少有40%～60%的改进[1].ITU-T在90年代初制订用于ASN.1的PER编码方式中,PER编码又分为对齐方式(aligned PER)和非对齐方式(unaligned PER)这2种情况.其中,非对齐方式的编码都是按比特来的,各个数据项的编码之间没有填充的比特,因此它比对齐方式的编码更为精简.本文采用非对齐方式编码方式并结合LTE层3消息中的无线资源控制(RRC)协议,详细进行了具体ASN.1描述的分析及编码实现.

关键词： PER编码 LTE 应用通信系统数据结构抽象语法 ASN.1 协议结构

形式描述语言ASN.1及其编译器的设计与实现

在线全文

学校读者我要写书评

暂无评论

烟台大学学报(自然科学与工程版) 1988年 87-92页

作者：郭善增史美林清华大学烟台大学

本文首先介绍了抽象语法表示法ASN.1,它是一种形式描述语言,主要用于数据类型的定义,ASN.1可以对抽象语法进行统一的描述.然后提出了ASN.1编译器的设计与实现方法,ASN.1自动处理工具给抽象语法到传输语法的转换带来极大方便.

关键词：抽象语法抽象语法表示法表示层协议形式描述语言