一个简单面向对象语言的抽象机定义及其可视化实现

定义一个简单面向对象语言SOOL的抽象机SAM, 并设计开发了SAM的可视化实现系统VisualOO. VisualOO系统可以把任意一个SOOL源程序转换成SAM内部表示, 并且动态演示该程序在SAM上的执行过程. 定义的抽象机及其可视化系统可以应用于程序设计语言形式语义学的教学中.     

C/ATLAS单动作测试语句实现的操作语义描述

针对C/ATLAS单动作信号语句的一个子集, 提出一种其实现过程的基于抽象机的形式化操作语义描述方法, 并分别给出了各单动作测试语句的状态转换规则. 根据该描述, 可较清晰地理解各单动作语句的功能及其制约关系. 由于该操作语义基于抽象机, 所以在此基础上可以很容易得到单动作信号语句的实现程序.     

从ESTELLE协议规格说明生成测试序列

ESTELLE是一种由ISO提出的用于描述计算机通信协议的形式化描述技术,并已成为国际标准。随着计算机网络技术的发展,出现了一门新的学科——协议工程。它包括通信协议的规范、验证、生成、测试。测试序列生成在协议一致性测试中是一个非常复杂的问题。本文提出了从ESTELLE语言规范生成测试序列的方法。有关测试序列生成的一些原始材料可以在一些协议规范的文本中找到。_抽象机(即扩充的有限自动机)是所提方法的基础。这个方法的思想是这样的:首先是用ESTELLE语言编译器从ESTELLE协议文本中提取要求的信息(抽象机),并且用某种形式表尔之。第二,将抽象机展开成为一个一般的有限自动机。第三,从有限自动机中生成测试序列。最后,把测试序列转换成TTCN形式。     

面向对象语言中方法的动态结合的实现

本文给出了面向对象语言中类和方法名快速动态结合的一种方法 ,同时给出了利用 SPOOL抽象机语言来实现用方法名进行动态结合的过程     

面向对象语言中方法的动态结合的实现

本给出了面向对象语言中类和方法名快速动态结合的一种方法。同时给出了利用SPOOL抽象机语言来实现用方法名进行动态结合的过程。     

视频分割和关键帧提取统一框架

镜头边缘检测是视频处理应用的重要环节.随着视频编辑技术的快速发展,以往的方法已不适应由视频特技产生镜头的边缘检测.以"画中画"技术造成的错检最为常见,因此,在时域多尺度边缘检测的基础上,提出以分块色彩直方图为特征,用SVM模式识别工具和滑动窗口技术,对视频帧进行分类的新方法.通过21 h(10250个镜头)的新闻视频测试表明可达到更高的准确率和召回率.该框架基本上解决了"画中画"技术造成的错检问题,对渐变的检测亦有较高的准确率.     

复杂维修场景下飞机机号的定位识别方法

针对在复杂维修场景下飞机数量较多且体积庞大,无法实现准确高效的识别跟踪目标飞机的问题,提出基于YOLOv4目标检测的飞机机号识别算法,该方法首先利用YOLOv4检测算法获得飞机机型和预测框图像信息,然后通过图像处理算法实现飞机骨架细化,并依据机型获取飞机机号位置信息,最后利用OCR(optical character recognition)识别出目标飞机机号信息。实验结果证明,该算法实现了对飞机机号的识别,准确率为75%,帧率为30帧,可达到实时性的目的。     

并行逻辑语言PARLOG顺序编译系统的设计

ＰＡＲＬＯＧ语言是一种适合于并行逻辑程序设计的语言，广泛应用于人工智能及并行处理等领域。从 ＰＡＲＬＯＧ的语义描述出发．结合与／或树计算模型及进程调度算法．介绍了 ＳＵＮ工作站上设计实现的一个实用的并行逻辑设计环境——ＰＡＲＬＯＧ顺序编译系统（ＰＳＣＳ）。该系统采用中间抽象机结构．以Ｃ语言为目标语言，不仅具有高效率的执行代码．而且易于移植。     

图书馆计算机管理集成系统设计与实现

介绍的系统是应内蒙古大学图书馆的需求开发的，该系统包括：图书采购子系统，图书编目子系统；图书流通管理子系统，期刊管理子系统，高校西原版图书联合目录子系统。     

