集合FIRSTVT(P)的矩阵算法

算符优先文法是处理算术表达式的有力工具。确定一个文法是否为算符优先文法,需要借助于集合FIRSTVT(P)和LASTVT(P)求得文法的终结符之间的优先关系。本文给出FIRSTVT(P)的矩阵算法和算法证明。     

算符优先文法最左素短语的一种判断算法

算符优先分析法是分析算术表达式的有力工具，这种分析方法主要是寻找句型的最左素短语，本文给出算符优先文法最左素短语的一种判断算法。     

一种C代码软件设计信息提取方法研究

白盒测试依赖于被测程序的内部逻辑结构,人工分析程序结构的方法存在分析效率低、成本高的不足,同时,对从事分析的人员素质也提出了较高的要求.针对该问题,基于C程序提出了一种软件设计信息提取方法.该方法利用开源语言识别工具ANTLR,构造C程序文法,并自动生成中间代码,从而将源程序的基本信息从抽象语法树(AST)中提取出来,存储到数据模型中,实现对源代码进行的自动分析.实例验证表明:提出的方法提取C程序头文件和源文件的静态信息后,可计算分析得到数据流,控制流,函数调用关系等软件设计信息.证明了该方法的有效性.     

量子统计理论中的密度算符

本文着重讨论有关密度算符的以下两个问题:一、密度算符是怎样定义的;二、密度算符有些什么主要性质.文中以比较自然的方式引入了密度算符的定义,还比较详细地讨论了“双重平均”、密度矩阵的对角元和非对角元的物理意义,并扼要地概括了密度算符的主要性质.     

一种基于句子分割的文法自动推导算法

信息咨询口语对话系统中的领域文法规则往往需要专家来人工设计。该文针对一种面向汉语口语的上下文无关增强文法,提出了一种基于句子分割的文法自动推导算法。其基本思想是:用初始规则集对训练例句进行分析,若不能得到完整的语法树,则先对分析结果进行消歧和归一化,然后根据顶层成分递归地推导出缺少的规则,并更新已有的规则集。为了提高最终文法的性能,在例句处理顺序和规则更新上对算法基本流程做了改进。在天气预报查询领域进行了实验,结果文法的句法分析准确率在初始规则集为空时达到了64.8%,在初始规则集只包含日期相关规则时达到了86.4%。     

基于Petri网的词法分析器的研究

采用Petri网对词法分析器进行了设计与分析．首先引入一套自成体系的“矢量文法”,并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系．最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析。     

基于Petri网的词法分析器的研究

采用Petri网对词法分析器进行了设计与分析.首先引入一套自成体系的 “矢量文法“,并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系.最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析.     

简并情况下两个对易算符的共同本征函数系的简单求解方法

算符理论是量子力学课程的重要教学内容,其中两个力学量算符的对易及其本征函数问题是算符理论中的一个难点。简并情况下两个对易算符的本征函数系问题更为复杂,很多传统教材中都没有进行详细分析和讨论。该文利用一种简单的方法证明了简并情况下两个对易算符具有共同本征函数系的结论,并提出了寻找两个对易算符的共同本征函数系的两种简单方法—交集法与线性组合法。该文有助于教师和学生深刻地领会和求解两个对易算符的共同本征函数问题。     

各向异性自旋梯模型哈密顿量的Pauli算符与Hubbard算符的转化

利用各向异性自旋梯模型的哈密顿量作为例子,用Hubbard算符的归一性和正交性给出了Hubbard算符和Pauli算符之间转化的运算公式,从而把用Pauli算符表示的各向异性自旋梯模型的哈密顿量转化成用Hubbard算符表示.得到了用Hubbard算符表示的各向异性自旋梯模型的哈密顿量,完成了把用Pauli算符表示的哈密顿量转化成用Hubbard算符表示.     

霍奇星算子与外微分算符的组合规律

系统探讨了霍奇星算子与外微分算符作用于任意微分形式场时二者的一般组合规律.首先,找到了保持微分形式场的次不变的2个组合算符,并通过二者的线性组合得到了一个新算符.其次,当由任意数目的霍奇星算子与外微分算符进行组合时,导出了所有形式上彼此互异的组合算符的统一表达式.这些表达式由单个霍奇星算子与外微分算符以及二者的任选2个的非零组合构成.在此基础上,分析了所有算符之间的相互作用关系,并根据这些算符对微分形式的次的改变情况,对它们进行了具体分类.最后,作为一个应用,详细讨论了如何由次相同的微分形式的线性组合来构造电磁场的麦克斯韦方程.