UGNX表达式的讨论

UGNX表达式是参数化设计的一个重要工具,它不但记录了建模过程,而且还可以通过它对特征进行编辑和修改.表达式的基本概念、表达式的建立以及表达式对特征的编辑功能是表达式几个重要的内涵.     

一种定义C语言表达式的新方法

C语言具有运算符丰富,表达式灵活的特点。但是,表达式的概念没有准确的定义,给初学者造成理解上的困难。分析表达式的结构特点,发现和数理逻辑中的合式公式很相似,可以采用合式公式递归的方式对C语言的表达式进行递归定义。通过表达式的递归定义,能够准确的分析一个字符串式子是不是表达式。同时,利用这个递归定义,同时结合运算符的优先级,能够决定表达式运算过程中出栈、入栈的顺序,从而计算出表达式的值。     

非等时变分和Hoelder原理

在推导Hoelder原理的过程中，一个关键步骤是应用非等时变分的一个基本表达式，无论从解析法出发或从图解法出发都证明了，在可变函数具有零阶接近度的情况下，这个基本表达式是不正确的，并且推导出一个与上述基本表达式不同的新的表达式。为了慎重起见，联合应用变分学和微分学来研究非等时变分，除验证了新的表达式的正确性之外，还得到一个与之等价的表达式。随后，从可变函数曲线的接近度的概念入手来进一步讨论问题，借助这一等价的表达式，证明了非等时变分的那个基本表达式在可变函数具有一阶接近度时是正确的。进一步的研究表明，在推导Hoelder原理的过程中还存在一个隐含的表达式，通过类似的研究证明，当可变函数曲线具有二阶接近度时，才能保证这个隐含的表达式成立。     

关于角速度矢量的定义

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

Γ函数的性质研究

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

非等时变分和Hlder原理

在推导Holder原理的过程中,一个关键步骤是应用非等时变分的一个基本表达式。无论从解析法出发或从图解法出发都证明了,在可变函数具有零阶接近度的情况下,这个基本表达式是不正确的,并且推导出一个与上述基本表达式不同的新的表达式。为了慎重起见,联合应用变分学和微分学来研究非等时变分,除验证了新的表达式的正确性之外,还得到一个与之等价的表达式。随后,从可变函数曲线的接近度的概念入手来进一步讨论问题,借助这一等价的表达式,证明了非等时变分的那个基本表达式在可变函数具有一阶接近度时是正确的。进一步的研究表明,在推导Holder原理的过程中还存在一个隐含的表达式,通过类似的研究证明,当可变函数曲线具有二阶接近度时,才能保证这个隐含的表达式成立。     

VHDL表达式的可综合语法检查器

VHDL的综合问题是当前EDA研究的一个重要课题。针对VHDL复杂的语法结构,尤其是表达式的多样性,给出一个表达式的可综合语法检查器,通过改变VHDL表达式的产生式来解决在语决分析时遇到的二义性问题。最后给出表达式主要的产生式及测试结果。     

Г函数的性质研究

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

基于约束符号集的条件表达式数据流分析

C程序中的条件表达式是唯一一个由三目运算符构成的表达式,而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,本文方法可以精确的分析C程序中的条件表达式。     

Cartan-Hartogs域上K-hler-Einstein度量的显表达式问题

 讨论了Cartan-Hartogs域上Kähler-Einstein 度量的显表达式以及该度量与Bergman度量的等价性问题。得到了Cartan-Hartogs域上K-hler-Einstein度量显表达式的统一公式。运用该公式与连续函数的性质以及Bergman度量显表达式的一个统一公式,得到了这类域上K-hler-Einstein度量和Bergman度量等价性的统一证明。     

基于符号约束集的条件表达式数据流分析

C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,可以精确地分析C程序中的条件表达式。     

Cartan-Hartogs域上Khler-Einstein度量的显表达式问题

讨论了Cartan-Hartogs域上Khler-Einstein度量的显表达式以及该度量与Bergman度量的等价性问题。得到了Cartan-Hartogs域上Khler-Einstein度量显表达式的统一公式。运用该公式与连续函数的性质以及Bergman度量显表达式的一个统一公式,得到了这类域上Khler-Einstein度量和Bergman度量等价性的统一证明。     

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

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

多节点多重数插值多项式的构造

给出插值多项式的一个解析表达式。     

基于NFA的XML数据流查询算法设计与实现

随着XML数据流应用的深入,如何在XML数据流上执行海量的XPath查询便成为迫切需要解决的问题。本文根据XPath语法规则,即任意一个XPath路径表达式都可转化成一个正则表达式,基于自动机理论,实现了基于NFA的XPath表达式的查询处理。     

一种将中缀表达式转换为后缀表达式的新方法

中缀表达式是一种常见的表达式形式,对它进行求值时,既要考虑操作符的优先级,又要考虑操作符的结合性,虽然在直观上判断一个中缀表达式的运算次序并不难,但如果用计算机处理就非常困难,其一般做法是先将中缀表达式转换成后缀表达式再求值.在已有方法的基础上提出一种将中缀表达式转换为后缀表达式的新方法.     

n符号动力学n—1超稳揉序剂揉特征多项式

利用Milnor-Thurston揉理论，推导出n符号动力学n-1超稳揉序列特征多项式的一个显式表达式，对于单峰，双峰及三峰等低次映射，表达式与已知的结果一致。     

间隔不变性的坐标差与微分表达式的简单推导

间隔不变性的表达式有坐标、坐标差、微分三种形式 ,教材一般只给出了坐标表达式的推导 ,为弥补有关书籍在这方面之不足 ,这里给出坐标差和和微分两种表达式的简单推导。     

一种基于解析表达式的具有可变论域的模糊控制算法

介绍了一种基于解析表达式的具有可变论域的模糊控制算法。它在基于解析表达式的模糊数模型的基础上,加入了一个可变论域思想。可以灵活地实现论域的扩展和压缩。最后通过仿真,证明该算法具有良好的控制性能。