西府剪纸艺术形式化语言的探究

剪纸艺术作为西府地区一种重要的民间艺术,在当地人心中有着其他艺术无法替代的地位,从迎接新的一年的到来,到娶妻生子的生命仪式,再到入住新宅的祝福,都离不开剪纸艺术。剪纸已经和当地人的生命、情感相连接,寄托着他们对美好生活的向往。

从语言信息视角看英语课堂教学的形式化语言

本文从语言信息的定义及语言信息的传递过程着手，举例分析英语课堂教学的形式化语言所传递信息的意义及其功能对英语课堂教学效果有很大的影响。研究表明，遵循现代教学模式理论或教学原则来设计的英语课堂教学的形式化语言．就会取得良好的教学效果。最后呼吁英语教师努力钻研教学理论，并用于教学实践，使教学形式多样化、特色化，教学效果最佳化。

形式化语言MSC消息机制的扩展

为了使消息顺序图(messagesequencecharts,MSC)能更好地满足在通信领域应用的需要,在现有MSC标准的基础上,参考了其他常用的顺序图,并采用面向对象的思想,对MSC的消息机制进行扩展.MSC是用于描述系统间消息传递的一种有效的形式化语言,但现在的MSC存在着数据表达能力不强,消息顺序机制不够灵活等问题.因此,在对消息的扩展中,将消息作为一种对象进行研究,增加了消息本身的信息量.在此基础上对消息的顺序机制进行扩展,通过引入一些新的概念、符号,介绍了如何表达消息之间的相互关系和消息的运算等.扩展后的MSC能更加直观、清楚、完整地描述消息的轨迹和系统的静态与动态特性.

遗传算法的形式化语言表示

遗传算法(Genetic Algorithm)是一类借鉴生物界的进化规律(适者生存,优胜劣汰遗传机制)演化而来的随机化搜索方法。其主要特点是直接对结构对象进行操作;具有内在的隐并行性和更好的全局寻优能力;采用概率化的寻优方法,能自动获取并指导优化的搜索空间,自适应地调整搜索方向,不需要确定的规则。如何用形式化的语言表示出遗传算法成为运用于现实的基础。文章重点讨论了遗传算法的形式化语言表示。

一种基于分布式资源域理论的形式化语言(英文)

介绍了一种带有 Agent移动的分布计算形式化语言——资源域语言 .与分布移动计算中的同类工作相比较 ,它没有采用基于 π-演算进行扩充的方法 ,而是以一种带资源的类 λ-演算为核心发展而来 .这使得它可以直接支持内存单元式的资源 ,而不是间接地通过进程 /通道来模拟 .进一步地 ,资源域语言还对“位置”的概念进行了特殊的处理 ,产生了“域”的概念 .域和内存资源结合在一起使得资源域语言成为对现有同类工作的一种有益补充 ,提供了描述分布移动系统的一种新途径 .其主要特点包括 :易于实现和更接近实际语言 (如 Obliq,Telescript)的程序设计模型 .

浅析形式化语言B与UML/OCL的差异比较

对形式化方法中B语言和UML/OCL语言进行了概述,并依据软件开发的生命周期对B语言与OCL语言差异进行了分析比较,对B语言和UML/OCL语言此两种形式化语言的异同与各自适用的范围加以比对介绍、归纳总结。

项目管理软件的形式化语言描述分析

随着计算机技术以及信息技术的发展,目前大中型工程项目自动化程度越来越高,项目复杂程度也越来越高,单靠传统的项目管理模式已经远远无法满足工程进度和效率的要求,同时也会造成人力物力的大量浪费。应用先进的项目管理软件对大中型工程项目进行综合管理,有助于对项目整体进行规划、分工,能够有效的配置人力资源和原料,极大提高工程项目管理的科学性和有效性。本文主要对先进项目管理软件所采用的形式化语言进行解读与分析。

数学陈述中的形式化语言

本文介绍了形式化语言在数学教学中的巨大作用,不用数理逻辑知识而用初等的方法证明了数学中常用的形式化语言的变形规律。只具备中学数学基础知识的学生便可以理解这些证明,为在数学教学中推行形式化语言提供了一个较为初等的理论基础。

基于企业流程的需求形式化说明语言

需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。

一个柔性的形式化过程建模语言(英文)

提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模.

DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述

Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用。

英汉语言形式化差异与翻译隐化处理

语言形式化是指某一语言表现某种意义所依靠的各种方式,包括音调、语序、屈折变化及功能词等的丰富程度,以及该语言对这些形式手段的依赖程度。由于英汉两种语言对这些形式手段的依赖程度不同,在英汉翻译转换中,常常表现出英语作为形式化程度较高的语言在汉语译语文本中的隐化现象,需要译者根据具体情况对译文做适当的隐化处理,忠实传达原作的意思。

汉语三字格缩略语概念框架元素的语言形式化研究

汉语三字格缩略语语言形式化的理据为韵律、语言表达的经济性原则、突显元素的数量和语言生成者标新立异的心理;方式为转喻、隐转喻杂合、类推;结果为部分违背了一般的汉语语法规则、经济性较强、象似性较弱、对语境的依赖性较强以及构型较独特。

面向对象的形式化规约语言GOOZ

在总结和评价现有Z语言面向对象扩充的基础上,设计了一种新的扩充语言 GOOZ,该语言克服了Z++、Object_Z等语言的一些缺点,其书写规约具有简洁、明确、接口定义清晰、模块完整、结构良好、易于验证的特点。

一种改进的安全协议形式化需求语言

对原有的安全协议形式化需求语言进行了改进,使其能适用于复杂的分布式系统。使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求。

汉英菜名概念框架元素语言形式化的凸显元素组合及结果对比研究

汉英菜名概念框架元素的语言形式化的差异主要体现于凸显元素组合和结果两个方面;凸显元素组合方面,二者存在汉语菜名概念框架中凸显元素组合的类型较英语更丰富等4条差异;结果方面,英语菜名的形式结构与概念结构的象似性较强,汉语菜名的则较弱。

构式图示:语言形式化研究的新方案

为了探讨语言形式化研究的新途径,文中在研究构式语法的基础上,总结了构式图示的嵌套框盒图、特征结构图和论元结构图三种类型.以致使移动构式阐释了构式图示的结构,评述了构式图示的利弊。构式图示使用一套固定的符号标记和数学公式实现语言形式化的研究,有助于语言学实现语言分析科学化的目标;构式图示可直观的将各象征单位和构式之间所具有的联系性和制约性呈现在图示中,有利于准确识别构式的意义和用法.

带数据工作流的形式化建模语言——数据感知的工作流网

为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析/一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。

一种描述安全协议的形式化规范语言

安全协议的设计和分析是复杂而且容易出错的 .使用形式化的语言有利于安全协议的正确性和完整性 .现有的安全协议的描述方法大多很复杂而且容易导致二义 ,从而导致协议隐含着种种的安全隐患 .引入了基于构造类别代数的形式化规范语言来规范安全协议 ,通过规则集合和公理集合对安全协议进行精确地描述 ,有利于协议设计地规范化和协议漏洞地发现 ,同时对 Needham-