期刊文献+
共找到216篇文章
< 1 2 11 >
每页显示 20 50 100
基于核密度的变系数乘积模型估计
1
作者 毛亚茜 赵培信 《四川文理学院学报》 2025年第2期128-132,共5页
针对变系数乘积模型的估计问题,提出了一种基于核密度的估计方法;该估计方法中,允许未知密度函数的模型误差为多峰或具有较大方差;同时,为了解决部分数据个体之间的测量单位不同,结合B样条函数方法和最小乘积相对误差(LPRE)准则,求解目... 针对变系数乘积模型的估计问题,提出了一种基于核密度的估计方法;该估计方法中,允许未知密度函数的模型误差为多峰或具有较大方差;同时,为了解决部分数据个体之间的测量单位不同,结合B样条函数方法和最小乘积相对误差(LPRE)准则,求解目标函数一阶偏导数的根,进而得到了最小乘积相对误差估计量;最后,在一定正则条件下,理论证明了所提出的估计的渐近正态性和相合性,进一步表明提出的估计量具有稳健性. 展开更多
关键词 变系数模型 核密度估计 最小乘积相对误差
在线阅读 下载PDF
四色猜想的解析论证及其在地图绘制中的应用 被引量:2
2
作者 刘庆民 欧阳富 蔡汉忠 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2011年第4期367-375,共9页
依据欧拉定理,研究了边数差和着色数计算公式,对四色猜想进行了研究.借助四面体顶点数与面积数相等的原则、多面体边数不变的原则和多余理论,用边数差数学计算方法论证了四色猜想.用简单的数学公式和几何作图方法说明了四色猜想的合理性... 依据欧拉定理,研究了边数差和着色数计算公式,对四色猜想进行了研究.借助四面体顶点数与面积数相等的原则、多面体边数不变的原则和多余理论,用边数差数学计算方法论证了四色猜想.用简单的数学公式和几何作图方法说明了四色猜想的合理性,为其提供了可靠的理论依据.用"三色包点"和"以面切体"的几何作图法,证明多面体和平面地图的着色数恒为4;非三色包点的图形,可以通过"以面切体"的方法转换成三色包点的图形;使用多余国家、多余边数的数学技巧代替计算机使用的不可避免性、可约性是合适的.理论分析及实例论证表明该方法简单可行. 展开更多
关键词 四色猜想 边数差计算公式 多余边数 四色猜想证明式 等值原则
在线阅读 下载PDF
元数学与程序设计语言 被引量:3
3
作者 王玲 唐立中 沈清 《小型微型计算机系统》 CSCD 北大核心 1999年第9期717-720,共4页
元数学的思维方式及方法,预示了程序设计语言规范及发展的道路,且为其指明了方向.
关键词 元数学 程序设计语言 形式化 思维方法
在线阅读 下载PDF
灰色层次分析中确定方案偏序的方法 被引量:2
4
作者 覃菊莹 吕跃进 《广西大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第2期358-362,共5页
灰色判断矩阵的判断元素是区间数形式的,因而得到的权重向量也是区间数形式,其分量多数情况下会出现相交部分,这时方案的偏序关系也不再明朗甚至无法确定,也影响了决策的最终产生。本文主要通过对方案偏序与判断矩阵元素取值之间关系的... 灰色判断矩阵的判断元素是区间数形式的,因而得到的权重向量也是区间数形式,其分量多数情况下会出现相交部分,这时方案的偏序关系也不再明朗甚至无法确定,也影响了决策的最终产生。本文主要通过对方案偏序与判断矩阵元素取值之间关系的研究给出几个判定定理,并利用白化的方法来辅助给出方案的最终排序,最后通过算例说明方法是可行的。 展开更多
关键词 灰色层次分析法 权重向量 一致性 白化值 归一化
在线阅读 下载PDF
实数系完备性基本定理的循环证明 被引量:3
5
作者 庄陵 唐贤伦 +1 位作者 王东 张金荣 《重庆工商大学学报(自然科学版)》 2006年第3期219-223,共5页
在柯西收敛准则的基础上,链式论证了实数系的其他6个基本定理,并最终形成一个完美的论证“环”,体现了数学论证之美;指出了有理数集不具有完备性.
关键词 实数 完备性 柯西收敛准则 区间套定理 致密性定理 有限覆盖定理 聚点定理
在线阅读 下载PDF
“快速近似法”的数学证明及在抽样技术中的应用 被引量:1
6
作者 吴建华 张颖 朱孔来 《统计与决策》 CSSCI 北大核心 2007年第7期125-126,共2页
一、“快速近似法”最优解的进一步完整证明 下面在奈曼分配方式下,完整严格地推导累积平方根法的最优解。
关键词 数学证明 近似法 抽样技术 应用 最优解 平方根
在线阅读 下载PDF
判断基准的可变性与面向判断的性质逻辑 被引量:8
7
作者 冯嘉礼 《广西师范大学学报(自然科学版)》 CAS 1994年第1期28-35,共8页
感觉和知觉是人类思维的基础,基于某种有意识记忆模式的识别或判断,可认为是人脑有意识思维的事实上的基础.判断基准可随外部条件和思维者认知结构而变的现象,是人脑感知与判断产生一系列不确定性和矛盾性的最基本原因之一.传统数... 感觉和知觉是人类思维的基础,基于某种有意识记忆模式的识别或判断,可认为是人脑有意识思维的事实上的基础.判断基准可随外部条件和思维者认知结构而变的现象,是人脑感知与判断产生一系列不确定性和矛盾性的最基本原因之一.传统数理逻辑以推理为其研究的主要对象的倾向,忽略了判断不确定性及其变化规律的研究.从而提出从基准变换入手,去研究各种判断不确定性的逻辑方法,给出了判断和基准的一致性、相容性和矛盾性的逻辑定义,并利用基准变换的数学表示方法,为人类思维的某些智能化特征,如可理解性、模糊性、非单调性和灵活性等效应,提供了一条新的逻辑解释和刻划途径. 展开更多
关键词 判断 推理 不确定性 性质逻辑
在线阅读 下载PDF
微分几何定理证明中最简单辅助条件的计算 被引量:1
8
作者 王继民 李廉 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第1期20-23,共4页
在微分几何定理证明中 ,一个定理成立的辅助条件 (非退化条件 )不是惟一的 ,但越简单越好 .对预先确定的标准如变元个数最少、导数算子阶数最低等 ,利用根微分理想分解的 Rosenfeld-Grobner算法 ,给出了微分几何定理机器证明中最简单... 在微分几何定理证明中 ,一个定理成立的辅助条件 (非退化条件 )不是惟一的 ,但越简单越好 .对预先确定的标准如变元个数最少、导数算子阶数最低等 ,利用根微分理想分解的 Rosenfeld-Grobner算法 ,给出了微分几何定理机器证明中最简单辅助条件的构造性算法 . 展开更多
关键词 微分几何定理 机器证明 吴方法 Rosenfeld—Gr6bner算法 辅助条件 构造性算法
在线阅读 下载PDF
反证法的历史沿革 被引量:4
9
作者 段耀勇 杨朝明 《武警学院学报》 2003年第4期86-88,共3页
反证法是数学中常用的一种证明方法。由于逻辑学中也存在同样的相关概念 ,所以分清反证法、归谬法以及反驳和证明之间的细微差别和联系 ,是很有必要的 ,并指出反证法不但是最重要的证明方法 ,而且同其它的证明方法一样也是进行科学积累... 反证法是数学中常用的一种证明方法。由于逻辑学中也存在同样的相关概念 ,所以分清反证法、归谬法以及反驳和证明之间的细微差别和联系 ,是很有必要的 ,并指出反证法不但是最重要的证明方法 ,而且同其它的证明方法一样也是进行科学积累和发现的源泉。 展开更多
关键词 反证法 数学 归谬法 反驳 证明 历史 证伪法 穷竭法 逻辑学
在线阅读 下载PDF
区间模糊互补判断矩阵的一致性及权重计算 被引量:4
10
作者 覃菊莹 《合肥工业大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第11期1546-1549,共4页
文章通过对区间数模糊互补判断矩阵中的一致性信息和冗余信息的研究,给出了此类矩阵的弱一致性、一致性及等价判断矩阵的定义;讨论了他们的一些性质和给出判定区间数模糊互补判断矩阵是否具有弱一致性、一致性的定理和算法;最后还给出... 文章通过对区间数模糊互补判断矩阵中的一致性信息和冗余信息的研究,给出了此类矩阵的弱一致性、一致性及等价判断矩阵的定义;讨论了他们的一些性质和给出判定区间数模糊互补判断矩阵是否具有弱一致性、一致性的定理和算法;最后还给出了权重向量的定义和通用的计算公式,并举例说明其计算简单性。 展开更多
关键词 层次分析法 区间数判断矩阵 弱一致性 一致性
在线阅读 下载PDF
关于自然数系统不相容性证明的分析与研究 被引量:3
11
作者 黄秀琴 陈桂正 朱梧槚 《南京晓庄学院学报》 2009年第6期5-15,共11页
文献[2]在6.4.2、6.5.2、6.8.2中,分别用三种方法证明了自然数集合N={x|n(x)}是自相矛盾的非集.而文献[1]在3.6中,针对6.4.2中的证明方法提出诸多质疑,经过对比分析和研究,不仅发现其中每一条质疑都不成立,而且发现文献[2]之3.6与2.4两... 文献[2]在6.4.2、6.5.2、6.8.2中,分别用三种方法证明了自然数集合N={x|n(x)}是自相矛盾的非集.而文献[1]在3.6中,针对6.4.2中的证明方法提出诸多质疑,经过对比分析和研究,不仅发现其中每一条质疑都不成立,而且发现文献[2]之3.6与2.4两处,对于同一个概念和相同内容的判断均自相矛盾.最后我们在§5中,对于合理的实无穷刚性集合的结构与内涵提出了不同于[2]之7.6.3的思想原则,为之本文主要是评论性文章,也有创新思想内容. 展开更多
关键词 潜无限 实无限 潜无限弹性集合 实无限刚性集合
在线阅读 下载PDF
平面束定理新的证明与应用 被引量:1
12
作者 寇冰煜 滕兴虎 +1 位作者 毛磊 张燕 《中央民族大学学报(自然科学版)》 2016年第3期41-43,共3页
利用向量组的线性相关,线性相关与线性表示,对平面束定理进行了新的证明,并对平面束方程的应用,从新的视角给出一个应用的实例.
关键词 平面束 平面束方程 线性相关 线性无关 最值
在线阅读 下载PDF
基于区间模糊互补判断矩阵的排序权重研究 被引量:2
13
作者 覃菊莹 《广西大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第5期704-708,共5页
从研究区间数判断矩阵中的一致性信息出发,给出若干个关于区间权重向量、区间判断元素、方案偏序的性质、定理及其证明,指出目前一些排序方法存在的问题,并加以举例说明。
关键词 层次分析法 区间判断 模糊互补判断矩阵 权重 排序
在线阅读 下载PDF
“韩信点兵”问题的一种新解法探索 被引量:1
14
作者 唐海军 陈佳 李玲 《科技资讯》 2014年第17期255-256,共2页
通过研究韩信点兵问题得到关于中国剩余问题的一般解法,加深了对数论中一次同余式的认识,有助于中学生解决数学竞赛问题以及学习算法。
关键词 剩余问题 同余 解法
在线阅读 下载PDF
硅藻土对铅离子的静态吸附实验研究 被引量:18
15
作者 丁社光 《重庆工商大学学报(自然科学版)》 2007年第1期51-55,共5页
研究了硅藻土在不同pH值、温度、吸附时间、铅离子初始浓度、硅藻土用量等条件下对吸附铅离子的影响,并以铅离子的去除率为实验指标,进行单因素实验、正交实验。结果表明:在吸附温度为25℃、pH=1.0、硅藻土溶液用量为3.0 g/25 mL、硅藻... 研究了硅藻土在不同pH值、温度、吸附时间、铅离子初始浓度、硅藻土用量等条件下对吸附铅离子的影响,并以铅离子的去除率为实验指标,进行单因素实验、正交实验。结果表明:在吸附温度为25℃、pH=1.0、硅藻土溶液用量为3.0 g/25 mL、硅藻土溶液起始浓度为30 mg/L时,去除率最高。 展开更多
关键词 硅藻土 二价铅离子 吸附
在线阅读 下载PDF
芦荟超氧化物歧化酶(SOD)的分离纯化研究 被引量:8
16
作者 许平 《重庆工商大学学报(自然科学版)》 2007年第1期22-25,共4页
采用硫酸铵分级沉淀、Sephadex G-100凝胶层析和DEAE-52柱层析,分离纯化了芦荟(A.vera L.)超氧化物歧化酶,纯化倍数为56倍,回收率为54%,比活力为643(U/mgpro),酶的最适pH值为8.2,最适温度在40-55℃,KCN和H2O2能抑制酶活性。实验表... 采用硫酸铵分级沉淀、Sephadex G-100凝胶层析和DEAE-52柱层析,分离纯化了芦荟(A.vera L.)超氧化物歧化酶,纯化倍数为56倍,回收率为54%,比活力为643(U/mgpro),酶的最适pH值为8.2,最适温度在40-55℃,KCN和H2O2能抑制酶活性。实验表明:芦荟中的SOD属Cu、Zn-SOD。 展开更多
关键词 库拉索芦荟 超氧化物歧化酶 纯化
在线阅读 下载PDF
食用菌生产中微生物灾害的分类及防治 被引量:7
17
作者 王爽 《重庆工商大学学报(自然科学版)》 2007年第1期26-28,共3页
病原菌与污染杂菌的发生和生长已成为影响食用菌生产的重要问题。介绍了食用菌生产过程中微生物灾害的来源,对其危害、预防和控制方法进行了探讨,以期对保证食用菌的质量和产量起到促进作用。
关键词 食用菌 病原菌 微生物灾害
在线阅读 下载PDF
关于状态空间方法中超参数估计的札记 被引量:4
18
作者 苗敬毅 《山西经济管理干部学院学报》 2001年第4期44-46,共3页
文章对状态空间方法中超参数估计的基本思想进行了论述 ,并对一般文献中未详细证明的部分给出了证明 ,便于从事实际工作的统计工作者和自学者领会和掌握该模型。
关键词 状态空间方法 超参数估计 证明 札记
在线阅读 下载PDF
数量性状的主效和微效基因检测方法研究 被引量:2
19
作者 闫殿海 王金明 《现代农业科技》 2012年第8期11-15,共5页
植物数量性状遗传由遗传效应较大的主效基因和效应较小的微效微基因控制。在杂交或回交后代群体中检测达到某一序列性状值的株数,通过极大似然检验可以确定控制该性状的遗传模型和各种遗传参数以及各种基因效应的大小。由于不同的遗传... 植物数量性状遗传由遗传效应较大的主效基因和效应较小的微效微基因控制。在杂交或回交后代群体中检测达到某一序列性状值的株数,通过极大似然检验可以确定控制该性状的遗传模型和各种遗传参数以及各种基因效应的大小。由于不同的遗传模型有着不同的遗传参数和不同的基因表现,需采用不同的迭代运算公式。为使众多迭代公式尽可能统一,该文提出了世代约束和分布约束的概念。 展开更多
关键词 数量遗传学 主效基因 极大似然检验
在线阅读 下载PDF
几何定理的机器证明——每个中国数学教师都应懂得的方法 被引量:1
20
作者 田长生 《广东技术师范学院学报》 2003年第6期82-84,共3页
本文着重介绍了几何定理的机器证明的开拓者和奠基人——吴文俊院士创立的“吴法”及其主要成员张景中院士的“消标点法”和杨路教授的“降维算法”。
关键词 几何定理 机器证明 吴法 消点算法 降维算法 中国 数学教师
在线阅读 下载PDF
上一页 1 2 11 下一页 到第
使用帮助 返回顶部