标志树文法及其语法分析

树文法是一种高维文法，能够用来表达二维以上复杂对象的构造规则．在模式识别、图式语言等领域有着广泛的应用前景．本文在树文法有关概念基础上提出了标志树、连接标志、标志树文法等概念，构造了标志树的匹配和识别算法，并成功解决了标志树文法的语法分析器构造问题．     

An Optimal Model and Algorithm of Distributed Information System

Distributed information system makes itself be placed in changing file storage position according to the users＇ request pattern. In this paper, we rebuild the model for a management system to turn the process of file managing into a 0-1 programming problem, and present a new individual form to improve the operating efficiency. Aiming at the model, we define a neighborhood span to make segmentation for searching space by using the fitness, based on the region contraction algorithm, present a new evolution algorithm which has the capability of self-adaptively generating new individuals, and ultimately solve the management problem of the distributed file system.     

基于舰艇装备软件运行剖面的可靠性测试研究

软件可靠性测试理论近年来虽有较大的突破,但仍没有达到硬件可靠性工程实践广泛的程度,软件可靠性测试实践上受限于软件运行剖面、操作和变量的复杂关联,而开展的不多。基于舰艇装备软件运行剖面,提出了一种工程上易于使用的形式表示方法和可靠性测试数据生成方法,可清晰描述复杂软件系统的变量约束、操作约束,能方便的生成可靠性测试数据,并实现用例的自动人机操作输入,通过对舰艇装备软件可靠性测试的实践,验证了该方法的可行性和有效性。     

面向对象的时序逻辑语言

针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言Framed Tempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行。所给出的实例表明,该语言与Framed Tempura相比,能有效地重用代码,提高了代码的可读性和可维护性。     

图文法综述

形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的.本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定.文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向.     

基于VBA的PowerPoint文档自动评阅技术研究

本文首先介绍了VBA技术,在实践的基础上,提出了一个PowerPoint操作题自动评阅方案;给出了方案中PowerPoint操作题的存储结构;详细分析了评阅方案的主要算法;最后,简要阐述了实现自动阅卷的VBA关键技术。     

处理图像语言的格点自动机与格点文法

Giammarresi与Restivo在一篇综述中总结出一个关于可识别的图像语言(即2维矩形语言)REC的等价性定理.对比1维字语言的相应结果,其中还缺少关于生成文法的相应一环.提出了一种(矩形的)格点文法,正好弥补了这一缺环.而取代2维on-line tesselation自动机,引入了格点自动机的概念.一方面,它与经典的2元树型自动机更相似,另一方面,它也是格点文法与等价性定理中关于REC的其他描述方式之间的一座桥梁.同时,标准的existential monadic二阶逻辑也被一种更弱的规范框架——positive monadic分划逻辑所取代.由此导出一个新的更完整的关于REC的等价性定理.     

传统工笔花鸟画的形式语言和精神内涵及当代思考

工笔花鸟画是我国绘画的重要组成部分,它发源于唐代,在宋代达到顶峰,明清之后渐渐衰落。近年来,随着我国文化事业的发展,工笔花鸟画再次兴起,并且随着人们审美观念和社会形态的变化而不断更新。该文主要分析传统工笔花鸟画的形式语言和精神内涵,探究其包含的文化精神。     

色彩形式语言在当代艺术中的应用

在当代艺术中,装置、多媒体等艺术形式得到了广泛应用,设计形式语言的表达方式也悄然发生了变化。创作者不仅要总结形式基础基本原则在当代艺术中的表现,还要从中体会形式基础新的内容含义。