真值
- 真之多元論與真值條件多元論
為真的方式解讀為真值條件，然后運用分離論點阻止從相關(guān)的真值條件陳述中引入真性質(zhì)。（[8]）愛德華茲的策略符合本體論的經(jīng)濟性原則。如果訴諸真值條件能夠解釋命題以何種方式為真，那么在我們的本體論中引入過多的真性質(zhì)是沒有必要的。第二節(jié)將詳述愛德華茲的策略。第三節(jié)指出，愛德華茲的策略同樣適用于原子命題，從而強化了對真之多元論的雙重計算反駁（the double-counting objection）。雙重計算反駁認為，存在不同種類的真值條件（different k
邏輯學研究 2023年1期2023-10-06
- 數(shù)理邏輯中范式推算的程序化研究與實現(xiàn)
與主合取范式，在真值表法基礎(chǔ)上，分析解釋了構(gòu)造析?。ê先。┓妒綍r以成真（假）指派反推對應(yīng)?。ù螅╉椀脑颍⒔Y(jié)合計算機語言程序設(shè)計將該解法從理論求解遷移至計算機工具求解，給出了程序設(shè)計的具體流程和代碼，從而更好地實踐“以解決問題為導向掌握和運用工具”學習模式以及幫助學習者建立定理自動化證明的認知，進一步理解人工智能基礎(chǔ)。1 范式在布爾邏輯中，主析取范式與主合取范式是邏輯公式的標準規(guī)范化，其中主析取范式是由各個所涉及命題變元的合取子句即最小項的析?。恢骱先》?/div>
電腦知識與技術(shù) 2023年16期2023-07-26
- 一種某艦載相控陣雷達碼頭標校及數(shù)據(jù)處理方法*
達中心和艦姿態(tài)對真值的影響，本文推導出該標校方案下真值修正的數(shù)學表達式，以艦上建筑固定點為參考獲取GPS天線偏移量，分析修正模型的誤差傳遞情況和偏移量測量引入誤差情況，以及不同掃描角下的誤差情況，并通過離散小波變換的方法對實測數(shù)據(jù)樣本進行處理，去除粗大誤差和隨機誤差，計算誤差均值和均方根，有效評估各個角度下的誤差情況。2 標校方法介紹該標校方案如圖1所示。艦船上架設(shè)GPS測量站，標校車處架設(shè)GPS基站，實時差分轉(zhuǎn)換得出方位、仰角、距離值，作為初步真值；對初艦船電子工程 2022年10期2023-01-08
- 分班制下的學生評獎評優(yōu)績點計算方法 ——以南京郵電大學通達學院為例
法尤為重要。中介真值程度的度量以中介數(shù)學為基礎(chǔ)，是一種有別于模糊數(shù)學和粗集的量化處理模糊現(xiàn)象的方法。該方法的主要特點是采用邏輯真值定性與數(shù)據(jù)數(shù)值定量有機結(jié)合的方式處理模糊現(xiàn)象。中介真值程度度量理論，是中介邏輯的進一步擴展，能夠為科學研究和工程技術(shù)中處理模糊現(xiàn)象提供一種基于邏輯的、自然的、且為定量形式的數(shù)值化方法。一、數(shù)學模型（一）問題描述。學生課程績點計算的影響因素較多，例如課程數(shù)、課程學分、理論課、實驗實踐課等等。本文主要考慮“分班制”下的課程績點計算。辦公室業(yè)務(wù) 2022年20期2022-11-07
- 盧卡錫維茨3系統(tǒng)的最低限度隱變量解釋
是包含既真且假(真值過剩)。這種將LP和RM3歸類為超一致性的進路，不同于那些(如K3和3)將第三值視為非真非假(真值空缺)的進路。然而，LP和RM3中的排中律和(不)矛盾律仍然無效(5)Graham Priest, An Introduction to Nonclassical Logic: From If to Is, New York: Cambridge University Press, 2008, pp. 124-139.。3)開放的未來(Op安徽大學學報（哲學社會科學版） 2022年5期2022-09-02
- 多源文本數(shù)據(jù)真值發(fā)現(xiàn)方法
有挑戰(zhàn)性的研究。真值發(fā)現(xiàn)是解決數(shù)據(jù)質(zhì)量問題的重要方法，研究從不同數(shù)據(jù)源提供的關(guān)于多個真實對象的大量沖突描述信息中，為每一個真實對象找出最準確的描述。傳統(tǒng)的真值發(fā)現(xiàn)算法主要基于兩個假設(shè)：若數(shù)據(jù)源提供越多的可信事實，則該數(shù)據(jù)源越可靠；若數(shù)據(jù)源的可靠性越高，則該數(shù)據(jù)源提供的事實越可信。根據(jù)這兩個基本假設(shè)，傳統(tǒng)真值發(fā)現(xiàn)算法可分為三類。一是基于迭代的方法：基于迭代的方法用簡單函數(shù)來表達數(shù)據(jù)源可靠度與觀測值可信度之間的關(guān)系，迭代計算真值和數(shù)據(jù)源可靠度直至損失收斂[2]國防科技大學學報 2022年4期2022-08-06
- 兩參數(shù)指數(shù)分布的位置參數(shù)區(qū)間估計研究★
的樞軸量給定參數(shù)真值θ=1，μ=1，10，20，50，樣本容量n=10，20，通過1 000次Monte Carlo模擬，統(tǒng)計上述5種情形滿足的次數(shù)，結(jié)果如表1所示，從中可以發(fā)現(xiàn)：1）只有k=1時，全部滿足情形一，也就是說情形二——五不可能出現(xiàn)；2）對于2≤k≤n-1，情形二——五都有可能發(fā)生，尤其是當μ真值較小、k值接近n時，很少滿足情形一，也就是得不到位置參數(shù)μ的區(qū)間估計；3）為得到位置參數(shù)μ的區(qū)間估計，推薦使用樞軸量G1（μ）。表1 位置參數(shù)μ區(qū)間估電子產(chǎn)品可靠性與環(huán)境試驗 2022年3期2022-06-30
- 移動群智感知中基于空間時間序列的真值發(fā)現(xiàn)算法研究
布，這樣可以提高真值發(fā)現(xiàn)的效率。此外，還考慮了實體之間的相關(guān)性以確保準確性。關(guān)鍵詞：真值發(fā)現(xiàn);時間序列分析中圖分類號：TP311? ? ? ? 文獻標識碼：A文章編號：1009-3044（2022）08-0067-021研究概述由于網(wǎng)絡(luò)拓撲的高度密集，空間上相近的節(jié)點觀測值之間具備高度的相關(guān)性，而且節(jié)點之間距離越近，這種相關(guān)度越高。這種與空間距離有關(guān)的相關(guān)性被稱為空間相關(guān)性?？臻g自相關(guān)下群智感知應(yīng)用系統(tǒng)一般包含3個組成：云平臺（即系統(tǒng)），任務(wù)請求者和任務(wù)完電腦知識與技術(shù) 2022年8期2022-06-03
- 移動群智感知中基于順序時間序列的真值發(fā)現(xiàn)算法研究
執(zhí)行本研究提出的真值發(fā)現(xiàn)框架。系統(tǒng)框架如圖1所示。圖1 GARCH模型架構(gòu)2 問題陳述假設(shè)研究K個用戶和N個實體,從所有K個用戶收集的時間序列S1{ ,S2,...,SN}作為輸入;用i索引每個實體,ei表示第i個實體。以k索引每個觀察者,時間序列表示為Si(k),表示觀察者k在實體ei上觀察到的時間序列。D=S1,{S2,…,Sn}是一組時間序列。觀測者k在j時刻收集到的一個讀數(shù)被標記為∈Si。由于每個觀察者的可靠性在之前是未知的,所以它提供的原始數(shù)據(jù)可無線互聯(lián)科技 2022年2期2022-04-20
- 跳躍說謊者悖論與布爾悖論
任意后繼階段上的真值都由前一階段上的這些語句的真值(按原先的布爾組合方式)決定[3]891。這個性質(zhì)在框架上表現(xiàn)為：如果框架K的賦值τ實現(xiàn)一個布爾悖論，那么此布爾悖論中的每一個語句在此框架中任一點上的真值可由該悖論中所有語句在可通達該點的某個點上的真值完全確定。(1)相關(guān)定義出自本文參考文獻[3]，第903頁。前面提及的修正序列出自Gupta和Herzberger所創(chuàng)立的修正理論。后面的討論中會給出修正序列的具體實例，而這對于當前的研究已經(jīng)足夠，故略去修正華南師范大學學報（社會科學版） 2022年1期2022-02-18
- 論計量檢測中測量不確定度與誤差的不同
它是表征被測量的真值所處量值范圍的評定。它按某一置信概率給出真值可能落入的區(qū)間。測量不確定度可以是標準差或其倍數(shù)，或是說明了置信水準的區(qū)間的半寬。測量不確定度不是具體的真誤差，它只是以參數(shù)形式定量表示了無法修正的那部分誤差范圍。它來源于偶然效應(yīng)和系統(tǒng)效應(yīng)的不完善修正，是用于表征合理賦予的被測量值的分散性參數(shù)[1]。測量不確定度按其獲得方法分為A、B兩類評定分量。A類評定分量是通過觀測列統(tǒng)計分析作出的不確定度評定；B類評定分量是依據(jù)經(jīng)驗或洞察力進行估計，并假商品與質(zhì)量 2021年22期2021-11-24
- 基于神經(jīng)網(wǎng)絡(luò)編碼的真值發(fā)現(xiàn)*
關(guān)鍵且迫在眉睫。真值發(fā)現(xiàn)研究如何從多個數(shù)據(jù)源提供的多個對象的沖突描述中為每一個對象找出最準確的描述[4]。傳統(tǒng)真值發(fā)現(xiàn)方法分為基于迭代的方法、基于優(yōu)化的方法和基于概率圖模型的方法。這幾類方法假設(shè)數(shù)據(jù)源可靠度與觀測值可信度之間的關(guān)系可用簡單函數(shù)表示，通過人工定義迭代規(guī)則或假設(shè)數(shù)據(jù)分布進行真值發(fā)現(xiàn)。而實際上，數(shù)據(jù)源可靠度和觀測值可信度之間的關(guān)系通常是未知的，簡單函數(shù)不足以表達這種復雜的關(guān)系，同時人工定義的條件難以反映數(shù)據(jù)的真實底層分布，導致真值發(fā)現(xiàn)的結(jié)果準確性計算機工程與科學 2021年9期2021-09-23
- 艦載雷達鑒定試驗數(shù)據(jù)處理關(guān)鍵問題分析
理模塊是對獲取的真值數(shù)據(jù)進行預(yù)處理，使其在精度、數(shù)據(jù)率和坐標形式上均滿足統(tǒng)計處理的要求，是數(shù)據(jù)統(tǒng)計處理模塊的基礎(chǔ)。圖1 數(shù)據(jù)處理軟件模塊結(jié)構(gòu)圖Fig.1 Structure diagram of data processing software module獲取真值數(shù)據(jù)的方法較多。目前，在雷達試驗中常用到GPS 載波相位差分定位技術(shù)和雷達測控技術(shù)。下面，對這2種方式獲得的真值在進行數(shù)據(jù)處理中的關(guān)鍵問題進行分析。GPS 載波相位差分定位技術(shù)的測量精度可以達到海軍航空大學學報 2021年1期2021-09-01
- 基于Matlab的飛行試驗數(shù)據(jù)處理技術(shù)研究
理為：被試設(shè)備與真值設(shè)備對同一架飛機的空間位置進行測量，記錄下相關(guān)數(shù)據(jù)后事后進行比對、分析，驗證被試設(shè)備測量結(jié)果與真值設(shè)備測量結(jié)果的符合程度，即可檢驗其技術(shù)指標是否滿足要求。由于被試設(shè)備、真值設(shè)備為相互獨立的傳感器，即使在對同一目標進行測量的情況下，也不能完全在同一時刻記錄數(shù)據(jù)。鑒于飛機的飛行速度較快，一般為達到試驗精度要求，被試設(shè)備、真值設(shè)備的時統(tǒng)對齊誤差應(yīng)小于1ms，這就要求兩者在相同時統(tǒng)授時的前提下，通過事后差分的方式將時統(tǒng)對齊。依據(jù)上述算法的基本原電子測試 2021年12期2021-07-22
- 面向物聯(lián)網(wǎng)輕量級隱私保護的真值發(fā)現(xiàn)機制
可靠的數(shù)據(jù)中發(fā)現(xiàn)真值。真相發(fā)現(xiàn)方法的基本原則是：若感知的數(shù)據(jù)更接近匯總結(jié)果，則將為其分配較高的權(quán)重；而若數(shù)據(jù)具有較高的權(quán)重，則將在聚合過程中，其數(shù)據(jù)獲得更多統(tǒng)計。盡管真相發(fā)現(xiàn)方法已極大地改善系統(tǒng)中聚合的準確性，但仍無法解決參與設(shè)備的隱私問題。在IoT應(yīng)用中，參與者通常不愿提供其真實的感知數(shù)據(jù)，這些感知數(shù)據(jù)中推斷得到參與者的隱私信息。例如眾智感知系統(tǒng)[10]中能夠通過匯總從大量設(shè)備那里收集的數(shù)據(jù)來解決一些難題，但是，平臺系統(tǒng)能夠從設(shè)備的收集的回答中推斷得到每電信科學 2021年5期2021-06-20
- 一種基于不確定Petri 網(wǎng)的推理算法
題，并且分別具有真值 α1,α2,… ,αn，則對于Boolean 函數(shù)f，不確定命題Z =f ( X1, X2,…, Xn)具有真值其中ix 取值為0 或1，iv 的定義為不確定假言推理[12]：設(shè)A 和B 是獨立不確定命題.假設(shè)A 和A→B 分別具有真值a 和b.A 和B 的真值分別用符號1α 和2α 表示.由不確定蘊含模型[12]式(3)可知，不確定假言推理的蘊含模型可以表示為式(4).2 不確定產(chǎn)生式規(guī)則及其Petri網(wǎng)表示知識是客觀世界中事物之間天津科技大學學報 2021年2期2021-04-22
- 基于隱馬爾可夫模型的多真值發(fā)現(xiàn)算法*
中找到目標對象的真值，可以有效提高數(shù)據(jù)質(zhì)量，保證數(shù)據(jù)使用人員分析和決策的準確性。然而，現(xiàn)實事物通常擁有多值屬性，如一部電影由多人主演甚至導演、一本圖書可能由多位專家共同創(chuàng)作。這類對象存在多值屬性的問題被稱為多真值發(fā)現(xiàn)問題。本文基于圖模型構(gòu)造了一個新的多真值發(fā)現(xiàn)算法，可有效提高真值發(fā)現(xiàn)算法的正確率。主要貢獻有以下3點：(1)在傳統(tǒng)投票方法的基礎(chǔ)上，設(shè)計出改進的初始真值的確定CVote(Cluster Vote)算法，該算法能夠更好地應(yīng)用于多真值發(fā)現(xiàn)研究。(2計算機工程與科學 2021年3期2021-04-06
- 艦艇指控系統(tǒng)鑒定試驗數(shù)據(jù)插值方法研究*
融合信息并和目標真值進行比對和分析，其中目標真值信息主要通過架設(shè)在被試艦和參試目標上的GPS或北斗設(shè)備探測得到［1］。但由于內(nèi)網(wǎng)錄取設(shè)備采樣的指揮控制系統(tǒng)信息基本上是非連續(xù)量，同時靶場GPS設(shè)備最高提供10Hz的真值信息，使得目標真值常與指揮控制系統(tǒng)融合數(shù)據(jù)時戳不一致，需要進行插值處理［2］。傳統(tǒng)的插值方法一般線性插值或三次多項式插值方法，這兩種方法在對直線或低速曲線運動的目標進行真值有較好的效果［3～5］，但如果個別航次航路軌跡存在拐點、一階導數(shù)變化率較艦船電子工程 2021年2期2021-03-16
- 對測量不確定度定義的探討
。那么，被測量的真值和這個區(qū)間有什么關(guān)系呢？定義顯然沒有給出答案。對于這個問題，業(yè)內(nèi)有如下兩種觀點。觀點一：目前，所有的規(guī)范和絕大多數(shù)教科書在解釋測量不確定度概念時，都從測得值的分散性入手，回避了測量不確定度大小與真值之間的關(guān)系[3]。因此，很多人認為，測量不確定度 的大小僅僅表示多次測量所得值的分散程度，不代表測得值 （被測量真值的估計值）是否接近真值。顯然, 該觀點 “嚴扣”測量不確定度的定義。觀點二：測量不確定度規(guī)定了一個區(qū)間，被測量真值以較大概率(焦作大學學報 2020年2期2020-08-14
- 《圓率考真圖解》注記 ——曾紀鴻有沒有計算出π的百位真值？
算出π的100位真值(1)這里的“百位真值”指的是整數(shù)位和小數(shù)點后99位共100位與π的真值前100位數(shù)字均相同。。全書大致分為五部分。(一)寫作緣起；(二)差角正切公式的幾何證明；(三)計算π值的兩種算法；(四)給出π/4，π，1/π等13個數(shù)值的100位真值，每個數(shù)值均為102位(包括整數(shù)位)，前100位是真值；(五)依據(jù)二分公式，給出π/4的15位真值算草示例；依據(jù)五分公式，給出π/4的24位真值算草示例。曾氏所給圓周率的百位真值在19世紀70年代雖中國科技史雜志 2019年2期2019-11-11
- 淺析弗雷格的涵義與指稱理論
義;指稱;思想;真值普遍認為分析哲學、語言哲學的開創(chuàng)者和奠基人是弗雷格，他明確區(qū)分了涵義與指稱，對語言分析哲學作出了重大貢獻。弗雷格以來，哲學研究重點不再是認識論問題，而逐漸側(cè)重于語言意義問題。以下將對弗雷格如何分析涵義和指稱進行詳細介紹，并闡明其價值。一、專名的涵義與指稱弗雷格從“相等”切入，首次闡述涵義與指稱的不同之處。在對比分析中，弗雷格認為在認識價值方面，a=b比a=a所具有的價值更高。因為按照康德的說法，a=a是分析命題，主詞中包含謂詞，從主詞中錦繡·下旬刊 2019年3期2019-09-10
- 真值為格值的二型模糊集及其運算
論了二型模糊集的真值運算與真值代數(shù)，并對二型模糊集真值代數(shù)的結(jié)構(gòu)進行了研究．2007年，Hading等［8－9］研究了二型模糊集真值代數(shù)的子代數(shù)，證明了它的一些子代數(shù)是格，且討論了格的完備性．2010年，Harding等［10］還討論了二型模糊集真值代數(shù)的生成問題．2014年，Walker等［11］給出了有限鏈上二型模糊集的運算性質(zhì)．2014年，Hu等［12－13］在文獻［7］的基礎(chǔ)上討論了線性序集上二型模糊集真值的二元運算的擴展t－模運算，隨后又討論了二四川師范大學學報（自然科學版） 2019年3期2019-08-31
- 面向數(shù)據(jù)集成的多真值發(fā)現(xiàn)算法
性是不現(xiàn)實的，而真值發(fā)現(xiàn)方法能從多個數(shù)據(jù)源中找到最符合現(xiàn)實的真值來解決沖突，因此成為研究熱門。到目前為止，已有大量工作來處理真值發(fā)現(xiàn)問題?，F(xiàn)有的算法[1-2,4-12]大多能通過迭代的方法來聯(lián)合推導數(shù)據(jù)源的可信度和描述值的置信度，它們綜合考慮各種方面的影響如數(shù)據(jù)源的依賴關(guān)系，先驗知識和數(shù)據(jù)源的質(zhì)量等來提高真理發(fā)現(xiàn)的準確率。當前算法通常假設(shè)每個實體只有一個真值，然而在現(xiàn)實世界中，實體擁有多個真值的情況可能更為常見。例如，一本書通常有多個作者，一部電影可能有幾數(shù)據(jù)采集與處理 2019年3期2019-06-15
- 淺談弗雷格的“函數(shù)和概念”
格 函數(shù) 概念 真值中圖分類號：O147 文獻標識碼：A 文章編號：1009-5349（2018）14-0246-03函數(shù)在數(shù)學中的應(yīng)用已有悠久的歷史了，而函數(shù)作為工具在邏輯學中的應(yīng)用始于弗雷格的概念文字。在《概念文字》中，弗雷格把句子分析為兩部分，一部分是“固定的組成部分”，他稱這個固定部分為函數(shù)；另一部分是“可由其他符號替代的符號”，他稱這部分為函數(shù)的自變元，這樣就解釋了句子的結(jié)構(gòu)。在《函數(shù)和概念》中，弗雷格詳細分析和論述了函數(shù)的性質(zhì)，指出函數(shù)最基本的現(xiàn)代交際 2018年14期2018-11-01
- 二型模糊真值代數(shù)性質(zhì)
余模(┴)上模糊真值運算的性質(zhì).然后探討了連續(xù)t-模(┬)與t-余模(┴)上模糊真值運算的性質(zhì).緊接著討論了在最小t-模與最大t-余模下凸模糊集有限并與交的性質(zhì).最后討論了具有相同最大值的凸模糊集的模糊真值代數(shù)性質(zhì),并且證明了所有具有相同最大值的凸模糊集在二型模糊的并與交運算下構(gòu)成一個格.1 預(yù)備知識為了討論方便,下面給出一些定義和基本結(jié)論.設(shè)I表示一個單位區(qū)間或一個結(jié)合代數(shù)([0,1],∨,∧,′,0,1),J表示一個有界線性序集或一個結(jié)合代數(shù)(J,∨,四川師范大學學報（自然科學版） 2018年4期2018-07-04
- 基于語言真值直覺模糊推理的公共交通資源投入評估方法
值表示方法來表達真值域。Zou等[4]和鄒麗等[5]在格值邏輯理論的基礎(chǔ)上建立了2n元語言真值直覺模糊代數(shù)以及基于2n元語言真值直覺模糊格的直覺模糊命題邏輯系統(tǒng)，在上述基礎(chǔ)上進行了大量的關(guān)于不確定性推理與自動推理方法的研究。模糊推理是很多領(lǐng)域中不可或缺的工具和基礎(chǔ)。Zadeh[6]提出了著名的合成推理(CRI)方法，將其進行實際應(yīng)用并取得了成功，經(jīng)典的CRI方法為之后的模糊推理方法研究奠定了基礎(chǔ)。王國俊[7]于1999年首次提出模糊取式推理(FMP)問題的濟南大學學報（自然科學版） 2018年3期2018-05-09
- 命題中句子狀語類型言據(jù)性的真值條件
狀語類型言據(jù)性的真值條件研究很少。切夫(Chafe 1986)把研究言據(jù)性的語義方法分為兩種：廣義和狹義。[1]262狹義言據(jù)性的定義是把言據(jù)性的具體含義嚴格限定到信息來源的具體類型上，并不提及說話者關(guān)于所訴信息的認知。而廣義的言據(jù)性是指說話者對于所訴知識的態(tài)度。[2]本文所采納的觀點是言據(jù)性具有廣義性的意義，不僅能夠體現(xiàn)信息的出處而且還能夠體現(xiàn)對所訴信息的肯定程度。根據(jù)牛津字典的解釋，“證據(jù)”應(yīng)該包括支持一個信念或命題等，或是表明一件事情的真?zhèn)?。[3]切學術(shù)交流 2018年12期2018-02-20
- 基于TOPSIS的語言真值直覺模糊多屬性決策
OPSIS的語言真值直覺模糊多屬性決策徐瑩瑩1，鄒麗1，黃志鑫2，潘暢1(1.遼寧師范大學 計算機與信息技術(shù)學院，遼寧 大連 116081； 2. 遼寧師范大學 數(shù)學學院，遼寧 大連 116081)針對具有模糊語言值信息的多屬性決策問題，結(jié)合傳統(tǒng)的TOPSIS方法，提出了基于TOPSIS的語言真值直覺模糊多屬性決策方法。在語言真值直覺模糊代數(shù)的基礎(chǔ)上，用語言真值直覺模糊對來表達既有可比的又有不可比的模糊語言值信息，給出了語言真值直覺模糊對之間的歸一化距離算智能系統(tǒng)學報 2017年4期2017-12-22
- 海空目標航跡關(guān)聯(lián)算法研究
拉格朗日插值法對真值航跡進行插值，獲得足夠多的時標一致的融合航跡與真值航跡對應(yīng)的航跡點，計算對應(yīng)航跡點之間的距離，與給定閾值相比較，判斷其對應(yīng)關(guān)系，進而實現(xiàn)自動化的航跡關(guān)聯(lián)。這一過程經(jīng)總結(jié)梳理，進而提出了航跡關(guān)聯(lián)算法，以實現(xiàn)航跡關(guān)聯(lián)的自動化，提升航跡關(guān)聯(lián)的準確率和效率。海空目標航跡；航跡關(guān)聯(lián)；算法；插值0 引言航跡關(guān)聯(lián)即為判斷來源不同的兩條航跡是否代表同一目標[1-3]，本文所述航跡關(guān)聯(lián)是為進行觀察預(yù)警裝備效能評估而開展的目標融合航跡與目標真值航跡之間的關(guān)計算機時代 2017年10期2017-10-19
- 基于分布式技術(shù)的多級數(shù)據(jù)真值發(fā)現(xiàn)?
式技術(shù)的多級數(shù)據(jù)真值發(fā)現(xiàn)?呂維新殷軍（云南電網(wǎng)有限責任公司昆明供電局昆明650200）為了進一步提升數(shù)據(jù)管理系統(tǒng)的可靠性和準確性，論文提出了一種基于分布式技術(shù)的多級數(shù)據(jù)真值挖掘發(fā)現(xiàn)，消除了級別之間的差異性與獨立性。該方法將數(shù)據(jù)源的數(shù)據(jù)相值進行分級，利用級值與真實值相似度定義準確率迭代，避免了同一數(shù)據(jù)在不同級被抽取時的差異性。通過在分布式技術(shù)挖掘算法下，分別計算級值概率和偏離度來判斷多級數(shù)據(jù)真實值。最后，通過對重疊數(shù)據(jù)集的實驗說明了論文提出的多級數(shù)據(jù)真值發(fā)現(xiàn)計算機與數(shù)字工程 2017年5期2017-06-05
- 隱喻語句的語用真值條件
)隱喻語句的語用真值條件楊小龍1王天翼2(1. 浙江財經(jīng)大學 外國語學院，杭州 310018； 2. 四川外國語大學 國際關(guān)系學院，重慶 400031)隱喻語句的真值條件是構(gòu)成隱喻意義分析的重要內(nèi)容。之前對隱喻真值條件的刻畫忽視了隱喻語句產(chǎn)生的真實語境。隱喻離不開語境，沒有語境的充實和幫助，人類將很難進行隱喻交流。本文提出隱喻語句的語用真值條件在于主體間性和意圖性。語用真值條件屬于“個人層面”(personal level)，用以反映說話人的命題態(tài)度。語用外國語文 2017年4期2017-03-11
- 一種基于Choquet積分的不精確推理方法
法可將其余條件的真值計算得到.對于不存在循環(huán)推理的模糊規(guī)則集，Chen[5]提出一種基于加權(quán)模糊邏輯的不精確推理方法，因為該算法用模糊數(shù)或模糊語言值表示模糊規(guī)則參數(shù)，使得其更加可行和合理.本文首先介紹模糊測度、Choquet積分、模糊產(chǎn)生式規(guī)則等預(yù)備知識，然后提出了一種基于Choquet積分的不精確推理方法，并分析了該方法的復雜度.最后介紹了該方法在不完全知識推理中的應(yīng)用.1 預(yù)備知識1.1 模糊測度和Choquet積分模糊測度是對經(jīng)典測度的推廣，本文只介河北大學學報（自然科學版） 2016年6期2017-01-10
- 作為真值談?wù)摼涞恼f謊者
00732）作為真值談?wù)摼涞恼f謊者胡義昭（中國社會科學院 哲學研究所，北京 100732）對于說謊者悖論的最初診斷都指向自我指稱。然而，由于其中的自我指稱的出錯方式太過細微，以至于一直沒有被相關(guān)研究者觀察到，反而轉(zhuǎn)向從其他看起來更重要的邏輯或者哲學要素上去尋求消解。從說謊者悖論的一個衍生悖論重新回到自我指稱來觀察，發(fā)現(xiàn)恰恰是一種注定失敗的語義指稱意圖引發(fā)了說謊者悖論。說謊者悖論；真值談?wù)摼洌?span id="syggg00" class="hl">真值謂詞；自我指稱；語義指稱意圖關(guān)于說謊者悖論，我們還有什么可以說重慶理工大學學報(社會科學) 2016年12期2017-01-07
- MTruths：Web信息多真值發(fā)現(xiàn)方法
s：Web信息多真值發(fā)現(xiàn)方法馬如霞1,2孟小峰1王 璐1史英杰31(中國人民大學信息學院 北京 100872)2(首都師范大學教育技術(shù)系 北京 100048)3(北京服裝學院信息工程學院 北京 100029)(maruxia@126.com)Web已成為一個浩瀚的信息海洋，其信息分散在不同的數(shù)據(jù)源中.不同數(shù)據(jù)源常常為同一對象實體提供沖突的屬性值.如何從這些沖突屬性值中找到真值被稱為真值發(fā)現(xiàn)問題.根據(jù)屬性值數(shù)量可將對象屬性分為單值屬性和多值屬性，現(xiàn)有的多數(shù)真計算機研究與發(fā)展 2016年12期2016-12-22
- 克里普克極小固定點真理論
者悖論；固定點；真值間隙；表達力一、克里普克的目的及所遇到的問題首先我們要清楚克里普克的目的是什么?？死锲湛水斎皇且鉀Q悖論，但是解決悖論只是他的真理論的一個“順便”解決的問題。最終他是要給出一個真理論。那么克里普克的真理論所要實現(xiàn)的目的是什么呢？或者說他要把握什么樣的“真”呢？克里普克自己說“我們希望能夠捕獲下面這樣的直觀。假設(shè)我們正在向不理解‘真’這個詞的人解釋‘真’。我們可能會說在我們能斷定（或否定）一個句子的情境下我們恰好也有權(quán)斷定（或否定）這個句河南社會科學 2016年4期2016-11-07
- 防空武器模擬動態(tài)飛行試驗方法
動態(tài)飛行試驗?zāi)繕?span id="syggg00" class="hl">真值數(shù)學模型、穩(wěn)定試驗搖擺量真值數(shù)學模型。通過某典型防空武器系統(tǒng)模擬動態(tài)飛行試驗驗證，證明了模擬動態(tài)飛行試驗原理和所建立的數(shù)學模型的正確性。該方法建立了防空武器動態(tài)飛行試驗系統(tǒng)的理論基礎(chǔ)，模型可用于模擬動態(tài)飛行試驗數(shù)據(jù)處理和誤差分析。兵器科學與技術(shù)；防空武器；動態(tài)飛行試驗；真值0 引言動態(tài)飛行試驗用于檢驗防空武器（高炮、彈炮結(jié)合武器）搜索、跟蹤和火控系統(tǒng)的動態(tài)精度，同時考核高炮武器相關(guān)的戰(zhàn)術(shù)性能和使用性能［1-2］。動態(tài)飛行試驗是高炮武器研兵工學報 2016年3期2016-10-14
- 基于語言真值直覺模糊真度矩陣的多屬性決策方法
徐瑩瑩?基于語言真值直覺模糊真度矩陣的多屬性決策方法黃志鑫1，徐瑩瑩2（遼寧師范大學 1. 數(shù)學學院，遼寧 大連 116029；2. 計算機與信息技術(shù)學院，遼寧 大連 116081）針對含有模糊語言信息的決策問題，基于語言真值直覺模糊格蘊涵代數(shù)理論，提出了語言真值直覺模糊真度矩陣，給出了將語言真值直覺模糊判斷矩陣轉(zhuǎn)換為語言真值直覺模糊真度矩陣的方法，利用語言O(shè)WA算子對語言真值直覺模糊真度矩陣進行聚合、排序進而得出最優(yōu)方案．將該方法應(yīng)用于選擇最佳創(chuàng)業(yè)項目為高師理科學刊 2016年10期2016-10-13
- 數(shù)字系統(tǒng)中的幾種編碼定義問題討論
過實例加以說明.真值；原碼；反碼；補碼和移碼；定義和定義域問題；精確定義1 引言通常，人們用正負符號加上一組數(shù)字的集合來表征一個數(shù).在計算機中,數(shù)的“+”、“-”符號常用 0和 1表示；這種符號數(shù)字化后按一定規(guī)則產(chǎn)生的數(shù)稱為機器數(shù).機器數(shù)代表的實際值稱為真值.把真值轉(zhuǎn)換為機器數(shù)的方法就是所謂的編碼方法.原碼、反碼、補碼和移碼就是機器數(shù)的基本編碼形式.對機器數(shù)的求取，文獻［1］用列表和舉例的方式給予了說明；對機器數(shù)編碼的定義，文獻［2—6］進行了很好的論述.廣東技術(shù)師范大學學報 2016年8期2016-07-05
- 用相對的觀點看測量不確定度的定義
是表征賦予被測量真值的分散性。計量學；真值；測量結(jié)果；測量不確定度0 引言一個概念的提出及其理論方法的完善是很慎重的，提出不確定度的概念可追溯至1927年［1］。1963年美國國家標準局（NBS）的埃森哈特提出了采用“不確定度”的建議。1980年國際計量局會同多國國家級計量研究院及5個國際組織起草了《實驗不確定度表述》建議書，編號為INC-1（1980）。1993年7個國際組織聯(lián)合出版了GUM，2008年8個國際組織又修訂了GUM。我國對應(yīng)有JJF 105山東電力技術(shù) 2016年9期2016-04-06
- 自然語言視角下戴維森語義學理論研究
理論，主張意義和真值條件緊密相關(guān)，意義組合性為真值條件組合性。這一理論體現(xiàn)了塔斯基理論應(yīng)用到意義的價值，展現(xiàn)了真值條件如何衍生于句子結(jié)構(gòu)、清晰表達出意義理論應(yīng)實現(xiàn)的條件；此外，對經(jīng)驗真理論的分析和闡釋表明人類自身的語義能力可使我們判斷語義理論是否具有給定語句的真值條件。盡管戴維森語義理論具有上述優(yōu)點，對自然語言語義理解起到巨大貢獻，但是其理論在真值條件充要性、所依據(jù)的理論基礎(chǔ)存在缺陷、詞語語義屬性解釋和對語句邏輯形式和個體詞的明確區(qū)分等四個方面存在進一步改淮北師范大學學報(哲學社會科學版) 2016年4期2016-03-15
- 儀表的準確度等級與誤差的關(guān)系
誤差；相對誤差；真值；引用誤差；準確度等級在日常的計量檢定工作中,常常會碰到儀表的準確度等級，相對誤差，引用誤差等問題，準確度等級又是儀表最主要的質(zhì)量指標，它們之間存在什么樣的聯(lián)系，本文通過具體實例給出分析。1 絕對誤差絕對誤差是測量結(jié)果與被測量（約定）真值之差。絕對誤差=測量結(jié)果-真值絕對誤差是既指明誤差的大小，又指明其正負方向，以同一單位量綱反映測量結(jié)果偏離真值大小的值，它確切地表示了偏離真值的實際大小。2 相對誤差相對誤差指的是測量所造成的絕對誤差與電子測試 2016年22期2016-03-14
- 真值限定的語言真值直覺模糊推理
連116081）真值限定的語言真值直覺模糊推理鄒麗1，2，譚雪微1，溫欣1，劉新3（1．遼寧師范大學計算機與信息技術(shù)學院，遼寧大連116081；2．南京大學計算機軟件新技術(shù)國家重點實驗室，江蘇南京210093；3．遼寧師范大學數(shù)學學院，遼寧大連116081）為了更貼近人類語言的表達，減少推理過程中信息的損失，在直覺模糊邏輯推理的基礎(chǔ)上，結(jié)合語言真值格蘊涵代數(shù)，提出了真值限定的語言真值直覺模糊推理方法。研究了語言真值直覺模糊猶豫度、相容度、不相容度及其相關(guān)性智能系統(tǒng)學報 2015年5期2015-12-03
- 利用無人機標定雷達精度的新方法*
B系統(tǒng)提供的仰角真值與雷達測量值時間對準困難，標定精度差。另外，這些方法普遍依賴GPS獲取真值，戰(zhàn)時無法保證工作可靠性。現(xiàn)有三坐標雷達標定系統(tǒng)的標定源和真值獲取設(shè)備存在的上述問題影響了它們的推廣和應(yīng)用，無法滿足日益增長的雷達裝備保障需求。因此，本文通過優(yōu)化標定源設(shè)計，重新選擇真值獲取設(shè)備，提出了一種利用旋翼無人機標定三坐標雷達精度的新方法。2 總體方案2.1 系統(tǒng)設(shè)計標定系統(tǒng)主要由標定源、真值獲取系統(tǒng)、雷達數(shù)據(jù)錄取及解算設(shè)備三部分組成。下面分別對這三部分進電訊技術(shù) 2015年2期2015-09-28
- 滾動軸承振動速度的乏信息真值估計
對軸承振動參數(shù)的真值進行評估。由于軸承振動特性具有乏信息特征，使得軸承振動特性的真值估計成為難題。目前，學者們已經(jīng)研究了許多真值評估方法，如最大似然法［3-4］、最大后驗估計［5-7］、加權(quán)平均法［8］和最小二乘逼近等［9］，但這些通常都是基于大樣本條件下進行的。為此，提出基于小樣本的真值融合方法，該方法是對滾動平均法、隸屬函數(shù)法、最大隸屬度法、滾動自助法和算術(shù)平均法的多次融合。在此基礎(chǔ)上，提出了乏信息條件下基于多個估計真值的融合方法的點估計，通過對圓錐滾軸承 2015年3期2015-07-25
- “0”的作用
數(shù)字；第三，它們真值的范圍不一樣，1.250的真值在1.2495～1.2504之間，1.25的真值在1.245～1.254之間。在運算法則中，我的作用也很特別。加法法則：0加上任何數(shù)或式子等于任何數(shù)或任何式子，即0+a=a：減法法則：任何數(shù)或式子減去0等于任何數(shù)或任何式子，即a-0=a：乘法法則：0乘以任何數(shù)或任何式子都等于0，即0xa=0；除法法則：0除以任何非0數(shù)或非0式子等于0，即0÷a=0。怎么樣，我的作用是不是不容忽視？（指導教師 周小紅）讀寫算·高年級 2015年3期2015-05-16
- 模糊數(shù)學與中介真值理論相結(jié)合的評價方法*
)模糊數(shù)學與中介真值理論相結(jié)合的評價方法*潘 茜，張育平，陳海燕(南京航空航天大學計算機科學與技術(shù)學院，江蘇 南京 210016)針對模糊非確定現(xiàn)象的評價問題，提出了模糊數(shù)學與中介真值理論相結(jié)合的評價方法。模糊數(shù)學評價法和中介真值理論的方法都是從量的角度研究和處理模糊現(xiàn)象。但是，模糊數(shù)學評價法注重應(yīng)用而缺乏系統(tǒng)理論的支持，其模糊合成算子在多因素情況下很難確定，且度量值域局限于[0,1]；中介真值理論的評價方法在處理因素較多且權(quán)重難以細分的情況時，也具有一定計算機工程與科學 2015年9期2015-01-09
- 指正風靡教輔資料的這道電學實驗題
壓表、電流表內(nèi)組真值）的前提下，即可采用“臨界值”法，遵循“內(nèi)大外小，大內(nèi)小外”的口訣做出合理的選擇；在不具備此條件時，可以選用“試觸法”粗略地做出選擇.用“試觸法”選擇電流表內(nèi)、外接法，高中階段慣用的兩種手段如下：（1）觀察“指針偏角”粗略定出電壓表、電流表“示數(shù)變化幅度”：用肉眼去觀察電壓表和電流表指針在試觸瞬間的偏轉(zhuǎn)角度變化；應(yīng)將變化幅度較大的電表與待測電阻直接連接，這樣誤差相對較小.（2）計算“相對誤差”（教輔資料上稱之為“相對變化量”）細致定出電中學物理·高中 2014年6期2014-09-22
- 基于多傳感器探測精度的正確融合航跡判斷
實現(xiàn)，融合航跡與真值航跡相關(guān)技術(shù)作為融合效能評估的基礎(chǔ)算法更是少被提及。根據(jù)目前掌握的融合航跡與真值航跡相關(guān)算法存在效率低下，對特殊態(tài)勢匹配成功率不高等缺點，本文根據(jù)融合航跡數(shù)據(jù)和真值航跡數(shù)據(jù)特點，提出一種基于傳感器探測精度的正確融合航跡判斷技術(shù)，通過建立全新數(shù)據(jù)模型，優(yōu)化算法結(jié)構(gòu)，以提高數(shù)據(jù)處理能力及正確性。1 技術(shù)方案1.1 技術(shù)原理對融合航跡和真值航跡進行相關(guān)時，需首先設(shè)置時間和空間相關(guān)匹配參數(shù)作為相關(guān)閾值進行時空配準后，才能進行其他相關(guān)處理?；趥?/div>電子科技 2014年6期2014-03-13
- 曲線匹配法在雷達動態(tài)標校中的應(yīng)用
是通過校準雷達和真值設(shè)備的系統(tǒng)時間，然后根據(jù)數(shù)據(jù)時戳匹配雷達測量數(shù)據(jù)和真值數(shù)據(jù)，并對真值數(shù)據(jù)進行坐標轉(zhuǎn)換，再通過匹配后數(shù)據(jù)得到測量值與真值的誤差并計算出系統(tǒng)誤差，根據(jù)系統(tǒng)誤差進行誤差修正［1-2］。這種方法簡單方便，易于實現(xiàn)，但前提是必須保證系統(tǒng)的數(shù)據(jù)時戳精度在可容忍范圍內(nèi)。對于處于相鄰位置的兩個系統(tǒng)來說，只需要建立數(shù)據(jù)通信，進行時間對時就可以完成時間同步，使兩個系統(tǒng)的時間誤差在可容忍的范圍內(nèi);但對于架設(shè)在不同區(qū)域的設(shè)備來說，上述方法不易實現(xiàn)。同時，即使實雷達與對抗 2013年1期2013-06-08
- 一元算符邏輯理論三探——狹義函數(shù)相對論視野下的現(xiàn)代模態(tài)邏輯
原理:對于任意二真值的邏輯變量p和由任意一元算符H與p所形成的二真值變量Hp，無論Hp是否為p的真值函數(shù)，它總會等值于p和獨立于p的另一二真值變量q所形成的一個真值函數(shù)。由于有且僅有16個二真值二元函數(shù)式和有且僅有16個相應(yīng)的基本二真值二元函數(shù)，所以有且僅有16個一元算符和有且僅有16個相應(yīng)的基本二真值一元非函數(shù)。其他的二真值一元非函數(shù)由且僅由這16個一元算符疊置所形成。那么可進一步認為現(xiàn)代模態(tài)邏輯公理其實是按一階邏輯對經(jīng)典二真值函數(shù)做分類研究。模態(tài)命題邏華中科技大學學報(社會科學版) 2012年3期2012-12-21
- 現(xiàn)代模態(tài)邏輯的形式分析初步 ——魔態(tài)羽翼的跨世界逃逸與“刑師”分析下的在劫難逃
公理和規(guī)則對經(jīng)典真值函數(shù)做分類研究。模態(tài)命題邏輯中任一個可能世界集W僅表示與某一公理模式相應(yīng)的一組二真值函數(shù)，相應(yīng)的可能世界間的關(guān)系R就是這組真值函數(shù)共有的一種集合性質(zhì)。任一公理模式在一框架內(nèi)有效，就是將屬于W的每個真值函數(shù)式按K-2分別依次代入該公理模式中的每一個“□”，使得形成一組經(jīng)典定理。二分性；非真值函數(shù)；經(jīng)典二變元真值函數(shù)；模態(tài)公理模式；K-1；K-2邏輯的本性(the nature of logic)是二分性，并通過不斷的形式化二分將繁雜的經(jīng)驗淮陰師范學院學報（哲學社會科學版） 2012年3期2012-10-30
- 三維空間中Navier－Stokes 方程的有限差分方法
應(yīng)的差分的解的圖真值圖，兩者的比較圖，兩者之間的誤差圖圖2 t=4～6時(從行看)相應(yīng)的差分的解的圖真值圖，兩者的比較圖，兩者之間的誤差圖圖3 t=7～9時(從行看)相應(yīng)的差分的解的圖真值圖，兩者的比較圖，兩者之間的誤差圖1.3 誤差分析圖1～3分別為t=1～9(從行看)時，相應(yīng)的差分的解的圖，真值圖，兩者的比較圖，兩者之間的誤差圖.可以發(fā)現(xiàn)，當t=1～3時，吻合程度較好;隨著時間的推移，吻合程度越來越差，變化程度越來越劇烈.2 三維Navier－Stok重慶高教研究 2012年1期2012-09-12
- 寫真法、寫假法探析
真法和寫假法是在真值表方法的基礎(chǔ)上構(gòu)造而成的一種確定真值表所對應(yīng)的真值形式的方法。借助真值表方法對寫真法和寫假法的構(gòu)造過程的合理性、有效性及特點予以探析，進而把寫真法、寫假法整合為一種新的方法——寫真寫假法。寫真法;寫假法;等值在現(xiàn)代邏輯中，真值表方法是判定真值形式的真值類型的一種最基本的方法，它是用真值表作為命題邏輯中確定真值形式的真值情況的一種有效的判定方法。依據(jù)這種方法，對于任一真值形式，可以根據(jù)若干特定步驟寫出它的真值表，從而判定這一真值形式的類型華北水利水電大學學報(社會科學版) 2011年4期2011-11-22
- 關(guān)于CFD驗證確認中的不確定度和真值估算
源是明確的。由于真值不能確定,不確定度就定義為對誤差的估計,但什么叫誤差的估計也是不明確的。關(guān)于不確定度的理論、方法,雖已提出不少,但能夠具體應(yīng)用的不多。這就給飛行器CFD的實驗和確認造成了困難。飛行器的CFD驗證、確認,一般是這樣進行的:選定飛行器外形(根據(jù)需要確定一個或多個),指定來流條件和要驗證的量,分別委托各實驗部門和CFD部門,各進行實驗和計算。一般各實驗部門的實驗數(shù)據(jù)各不相同,各計算部門提供的計算數(shù)據(jù)也不一致。實驗部門必須給出實驗結(jié)果的真值和不空氣動力學學報 2010年1期2010-11-08
- 相對誤差與相對不確定度
測量結(jié)果與被測量真值之差.通?？煞譃閮深?系統(tǒng)誤差和偶然誤差.測量誤差是客觀存在的,但由于在絕大多數(shù)情況下,真值是不知道的,所以“真誤差”也無法準確知道.我們只能在特定的條件下尋求最佳的真值近似值,并稱之為“約定真值”.1.2 測量不確定度為了估計測量結(jié)果的可靠程度,我們可以把實驗結(jié)果寫出如下形式:其中Y代表待測物理量,N為該物理量的測量值(既可以是單次的直接測量值,也可以是相同實驗條件下直接測量的算術(shù)平均值,還可以是經(jīng)過公式計算得到的間接測量值),而其中物理教師 2010年10期2010-07-25
- 動態(tài)環(huán)境條件下艦船航向真值測量方法研究及應(yīng)用*
環(huán)境條件下的航向真值進行測量。目前,用于艦船航向真值測量的方法有GPS測量法和手動光學測量法。GPS測量法的原理是,在載體的艏艉線兩端和橫搖方向上,分別安裝精密GPS測量系統(tǒng)。這種方法能夠在動態(tài)條件下進行連續(xù)測量,從而得到完整的航向曲線。但該方法存在下面三個問題:1)由于GPS本身存在較大的高程誤差,因此在解算過程中進行坐標變換時會引入誤差;2)GPS測量法的精度不僅取決于GPS系統(tǒng)定位精度,更取決于兩天線之間的連線長度,由于載體的長度有限,因此連線長度受艦船電子工程 2010年6期2010-04-26
- 分析性語言哲學：反思與批判
學的理論基礎(chǔ)——真值概念和日常語言分析的普適性結(jié)論，反思和批判分析性語言哲學。在此基礎(chǔ)上，得出結(jié)論：（1）語言研究不應(yīng)該僅僅死盯外在物理世界；（2）語言具有人類中心性，因此應(yīng)該關(guān)注語言中以人為中心的主觀意義；（3）各種具體語境的集合是人的生活世界，因此生活世界理論值得語言哲學和語言學工作者關(guān)注和借鑒。關(guān)鍵詞：分析哲學；分析性語言哲學；真值；真實中圖分類號：B089 文獻標識碼：A 文章編號：1000-0100(2009)03-0031-4Analytica外語學刊 2009年3期2009-06-04
- 一種某艦載相控陣雷達碼頭標校及數(shù)據(jù)處理方法*