关于描述计算机科学数学对象的形式系统的构造

关于对计算机科学对象进行形式描述,以建立计算机科学的形式理论,是理论计算机科学中一个重要的问题.本文的宗旨是:在计算机科学的对象集合的总体中,排除不可判定的部分,从而构成计算机科学数学对象的形式系统,此系统用S 来表示.它是满足一定条件的受约字公理数论系统的子类.定义1 D 为计算机科学的对象集合,如果存在着算法在有穷步内判定D 中的对象是否具有某些性质Γ_1,Γ_2,…,Γ_k 和它们之间是否具有某些关系R_1,R_2,…,R_r 则D 称为计算机科学数学对象集合.以下简称为对象集合.从能行性理论中看到,如果D 为某抽象机所接受,那么它由所有抽象机所接     

COC++ 编译器面向对象技术的实现

ＣＯＣ＋＋编译器的功能是将Ｃ＋＋源程序转换为等价的Ｃ程序。ＣＯＣ＋＋编译器不是使用传统的构造方法而是采用面向对象的设计技术，将相应成分如符号表，语法分析等模块封装为类，并以Ｃ＋＋语言实现。符号表类封装符号表及其建立、登录、查找等操作。基于Ｃ＋＋的作用域规则，ＣＯＣ＋＋编译器为每个作用域中的符号建立一个符合表，利用指针链指明嵌套关系和继承关系。语法分析的模块设计为一个抽象类，定义所有语法成分类的公共特性和公共接口。实际的分析工作和语义处理工作通过Ｃ＋＋语言的多态机制由相应的派生类各自的成员函数实现。这样类化的编译结构不会因为增加某些语言成分而做很大的改动。阐述了面向对象的技术用于编译系统的设计和开发的特点。     

DM4过程SQL语言的设计与实现

在商用数据库管理系统DM4中设计并实现了过程SQL语言DMPL/SQL.提出了DMPL/SQL语言解释器的总体结构.该解释器由编译器和虚拟机两部分构成.编译器分析源代码并生成中间代码,虚拟机以立即或延迟的方式对中间代码进行解释执行.介绍了实现DMPL/SQL语言解释器的关键技术.为提高程序的执行效率,在名字解析、SQL语句的执行以及异常处理等阶段采用了多种优化方法.该语言目前已广泛使用于基于DM4的数据库应用中.     

单片机C语言交叉编译器存贮分配研究

介绍单片机存贮结构的特点和Ｃ语言编译器的存贮分配原理，提出单片机交叉Ｃ语言编译器的存贮分配方法，并给出一个实用存贮分配算法．     

基于可重用代码生成器设计与实现

本文介绍IBMPC/XT机的代码生成器的设计。我们把编译程序分成两部分:前端编译和后端编译。前端编译对源程序进行分析,生成抽象指令形式的中间语言;后端编译对抽象指令进行处理,产生PC机汇编代码。对中间语言,采用语法制导原理进行分析,采用模式匹配产生汇编代码。     

编译程序自动生成系统HMCGS的设计与实现

本文介绍一个基于范式有序属性转换文法NOATG的编译程序自动生成系统HMCGS。NOATG源于属性文法,可被用于描述程序语言的形式语义、编译程序的自动生成等领域。属性描述语言ADL是专为HMCGS系统设计的输入语言。HMCGS系统接受一个ADL语言程序,生成一个相应的目标编译程序。本文还简要介绍了HMCGS系统与目标编译程序的系统结构。     

静态测试中C／C＋＋抽象语法树的生成

利用GNU提供的标准编译器,通过调用词法分析程序生成了C／C＋＋抽象语法树。基于系统崩溃故障模型的软件进行了静态测试,描述了C／C＋＋抽象语法树及其语法和语义分析的具体方法。     

C语言语句使用频度的自动统计方法设计与实现

讨论了C语言语句静态使用频度的统计方法,给出了完整的自动统计的C语言源程序及C语言语句静态使用频度.统计结果成为缩短高级语言和机器语言间语义差距,缩短编译程序的长度和编译所需时间的重要依据.