方块苗文动态构造方法的形式化描述

针对如何在计算机中生成和显示方块苗文的问题,提出了一种方块苗文动态构造方法,给出了该方法的基本原理,定义了实现方块苗文动态构造所需要的操作符,并以谓词规则的形式对方块苗文动态构造变换操作进行了描述。该方法仅需存储方块苗文构件及独体字的显现字符,通过对显现字符进行上下组合、左右组合、侧围组合来实现方块苗文的动态构造,为方块苗文字库中字形构件提取及合体字自动生成技术提供了重要支持。     

基于OpenType技术的方块苗文字库研究

方块苗文是民间苗文的代表,其信息处理研究对于保护民间苗族文化遗产和弘扬苗族文化有着重要意义。字库开发是方块苗文信息处理研究内容的重要部分。根据方块苗文字库开发的实际需要,该文以文字结构分析为基础,提出了基于Unicode标准的方块苗文编码方案设计思想,介绍了方块苗文字符字模制作的基本步骤,并以标签定义、操作符定义和变换规则定义为重点,探讨了基于OpenType技术的方块苗文字库设计和开发的方法。测试结果表明,方块苗文OpenType字库具有文件小、易扩充等优点,能够解决英文、汉字和方块苗文的混排问题。     

音形结合的方块苗文输入编码方案研究

根据方块苗文的造字原理和字形拓扑结构特征,提出了一种由构件汉语拼音的部分字母决定音码,由合体字结构类型决定形码,按照“先音后形”的次序生成编码序列的方块苗文字形输入编码方案,并使用上下文无关文法对方案进行了形式化描述,给出了方块苗文拆分取码的方法。测试实验表明,该方案具有码长短、重码率低的特点,基于该方案的输入法简捷快速、易学易用,能够解决从方块苗文字库中快速调出所需字形的问题。     

支持构件复用的方块苗文字库开发方法

为了减少字库中的数据存储量,在采用确定有穷自动机建立由构件组合变换得到方块苗文的字形映射关系的基础上,提出了一种支持构件复用的方块苗文字库开发方法,给出了基于该方法的方块苗文字库的具体开发过程。该方法根据字形映射关系,利用OpenType特征标签来设计反应构件自由组合替换规则和置位规则的特征脚本,以实现同一构件字形在不同方块苗文中的重复使用。测试结果表明,利用该方法开发的方块苗文字库具有存储量小、易扩充等优点,能够实现方块苗文同汉字、英文的混合显示,达到了实用性要求。     

基于Windows IMM-IME的接口式方块苗文输入法的实现

方块苗文输入法是苗文信息处理研究的重要内容。输入法管理器—输入法编辑器(IMM-IME)是Windows提供的多语言支持的核心组件之一,为Windows环境下键盘输入法程序的开发提供了强有力的支持。在分析字形特点的基础上,研究方块苗文编码设计和字库创建的方法;结合Windows IMM-IME结构分析,以IME转换接口(CI)和IME用户界面(UI)的实现为重点,介绍Windows平台下接口式方块苗文键盘输入法的具体实现过程。     

基于规则的模糊语句分析

针对当前常用的处理模糊语句的方法进行了分析,介绍了概率和规则相结合的消除模糊的方法:概率上下文无关文法,比较了几种方法的优缺点。     

可视化语言文法形式化描述综述

可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探讨了当前的主要研究内容和面临的挑战。     

形式化 B 描述测试序列自动生成研究

基于严格数学理论的软件形式化规格说明,经过逐层精化,不仅可以让软件开发过程更加有效精准,而且为测试用例测试序列的自动生成提供了最原始可靠的依据。通过B抽象机操作的规范型,依据测试理论,可以将原操作等价于多个效用谓词（effect predication）的形式。按照路径覆盖得到状态转换图,并对状态图做了确定性处理;运用基于状态图的测试准则,生成有效的测试序列,提高测试的有效性和效率。     

一种有效的结点标号上下文无关图文法分析算法

本文讨论了上下文无关图文法的性质，并证明了图文法推导具有独立性．本文还给出了一种有效的上下文无关图文法分析算法，它具有多项式时间复杂性，并给出了算法的正确性证明．该算法已经用Ｃ语言实现．     

