基于算符优先算法的逻辑表达式合法性判断

基于字符串的逻辑表达式的合法性进行判断在很多领域和场合下是经常遇到的 ,比如 :文件检索 ,信息查询等等 .而我们常见的文件检索与信息查询软件大多仅仅支持几个简单的逻辑算符 ,例如 :与、或 ,并且逻辑表达式中的组成字符串只能做简单的与、或运算 ,使得逻辑表达式的表达能力有限 ,用户使用的灵活性小 .本文针对上述问题进行了研究 ,采用算符优先算法给出了对该问题一种非常实用而又简练的实现方法 ,不但实现了普通搜索引擎所支持的简单的逻辑表达式的合法性判断功能 ,而且扩展了所支持的逻辑表达式的逻辑表达能力 :支持非运算 ;增加了支持逻辑表达式的优先级算符“(”和“)”.这使得逻辑表达式的表达功能和表达灵活性都得到很大的增强和提高 .本文给出的算法还可用于许多其他的基于字符串的逻辑表达式的操作功能 .     

语言表达式到Petri网模型的转化及其算法

已知一个语言的表达式,直接构造产生该语言的Petri网模型是Petri网语言理论中一个重要问题.本文分析、研究同步交错正规表达式中各种运算与Petri网模型的对应转换关系,分别给出正规表达式、α闭包表达式到Petri网模型的转换方法;定义了Petri网的有界覆盖合成运算,研究有界覆盖合成网的语言性质,给出将同步交错正规表达式转换为Petri网模型的算法,从而实现了语言表达式到Petri网模型的等价转化.     

一种新的多项式表示法及其在密码中的应用

论文提出一种新的多项式表示法———数值表示法,将多项式的乘法运算转化为数值运算,具有语意明确、运算准确和易于计算机实现的特点。新的数值表示法在求解布尔函数多项式表达式上的应用简洁快速而准确(只进行异或和与操作,代码只有5行)。用这种方法求出的DES的S盒的布尔函数表达式与现有文献结果相符,并第一次准确求出AES的S盒的布尔函数表达式。     

一种利用扩展广义表来实现逻辑表达式自动推导的算法

探讨了如何将数据结构中广义表进行扩展 ,并利用这个扩展广义表来设计逻辑表达式在计算机上的逻辑结构和存储结构 ,以及在这种结构上如何实现逻辑表达式的基本运算 ,进而实现其它复杂的表达式自动推导     

757FORTRAN向量表达式的编译与代码生成

一、向量表达式的编译757向量FORTRAN语言在FORTRAN77的基础上扩充了描述向量、向量运算和向量语句的成份,因此,向量表达式的编译也是向量机编译系统所独有的.1.向量表达式:向量是数组中一串有序数组元素的集合,向量运算不引进新的运算符.如果某运算符的两个运算对象是向量,即理解为向量运算,其语义是两个向量的对应分量做该运算.标量与向量运算时,把该标量展开为同值向量参加运算.向量表达式与标量表达式的区别在于其运算量至少有一个是向量.向量的长度以它的第一个非下标的片标为准,向量运算的长度以表达式中第一个向量的长度为准.     

中缀及后缀算术表达式在运算中的应用研究

表达式求值是程序设计语言编译中的一个最基本问题。与人们习惯的中缀表示的表达式相比,后缀表达式不存在括号,没有优先级的差别,表达式中各个运算是按照运算符出现的顺序进行的。因此非常适合串行工作的计算机处理方式。该文首先对这两种表达式表示方法进行了分析比较,然后通过具体分析实现这两种表达式求值的算法来论证表达式后缀表示优于中缀表示。最后简要谈一下中缀表达式到后缀表达式的转换。     

基于能量思想的图像分割算法

CV(Chan-Vese)模型是一种基于偏微分方程的图像分割方法.在分析了CV模型的"能量"表达式的各个部分的基础上,证明了CV模型的前两项与阈值分割的等价关系,然后利用形态学中值运算与曲线演化的关系,用中值算子进一步缩小整个表达式的"能量",实现了一种基于CV模型的"能量"思想的快速图像分割算法.最后将该方法应用于医...     

一种FoxPro2.5中特殊表达式编辑的简单方法

本刊在1995年第7期上刊登“FoxPro2.5中实现特殊表达式的通用运算”一文,对目前正在广泛使用的数据库关于特殊表达式编程方面作了有益的探讨,该文主要介绍借助逆波兰表达式算法来实现特殊表达式的识别和运算。 笔者认为,一则该方法编程复杂,需要借助堆栈来实现程序运算,并且还调用外部程序,程序代码量大;二则该方法没有充分发挥FoxPro2.5本身已有的逆波兰表达式算法优势,白白浪费了该软件的许多资     

复合表达式的特殊功能与应用

通常所谓的表达式有三种,即算术表达式、关系表达式和逻辑表达式。算术表达式用于算术运算,其结果为数型值,关系表达式和逻辑表达式用于逻辑判断,它们的结果均为逻辑值1或0(1表示为真,0表示为假),一般说来,后两种表达式仅出现在IF/THEN等控制程序分支的语句中。如果你稍加留意,就不难觉察到:表示真假的1和0依然也是数型值,那么它们同样可以     

线性代数表达式的索引与匹配方法

现有的数学表达式检索模型大多面向普通数学表达式,在利用其检索线性代数表达式时,由于缺乏对线性代数表达式特征的考虑,检索效果较差。为此,设计针对线性代数表达式的检索方法。利用改进的数学公式描述结构表示La Te X格式的线性代数表达式特征,根据线性代数表达式的种类对其进行分类,并定义相应的扩充运算,据此构建索引文件,设计4种线性代数表达式匹配算法,实现灵活的检索模式,提高检索结果的相关性。实验结果表明,该方法符合线性代数表达式的检索特点,具有较合理的索引结构和较高的匹配效率。     

