基于GEP-RNC的指数对数型程序不变量发现方法

程序不变量的发现是一种提高软件质量的有效方法.不变量发现工具Daikon可以发现程序中蕴含的简单不变量形式,但不包括复杂的函数型不变量.本文基于GEP-RNC算法对指数对数型不变量发现方法进行研究,通过实验证明GEP-RNC算法可以有效的发现指数对数形式的不变量,解决了基因表达式编程算法在复杂函数形式发现中稳定性不佳,精度不高的问题,扩展了Daikon不变量测试库中程序不变量的类型.     

一种基于GEP的程序不变量动态发现方法

利用GEP(基因表达式编程)获取最优解的函数发现能力和数学理论的精确计算能力获得较客观的程序不变量的预置形式,能够进行目前技术没有处理的函数型程序不变量的发现生成工作.在函数型程序不变量范围内,有效地克服了目前程序不变量发现技术中存在的两个缺点,即计算盲目性与程序不变量形式预置的主观性.整个工作可以理解为是对目前程序不变量发现技术的一个扩展,它拓广了原有技术可发现的程序不变量种类,增大了从程序运行轨迹数据中发现更多不变量的可能性.     

变系数线性方程的不变量组及其应用

本文对一般形式的线性齐次微分方程■分别给出了在自变量变换下的不变量组,并讨论了不变量组的应用.本文的结果是文[1]的推广.     

不变量在六阶变系数线性微分方程中的应用

通过变量变换将六阶变系数线性微分方程不变量的概念引入，并得到其不变量组，然后对不变量的性质进行了讨论，给出了一些六阶变系数线性微分方程的可积类型.     

不确定变量的线性熵

针对不确定理论中熵计算的复杂性,利用信息熵的定义特征、线性函数的连续性及计算的简便性,定义了不确定变量的线性熵,得到其线性分布函数、zigzag型分布函数;证明了线性熵具有非负性、在值域内的有界性.研究得到:不确定熵与不确定线性熵的异同、不确定线性熵的优越性.该成果应用范围更广、在工程计算中将发挥更大的作用.     

五阶变系数线性微分方程的不变量解法

为了研究五阶变系数线性微分方程的解法,通过变量变换,引入了五阶变系数线性微分方程不变量的概念,并得到了其不变量组;进一步讨论了不变量的性质,给出了五阶变系数线性微分方程的一些可积类型.     

Bell基的局域SU2变换不变量研究

由局域SU2变换不变量出发,对Bell基矢的纠缠度及Bell基矢的局域SU2变换不变量进行分析,讨论了Bell基线性叠加态的纠缠度.结果表明,虽然Bell基都是纠缠度最大的纠缠态,但从局域SU2变换不变量看其仍是两种形式.同一形式的最大纠缠态线性叠加(实数)构成的态仍是纠缠态,且纠缠度不变,其态矢构成纠缠基;不同形式的最大纠缠态线性组合后纠缠度改变,其态矢不能构成纠缠基.任意多个局域SU2不变量相同的最大纠缠态线性叠加构成的态仍是纠缠态,且纠缠度不变.     

基于非标准Lagrange函数动力学系统的Mei对称性摄动与绝热不变量

研究非标准Lagrange函数下动力学系统的Mei对称性摄动与绝热不变量.首先,给出系统的Euler-Lagrange方程与Mei对称性判据方程及精确不变量;其次,给出受小扰动后系统的运动微分方程,并研究该系统受小扰动作用下Mei对称性摄动与绝热不变量,得到了受扰动后系统的Mei型绝热不变量;最后,举例说明结果的应用.     

不含时哈密顿线性正则变换和非线性正则变换

为解决哈密顿正则变换和循环变量问题,本文研究了不含时线性和非线性正则变换.研究发现从严格意义上讲,不含时正则变换得到的新哈密顿量与变换前的哈密顿量之间可以相差一个任意的、只依赖于时间的函数.文章从线性正则变换出发,给出了不同于利用生成函数作正则变换的条件;对于不含时线性正则变换和非线性正则变换,通过引入变换矩阵M,发现...     

