Interrelation of Languages of Colored Petri Nets and Some Traditional Languages

The article studies the interrelation of Languages of Colored Petri Nets and Traditional formal languages. The author constructed the graph of Colored Petri Net, which generates L* Context-free language. This language may not be modeled using standard Petri Nets [1]. The Venn graph and diagram that the author modified [1], show the interrelation between languages of Colored Petri Nets and some Traditional languages. Thus the class of languages of Colored Petri Nets is supposed to include an entire class of Context-free languages.

基于变异的正则表达式反例测试串生成算法

正则表达式在计算机科学的许多领域具有广泛应用.然而,由于正则表达式语法比较复杂,并且允许使用大量元字符,导致开发人员在定义和使用时容易出错.测试是保证正则表达式语义正确性的实用和有效手段,常用的方法是根据被测表达式生成一些字符串,并检查它们是否符合预期.现有的测试数据生成大多只关注正例串,而研究表明,实际开发中存在的错误大部分在于定义的语言比预期语言小,这类错误只能通过反例串才能发现.研究基于变异的正则表达式反例测试串生成.首先通过变异向被测表达式中注入缺陷得到一组变异体,然后在被测表达式所定义语言的补集中选取反例字符串揭示相应变异体所模拟的错误.为了能够模拟复杂缺陷类型,以及避免出现变异体特化而无法获得反例串的问题,引入二阶变异机制.同时采取冗余变异体消除、变异算子选择等优化技术对变异体进行约简,从而控制最终生成的测试集规模.实验结果表明,与已有工具相比,所提算法生成的反例测试串规模适中,并且具有较强的揭示错误能力.

语言模型蒸馏的低资源神经机器翻译方法

大规模平行语料库的缺乏是低资源神经机器翻译面临的关键问题之一。提出语言模型蒸馏的神经机器翻译方法,通过单语语言模型对神经机器翻译训练进行正则化,引入语言模型包含的先验知识以提升翻译效果。具体地,借鉴知识蒸馏思想,使用丰富单语数据训练的目标端语言模型(教师模型)构造低资源神经机器翻译模型(学生模型)的正则化因子,让翻译模型学习到语言模型中高度泛化的先验知识。与传统单语语言模型融合参与解码过程不同的是,本文方法中的语言模型只在训练阶段使用,不参与推断阶段,因此能够有效提升解码速度。在第十七届全国机器翻译大会CCMT2021维吾尔语-汉语和藏语-汉语2种民汉低资源翻译数据集上的实验结果表明,相比目前最先进的语言模型融合方法,BLEU提高了1.42%(藏汉方向)~2.11%(汉维方向)。

地名用字在语文辞书中的合理呈现问题

文章以《新华字典》和《现代汉语词典》为例,分析归纳现代语文辞书对地名专用字及地名专用义和专用音择收所呈现出的特点;以当前几个热议地名用字为例,探讨地名用字定形定音应遵循的几项基本原则及其相互关系和前提条件,认为不宜单一性理解“名从主人”这一原则;同时还认为《新华字典》和《现代汉语词典》对地名用字的处理仍有改进完善的可提升空间;对民政部在《中国·国家地名信息库》的基础上建立《现代地名规范字信息库》等措施,充满期待。

面向真实世界的知识挖掘与知识图谱补全研究(三):基于正则表达式对膀胱癌真实世界数据的结构化信息抽取

随着医疗大数据的发展,真实世界研究近些年来越来越受到重视,发展前景良好,但真实世界研究的实施仍存在一些挑战,引起学者们广泛讨论。真实世界数据的非结构化是目前最亟待解决的问题。本研究以正则表达式为基础,通过基于规则的信息抽取方法对武汉大学中南医院近几年膀胱癌患者的入院记录、病理报告、手术记录和影像记录等数据进行结构化信息抽取,并以准确率和召回率为指标评价其抽取效果,旨在为后续研究提供参考。

基于X-CUBE-AI的神经网络手语识别系统设计

手语交流是聋哑人与他人交流的主要方法,设计了一款基于STM32的神经网络手语识别系统,采用TensorFlow和Keras机器学习框架训练网络模型,由于训练数据的局限性,加入L2正则化以解决训练过拟合问题。使用意法半导体推出的STM32Cube.AI工具包在STM32嵌入式平台上部署神经网络,搭载OV2640摄像头采集图像并进行缩放处理,将图像数据传入网络进行推理可获得识别结果。经测试,网络模型获得了较好的鲁棒性和适应性,在STM32上运行平均每帧推理时间为15.8 ms,平均准确率达92.3%。使用STM32作为手语识别终端,极大地提高了设备的便携性,节约成本,反应迅速。为聋哑人与正常人交流提供了一种新的解决方案,具有较高的实际应用价值。

Petri网语言的Pumping引理

Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并不适用于所有的Petri网语言.文中给出了一种Petri网语言的Pumping引理,证明其对任意无空标注的Petri网语言都有效,并且正规语言的Pumping引理是此引理的一种特殊形式.利用此Pumping引理可以证明某些语言是不能由Petri网产生的.

基于Qt的工业机器人语言系统的设计

