数理逻辑、数学基础属于《中国图书分类法》中的三级类目,该分类相关的期刊文献有6227篇,会议文献有384篇,学位文献有968篇等,数理逻辑、数学基础的主要作者有吴洪博、王国俊、张兴芳,数理逻辑、数学基础的主要机构有陕西师范大学、陕西师范大学数学与信息科学学院、陕西师范大学数学研究所等。
统计的文献类型来源于 期刊论文、 学位论文、 会议论文
1.[期刊]
摘要: 传统的体育训练动作完成度评估数据收集完整度低,评估准确率差,为了解决上述问题,基于Logistic模型研究了一种新的体育训练动作完成度评估方法,首先获得相关的...
2.[期刊]
摘要: 基于最小二乘的主动反射面板调节数学模型探究了FAST促动器伸缩量的调节问题.首先基于空间解析几何理论建立主动反射面的理想抛物面的模型,然后在使反射面尽量贴近理...
3.[期刊]
摘要: 依据FAST射电望远镜主动反射面相关结构和工作原理,针对射电望远镜面对不同方向天体观察时主动反射面需要调整的问题,采用改进的非常快速模拟退火算法对射电望远镜曲...
4.[期刊]
摘要: 液晶是物理、化学和材料科学领域长期的研究热点之一。向列相液晶中分子倾向于沿某个方向优先取向的排列使其具有类似于晶体的电磁特性和光学特性,在显示、光场调控等方面...
5.[期刊]
摘要: 本文利用余Frame和点集两部分建立由闭元确定的拓扑系统,对其基本性质进行了讨论;通过闭元给出了点集部分的闭包元概念,并对闭包元性质进行了讨论.在余Frame...
6.[期刊]
疫苗生产模型——以2021年五一杯全国大学生数学建模竞赛A题为例
摘要: 2021年五一杯全国大学生数学建模A题要求对10种不同类型的疫苗依次经过四个工位的生产问题进行分析,通过借助excel和python分析附件1中50次模拟生产...
7.[期刊]
摘要: 船舶热力系统作为复杂的多领域物理系统,传统的建模方法难以满足其热力设备数字化智能化的发展需求,而结合数字孪生技术可以克服传统建模方法的弊端。为实现多领域建模与...
8.[期刊]
摘要: 裁决模型设计的目的为了提升基地的组训及考评能力,而组训、考核能力的提升能够更加有效地保障部队基地化训练。对比评估对裁决及裁决模型进行了描述,着重分析了裁决模型...
9.[期刊]
摘要: 以提高某种具有多重共线性需求规律的飞机备件,需求预测的快速性和准确性为目的,在综合考虑各影响因素关联性的基础上,提出了一种基于有偏估计的飞机备件预测模型。该模...
10.[期刊]
摘要: 答辩是常用的一种考核方式,在院校和企事业单位都用得很多,当参加答辩的人数过多时,通常采用分组的方式进行。采用常规的方法无法完全消除各组评分之间的组间差,有失考...
11.[期刊]
摘要: 2021年全国中学生数学奥林匹克(决赛)于2021年12月在福建省福州市福建师范大学附属中学举办.本文就此次竞赛的试题、不同解法与答卷情况作一些简单介绍.命题...
12.[期刊]
摘要: 信息技术快速发展的条件下海量军事信息的大量涌现,人工查阅情报的传统方法已经不再适用,而人工制定或自动挖掘的关联规则难以捕获指挥员的关注方向,从而限制了大规模军...
13.[期刊]
摘要: 由于塑料工业的发展,微塑料成为一种主要的环境污染物。它在自然界中不易降解,对人类的生存环境及健康都存在不可忽视的潜在危险。因此,环境中微塑料的检测和分析,成为...
14.[期刊]
摘要: 中文分词是作战文书中语义理解的基本任务。在中文分词的研究中,未登录词识别始终是一个难题。论文通过了一种可扩展外部知识的中文分词模型来提高未登录词的召回率。分词...
15.[期刊]
摘要: 在所有的问题场景中运行所有可能的解决方案时,没有哪一种解决方案的性能始终优于其他选项。这个事实促使人们使用定制的方法,即可以根据特定的问题输入自动预测可行的算...
16.[期刊]
摘要: 高庆狮院士于2006年发表《新模糊集合论基础》专著,为消解模糊逻辑系列悖论进行逻辑理论基础探索;并于2009年在科学出版社发表《统一语言学基础》专著,为多语言...
17.[期刊]
摘要: 基于DNA链置换反应构建了逻辑推理问题的DNA计算模型。在不依托荧光标记技术等DNA实验技术的前提下,利用尽量少的DNA反应链和链置换反应以及构建0-1函数,...
18.[期刊]
摘要: 滤子理论在多值逻辑及其相关代数的研究中起到了非常重要的作用.为进一步研究非交换剩余格上的滤子理论,基于非交换剩余格上模糊滤子的定义,在非交换剩余格上引入模糊P...
19.[期刊]
摘要: 定义并探讨k-结构空间范畴的概念和基础性质,证明完全正则拓扑空间范畴和仿射代数簇范畴均可视为k结构空间范畴的子范畴.同时,讨论k-结构子空间与k-结构商空间的...
20.[期刊]
摘要: 将双极值模糊集的概念与格相结合,引入格的双极值模糊子格的概念并考察其性质.证明双极值模糊子格的双极值模糊交集、同态像和同态原像也是双极值模糊子格.同时,给出双...
1.[会议]
摘要: 单向S-粗集(one direction singular rough sets)与单向S-粗集对偶(dual of one direction singul...
2.[会议]
摘要: 本章在介绍几个有代表性的基于集对分析的粗糙集扩充模型基础上,在一般意义上探讨了集对分析与粗糙集的同异反,形式上是指出了有关粗糙集集对分析的进一步研究方向,其实...
3.[会议]
摘要: 该文在Lukasiewicz命题逻辑、G(o)del命题逻辑和R0命题逻辑中,根据广义演绎性定理、完备性定理和计量逻辑理论,给出刻画一个命题A是Γ-结论的程度...
4.[会议]
摘要: 在G(o)del区间值命题逻辑系统中引入了(a-)-真度,论证了区间值真度MP规则和区间值真度HS规则,在(a-)-真度基础上给出了(a-)-相似度及其性质,...
5.[会议]
摘要: 距离测度是集合理论中的一个重要基础概念.自直觉模糊集提出以来,直觉模糊距离受到了广泛的关注,近年来已有多种形式的距离测度被提出.大多数现存直觉模糊距离存在反例...
6.[会议]
摘要: 本文研究限制条件下的有序覆盖,首先介绍了有序覆盖的定义,然后论述了无交、相交的定义,其次介绍了局部无交、局部相交的关系、计数问题,最后阐述了无交与相交,局部无...
7.[会议]
摘要: 本文分析了数学基础课程教学存在的突出问题,针对数学基础课程教学存在的突出问题,以卓越人才实验班人才培养的需要为原则,开展了卓越人才实验班数学基础课程教学改革....
8.[会议]
摘要: 文章分为两个部分,哥德巴赫猜想的内容十分简洁,但它的证明却异乎寻常的困难.从哥德巴赫写信之日起,直至1920年,并没有一个方法可以用来证明这个问题.华罗庚是中...
9.[会议]
摘要: 传统的数值模拟前处理,多依靠人工方式修改包含几何、物理信息的数值模拟输入文件.但是,面对大规模几何构型和复杂拼接关系,人工建模修正周期长、建模错误率高且难以排...
10.[会议]
摘要: 对目标物的物理建模是微波源器件模拟中的最重要步骤,常用的方法有时域有限差分(FDTD)方法.在FDTD建模过程中,将目标物的几何、各个组成部分的许多时空属性等...
11.[会议]
摘要: 利用矩量法结合RWG基函数分析三维理想导体或由均匀介质体散射和辐射时,需要要对其进行表面三角面元剖分.为验证算法的准确性,人们经常将球面的散射作为基准.MAT...
12.[会议]
摘要: 在实际中,有些关系很难简单的用"有"或"无"来衡量,而必须引入一定的量来表示两元素间具有这种关系的程度.本文运用不确定理论来研究不确定关系的性质.基于不确定理...
13.[会议]
摘要: 本文介绍了高校数学模型的特征及其分类,列举了三个简单的数学模型,在此基础上总结了建立数学模型的基本方法和步骤,以及如何培养建立数学模型的能力. 为了培养构造数...
14.[会议]
摘要: 将数学建模融入数学教学能激发学员的学习兴趣,培养学员的创新意识和创新思维能力.本文分析了数学建模融入军校数学教学的重要意义,结合数学教学经验,提出四种具体实施...
15.[会议]
摘要: 本文针对高职院校开展数学建模活动及数学建模竞赛所面临的实际问题,进行分析探讨,并提出相应的对策及建议.提出要在数学建模培养学生的应用意识,通过案例分析,培养学...
16.[会议]
摘要: 数学建模能激发学员的学习兴趣,培养学员创新意识,训练其快速获取信息和资料的能力,是数学知识和应用能力共同提高的最佳结合点.本文对在数学建模课程教学中应注意的几...
17.[会议]
摘要: 数学建模课是大学数学教学的重要课程,对学生灵活掌握好基本知识和从事更高层次的实践有着很强的促进作用.本文由数学建模课作用意义出发,从数学建模教学、赛前培训两方...
18.[会议]
摘要: 课程改革的重要问题之一是针对课程的教育功能和学生的实际情况,优化选择教学内容及其内部结构.本文对校通识课程"数学建模"的教学内容优化展开讨论.通过系统分析数学...
19.[会议]
摘要: 逆P-集合是由内逆P-集合(X)F与外逆P-集合(X)F构成的元素集合对,或者((X)F,(X)F)是逆P-集合.逆P-集合具有动态特性.利用外逆P-集合与外...
20.[会议]
摘要: 类型论是为解决悖论问题提出的.通过对命题函项的分层以及对类型的限制,许多悖论就可以避免,类型论的限制很强,罗素又引入还原公理使数学成为可能.类型论可以解决日常...
1.[学位]
摘要: 差族概念是差集概念的自然推广,差族方法也是构造各类设计最常用也是最有效的方法之一.外差族的概念最初是由Ogata等人在2004年提出的,并将其应用到认证码及密...
2.[学位]
摘要: 莱布尼茨作为17世纪的一名哲学家和科学家,他承袭了古典形式逻辑思想,同时又为现代数理逻辑奠定了起点,对逻辑代数产生了影响。莱布尼茨的符号逻辑思想不但存在于过去...
3.[学位]
摘要: 自然科学与社会科学中的许多问题均可转化成布尔可满足问题(Satisfiability Problem,SAT),并且SAT问题也是计算机以及人工智能等科学领域...
4.[学位]
摘要: 布尔命题可满足性(SAT)问题是近些年来最受关注的NP完全问题之一,它在许多重要领域中发挥着关键的作用。膜计算是自然计算的一个分支,它已被证明可以以并行计算模...
5.[学位]
摘要: 本文讨论了在逻辑框架下刻画Domain范畴所必需的方法与技巧.Domain以及它们之间的Scott-连续映射构成了计算机程序语言的指称语义的数学理论基础.一般...
6.[学位]
摘要: 在学位论文中我们首先考虑到实际应用的多样性,构造不同类型的模糊蕴涵是非常有必要的. 借助半群序和理论,从一族给定的模糊蕴涵出发,我们定义了一种新的模糊蕴涵序和...
7.[学位]
摘要: 本文主要研究Banach空间中粘性和隐式迭代算法的不动点问题以及寻找增生映射零点问题.建立了关于一致L-利普希茨渐近伪压缩映射的粘性隐式迭代算法和新的修正迭代...
8.[学位]
摘要: SAT问题是判断命题逻辑公式可满足性,也是NP完全问题之首,在计算机科学和人工智能等领域有重要的理论和应用价值,成为了这些领域的一个热点研究问题。长期以来,人...
9.[学位]
摘要: 本文考虑了R3中的非守恒可压缩两相流模型,其中粘性系数是常数,并且压力函数不相等,研究了该模型初值问题光滑解的毛细管系数消失极限.首先,本文得到了整体光滑解关...
10.[学位]
摘要: Pawlak粗糙集理论作为一种数据分析处理理论,主要用于处理一些具有不确定性的信息.变精度粗糙集及多粒度粗糙集对Pawlak粗糙集的局限性进行了改进,使得Pa...
11.[学位]
摘要: 本文首先探讨了模糊离散事件系统的模糊语言的可控性问题:在模糊子语言关于自动机产生的模糊语言和不可控事件集是可控的基础上,证明了模糊子语言的截集的任意并关于自动...
12.[学位]
摘要: 近几十年来,在识别响应变量和预测变量的回归结构问题中,半参回归模型受到了越来越多统计学者的关注。半参模型是非参模型和参数模型的结合,它既保持了非参模型的灵活性...
13.[学位]
摘要: 印度-阿拉伯数码是现今国际通用的数码字,在国际上具有显赫的地位和广泛影响。其中的数码零“0”对于公众来说是一个非常熟悉、最普通且最基本的数学概念。实际上它还是...
14.[学位]
摘要:
本文对集值单调测度空间上的连续性和可测函数列依测度收敛性进行了研究.主要包括两部分:
第一部分,在集值单调测度空间上,给出了集值单调测度的集值零可加...
15.[学位]
摘要: 结构方程模型(Structural Equation Modeling,SEM)的拟合效果评价一直是结构方程模型应用研究的热点问题。拟合效果评价的常用指标之一...