Г函数的性质研究

Г函数是一个特殊函数，其定义表达式为广义积分式。定理1一定理7给出了它的估计区间、精确表达式和近似计算公式。     

基于模糊逻辑的产生式规则拓展

在CAPP系统中,工艺知识通常采用产生式规则来表达.由于工艺知识具有模糊性和不确定性,而传统的产生式规则又难以表示和处理这类带有模糊性和不确定性的工艺知识,所以必须使用一些模糊的语言来描述这些知识并以此来进行推理.针对这一问题,提出了一个基于模糊逻辑的产生式规则模型,给出了模糊规则的产生式规则表达式以及模糊规则中各命题之间的逻辑关系,同时也指出了模糊规则的模糊匹配方式.     

四面体区域的讨论

给出四个平面可围成一个四面体区域的充要条件，推证出该区域的解析表达式的简单式法。     

一种利用栈实现中缀表达式向前缀表达式转换方法的改进

在数据结构教学中,算术表达式的转换及求值的问题是栈应用的一个典型实例,虽然有资料已给出了利用栈实现中缀表达式向前缀表达式的转换算法,但经过反复测试,本人发现现有的算法有不完善之处,没有考虑空栈的情况,本文给出了较完善的转换算法以及完整的C语言实现程序。     

一类特殊的非线性规划的最优解

讨论了一类特殊的非线性规划问题，给出了其最优解的解析表达式，最后给出了一个例子。     

Dynkin公式的推广以及某类二阶偏微分方程的概率解

Karlin S和Taylar M证明了Dynkin公式的推广,本文在另外一组条件下证明了Dynkin公式的另一种推广,然后利用这个公式,给出了广义Cauchy问题强解的概率表达式。     

关于角速度矢量的定义

本文给出和证明了关于角速度矢量定义的一个逆定理,并得出了另外一个角速度矢量的表达式及角加速度矢量的表达式。     

Γ函数的性质研究

Γ函数是一个特殊函数,其定义表达式为广义积分式.定理1-定理7给出了它的估计区间、精确表达式和近似计算公式.     

随机变量的分布函数及其计算

在统计中,经常遇到一个随机变量的矩容易求出而该随机变量的分布函数难以得到的问题。现以傅氏级数为基础,运用契贝谢夫多项式,给出了用随机变量的矩求其分布函数的表达式。虽然这种表达式以级数的形式给出,但它便于用计算机进行处理与计算。     

关于不典型群的Sylow子群的阶

给出了典型群的Ｓｙｌｏｗ子群阶的表达式及其与典型群维数之间的关系式。     

客户端运动控制器指令程序编译器的实现

在简要分析GALIL运动控制指令语法规则的基础上,阐述自主研发的客户端运动控制指令程序编译器的基本思想和设计流程.从词法分析、语法分析、整合处理、语义分析和后期处理诸方面详述了编译器的实现原理和方法,并给出了正确的实验结果.     

一种开源语法检查器的改进

选择基于统计的开源Masaru语法检查器为研究对象,分析技术路线与功能特点,提出了增加3元4元模型方法,并在系统中实现了3元4元语言模型.实验结果表明,改进的语法检查器准确度达到了81%,与原系统相比提高了6个百分点.     

基于超图文法的软件体系结构动态演化

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.     

VHDL编译器的设计与研究

简要介绍了VHDL语言的发展，详细讨论了VHDL语言编译器的设计；对预处理、词法分析、文法处理、语法分析、语义分析、出错处理6个模块进行了介绍，同时设计了源描述编译的中间数据格式。     

VHDL编译系统MTC设计与测试方法研究

采用面向对象技术设计VHDL编译系统MTC,通过对VHDL语法产生式进行分析,将各语法现象以C 类的形式进行抽象分类,给出词法分析和语法分析设计策略,并针对存在于LALR(1)分析过程中的两类冲突提出解决方法.MTC编译过程中通过语法制导进行语义分析,并提出用形式化方法表示中间数据结构.配合使用Flex 与Bison 最终得到面向对象VHDL编译系统.同时提出MTC的自动测试方法.在对SPARC芯片MB86901算法描述编译过程中,MTC的编译效率比现有编译系统提高了57%.     

语法规则和语言现象的互动

以2009年第6期《中篇小说选刊》为语料,选取并分析了其中的类词缀、离合词和＂干吗＂类疑问句三个语法问题。通过对语言现象的分析,认为语言的语法构造是语言诸要素中最具稳定性的一个要素,但它也会逐渐发生变化,以语言现象作为催化剂,逐渐改进和改正自己的规则,促进语法系统的不断完善。     

面向VHDL语言编译器VCompiler93的研制

研制用于VHDL语言的编译器,语法分析采用一便扫描和预测分析的策略,提出了适用于处理VHDL语言中语法冲突、各类重载语法、静态层次确立等语法现象的具体算法。开发出面向VHDL93标准的VHDL语言编译器VCompiler93,该编译器运行正常,表明所采用的解决方案合理,算法有效。     

A Suggested approach to teaching and learning grammar

The teaching and learning of grammar used to be processed at the sentence level with paying little attention to discourse and context. Students were familiar with a lot of grammatical terms and were able to remember many rules. However, they often wondered why they could not use English properly and fluently although they had learned the grammatical rules quite well. This essay, taking grammar as resource for communication, suggests an approach by using ideational frameworks to the teaching and learning of ...     

浅谈当代英语语法简化

当代英语语法在20世纪经历了一个漫长的简化过程。语法规则的明确化，惯用法逐渐解禁以及某些小品词的任意使用都证明了英语语法发展的方向——简化。     

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。