部分二值逻辑中Sheffer函数的判定

利用保关系的思想,定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。     

部分二值逻辑中Sheffer函数的构造与判定算法

在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种部分二值逻辑中Sheffer函数的判定算法,此算法和传统判定算法相比,避免了繁琐的计算,可以说是一种较简单的判定算法。     

两类多输出逻辑函数的关系

首次给出了多输出广义部分Bent函数的定义并论证了其的存在,得到了多输出广义部分Bent函数的等价判别条件,给出了多输出p值广义部分Bent函数与多输出p值广义Bent函数的关系,并讨论了这两者的广义一阶Chrestenson谱的关系,为多输出p值广义部分Bent函数的构造提供了一种方法。     

多值逻辑的矢量变换与二值器件实现的综合

本文利用逻辑代数的矢量变换法分析了多值逻辑函数的展开问题,提出了分量递椎式的建立方法,举例说明了用二值元件实现多值逻辑函数的综合过程。本文结果表明,利用矢量变换法,可以用类似于二值逻辑的方法来处理多值逻辑问题。     

多自由度粘弹性非线性随机系统的瞬态响应

研究了高斯白噪声激励下多自由度粘弹性非线性系统的瞬态响应.首先,通过将粘弹性项对系统的作用近似地简化为对原系统阻尼部分以及刚度部分的修正,得到近似的不具粘弹性项的等效非线性随机系统.然后,应用基于广义谐和函数的随机平均法,导出关于幅值瞬态概率密度的平均Fokker-Planck-Kolmogorov方程.该方程的解可通过多重级数式表示,基函数为幅值相关正交函数,系数为时间函数.应用Galerkin方法,关于时间的系数可由一阶线性微分方程组解得,从而得出幅值响应的瞬态概率密度、状态空间概率密度及幅值统计矩的半解析表达式.最后,以耦合的二自由度Duffing-van der Pol振子系统为例,通过与原系统数值模拟结果的比较分析验证了所提出的半解析方法的有效性,并讨论了粘弹性对系统响应的影响.     

连续等距区间上积分值的二次样条插值

目的 在现实中,某些插值问题结点处的函数值往往是未知的,而仅仅已知一些区间上的积分值。为此提出一种给定已知函数在连续等距区间上的积分值构造二次样条插值函数的方法。方法 首先,利用二次B样条基函数的线性组合去满足给定的积分值和两个端点插值条件,该插值问题等价于求解n+2个方程带宽为3的线性方程组。然后,运用算子理论给出二次样条插值函数的误差估计,继而得到二次样条函数逼近结点处的函数值时具有超收敛性。最后,通过等距区间上积分值的线性组合逼近两个端点的函数值方法实现了不带任何边界条件的积分型二次样条插值问题。结果 选取低频率函数,对积分型二次样条插值方法和改进方法分别进行数值测试,发现这两种方法逼近效果都是良好的。同样,选取高频率函数对积分型二次样条插值方法进行数值实验,得到数值收敛阶与理论值相一致。结论 实验结果表明,本文算法相比已有的方法更简单有效,对改进前后的二次样条插值函数在逼近结点处的函数值时的超收敛性得到了验证。该方法对连续等距区间上积分值的函数重构具有普适性。     

部分四值逻辑中Sheffer函数的判定

多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。     

用二值逻辑对多值逻辑进行优化

提出以二值多输出逻辑优化软件OPLG为基础，对多值逻辑函数进行逻辑优化的方法．通过对多值变量、多值函数的二进制矢量描述，将多值多维体转换为布尔表达式积项形式，从多值多维体的多值最小项出发，给出计算基本无关集的方法。对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为300)来实现，二值逻辑优化的结果最终再转换为多值多维体的表示形式。     

部分四值逻辑中Sheffer函数的判定与构造

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4^＊中的Sheffer函数。     

部分四值逻辑中Sheller函数的判定与构造

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数.     

基于差分分层噪声检测的开关中值滤波算法

为了精确地检测出图像中的脉冲噪声并滤除,提出了一种差分分层噪声检测的开关中值滤波算法。该算法对噪声检测窗口内像素点按灰度值大小排序,通过差分方法划分出高、低阶噪声块和信号块3部分。当待测像素点属于信号块时视其为信号点;否则,视其为可能噪声点。利用可能噪声点与信号块中与其灰度值最临近的信号点的灰度的差定义了梯度函数,在梯度函数的基础上定义了用于对可能噪声点进行二次检测的模糊隶属函数,对滤波方法进行模糊加权,得到一种加权滤波方法。实验结果证明了该算法对脉冲噪声有很强的抑制作用。     

