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

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

基于GEP的线性指数函数型程序不变量动态发现方法

不变量是用来描述程序运行时保持不变性质的逻辑断言.根据关系数据理论,程序不变量可分函数依赖型和非函数依赖型程序不变量.着眼于函数依赖型程序不变量,借助GEP的函数发现特点和Daikon对线性程序不变量的发现能力,重点对线性指数函数型程序不变量动态发现方法进行研究,通过实验证明了GEP对线性指数形式的函数有较高的发现效率,可以扩展Daikon在线性指数函数型程序不变量方面的预置形式以达到从程序轨迹数据中发现该类程序不变量的目的.     

对数指数平均的Hzolder，Minkowski，Tchebychef型不等式

借助于有关积分不等式，证明了对数平均、指数平均的与Holder不等式、Minkowski不等式、Tchebychef不等式相类似的不等式．     

指数型、对数型传感器的数字线性化方法

本文提出利用R-C有源网络充放电的严格指数过渡特性实现指数或对数传感器的线性化方法.该方法具有线性化精度高、动态测量范围宽、直接输出脉宽或频率信号等特点,为传感技术的数字化、集成化提供了一种有效手段.     

变换的不变量

本文阐明了不变量思想的重要意义，给出了证明不变量的一般方法，最后得到两个关于基本不变量的重要结论。     

对数指数平均的Hlder,Minkowski,Tchebychef型不等式

借助于有关积分不等式,证明了对数平均、指数平均的与H lder不等式、Minkowski不等式、Tchebychef不等式相类似的不等式.     

分子拓扑不变量的定量指标

通过分析分子图拓扑结构对物性的贡献,描述分子拓扑不变量的定量指标,以便详细地概括和综述Wiener拓扑指数的基本概念及性质,从而给出两种计算Wiener拓扑指数的计算方法     

n个正数的算术—指数—对数—几何平均不等式

对两个正数的指数平均和对数平均进行了推广，得到了n个正数的指数平均和对数平均，给出了n个正数的算术-指数-对数-几何平均不等式。     

二次曲线的不变量

本文首先推求二次曲线表示九种曲线的充分必要条件,其次再推证表示上述充要条件的代数量是坐标变换下的不变量.这种讨论无论从论证的逻辑顺序,还是方法上都与通常论述不同,而这种方法比较自然且突出了几何背景.     

计算Petri网S不变量和T不变量算法

以Petri网的关联矩阵为基础,提出了求解Petri网的S不变量和T不变量的算法。以关联矩阵为基础构造求解矩阵,对所构造的求解矩阵进行初等线性行变换和列变换将相应的行元素和列元素变为零,并在变换后的矩阵中提取S不变量和T不变量。算法实现了在一个矩阵中通过初等线性变换就可以得到Petri网的S不变量和T不变量。     

基于离散对数防欺诈的多重签名方案

基于离散对数问题的困难性,给出一种防欺诈的多重签名方案.该方案具有防止内部欺诈的特点,同时能适用于签名成员顺序接收明文,并决定是否对明文进行签名的实际情况.     

GFO和不变矩实现基于形状的图像检索新方法

提出了一种新的基于形状的图像检索方法。首先利用广义模糊算子对图像进行边缘检测，以检测出的边缘映射图计算不变矩阵来代表边缘图像的形状信息，从而完成对图像的自动索引；其次，重新定义了相似度测度，提高了匹配速度；最后，设定纵横比辅助搜索，以提高检索精度。实验结果表明，此方法在一定程度上排除了与形状无关信息的影响，不但简单有效，而且搜索速度快，具有一定的实用意义。     

基于指数支撑度的IGOWLA算子的最优组合预测模型

在广义诱导有序加权对数平均算子(IGOWLA算子)的基础上,引入指数支撑度以及构建了一种基于支撑度的IGOWLA算子的最优组合预测模型,并对该模型的预测精度、优性及非劣性给出定义.实例分析表明,该组合预测模型优于传统的组合预测模型,能够充分利用各个单项预测方法的信息并能提高预测精度,是一种优性组合预测.     

基于指数移动平均的无线层析成像算法

为提高无线层析成像（RTI）算法在多径环境下对运动目标的跟踪精度,降低多径效应对信号变化的影响,引入指数移动平均（EMA）作为无线层析成像中衡量信号变化的参量.采用长时EMA作为基准,无需事先测量待测区域的背景信息.进行了室外穿墙和室内多径环境的单运动目标跟踪实验,与SRTI和KRTI比较,结果显示基于指数移动平均的RTI算法跟踪误差小于其他算法,而算法耗时没有明显增加.      

一个基于离散对数的保密投票方案

作者提出一种基于离散对数的数字表决方案，方案的特点是：投票不可伪造；投票不可抵赖；私钥由投票人本人保管，无需告诉他人；投票人的态度保密。因此特别适用于一个组织的最终决策过程。     

幂指函数导数的一个简明法则

对幂指函数的导数公式提出一个简明易记的计算法则,并对对数微分法所引起的函数定义域的变化进行了讨论.     

基于DVB-SI的一种EPG实现方法

EPG是数字电视的一大特色，文章首先介绍DVB—SI协议，它是实现EPG的依据．给出了DVB—SI协议流的传送方式，并对其中MPEG-2的节目特别信息（PSI）和数字电视广播（DVB）系统的服务信息（SI）相关的几个重要的表进行了介绍．然后根据协议提出一种EPG实现方案，最后在机顶盒中实现了该方案，为用户提供了简单实用的EPG，从而也证明了该方案的可行性．     

基于局部色彩不变量的图像篡改检测方法

针对基于分块的图像区域复制篡改检测方法通常面临的图像特征提取计算量大、维度高、识别率低等问题,提出一种基于局部色彩不变量特征的图像区域复制篡改检测方法,将RGB彩色图像转换到对立色彩空间,通过分析和提取图像各通道上的局部密度分布特征,构建k-d树进行相似分块特征匹配以实现图像区域复制篡改检测.提出的局部色彩不变量密度特征具有维度低、计算简单等特点.实验结果表明,本文方法与其他几种典型的基于分块的方法相比,具有较低的时间复杂度和较高的检测率,且对图像篡改区域的旋转、缩放攻击具有较好的鲁棒性,特别是当图像篡改区域进行大角度旋转时与其他几种方法相比具有明显优势.