基于MathML的在线符号运算的设计与实现

当今网络教育技术发展迅速,但数学表达式的在线智能处理等应用尚未出现.本文阐述一种基于MathML的新应用,该应用以XSLT技术为主要手段.能够在线实现初等数学的符号运算,为网络教育提供了新支持.     

计算机汉字系统汉字组合编码法

本文分析汉字平面结构特点,研究汉字的基本组成成分及其平面结构关系,提出一种用汉字符和关系运算符对汉字进行编码的方法——组合编码法。汉字的组合编码看成为由汉字符和结构关系运算符组成的汉字表达式。通过对汉字表达式的运算实现汉字的输出和显示。     

上下文无关语言的同步运算及其性质

针对上下文无关语言,引入了语言的可重复序列的依赖运算和同步运算,分析了两种运算的性质、特点,给出了可重复序列的依赖表达式、同步串约束表达式;提出了同步串约束上下文无关语言,给出了该类语言的构造规则:对于字母表上的同步串约束上下文无关语言L,都是由该字母表上的一个正规语言R与该正规语言R中某些可重复序列之间的依赖约束所形成的;证明了同步串约束上下文无关语言与同步串约束表达式所描述的语言等价,且该类语言是上下文无关语言的真子集.     

计算机辅助PLA逻辑设计的新算法

计算机辅助可编程序逻辑阵列(PLA)逻辑设计的主要目标是求给定开关函数最小的两级与一或表达式。本文提出一种新的算法,它是从开关函数最小项集合所对应的整数集出发,通过对整数进行算术运算,从而求得接近最小的两级与一或表达式。因此,它不同于目前已知的任何算法,具有数据结构简单、运算简便、速度快而对算法语言无特殊要求等优点。     

高级语言中不同类型数据混合运算技巧

在高级语言中,数据是有类型的.当表达式的值赋给不同类型的变量时,表达式的值先转换成左边变量类型;不同类型的数据参加混合运算时,字长短的类型自动转换成字长长的类型后参加运算.这样,编程者不必给出类型转换函数就可以保证计算精度,缩简源程序代码,但是运算时间增加了,这对于开发大型程序是很值得注意的.下面根据运用经验,以FORTRAN语言为例,谈谈不同类型数据混合运算的技巧,举例中的变量名均符合标准的隐含规则.     

分辨矩阵在逻辑优化中的应用

真值表的化简对于逻辑电路的分析与设计具有及其重要的意义.对真值表的化简问题进行研究,提出了一种利用分辨矩阵从真值表中获取最小布尔表达式的粒分辨矩阵方法,实现其在逻辑优化中的应用.首先,将真值表视为逻辑信息系统,将真值表的化简问题转化为逻辑信息系统的最简规则发现问题.然后,在传统分辨矩阵的基础上,利用等价关系模型构造粒分辨矩阵,找出可以组织成最小布尔表达式的信息粒,利用信息粒的析取合取运算获得逻辑信息系统的最小布尔表达式.为进一步加快算法的收敛速度,引入启发式信息的概念,给出了组织信息粒的判定法则,避免在最小布尔表达式的获取中出现冗余逻辑项,使得布尔逻辑表达式最简,同时提高最小布尔表达式的获取效率,解决大规模逻辑电路的优化问题.最后,给出了详细的算法,并通过实例和理论证明说明了该方法的正确性和有效性.     

时态次序说明语言-LOTOS

本文介绍ISO最新开发的一种形式描述技术——LOTOS语言,这种语言以数学方法描述进程外观行为的时态次序,它定义了以事件为运算对象对行为表达式进行运算的一整套规则和相应的形式证明规则,从而为协议的正确说明与验证打下了基础。本文介紹事件和进程的描述方法,以及行为表达式的证明方法。读者可以发现,LOTOS有更广泛的应用。     

手把手教你学单片机的C语言程序设计（七）——运算符与表达式

C语言对数据有很强的表达能力,具有十分丰富的运算符,利用这些运算符可以组成各种表达式及语句。运算符就是完成某种特定运算的符号。表达式则是由运算符及运算对象所组成的具有特定含义的一个式子。由运算符或表达式可以组成C语言程序的各种语句。C语言是一种表达式语言,在任意一个表达式的后面加一个分号";"就构成了一个表达式语句。按照运算符在表达式中所起的作用,可分为算术运算符、关系运算符、逻辑运算符、赋值运算符、增量与减量运算符、逗号运算符、条件运算符、位运算符、指针和地址运算符、强制类型转换运算符和sizeof运算符等。运算符按其在表达式中与运算对象的关系,又可分为单目运算符、双目运算符和三目运算符等。单目运算符只需要有一个运算对象,双目运算符要求有两个运算对象,三目运算符要求有三个运算对象。     

基于构件技术的虚拟电子测量仪器实现研究

首先提出了虚拟电子测量仪器构件的定义及其结构模型,给出了虚拟电子测量仪器构件的五种组合运算及运算规则,并对运算规则进行了详细的形式化定义,从而确立了虚拟电子测量仪器软件系统的代数表达式。     

串行迭代结构在RS解码器设计中的应用

RS码解码算法中存在着大量的多项式间的运算。本文通过对这些运算进行相应的变换，将其转换成迭代的形式，并提出一种串行迭代结构来完成对变换后的表达式的实现。经FPGA验证表明，应用串行迭代结构实现的RS解码器减少了所需硬件资源，并获得了很好的纠错性能。