工业机器人语言系统是机器人控制系统的重要组成部分,在研究和分析了工业机器人语言系统的构成和特点的基础上,提出了基于Qt和正则表达式的工业机器人的语言系统设计方案。该语言系统包括了机器人编程语言、编辑器和解释器。自定义了动作级机器人编程语言;在此基础上详细设计了基于Qt图形化界面的机器人编辑器,给出了编辑器各部分功能的具体实现;最后基于正则表达式详细设计了机器人解释器。该套机器人语言系统运用在工业机器人示教器上,具有良好的可可移植性。

有穷自动机中的等价性与等价归并算法

通过引入等价性原则,简化了对正则语言判定的步骤,并在有限自动机的状态集上引入等价关系,利用等价归并算法将给定的自动机中的等价状态进行归并,生成与其等价的最小自动机。

正规表达式与恰当终结的标准Petri网

给出了一种较特殊的Petri网子类——恰当终结的标准Petri网,可以证明恰当终结的标准Petri网产生的语言是正规语言,反之任一正规语言都可由恰当终结的标准Petri网产生。研究了恰当终结的标准Petri网语言关于连接运算"o"、选择(并)运算"∪"、kleene闭包运算"*"、并行运算"∥"的性质,给出了用恰当终结的标准Petri网(带空标注)模拟和带并发算子的正规表达式的方法。

稠密相对正则语言的一些性质

主要讨论了稠密相对正则语言的一些性质.相对于正则语言的pumping引理,给出了稠密相对正则语言的类似结论.继而证明了稠密相对正则语言都含有本原字.最后给出了稠密相对正则语言和极大码的一些联系.

工业机器人语言的词法语法分析器研究

解释器与编译器是把工业机器人语言程序翻译成目标代码的两种主要语言处理器实现技术,但二者的翻译过程都离不开词法语法分析环节。词法分析器主要用于识别语言系统的标识符及关键字等标记,而语法分析器则对这些标记所组成的句子进行语法检查等。高效准确的词法语法分析是实现工业机器人语言程序向可执行目标代码翻译的关键之一。提出以C语言为蓝本的动作级工业机器人语言的体系结构及指令集;采用Parser Generator工具来开发词法语法分析器,运用正则表达式和LR文法来描述扩展工业机器人语言的词法语法规则,并指出了非法格式的错误报告实现。对所开发的可视化分析器进行的实例测试表明,分析结果正确可靠。

协议状态机推断技术研究进展

介绍了协议逆向工程中协议状态机推断的研究进展。从状态机推断与正则语言学习的关系出发,分析了协议状态机推断的目标与需求;然后依据分析对象不同,将协议状态机推断分为基于指令序列和报文序列两大类,进一步将基于报文序列的状态机推断分为主动推断和被动推断两种;研究分析了各层面涉及到的方法与技术,并作出了评价与比较。最后对协议状态机推断研究的发展趋势进行了展望。

正则语言的特征性质

通常的关于正则语言的泵引理实际上是刻划了某语言为正则语言的一个必要条件．本文通过修改这个必要条件，得到了关于正则语言的充分必要条件，又泵引理或广义泵引理所叙述的结果作为推论而得到．另外，我们叙述了几个强弱不同的充要条件，以便供不同的使用（作为必要条件来使用，应该是越强越好，但作为充分条件来使用，又应该是越弱越好）．

航天器自动化测试与航天器测试语言

通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天器专用测试语句分为操作类语句、数据类语句、时间类语句和控制类语句,给出了这4种专用测试语句的定义及其形式化描述.该语言对提高我国航天器测试业务的效率和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用.

Web日志序列模式挖掘

从Web日志中挖掘出的序列模式可以用于改善Web信息服务。本文分析了Web日志序列模式挖掘过程中的一些难点及相应的解决方案 ,并在此基础上设计了一个Web日志序列模式挖掘工具SPMiner。

XML模式推断研究综述

本文对XML(Extensible Markup Language)数据的模式推断问题研究现状与进展进行了阐述.首先,从正规树文法的角度介绍了不同模式语言的理论模型.进而从模式推断方法、目标模式语言、支持的表达能力、内容模型对应的正则表达式类型等多个方面对当前研究工作进行了细致的分类归纳和对比.此外,还介绍了模式语言中支持的基本语义完整性约束推断的研究进展.最后指出了当前研究中的不足,并对未来需要深入研究的方向进行了展望.重在对XML模式推断的主流方法和前沿进展进行概括、比较和分析,以期对后续研究有所助益.

通用文本处理方法的研究与设计

设计描述通用文本处理逻辑的规则以及执行规则的引擎,使开发文本处理程序简化为开发应用规则。用XML描述规则的数据模型,规则元素包括原子规则、规则集、前置条件和数据上下文,在规则中用正则表达式实现文本匹配,用转义符和脚本语言实现多种转换逻辑。利用该方法进行Web主题文本提取,验证了规则的合理性和引擎的有效性。

基于自动机XML正则路径表达式查询研究

基于自动机正则路径表达式查询技术是半结构化数据模式下XML查询研究领域颇有价值的方法。许多研究方法对含有"//"操作符和"*"通配符复杂正则路径重写都会产生大量中间路径。设计了处理XML正则路径查询高效方法———CSAS,利用对象交换模型(OEM)作为XML数据模型,有限自动机作为查询模型,提出裁剪XMLSchema转化的自动机片断作为重写自动机来重写"//"和"*"符号的重写技术;利用剪枝技术、谓词处理后移策略实现查询优化。实验证明,CSAS方法是一种高效的XML正则路径表达式查询方法。