數(shù)理邏輯、數(shù)學(xué)基礎(chǔ)屬于《中國(guó)圖書分類法》中的三級(jí)類目，該分類相關(guān)的期刊文獻(xiàn)有6227篇，會(huì)議文獻(xiàn)有384篇，學(xué)位文獻(xiàn)有968篇等，數(shù)理邏輯、數(shù)學(xué)基礎(chǔ)的主要作者有吳洪博、王國(guó)俊、張興芳，數(shù)理邏輯、數(shù)學(xué)基礎(chǔ)的主要機(jī)構(gòu)有陜西師范大學(xué)、陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院、陜西師范大學(xué)數(shù)學(xué)研究所等。
統(tǒng)計(jì)的文獻(xiàn)類型來(lái)源于 期刊論文、 學(xué)位論文、 會(huì)議論文
1.[期刊]
基于Logistic模型的體育訓(xùn)練動(dòng)作完成度評(píng)估方法
摘要： 傳統(tǒng)的體育訓(xùn)練動(dòng)作完成度評(píng)估數(shù)據(jù)收集完整度低,評(píng)估準(zhǔn)確率差,為了解決上述問(wèn)題,基于Logistic模型研究了一種新的體育訓(xùn)練動(dòng)作完成度評(píng)估方法,首先獲得相關(guān)的...
2.[期刊]
基于最小二乘的FAST主動(dòng)反射面板調(diào)節(jié)模型
摘要： 基于最小二乘的主動(dòng)反射面板調(diào)節(jié)數(shù)學(xué)模型探究了FAST促動(dòng)器伸縮量的調(diào)節(jié)問(wèn)題.首先基于空間解析幾何理論建立主動(dòng)反射面的理想拋物面的模型,然后在使反射面盡量貼近理...
3.[期刊]
采用MVFSA算法的射電望遠(yuǎn)鏡曲面優(yōu)化研究
摘要： 依據(jù)FAST射電望遠(yuǎn)鏡主動(dòng)反射面相關(guān)結(jié)構(gòu)和工作原理,針對(duì)射電望遠(yuǎn)鏡面對(duì)不同方向天體觀察時(shí)主動(dòng)反射面需要調(diào)整的問(wèn)題,采用改進(jìn)的非?？焖倌M退火算法對(duì)射電望遠(yuǎn)鏡曲...
4.[期刊]
摘要： 液晶是物理、化學(xué)和材料科學(xué)領(lǐng)域長(zhǎng)期的研究熱點(diǎn)之一。向列相液晶中分子傾向于沿某個(gè)方向優(yōu)先取向的排列使其具有類似于晶體的電磁特性和光學(xué)特性,在顯示、光場(chǎng)調(diào)控等方面...
5.[期刊]
閉元確定的拓?fù)湎到y(tǒng)中閉包元及其應(yīng)用
摘要： 本文利用余Frame和點(diǎn)集兩部分建立由閉元確定的拓?fù)湎到y(tǒng),對(duì)其基本性質(zhì)進(jìn)行了討論;通過(guò)閉元給出了點(diǎn)集部分的閉包元概念,并對(duì)閉包元性質(zhì)進(jìn)行了討論.在余Frame...
6.[期刊]
疫苗生產(chǎn)模型——以2021年五一杯全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽A題為例
摘要： 2021年五一杯全國(guó)大學(xué)生數(shù)學(xué)建模A題要求對(duì)10種不同類型的疫苗依次經(jīng)過(guò)四個(gè)工位的生產(chǎn)問(wèn)題進(jìn)行分析,通過(guò)借助excel和python分析附件1中50次模擬生產(chǎn)...
7.[期刊]
基于多領(lǐng)域建模與數(shù)字孿生的船舶熱力系統(tǒng)應(yīng)用研究現(xiàn)狀
摘要： 船舶熱力系統(tǒng)作為復(fù)雜的多領(lǐng)域物理系統(tǒng),傳統(tǒng)的建模方法難以滿足其熱力設(shè)備數(shù)字化智能化的發(fā)展需求,而結(jié)合數(shù)字孿生技術(shù)可以克服傳統(tǒng)建模方法的弊端。為實(shí)現(xiàn)多領(lǐng)域建模與...
8.[期刊]
基于對(duì)抗數(shù)據(jù)的水面艦艇電子偵察能力裁決模型設(shè)計(jì)
摘要： 裁決模型設(shè)計(jì)的目的為了提升基地的組訓(xùn)及考評(píng)能力,而組訓(xùn)、考核能力的提升能夠更加有效地保障部隊(duì)基地化訓(xùn)練。對(duì)比評(píng)估對(duì)裁決及裁決模型進(jìn)行了描述,著重分析了裁決模型...
9.[期刊]
一種基于有偏估計(jì)的飛機(jī)備件需求預(yù)測(cè)模型
摘要： 以提高某種具有多重共線性需求規(guī)律的飛機(jī)備件,需求預(yù)測(cè)的快速性和準(zhǔn)確性為目的,在綜合考慮各影響因素關(guān)聯(lián)性的基礎(chǔ)上,提出了一種基于有偏估計(jì)的飛機(jī)備件預(yù)測(cè)模型。該模...
10.[期刊]
基于Z-score模型的學(xué)員分組答辯成績(jī)組間差消除辦法
摘要： 答辯是常用的一種考核方式,在院校和企事業(yè)單位都用得很多,當(dāng)參加答辯的人數(shù)過(guò)多時(shí),通常采用分組的方式進(jìn)行。采用常規(guī)的方法無(wú)法完全消除各組評(píng)分之間的組間差,有失考...
11.[期刊]
2021年全國(guó)中學(xué)生數(shù)學(xué)奧林匹克(決賽)試題與答卷情況分析
摘要： 2021年全國(guó)中學(xué)生數(shù)學(xué)奧林匹克(決賽)于2021年12月在福建省福州市福建師范大學(xué)附屬中學(xué)舉辦.本文就此次競(jìng)賽的試題、不同解法與答卷情況作一些簡(jiǎn)單介紹.命題...
12.[期刊]
摘要： 信息技術(shù)快速發(fā)展的條件下海量軍事信息的大量涌現(xiàn),人工查閱情報(bào)的傳統(tǒng)方法已經(jīng)不再適用,而人工制定或自動(dòng)挖掘的關(guān)聯(lián)規(guī)則難以捕獲指揮員的關(guān)注方向,從而限制了大規(guī)模軍...
13.[期刊]
摘要： 由于塑料工業(yè)的發(fā)展,微塑料成為一種主要的環(huán)境污染物。它在自然界中不易降解,對(duì)人類的生存環(huán)境及健康都存在不可忽視的潛在危險(xiǎn)。因此,環(huán)境中微塑料的檢測(cè)和分析,成為...
14.[期刊]
摘要： 中文分詞是作戰(zhàn)文書中語(yǔ)義理解的基本任務(wù)。在中文分詞的研究中,未登錄詞識(shí)別始終是一個(gè)難題。論文通過(guò)了一種可擴(kuò)展外部知識(shí)的中文分詞模型來(lái)提高未登錄詞的召回率。分詞...
15.[期刊]
深度算法預(yù)測(cè)模型的數(shù)據(jù)優(yōu)化
摘要： 在所有的問(wèn)題場(chǎng)景中運(yùn)行所有可能的解決方案時(shí),沒(méi)有哪一種解決方案的性能始終優(yōu)于其他選項(xiàng)。這個(gè)事實(shí)促使人們使用定制的方法,即可以根據(jù)特定的問(wèn)題輸入自動(dòng)預(yù)測(cè)可行的算...
16.[期刊]
摘要： 高慶獅院士于2006年發(fā)表《新模糊集合論基礎(chǔ)》專著,為消解模糊邏輯系列悖論進(jìn)行邏輯理論基礎(chǔ)探索;并于2009年在科學(xué)出版社發(fā)表《統(tǒng)一語(yǔ)言學(xué)基礎(chǔ)》專著,為多語(yǔ)言...
17.[期刊]
摘要： 基于DNA鏈置換反應(yīng)構(gòu)建了邏輯推理問(wèn)題的DNA計(jì)算模型。在不依托熒光標(biāo)記技術(shù)等DNA實(shí)驗(yàn)技術(shù)的前提下,利用盡量少的DNA反應(yīng)鏈和鏈置換反應(yīng)以及構(gòu)建0-1函數(shù),...
18.[期刊]
摘要： 濾子理論在多值邏輯及其相關(guān)代數(shù)的研究中起到了非常重要的作用.為進(jìn)一步研究非交換剩余格上的濾子理論,基于非交換剩余格上模糊濾子的定義,在非交換剩余格上引入模糊P...
19.[期刊]
k-結(jié)構(gòu)空間的性質(zhì)及其應(yīng)用
摘要： 定義并探討k-結(jié)構(gòu)空間范疇的概念和基礎(chǔ)性質(zhì),證明完全正則拓?fù)淇臻g范疇和仿射代數(shù)簇范疇均可視為k結(jié)構(gòu)空間范疇的子范疇.同時(shí),討論k-結(jié)構(gòu)子空間與k-結(jié)構(gòu)商空間的...
20.[期刊]
摘要： 將雙極值模糊集的概念與格相結(jié)合,引入格的雙極值模糊子格的概念并考察其性質(zhì).證明雙極值模糊子格的雙極值模糊交集、同態(tài)像和同態(tài)原像也是雙極值模糊子格.同時(shí),給出雙...
陜西師范大學(xué)學(xué)報(bào)（自然科學(xué)版）
工程數(shù)學(xué)學(xué)報(bào)
