展开定理与逻辑函数不同表示形式的转换原理

为探索逻辑表达式、真值表、卡诺图等几种逻辑函数表示形式之间的转换原理,分析研究了基于展开定理的对逻辑函数按变量展开的最小项表达式,给出了逻辑常量0、1取值和最小项的各个变量出现形式的对应关系,逻辑函数最小项表达式和真值表及卡诺图的对应关系,揭示了逻辑函数各种表示方法的内在联系,从而完善了逻辑函数表示方法的理论原理.所述方法,有助于逻辑函数的分析、变换方法的研究,具有较好的实用性.     

论含约束项卡诺图的降维

本文运用逻辑代数的基本理论,对含约事项的逻辑函数表达式进行变换,导出用降维函数表述的含约束项的逻辑函数表达式,从而得出含约束项的降维卡诺图的填写原则。     

基于小波变换的单通道盲分离中源信号数目估计算法

推导了常用数字调制信号的小波变换幅度函数表达式,并给出了统一的近似表达式。在此基础上给出了单通道接收混合信号模型中小波变换幅度函数的近似表达式。通过充分利用与混合信号中奇异点有关的码元周期信息,给出一种基于小波变换的单通道接收条件下源信号数目估计算法,实现了在无先验知识的情况下对源信号数目的估计,并通过仿真验证了算法的可行性和有效性。     

与-或及与-异或表达式间的一种转换方法

介绍了与-或表达式及与-异或表达式间的一种形式的转换方法，该方法方便了在这两种表达式间的直接转换，也适于用计算机辅助进行两种表达式间的直接转换．用这种方法能方便地导出与-或表达式与Reed-Muller表达式间的形式转换以及极性函数转换成Reed-Muller表达式的形式转换。     

λ表达式在Java中的应用

λ表达式是Java语言更好地实现函数式编程的重要基础。简单介绍了λ表达式与高阶函数,着重从应用角度分析了λ表达式的具体应用形式和步骤,在此基础上阐释了λ表达式的意义,为组织或技术人员实现函数式编程提供了一种行之有效的参考。     

KdV方程的拉氏函数、哈氏函数、动能、势能的三角函数表示

基于本文作者发展的求解KdV方程的方法 ,给出了KdV方程的拉格朗日函数、哈密顿函数的三角函数表达式 ,进而给出了KdV系统的动能和势能的三角函数表达式。     

振动测试分析中相干族的应用

在振动测试信号处理和模态分析中经常要用到各种相干族表达式(如相干函数,信噪比,模态置信准则等),仔细分析后发现这些表达式都可以通过Schwartz不等式经过变换得到.分析了相干族的表达式,运用Matlab对两自由度动力学系统各相干族表达式进行仿真分析,并介绍了相干族表达式在实践中的应用,有利于系统掌握相干族.     

反演卡诺图和对偶卡诺图

根据反演规则和对偶规则定义，给出了反演卡诺图和对偶卡诺图，进而利用反演卡诺图和对偶卡诺图将逻辑函数“或与”表达式化简及化成“与或”表达式，很适于用“或非”门实现的电路分析和化简。     

一种新型活塞环径向压力分布函数

对仅为余弦函数表达式和非仅为余弦函数进行了介绍,同时基于现代活塞环的设计方法以及非仅为余弦函数表达式的通式,提出了一种形式较为简单的非仅为余弦函数表达式.表达式除了待定系数外仅有两个函数系数,参数的确定过程较为方便,且特性上优于仅为余弦函数表达式.     

修正矩阵 Drazin 逆的表示

以往文献给出了类似Sherman-Morrison-Woodbury式的修正矩阵Drazin逆的表达式及基于广义Schur补的修正矩阵Drazin逆的表达式.论文在上述结果的基础上,给出了另外一组不同的条件求得了修正矩阵Drazin逆的表达式,其表达式与上述结果相似,同时补充了群逆的情况.     

基于三值语义的非单调逻辑

本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．     

对半符号逻辑的思考——从教育的观点看

半符号逻辑是一种新的逻辑分支,它试图突破传统和现代逻辑的局限性,建立一种既严格又易于掌握的逻辑体系。本文从逻辑教育的角度对其本身提出质疑,认为它并不有益于逻辑的研究和教学。     

模糊知识体系逻辑扩展能力评价模型研究

以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标，在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型，并给出对典型加权模糊逻辑的详细评测过程，这个模糊知识体系的逻辑扩展能力评价模型，可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。     

/p∧乛p/=0与/p∧乛p/=1/2能使我们陷入“两难”吗?

在卢卡西维茨的三值逻辑理论L3 中 ,当 /p/=1/2时 ,/p/=1/2 ,所以 ,/p∧p/=1/2。但是 ,在人们的“逻辑直觉”中 ,/p∧p/=0。本文指出这种“逻辑直觉” ,其实是以二值逻辑暗中取代了三值逻辑 ,从而得出 /p∧p/=0这样的结果。 /p∧p/=1/2与 /p∧p/=0由于不是以同样的逻辑理论为基础 ,而是分别以三值逻辑和二值逻辑为基础的结果 ,因而 ,它们并不能使人陷入“二难”的境地     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

IMTL逻辑系统的一种新扩张形式

提出了一种新的模糊逻辑系统 IMTL^*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且 ?ukasiewicz 逻辑系统和逻辑系统ℵ^*都是它的模型扩张,应用这些结论给出了?ukasiewicz 逻辑系统和逻辑系统ℵ^*的蕴涵表示形式。只使用蕴涵这一种逻辑联接词的模糊逻辑系统将为模糊逻辑的应用提供方便。     

门和功能级混合的逻辑模拟系统GFLS1

ＧＦＬＳ１是门和功能级混合的逻辑模拟系统，它允许门或功能块作为被模拟电路的基本单元。ＧＦＬＳ１的主要特点是：提供了一个便于使用的描述语言；使用表驱动和选择追踪算法；既可对已有的逻辑电路作正确性检查，负载检查和各种条件检查，也可支持自上而下的逻辑设计。     

浅析逻辑学与知识组织

从逻辑学角度出发对知识组织进行了分析,揭示了知识组织是如何运用逻辑学理论进行研究和发展的。     

文化产业兴起与发展的内在规律

文化产业的兴起和发展是产业逻辑、需求逻辑和技术逻辑综合作用的结果。文化产业作为高端服务业是产业自身演进的产物,其动力机制是经济社会发展与需求结构升级的相互作用。“机械复制技术”催生了文化产业,文化产业随着以“机械复制技术”为特征的传播技术的发展而不断升级并向传统产业渗透,文化产业业态不断创新。在经济全球化与国际文化产业的互动发展的背景下,文化产业必将成为21世纪的主导型产业。