具有随机收入的最优消费和证券选择问题

研究在投资者还拥有一份随机收入情况下的最优决策问题。运用动态规划方法得到了这一问题的值函数；然后用值函数的齐次性把原控制问题的状态空间由二维降为一维，使问题得到简化；最后基于降维后的值函数给出了具有反馈形式的最优消费与证券选择策略。     

时空混沌二值化方法研究

针对耦合映像格子模型产生的时空混沌序列的特点,在符号函数二值化法的基础上,给出了一种新的二值化方法。随机性能和相关性检验的结果表明按这种方法得到的二值序列具有优良的伪随机性能及相关特性,说明提出的方法是有效的,而且简单实用。     

基于布尔函数的图像编码

由于二值图像可以认作一幅布尔函数的映射，因此该文提出了基于布尔函数最小化表示的布尔值图像的编码方法。它与4叉树等树型表示比较，获得了更好的存储压缩。结果表明，所提出的方法表示一幅二值图像所需求的代码数目大约仅是4叉树的一半左右。     

多相Chan-Vese模型的直接对偶方法

多相图像分割的变分模型采用水平集函数定义不同区域的特征函数,其极值问题需要迭代求解一系列动态演化方程,计算效率低。较快的方法是对离散的二值标记函数凸松弛后设计对偶方法或Split Bregman方法,并结合阈值化技术得到分割结果。提出一种无需凸松弛和阈值化的快速分割方法—直接对偶方法(DDM)。DDM利用二值标记函数的二值特性,并根据KKT条件得到原变量的二值解析解和对偶变量的简单迭代格式。该方法首先应用到两相Chan-Vese模型,然后拓展到多相Chan-Vese模型。实验结果表明,DDM比梯度降方法、对偶方法和Split Bregman方法分割效果好、计算效率高。     

二值文本分类中基于Bayes推理的特征选择方法

针对二值文本分类算法中的特征选择问题,本文提出了基于贝叶斯推理的评估函数算法来替代常用的、以IG或MI为评估函数的算法;同时,提出了以评估函数值的累计贡献率表示置信度,并以此确定特征选择维度的可量化的方法.对比实验显示,本文提出的新方法具有简便易行、高效实用的优点,此算法不仅对文本分类问题,对其它各类二值分类问题中的特征选择方法研究也都具有很好的参考、借鉴价值.     

具有零动态仿射非线性系统控制Lyapunov函数的构造

研究具有零动态仿射非线性系统控制Lyapunov函数的构造问题.提出通过求解一个Lyapunov方程获得可线性化部分的二次型控制Lyapunov函数.由可线性部分的控制Lyapunov函数和零动态部分的Lyapunov函数,通过构造一个正定函数,得到了整个系统的控制Lyapunov函数,且设计了可半全局镇定整个闭环系统的控制律.仿真实例说明了所提出方法的有效性.     

图纸扫描消蓝技术评价与改进算法

描述工程图纸识别技术中的扫描消蓝技术，对几种二值化方法进行了分析和评估，提出了非线性适应算法，微分函数的区域分割算法和基于逻辑分级技术的二值化算法，同时结合建筑结构图的自动识别进行了试验研究，未给出最佳处理方法。而是指出对应不同类型退化的图纸。采用不同的方法或组合形式实现二值化。     

基于生成函数的二项树堆枚举计数公式推导

通过对二项堆性质的深入研究,证明最大值堆的枚举计数递推公式适用于二项树堆(遵循堆性质的二项树)。由二项树堆的枚举计数递推公式计算出的枚举数目能组成枚举值数列。把枚举值数列表示成生成函数,并根据生成函数的求和、微分、积分等运算将枚举值数列的生成函数化简为幂级数形式,进而对二项树堆的枚举计数递推公式进行化简,得到二项树堆的枚举计数公式。据此可直接计算出二项树堆的枚举总数目。经过实验验证,与递推计算二项树堆枚举总数目的方法相比,该方法的计算效率更高。     

紧支正交小波对称化在DSP中的应用

文章讨论了紧支正交小波的对称化问题，并提出了一种新的对称化方法：把一大类紧支实值的非对称正交小波函数分解成对称和反对称两部分，并证明了其相应的两部分仍然构成对称和反对称的紧支正交小波基。而且我们发现尺度函数的对称和反对称部分分别是某子空间的尺度函数和小波函数。最后把上述的结果应用到数字信号处理中取得了较好的效果。