固定设计下函数型线性回归模型的完全收敛速度

基于固定设计下,文章研究了解释变量和响应变量都为函数型变量时的线性回归模型,通过构造模型中线性算子T的估计量■n,证明了在不同的条件下‖■n-T‖的以概率收敛性和完全收敛性,同时给出了‖■n-T‖在完全收敛下的收敛速度.     

各向异性弹性体在坐标变换下不变量——规范空间的一种应用

将陈氏规范空间的概念引入到不变量的问题中去，并将ＴＣＴＴｉｎｇ找到的不变量及由特征值得到的不变量在规范空间用显式表出。     

Automatic Identification of Axis Orbit Based on Both Wavelet Moment Invariants and Neural Network

Axis orbit is an important characteristic to be used in the condition monitoring and diagnosis system of rotating machine. The wavelet moment has the invariant to the translation, scaling and rotation. A method, which uses a neural network based on Radial Basis Function (RBF) and wavelet moment invariants to identify the orbit of shaft cen-terline of rotating machine is discussed in this paper. The principle and its application procedure of the method are introduced in detail. It gives simulation results of automatic identification for three typical axis orbits. It is proved that the method is effective and practicable.     

不变矩构造方法的研究

在7个经典不变矩基础上，总结出基不变矩的一般构造规律，提出了一种新的推导不变矩的重要方法——三角函数分解法，导出了多个新的不变矩表达式，提出了不变矩空间的概念，讨论了不变矩在图像反转变换下的特性．利用扩充后的基不变矩特征序列就可以更准确地对图像进行分类和识别．     

用daikon发现循环不变式

随着软件行业的深入发展,软件存在的问题与日俱增,程序正确性受到了广泛的关注,形式化方法是解决程序正确性的基本途径,而发现程序循环不变式是证明程序正确性的关键。本文介绍了循环不变式的基本概念以及计算不变式的基本方法;用JAVA重写了Siemens的replace C程序,并以JAVA和C两种语言的replace程序为例,对不变式动态探测工具daikon进行了深入的实验研究,试验结果揭示了daikon在探测循环语句不变式方面的不足,依此提出了改进daikon探测循环不变式的措施。     

基于Web的数据挖掘方法的研究及实现

Web上有海量的数据信息,数据挖掘是从大量的数据中发现隐含的规律性内容,充分利用有用数据,废弃无用数据,解决数据的应用质量问题。通过对Web的数据挖掘和XML特点进行分析,讨论了使用XML实现基于Web的数据挖掘方法,提出了一种结合HTML、XML、JAVA的新型数据挖掘技术。     

在实表象中含时Hamilton量解的不变量

通过实表象的运动方程的确切解,得到了在静磁场中的含时一维、二维Hamilton谐振子的Lewis-Riesenfeld不变量。数学上,这个正交的不变量函数是一个各向同性的二维Hamilton谐振子的角动量。根据得出的不变量,通过一个简单的试探函数方法仍然可以简单推导出在静磁场中柱坐标下的二维含时Hamilton谐振子的波函数,并且通过在直角坐标下二维含时Hamilton谐振子的波函数表示成为叠加态的形式。     

型不变量为(e,3,1)的有限正则非交换p群的分类

该文利用正则p群的型不变量、唯一性基底及L群列等基本概念，给出了型不变量为(e,3,1)的有限正则非交换p群的分类，其中p≠2.     

改进基因表达式编程算法及其应用研究

基因表达式编程是一种新型的自适应演化算法,它是在继承和发展遗传算法和遗传编程优点的基础上发展起来的知识发现新技术．笔者介绍了GEP的发展现状与关键技术,设计了逆淘汰策略和无树解码方式的改进方案,旨在维持种群多样性和提高算法效率,最后将改进方法应用与一元和多元函数挖掘的实验,得到准确度和拟合度良好的函数模型,收到了满意的效果．