算符优先分析器的自动生成探讨

算符优先分析法是一种自底向上的语法分析技术,特别适合对表达式的分析.本文讨论了该分析器的自动生成技术,并给出了一个自动生成器.该生成器可以用于教学,也可以用于生成一个实际的用于源语言文法分析的算符优先分析器.     

自动生成循环结构算法

本文给出了AUTO1,AUTO2,AUTO3三个自动生成循环结构算法.这种循环层数不超过二重的循环结构,能替代任意有限n重循环结构.AUTO1生成最简形式的For循环结构,AUTO2生成一般形式的For循环结构,AUTO3生成一般形式的While循环结构.     

基于特征识别的多尺度构件网格自动生成算法

随着结构力学领域待解决问题复杂程度不断提高,多尺度构件的高质量网格生成对于其数值模拟的计算精度起着至关重要的作用。本文提出一种基于特征识别的网格自动生成技术方法,该方法将多尺度构件的不同量级尺度几何特征识别出来,根据其不同尺度尺寸设置相关区域的网格尺寸值,利用Delaunay三角化算法和前沿推进法生成能够反映不同尺度几何特征的网格单元,再对小尺度区域周围进行加密处理,最后通过几何指数控制函数将不同尺度网格过渡连接起来,形成多尺度构件的整体网格划分模型。通过2个几何模型的测试表明该方法生成的整体网格质量好,不同尺度区域网格过渡合理,自动化程度较高。     

基于FoxPRO的PAD图自动生成

本文主要介绍了ＰＡＤ图及基于ＦｏｘＰＲＯ语言的ＰＡＤ图的自动生成方法。     

基于PAD图的C源程序自动生成系统

本文介绍了将问题分析图自动转换为Ｃ语言源程序的方法，该系统生成的Ｃ语言源程序不加任何编辑，就能直接通过编译与连接转换成可执行程序，从而实现了Ｃ语言源程序的编码自动化。     

三维冷冲模设计的剖切图自动生成

工程图样是工程技术部门表达和交流技术思想的重要工具，剖视图是其重要组成部分。目前许多商业化的图形软件包已经具备了三维实体向二维转换的通用工具，但是在实际应用中并不是十分有效。根据零件的孔、槽等剖切特征，提出基于优先度和基于图遍历的两种自动搜索关键特征产生剖切线的算法，并分别结合实例进行了比较。结果表明，这两种算法在基于模板的冷冲模CAD系统的实际应用中是理想、可靠的。     

语法分析器PROLOG程序的自动生成

本文给出从形式语法描述BNF表示自动生成语法分析器Prolog程序的一种方法,同时也给出用Prolog语言写的自动生成系统。     

特征形式描述及特征预编译

特征的处理是自然语言句法分析的一个重要问题。该文提出特征处理的预编译方法,详述了基于特征形式描述的特征预编译算法,并实现了一个特征预编译器。测试表明,预编译方法可以很好地增加句法分析的可扩展性和运行速度。     

逻辑作业流程图形式化描述方法研究

为了支持战略决策模拟作业流程的可定制性，满足决策研究人员和训练人员不同的作业流程需求，开发了一个可视化的作业流程建模工具，用来构建图形化逻辑作业流程图。流程建模工具对用户绘制的作业流程图进行分析，生成一个可以被流程引擎解析的基于XML的形式化描述文档。如何表述和生成复杂逻辑作业流程图的形式化描述是建模工具的关键。在实践中，以广度优先算法为基础，对流程图中复杂逻辑关系与水流进行类比分析，设计研究出图形化转换成形式化逻辑描述的方法。     

蠕虫扩散策略自动生成模型

针对蠕虫扩散的通用性、灵活性和可扩展性受限制问题,提出一种基于扩散策略树的蠕虫扩散策略自动生成模型。基于该模型设计了一种描述语言,描述蠕虫的扩散过程,并通过语言翻译器实现蠕虫的扩散。形式化论证了该语言的蠕虫扩散描述能力,构造模型的结构框架,阐述其工作流程。该模型理论上能实现较为普遍的扩散过程。     

汉字字形形式化描述方法研究

本文分析了目前汉字处理应用中存在的主要问题,归纳出问题的核心是由于缺少能涵盖一切可能汉字的、可计算的字形形式化描述体系,从而造成应用中有一系列障碍。发现了现有字形描述方法共同存在的特征选取缺陷,最后给出了一种可行的汉字网格字形描述方法,该方法不仅能表示一切可能的汉字字形（包括错字）,而且为字形特征异同的自动计算奠定了可靠的基础。     

DRTSADL分析器的设计与实现

DRTSADL是一种针对分布式实时系统的体系结构描述语言,其设计目的是为了实现基于软件体系结构的代码生成和测试。为此,首先需要设计并实现DRTSADL语言的分析器。本文论述了DRTSADL分析器设计和实现原理,说明了实现该分析器的主要过程。     

CTCS3级列车控制系统测试序列自动生成方法

重点研究CTCS3级列车控制系统的功能测试。首先介绍CTCS3级列控系统的组成,然后重点研究了对测试案例的一种形式化描述的方法,以及基于遗传算法的测试序列的实现,为后续的自动测试或者现场奠定基础,最后给出用遗传算法求解测试序列的具体实现。     

阅卷信息的形式化描述及其应用

本文介绍了阅卷信息的形式化描述应用于阅卷系统的优势,并简单介绍了其实现方法和实现过程。这种形式化描述方法可以提高阅卷系统的独立性、适应性,延长其生命周期,并可广泛应用于其他领域。     

CSP的扩展及其在匿名混淆协议形式化中的应用

自David Chaum在1981年提出了一个经过多个混淆器(Mix)的数据转发技术以来,匿名技术的研究得到了迅速的发展.研究为进行匿名混淆协议形式化描述而进行的CSP 扩展问题,向CSP 中引入了混淆操作的概念,提出了匿名混淆导管算子"⊕>>",该算子能够较好地描述匿名Mix混淆协议,最后给出了Mix混淆协议的CSP 描述.     

档案图像的形式化描述与虚拟化解释

档案是知识的载体,它不仅具有实态档案的具体属性,而且具有虚拟档案的概念属性,档案图像的形式化描述是档案图像这两重属性的一种体现,从档案的定义、档案的数码化过程和档案图像的处理三个方面,都可以对档案图像的形式化描述进行档案虚拟化解释.揭示档案图像形式化描述和虚拟化解释之间的潜在规律,对推进电子档案的检索利用具有重要意义.