基于双向策略标记上下文无关文法的图算法

一、引言句法分析是自然语言处理的重要基础,相应的研究很多,但是由于速度问题,句法分析很难大规模运用,因此提高分析速度一直是句法分析的重要研究方向。我们知道,句法分析的过程实际上是一个在句法成分树的空间中寻找最优分析树的过程,因此可以把分析过程看成是个搜索最佳路径的过程。在搜索的过程中给些“启发”将提高效率。双向图算法,是个最佳的例证,由于每条规则都有触发类来规定它的使用时机,使得它无论是时间还是空间上都比传统的图算法有更高的效率。     

基于上下文依赖规则覆盖的句子生成

基于规则覆盖的句子生成,是上下文无关文法句子生成的主要方法,但是它也具有局限性。最近提出的上下文依赖规则覆盖,能根据文法的内部结构不同而具有不同的分支集合,比规则覆盖的精度更高。目前,尚未见这种上下文依赖规则覆盖的句子生成算法。该文在规则覆盖的句子生成算法的基础上,实现一个基于上下文依赖规则覆盖的句子生成算法。该算法已在机器上实现并经过实验检验。     

数学概念的一种特殊形式化方法

数学定理的机器证明首先应将数学概念形式化(或称符号化 ) ,形式化的方法和技巧对于理论上的推理研究以及是否能够真正利用计算机进行推理将起关键作用。本文讨论了一种特殊形式化数学概念的方法 ,其主要特点就是仅引入两个谓词和有限个常项符号 ,按照某种规则生成公式后便可对众多数学概念进行描述。由于只有两个谓词和有限个常项符号出现 ,因此对利用计算机推理具有重要意义。     

软件动态正确性的形式化描述

软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互模拟的无限演化理论,给出参数化极限互模拟的定义,并给出几个特殊的参数化极限互模拟实例.其次,建立参数化互模拟极限,给出参数化互模拟极限的规约刻画. 最后,证明参数化互模拟极限的唯一性、与参数化互模拟的相容性等代数性质.     

基于动态描述逻辑的UML状态图形式化方法

统一建模语言(UML)状态图包括静态语义和动态语义.针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题.给出状态图状态可达性和动作包含关系的定义,并证明其正确性.     

拓扑关系形式化描述的基本问题与研究进展

拓扑关系是GIS中空间目标之间最基本也是最重要的关系之一,在GIS空间数据建模、空间查询、空间分析、空间推理、制图综合等过程中起着重要的作用。该文首先介绍了不同的空间数据模型中拓扑信息的表达模式,然后重点回顾和评述了拓扑关系的建模方法以及拓扑关系形式化模型,并探讨了目前研究中存在的问题和有待进一步研究的工作。     

维吾尔语KP短语的句法分析研究

维吾尔语句法分析是维吾尔文信息处理领域一个重要的基础性课题,同时也是一个公认的难题,在机器翻译、文本     

基于线性阵列网络的并行语法分析算法设计

本文提出了线性阵列LA(Linear Array)连接状态中上下文无关文法(CFG)的并行语法分析算法的设计思想,指出对形如[i,j,B→η·]的项目传递时环形拓扑结构的冗余,并以实例详细描述了线性陈列连接结构中分析存储信息的演变过程。     

一个上下文无关文法的构造定理及其在推断中的应用

递归概念可以在句子中重复派生、循环出现。对这样的句子推断时,若为递归概念的每一个派生部分引进一个递归概念来描述,将推断出多个与之有相似的产生式结构的递归概念,同时也构造出一个新文法。本文先给出新文法的形式化构造方法,证明了新文法与原文法的等价性。在文章的后部,通过实例,介绍该定理在简化复杂文法推断中的应用。     

形式化方法描述管道过滤器软件体系结构

体系结构形式化描述能为系统设计提供精确和抽象的模型,通过这个模型来分析体系结构的构成,分解和约束特征.利用形式化方法来描述软件体系结构中常见的管道过滤器风格.     

面向对象系统耦合性度量方法的形式化描述

对面向对象系统的耦合性进行了分析，对现有的度量方法进行了评述和比较，给出了面向对象系统的有关术语的形式化描述方法，提出了基于形式化描述的综合耦合性度量框架。