XML自动机的构造及实用化研究

XML是目前已被广泛采用的WWW上信息交换和表示的技术之一 ,被称为Internet时代的通用数据格式 .该文首先针对现有的XML语法进行了抽象及封闭性分析 ,得到了扩展XML语法 ,接着提出了一种XML自动机的概念 ,证明了它与扩展的XML语法等价 ,而且具有“并”、“交”、“差”和“补”运算下的完全封闭性 ,然后开发了一个分析器 ,对由此扩展语法生成的对象进行分析 。

XML模式的扩展研究

XML是目前已被广泛采用的WWW上信息交换和表示的技术之一,被称为Internet时代的通用数据格式。首先针对现有的XML语法进行了抽象及封闭性分析,得到了扩展XML语法,然后开发了一个分析器,对由此扩展语法生成的对象进行分析,实验表明,扩展后的XML语法具有较W3C规范的XML语法有更一般的表现力。

XML文本数据自动分析研究

XML是目前已被广泛采用的WWW上信息交换和表示的技术之一,被称为未来的数据通用格式,本文对现有的XML语法进行研究,用新的文本方式表示XML数据,针对可扩展XML数据的一些特殊形式提出了一些新的概念模式并证明了有效性和正确性,同时对语法可简化性进行了证明。针对相应的特殊XML语法形式开发了相应的自动机分析算法并进行分析。

基于XML扩展语法的模式分类研究

XML正在迅速成为WWW上采用的信息交换、表示和存储手段之一,论文对XML文档进行了多层次的抽象,得出了扩展XML语法和自动机等概念。作为一个应用,论文利用这一抽象对W3C推荐的两种最通用的模式进行上述语法观点的分类,从而有利于在不同的应用中选取合适的模式。

XML在语料库建设中的应用——以UAM Corpus Tool为例

简述语料库的存储模式从TXT,SGML到XML的演化,探讨基于XML的语料库优势。以UAM Corpus Tool为例,阐述XML在语料库多层级标注、检索、统计和后期在线检索建设中的优势和应用。

XML模式推断研究综述

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

一种基于模式覆盖的XML文档自动生成方法

XML文档自动生成在XML模式验证及网络环境下应用程序的测试中有广泛的应用.提出一种基于模式覆盖的XML文档自动生成方法,从给定模式中生成一组有效的且具有一定模式覆盖性的XML文档.采用正规树文法作为XML模式语言的形式模型,通过分析XML文档树与字符串之间的对应关系,将正规树文法转换为上下文无关文法,然后利用基于文法覆盖准则的句子生成算法从上下文无关文法中生成一组满足特定覆盖准则的句子,最后将句子还原为XML文档.实例分析和实验结果表明,生成的XML文档能较好地反映模式定义中的各种结构信息,可有效应用于XML模式验证及相关应用程序的功能测试.

XML文档中数据的语义描述问题研究

讨论了在Web上语义、语法描述对数据交换的重要性,详细论述了XML文档的语义、语法描述形式,及其在Web数据交换过程中所存在的问题。提出用RDF来解决这些问题,给出了这种方法的具体实现。

用XML加密实现数据的安全操作

XML安全技术能保证被传输数据的完整性、真实性、不可否认性,可以解决用XML表示的信息在网络数据交换中存在的安全性问题,能有效增强Web资源的安全性。基于此提出了使用XML加密机制来保证XML信息的安全性,并就如何加密XML信息进行了详细的讨论。

基于XML构造文法和COM的智能语音导医平台

介绍了如何利用XML作为一种跨平台的数据描述语言的特点,定义与医院业务相关的语音识别文法和语音合成文法,并将COM技术引用到语音导医平台的设计和实现中,以较小的代价实现了导医系统向智能化语音化导医平台的整体升级。

XML解析器的设计与实现

基于DOM XML标准编程实现了一个解析器,可以从XML文件中构造出一棵节点树,而后根据需要可以添加各种操作。证明了解析器设计的正确性。

基于上下文无关文法的数据抽取规则

在对文本数据文件的数据结构深入分析的基础上,提出了利用上下文无关文法表示数据抽取的规则,指明可以利用XML语言的特点,实现文本数据文件结构的表示文法,解决了文本数据ETL技术中涉及的重要问题,即复杂数据表示问题。

