随机环境中两性分枝过程的性质与灭绝条件

介绍了随机环境中的两性分枝过程,利用概率母函数之间的关系,推导出此类两性分枝过程的有关性质,同时给出了两类常见随机环境中两性分枝过程灭绝的充分条件.     

逻辑函数RM展开式和CRM展开式的转换

讨论了逻辑函数在与-异或和或-符合代数系统中的RM展开式和CRM展开式.根据异或和符合运算的性质详细讨论了逻辑函数bj系数和dj系数间的关系,并提出了两者的矩阵转换法,举例说明了转换过程.该方法揭示了bj系数和dj系数的内在联系,具有较好的实用性.     

随机环境中双移民生灭过程的极限性质

引入了随机环境中双移民生灭过程的概念，定义了过程的模态指示函数，在此基础上研究了其转移矩阵的平稳分布，给出了平稳分布众数的位置与模态指示函数之间的关系．研究了平稳分布的众数与边界关系．     

保形分段三次多项式曲线的形状分析

构造了一种保形并且形状可调的分段三次多项式曲线,并分析其形状特征与控制多边形之间的关系.首先,通过预设基函数的性质再解方程组,构造了一组带2个形状参数的多项式基函数,其包含三次均匀B样条基函数作为特例.然后,借助基函数与三次Bernstein基函数之间的关系证明了基函数的全正性,由这组基函数定义了一种分段三次多项式曲线,使该曲线拥有一个局部和一个全局形状参数.最后,分析了控制多边形边变量之间的相对位置关系对曲线段形状特征的影响,得到了曲线段拥有1个或2个拐点,1个二重点或1个尖点,为局部凸或全局凸时的充要条件.该结论为曲线段的形状调整提供了理论基础.     

一类马氏到达过程的实质破产问题

破产问题是金融保险研究的重要问题之一。针对Markov到达过程环境下的破产模型,考虑了它的实质破产问题。根据索赔发生,实质破产发生和环境状态改变3个因素,利用重期望公式得到Markov环境中在不同初始盈余下实质破产所满足的积分微分方程。进一步求得了一维环境状态与二维环境状态时带有破产率函数的实质破产概率表达式,并且给出了常值破产率函数下的实质破产概率与特殊数值解。 更多还原     

基于逻辑函数e导数的双逻辑综合

讨论了逻辑函数的e导数与逻辑函数化简的关系,并在此基础上提出了基于逻辑函数e导数化简逻辑函数的新方法.由于采用了双逻辑综合,逻辑综合效果优于传统的基于与-或-非运算的逻辑综合.     

将任意开关函数变换为对称函数的新方法

本文分析了函数部分对称性、全对称性与函数分解图之间的关系,并在此基础上提出了利用分解图及编码阵将任意开关函数变换为对称函数的图形方法.     

偶数元最优代数免疫布尔函数的一种构造方法

利用布尔函数的汉明重量与代数次数之间的关系,得到布尔函数不存在低次零化子的一个充分条件.通过构造适当的仿射子空间,保证布尔函数不存在低次零化子,得到偶数元最优代数免疫布尔函数的一种构造方法,并对此类函数进行了计数.     

基于谱系数图检测特殊逻辑函数的图形方法

阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理, 给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程. 实例表明该方法具有直观、简单等特点.     

基于归一化Haar变换的自反函数和自双反函数的检测

推导了归一化Haar变换谱系数与自反函数和自双反函数的关系,在此基础上提出了基于归一化Haar变换检测自反函数和自双反函数的谱方法.该方法的主要优点在于可以同时检测多种特殊逻辑函数以及易于计算机编程操作.     

含无关项布尔函数的对称变量检测算法

为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明,与现有方法相比,算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优.     

分支随机Q过程的惟一性

引进了分支随机Q矩阵、分支随机Q过程和随机生成母函数的概念．研究了分支随机转移矩阵与随机生成母函数的关系．本文的主要结果是：在某些合理的条件下，证明了分支随机Q矩阵的随机Q过程的惟一性．     

部分多值逻辑中保正规关系的准完备集的性质

在多值逻辑完备性理论中,Sheffer函数的刻划是一个重要的问题,此问题的解决可归结为定出其准完备集的最小覆盖.本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础.     

相信逻辑公式的影响范围与概率逻辑公式的概率

影响范围计算（Ｉncidence Calculus)理论主要是用来解决纯数值不精确推理中固有的各种难题。它具有纯数值机制所缺乏的许多优点,加它能表示命题间的独立性,具有真值函数性,而数值机制却不具有这些特点。影响范围的计算理论可以提供一种真正的概率推理。     

基于布尔e导数的特殊逻辑函数检测方法

布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e导数检测线性函数、自双反函数的方法,并通过3个实例,展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域.     

布尔函数的学习与性质测试

对函数f的性质测试通常是对C中函数进行取样,重构一个近似函数h,以h所具有的性质近似刻画f的性质.重构h的过程称为对f的学习.本文给出了布尔函数的学习与性质测试的理论与方法,该理论与方法可以用于概念学习、特定性质的函数学习与测试等.     

Bp函数刻画Carleson测度的一个不等式

利用α阶Carleson测度(α＞0)的定义以及算子理论研究了Carleson测度,刻画了α阶Carleson测度与Bp函数空间之间的函数关系,得到了用Bp函数的积分不等式刻画Carleson测度的定理.     

检测含任意项特殊逻辑函数的图形方法

线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明了具体检测过程.应用结果表明,该图形方法具有直观,便捷等特点.     

布尔特殊运算c-导数及其在Bent函数研究中的应用

提出了布尔函数c-导数的定义,给出c-导数的性质,并对部分性质作了证明.讨论了布尔函数c-导数、布尔导数及e-导数之间的关系,以及c-导数在对密码学研究有重要应用价值的Bent函数中的应用.     

一种有效的变步长的自适应独立分量分析算法

步长因子的优选是自适应算法中的一个重要问题,本文建立了步长因子与互相关性测度之间的一种非线性函数关系,以此为基础,提出了一种新的变步长的自适应独立分量分析算法,分析了算法收敛性能和稳态性能.该算法根据互相关性测度所反映的信号分离状态自适应地调节步长因子,克服了传统算法在稳态步长调整过程中的不足.仿真实验结果表明了算法的有效性.