期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
二阶微小项声波动方程的同伦分析近似解
被引量:
1
1
作者
纪娟娟
郭业才
+1 位作者
张兰芳
黄忠
《四川大学学报(自然科学版)》
CAS
CSCD
北大核心
2016年第5期1087-1094,共8页
由于声波在大气中的传播复杂性,数值模拟方法被广泛采用,但其不能给出解析解的表达式,且其精度有限.文章利用同伦分析方法求解二阶微小项声波动方程的近似解,该方程可以描述声波在大气中传播时的衰减和非线性效应.首先,引入包含衰减项...
由于声波在大气中的传播复杂性,数值模拟方法被广泛采用,但其不能给出解析解的表达式,且其精度有限.文章利用同伦分析方法求解二阶微小项声波动方程的近似解,该方程可以描述声波在大气中传播时的衰减和非线性效应.首先,引入包含衰减项的初始近似解,利用同伦分析方法迭代公式求得一次、二次近似解以及三阶近似解;之后利用Monin-Obukhov相似理论得到的多云、有风的夜晚天气条件下的声速剖面、风速剖面、温度剖面,并对近似解进行了空间数值模拟.结果表明,由于非线性和衰减效应,近似解波形发生了畸变,且声压随着传播距离的增加而减小,因此对研究大气中的声波传播特性具有重要意义.
展开更多
关键词
二阶微小项声波动方程
同伦分析方法
天气条件
衰减
下载PDF
职称材料
关于主范式中极小项和极大项的下标算法
被引量:
2
2
作者
王廷明
《青岛理工大学学报》
CAS
2006年第2期118-121,共4页
通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程.
关键词
极小项
极大项
主范式
下载PDF
职称材料
逻辑函数及最小项与最大项运算规则研究
被引量:
1
3
作者
方天申
《信阳师范学院学报(自然科学版)》
CAS
2001年第2期170-171,共2页
根据逻辑函数最小项和最大项定义 ,探讨其运算规律 ,得出几个运算规则公式 根据这些公式 。
关键词
最小项
最大项
运算规则
逻辑函数
运算性质
逻辑设计
下载PDF
职称材料
小项的性质与小项的编码
4
作者
朱隆尹
刘于江
+1 位作者
许景飞
丁树良
《赣南师范学院学报》
2002年第6期21-23,共3页
通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,这个问题就比较容易理解.本文论述了小项的几个重要性质和编码,在教学实践中收到了较好的教学效果.
关键词
主析取范式
小项
编码
命题演算
数理逻辑
真值表
下载PDF
职称材料
数字电路中有关教学内容和方法的探讨
5
作者
聂爱丽
《安阳工学院学报》
2005年第4期144-147,共4页
由逻辑函数表达式画卡诺图时,首先根据变量个数画出变量的卡诺图,变量取值的循环码不填,只在格外标出各变量为1的取值范围。然后将表达式中乘积项逐个地填入卡诺图的小方格中。一个乘积项就是一组条件,凡是符合该组条件的方格都填1,其...
由逻辑函数表达式画卡诺图时,首先根据变量个数画出变量的卡诺图,变量取值的循环码不填,只在格外标出各变量为1的取值范围。然后将表达式中乘积项逐个地填入卡诺图的小方格中。一个乘积项就是一组条件,凡是符合该组条件的方格都填1,其余方格留空,允许有的方格被重复填1。最后所有乘积项都填格完毕后,若看到卡诺图中有的方格还是空的,则在这些空格填0;若看到有的方格填了多个1,只保留一个1即可(正确的填法不应该出现一个方格既填1又填0的情况)。
展开更多
关键词
数字电路
最小项
卡诺图
逻辑函数
时序图
状态方程
下载PDF
职称材料
判定平方布尔函数的计数算法
6
作者
丁左流
《应用科学学报》
CAS
CSCD
1996年第1期35-40,共6页
一个n元函数是否为平方布尔函数?如果是,如何得到其所有的平方项?文中就此判定问题提出了一个时间复杂度为O(mn ̄3)的计数算法.与经典的Q-M算法不同,该算法基于直观的真值计数,并适合于并行实现.
关键词
平方布尔函数
判定
Q-M算法
计算算法
下载PDF
职称材料
题名
二阶微小项声波动方程的同伦分析近似解
被引量:
1
1
作者
纪娟娟
郭业才
张兰芳
黄忠
机构
南京信息工程大学大气科学学院
安庆师范学院物理与电气工程学院
南京信息工程大学电子与信息工程学院
出处
《四川大学学报(自然科学版)》
CAS
CSCD
北大核心
2016年第5期1087-1094,共8页
基金
江苏省高校自然科学研究重大项目(13KJA510001)
江苏省普通高校研究生科研创新项目(.KYLX15_0873)
文摘
由于声波在大气中的传播复杂性,数值模拟方法被广泛采用,但其不能给出解析解的表达式,且其精度有限.文章利用同伦分析方法求解二阶微小项声波动方程的近似解,该方程可以描述声波在大气中传播时的衰减和非线性效应.首先,引入包含衰减项的初始近似解,利用同伦分析方法迭代公式求得一次、二次近似解以及三阶近似解;之后利用Monin-Obukhov相似理论得到的多云、有风的夜晚天气条件下的声速剖面、风速剖面、温度剖面,并对近似解进行了空间数值模拟.结果表明,由于非线性和衰减效应,近似解波形发生了畸变,且声压随着传播距离的增加而减小,因此对研究大气中的声波传播特性具有重要意义.
关键词
二阶微小项声波动方程
同伦分析方法
天气条件
衰减
Keywords
The second-order
miniterm
approximation acoustic wave equation
Homotopy analysis meth-od
Weather condition
Attenuation
分类号
O175.5 [理学—基础数学]
下载PDF
职称材料
题名
关于主范式中极小项和极大项的下标算法
被引量:
2
2
作者
王廷明
机构
青岛大学师范学院
出处
《青岛理工大学学报》
CAS
2006年第2期118-121,共4页
文摘
通过极小项和极大项的下标特征的讨论,给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法,从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程.
关键词
极小项
极大项
主范式
Keywords
miniterm
, maxiterm, principal normal form
分类号
O141.1 [理学—基础数学]
下载PDF
职称材料
题名
逻辑函数及最小项与最大项运算规则研究
被引量:
1
3
作者
方天申
机构
信阳师范学院物理系
出处
《信阳师范学院学报(自然科学版)》
CAS
2001年第2期170-171,共2页
文摘
根据逻辑函数最小项和最大项定义 ,探讨其运算规律 ,得出几个运算规则公式 根据这些公式 。
关键词
最小项
最大项
运算规则
逻辑函数
运算性质
逻辑设计
Keywords
miniterm
maxiterm
calculating law
calculating nature of logic function
分类号
O153.2 [理学—基础数学]
TP302.2 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
小项的性质与小项的编码
4
作者
朱隆尹
刘于江
许景飞
丁树良
机构
赣南师范学院数学与计算机系
江西师范大学计算机学院
出处
《赣南师范学院学报》
2002年第6期21-23,共3页
文摘
通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,这个问题就比较容易理解.本文论述了小项的几个重要性质和编码,在教学实践中收到了较好的教学效果.
关键词
主析取范式
小项
编码
命题演算
数理逻辑
真值表
Keywords
principal disjunctive normal form
miniterm
encoding
分类号
O141.1 [理学—基础数学]
下载PDF
职称材料
题名
数字电路中有关教学内容和方法的探讨
5
作者
聂爱丽
机构
安阳工学院电气工程系
出处
《安阳工学院学报》
2005年第4期144-147,共4页
文摘
由逻辑函数表达式画卡诺图时,首先根据变量个数画出变量的卡诺图,变量取值的循环码不填,只在格外标出各变量为1的取值范围。然后将表达式中乘积项逐个地填入卡诺图的小方格中。一个乘积项就是一组条件,凡是符合该组条件的方格都填1,其余方格留空,允许有的方格被重复填1。最后所有乘积项都填格完毕后,若看到卡诺图中有的方格还是空的,则在这些空格填0;若看到有的方格填了多个1,只保留一个1即可(正确的填法不应该出现一个方格既填1又填0的情况)。
关键词
数字电路
最小项
卡诺图
逻辑函数
时序图
状态方程
Keywords
digital circuit
miniterm
Karnaugh map
logic function
timing sequence diagram
state equation
分类号
G424.1 [文化科学—课程与教学论]
下载PDF
职称材料
题名
判定平方布尔函数的计数算法
6
作者
丁左流
机构
上海师范大学
出处
《应用科学学报》
CAS
CSCD
1996年第1期35-40,共6页
基金
上海师范大学校科研基金
文摘
一个n元函数是否为平方布尔函数?如果是,如何得到其所有的平方项?文中就此判定问题提出了一个时间复杂度为O(mn ̄3)的计数算法.与经典的Q-M算法不同,该算法基于直观的真值计数,并适合于并行实现.
关键词
平方布尔函数
判定
Q-M算法
计算算法
Keywords
quadratic Boolean functions, decision, Q-M Algorithm, primeimplicant,
miniterm
分类号
O153.2 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
二阶微小项声波动方程的同伦分析近似解
纪娟娟
郭业才
张兰芳
黄忠
《四川大学学报(自然科学版)》
CAS
CSCD
北大核心
2016
1
下载PDF
职称材料
2
关于主范式中极小项和极大项的下标算法
王廷明
《青岛理工大学学报》
CAS
2006
2
下载PDF
职称材料
3
逻辑函数及最小项与最大项运算规则研究
方天申
《信阳师范学院学报(自然科学版)》
CAS
2001
1
下载PDF
职称材料
4
小项的性质与小项的编码
朱隆尹
刘于江
许景飞
丁树良
《赣南师范学院学报》
2002
0
下载PDF
职称材料
5
数字电路中有关教学内容和方法的探讨
聂爱丽
《安阳工学院学报》
2005
0
下载PDF
职称材料
6
判定平方布尔函数的计数算法
丁左流
《应用科学学报》
CAS
CSCD
1996
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部