基于TGG的SBML与其他生物建模语言间的自动转换研究

基于XSLT技术的SBML与其他生物建模语言之间的转换方法存在无法保证转换结果的确定性、语法正确性及不能满足模型转换的工业化需求等缺陷.针对以上问题,提出了利用图文法定义SBML Schema及其他生物建模语言,并且利用Triple Graph Grammar构造SBML与其他建模语言之间的转换方法.在此基础上,提出了一种基于单路径尝试条件的转换算法,该算法具有多项式时间复杂性,能够保证转换目标对象的确定性与语法正确性,给出了相关证明,并且讨论了该条件在生物模型转换中的适用性.与传统方法相比,该方法利用可视化方法实现转换,简化了定义过程;无需动态检查转换过程,只要转化规则正确即可保证转换结果正确;同时支持扩增传播以及模型间双向转换.最后,通过Petri网与SBML之间的转换例子证实了该算法的正确性与有效性.

基于语音控制的电厂虚拟操作员的研究与实现

减员增效,提高运行的自动化、智能化水平,是电厂发展的新趋势。对电厂集控值班员在DCS上的操作行为进行分析,建立了操作行为模型。设计了虚拟操作机器人软件:以微软SAPI为基础实现语音指令的识别;采用函数模拟鼠标、键盘信息,完成具体操作;以TTS为基础完成语音信息的反馈。电厂虚拟操作员模拟真实值班员的操作行为,在一定程度上替代人员操作,实现少人值守,为构建智慧电厂提出新的思路和途径。

正规树文法的产生式相交判定

在针对产生式不相交的正规树文法的XML类型检查中,需要对正规树文法的产生式进行相交判定。基于正规树文法的产生式的构成特点,提出了基于自动机的相交判定算法。根据产生式的内容模型即正则表达式,构建相应自动机,判定两个自动机的交是否为空,该算法的时间复杂度为O(‖E1‖.‖E2‖.|∑E1∪∑E2|)。实验结果表明,该算法运行正确且高效,可以应用到针对产生式不相交的正规树文法的XML类型检查中。

基于Windows的离线关键词语音识别系统设计与实现

由于传统人机交互大多使用键盘、鼠标等交互方式,速度较慢,因此语音识别开始受到越来越多人的青睐。但语音识别也存在如扩展性太差、可复制性不好造成单个产品价格过高、过于依赖外部条件导致对自身使用有所限制等问题。设计并实现一种基于本地的语音识别系统,通过构建抽象语法树,实现语音控制操作。实验结果表明,该系统的离线识别准确率可达70%以上,可以在局域网内实现语音操作。

GSML:一种面向交互和协同的用户端编程语言

现有面向服务的编程语言往往强调服务的组合和使用,而忽略用户端的表现和协作.文章定义了一种语言GSML来描述灵活多变的网格应用逻辑,并实现了相关工具集以支持网格环境中用户端的“按需”编程.GSML包括启发自π演算的若干概念,并使用这些概念统一描述用户端组件和网格资源之间的交互关系,把它们连接成为完整的网格应用,并且还对GSML描述的网格应用进行了递归定义,不同用户可以通过在各自的 GSML浏览器中互相包含对方的应用来实现协同工作.

A Grammatical Approach of Multi-Localization of GUIs: Application to the Multi-Localization of the Checkers Game GUI

By proposing tools that help for the accomplishment of tasks in almost all sectors of activities, computer science has revolutionized the world in a general way. Nowadays, it addresses the peculiarities of peoples through their culture in order to produce increasingly easy-to-use software for end users: This is the aim of software localization. Localizing a software consists among other things, in adapting its GUI according to the end user culture. We propose in this paper a generic approach allowing accomplishing this adaptation, even for multi-user applications like gaming applications, collaborative editors, etc. Techniques of functional interpretations of abstracts structures parameterized by algebras, constitute the formal base of our approach.

LanguageTool中文语法校对XML规则定制方法

提出一种基于XML规则定制的中文语法校对技术方案,通过XML规则自定义或扩展中文语法校对功能。该技术已在开源校对工具LanguageTool上得以实现,相应的中文语法校对XML规则库也已建立。在多个中文语料库上进行应用测试的结果显示了该技术的可行性和实用性。