二阶微小项声波动方程的同伦分析近似解

由于声波在大气中的传播复杂性,数值模拟方法被广泛采用,但其不能给出解析解的表达式,且其精度有限.文章利用同伦分析方法求解二阶微小项声波动方程的近似解,该方程可以描述声波在大气中传播时的衰减和非线性效应.首先,引入包含衰减项的初始近似解,利用同伦分析方法迭代公式求得一次、二次近似解以及三阶近似解;之后利用Monin-Obukhov相似理论得到的多云、有风的夜晚天气条件下的声速剖面、风速剖面、温度剖面,并对近似解进行了空间数值模拟.结果表明,由于非线性和衰减效应,近似解波形发生了畸变,且声压随着传播距离的增加而减小,因此对研究大气中的声波传播特性具有重要意义.

关于主范式中极小项和极大项的下标算法

通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程.

逻辑函数及最小项与最大项运算规则研究

根据逻辑函数最小项和最大项定义 ,探讨其运算规律 ,得出几个运算规则公式 根据这些公式 。

小项的性质与小项的编码

通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,这个问题就比较容易理解.本文论述了小项的几个重要性质和编码,在教学实践中收到了较好的教学效果.

数字电路中有关教学内容和方法的探讨

由逻辑函数表达式画卡诺图时,首先根据变量个数画出变量的卡诺图,变量取值的循环码不填,只在格外标出各变量为1的取值范围。然后将表达式中乘积项逐个地填入卡诺图的小方格中。一个乘积项就是一组条件,凡是符合该组条件的方格都填1,其余方格留空,允许有的方格被重复填1。最后所有乘积项都填格完毕后,若看到卡诺图中有的方格还是空的,则在这些空格填0;若看到有的方格填了多个1,只保留一个1即可(正确的填法不应该出现一个方格既填1又填0的情况)。

判定平方布尔函数的计数算法

一个ｎ元函数是否为平方布尔函数？如果是，如何得到其所有的平方项？文中就此判定问题提出了一个时间复杂度为Ｏ（ｍｎ￣３）的计数算法．与经典的Ｑ－Ｍ算法不同，该算法基于直观的真值计数，并适合于并行实现．