真值

為真的方式解讀為真值條件，然后運(yùn)用分離論點(diǎn)阻止從相關(guān)的真值條件陳述中引入真性質(zhì)。（[8]）愛德華茲的策略符合本體論的經(jīng)濟(jì)性原則。如果訴諸真值條件能夠解釋命題以何種方式為真，那么在我們的本體論中引入過(guò)多的真性質(zhì)是沒有必要的。第二節(jié)將詳述愛德華茲的策略。第三節(jié)指出，愛德華茲的策略同樣適用于原子命題，從而強(qiáng)化了對(duì)真之多元論的雙重計(jì)算反駁（the double-counting objection）。雙重計(jì)算反駁認(rèn)為，存在不同種類的真值條件（different k

與主合取范式，在真值表法基礎(chǔ)上，分析解釋了構(gòu)造析?。ê先。┓妒綍r(shí)以成真（假）指派反推對(duì)應(yīng)?。ù螅╉?xiàng)的原因，并結(jié)合計(jì)算機(jī)語(yǔ)言程序設(shè)計(jì)將該解法從理論求解遷移至計(jì)算機(jī)工具求解，給出了程序設(shè)計(jì)的具體流程和代碼，從而更好地實(shí)踐“以解決問(wèn)題為導(dǎo)向掌握和運(yùn)用工具”學(xué)習(xí)模式以及幫助學(xué)習(xí)者建立定理自動(dòng)化證明的認(rèn)知，進(jìn)一步理解人工智能基礎(chǔ)。1 范式在布爾邏輯中，主析取范式與主合取范式是邏輯公式的標(biāo)準(zhǔn)規(guī)范化，其中主析取范式是由各個(gè)所涉及命題變?cè)暮先∽泳浼醋钚№?xiàng)的析取；主合取范

達(dá)中心和艦姿態(tài)對(duì)真值的影響，本文推導(dǎo)出該標(biāo)校方案下真值修正的數(shù)學(xué)表達(dá)式，以艦上建筑固定點(diǎn)為參考獲取GPS天線偏移量，分析修正模型的誤差傳遞情況和偏移量測(cè)量引入誤差情況，以及不同掃描角下的誤差情況，并通過(guò)離散小波變換的方法對(duì)實(shí)測(cè)數(shù)據(jù)樣本進(jìn)行處理，去除粗大誤差和隨機(jī)誤差，計(jì)算誤差均值和均方根，有效評(píng)估各個(gè)角度下的誤差情況。2 標(biāo)校方法介紹該標(biāo)校方案如圖1所示。艦船上架設(shè)GPS測(cè)量站，標(biāo)校車處架設(shè)GPS基站，實(shí)時(shí)差分轉(zhuǎn)換得出方位、仰角、距離值，作為初步真值；對(duì)初

法尤為重要。中介真值程度的度量以中介數(shù)學(xué)為基礎(chǔ)，是一種有別于模糊數(shù)學(xué)和粗集的量化處理模糊現(xiàn)象的方法。該方法的主要特點(diǎn)是采用邏輯真值定性與數(shù)據(jù)數(shù)值定量有機(jī)結(jié)合的方式處理模糊現(xiàn)象。中介真值程度度量理論，是中介邏輯的進(jìn)一步擴(kuò)展，能夠?yàn)榭茖W(xué)研究和工程技術(shù)中處理模糊現(xiàn)象提供一種基于邏輯的、自然的、且為定量形式的數(shù)值化方法。一、數(shù)學(xué)模型（一）問(wèn)題描述。學(xué)生課程績(jī)點(diǎn)計(jì)算的影響因素較多，例如課程數(shù)、課程學(xué)分、理論課、實(shí)驗(yàn)實(shí)踐課等等。本文主要考慮“分班制”下的課程績(jī)點(diǎn)計(jì)算。

是包含既真且假(真值過(guò)剩)。這種將LP和RM3歸類為超一致性的進(jìn)路，不同于那些(如K3和3)將第三值視為非真非假(真值空缺)的進(jìn)路。然而，LP和RM3中的排中律和(不)矛盾律仍然無(wú)效(5)Graham Priest, An Introduction to Nonclassical Logic: From If to Is, New York: Cambridge University Press, 2008, pp. 124-139.。3)開放的未來(lái)(Op

有挑戰(zhàn)性的研究。真值發(fā)現(xiàn)是解決數(shù)據(jù)質(zhì)量問(wèn)題的重要方法，研究從不同數(shù)據(jù)源提供的關(guān)于多個(gè)真實(shí)對(duì)象的大量沖突描述信息中，為每一個(gè)真實(shí)對(duì)象找出最準(zhǔn)確的描述。傳統(tǒng)的真值發(fā)現(xiàn)算法主要基于兩個(gè)假設(shè)：若數(shù)據(jù)源提供越多的可信事實(shí)，則該數(shù)據(jù)源越可靠；若數(shù)據(jù)源的可靠性越高，則該數(shù)據(jù)源提供的事實(shí)越可信。根據(jù)這兩個(gè)基本假設(shè)，傳統(tǒng)真值發(fā)現(xiàn)算法可分為三類。一是基于迭代的方法：基于迭代的方法用簡(jiǎn)單函數(shù)來(lái)表達(dá)數(shù)據(jù)源可靠度與觀測(cè)值可信度之間的關(guān)系，迭代計(jì)算真值和數(shù)據(jù)源可靠度直至損失收斂[2]

的樞軸量給定參數(shù)真值θ=1，μ=1，10，20，50，樣本容量n=10，20，通過(guò)1 000次Monte Carlo模擬，統(tǒng)計(jì)上述5種情形滿足的次數(shù)，結(jié)果如表1所示，從中可以發(fā)現(xiàn)：1）只有k=1時(shí)，全部滿足情形一，也就是說(shuō)情形二——五不可能出現(xiàn)；2）對(duì)于2≤k≤n-1，情形二——五都有可能發(fā)生，尤其是當(dāng)μ真值較小、k值接近n時(shí)，很少滿足情形一，也就是得不到位置參數(shù)μ的區(qū)間估計(jì)；3）為得到位置參數(shù)μ的區(qū)間估計(jì)，推薦使用樞軸量G1（μ）。表1 位置參數(shù)μ區(qū)間估

布，這樣可以提高真值發(fā)現(xiàn)的效率。此外，還考慮了實(shí)體之間的相關(guān)性以確保準(zhǔn)確性。關(guān)鍵詞：真值發(fā)現(xiàn);時(shí)間序列分析中圖分類號(hào)：TP311? ? ? ? 文獻(xiàn)標(biāo)識(shí)碼：A文章編號(hào)：1009-3044（2022）08-0067-021研究概述由于網(wǎng)絡(luò)拓?fù)涞母叨让芗?，空間上相近的節(jié)點(diǎn)觀測(cè)值之間具備高度的相關(guān)性，而且節(jié)點(diǎn)之間距離越近，這種相關(guān)度越高。這種與空間距離有關(guān)的相關(guān)性被稱為空間相關(guān)性。空間自相關(guān)下群智感知應(yīng)用系統(tǒng)一般包含3個(gè)組成：云平臺(tái)（即系統(tǒng)），任務(wù)請(qǐng)求者和任務(wù)完

執(zhí)行本研究提出的真值發(fā)現(xiàn)框架。系統(tǒng)框架如圖1所示。圖1 GARCH模型架構(gòu)2 問(wèn)題陳述假設(shè)研究K個(gè)用戶和N個(gè)實(shí)體,從所有K個(gè)用戶收集的時(shí)間序列S1{ ,S2,...,SN}作為輸入;用i索引每個(gè)實(shí)體,ei表示第i個(gè)實(shí)體。以k索引每個(gè)觀察者,時(shí)間序列表示為Si(k),表示觀察者k在實(shí)體ei上觀察到的時(shí)間序列。D=S1,{S2,…,Sn}是一組時(shí)間序列。觀測(cè)者k在j時(shí)刻收集到的一個(gè)讀數(shù)被標(biāo)記為∈Si。由于每個(gè)觀察者的可靠性在之前是未知的,所以它提供的原始數(shù)據(jù)可

任意后繼階段上的真值都由前一階段上的這些語(yǔ)句的真值(按原先的布爾組合方式)決定[3]891。這個(gè)性質(zhì)在框架上表現(xiàn)為：如果框架K的賦值τ實(shí)現(xiàn)一個(gè)布爾悖論，那么此布爾悖論中的每一個(gè)語(yǔ)句在此框架中任一點(diǎn)上的真值可由該悖論中所有語(yǔ)句在可通達(dá)該點(diǎn)的某個(gè)點(diǎn)上的真值完全確定。(1)相關(guān)定義出自本文參考文獻(xiàn)[3]，第903頁(yè)。前面提及的修正序列出自Gupta和Herzberger所創(chuàng)立的修正理論。后面的討論中會(huì)給出修正序列的具體實(shí)例，而這對(duì)于當(dāng)前的研究已經(jīng)足夠，故略去修正

它是表征被測(cè)量的真值所處量值范圍的評(píng)定。它按某一置信概率給出真值可能落入的區(qū)間。測(cè)量不確定度可以是標(biāo)準(zhǔn)差或其倍數(shù)，或是說(shuō)明了置信水準(zhǔn)的區(qū)間的半寬。測(cè)量不確定度不是具體的真誤差，它只是以參數(shù)形式定量表示了無(wú)法修正的那部分誤差范圍。它來(lái)源于偶然效應(yīng)和系統(tǒng)效應(yīng)的不完善修正，是用于表征合理賦予的被測(cè)量值的分散性參數(shù)[1]。測(cè)量不確定度按其獲得方法分為A、B兩類評(píng)定分量。A類評(píng)定分量是通過(guò)觀測(cè)列統(tǒng)計(jì)分析作出的不確定度評(píng)定；B類評(píng)定分量是依據(jù)經(jīng)驗(yàn)或洞察力進(jìn)行估計(jì)，并假

關(guān)鍵且迫在眉睫。真值發(fā)現(xiàn)研究如何從多個(gè)數(shù)據(jù)源提供的多個(gè)對(duì)象的沖突描述中為每一個(gè)對(duì)象找出最準(zhǔn)確的描述[4]。傳統(tǒng)真值發(fā)現(xiàn)方法分為基于迭代的方法、基于優(yōu)化的方法和基于概率圖模型的方法。這幾類方法假設(shè)數(shù)據(jù)源可靠度與觀測(cè)值可信度之間的關(guān)系可用簡(jiǎn)單函數(shù)表示，通過(guò)人工定義迭代規(guī)則或假設(shè)數(shù)據(jù)分布進(jìn)行真值發(fā)現(xiàn)。而實(shí)際上，數(shù)據(jù)源可靠度和觀測(cè)值可信度之間的關(guān)系通常是未知的，簡(jiǎn)單函數(shù)不足以表達(dá)這種復(fù)雜的關(guān)系，同時(shí)人工定義的條件難以反映數(shù)據(jù)的真實(shí)底層分布，導(dǎo)致真值發(fā)現(xiàn)的結(jié)果準(zhǔn)確性

理模塊是對(duì)獲取的真值數(shù)據(jù)進(jìn)行預(yù)處理，使其在精度、數(shù)據(jù)率和坐標(biāo)形式上均滿足統(tǒng)計(jì)處理的要求，是數(shù)據(jù)統(tǒng)計(jì)處理模塊的基礎(chǔ)。圖1 數(shù)據(jù)處理軟件模塊結(jié)構(gòu)圖Fig.1 Structure diagram of data processing software module獲取真值數(shù)據(jù)的方法較多。目前，在雷達(dá)試驗(yàn)中常用到GPS 載波相位差分定位技術(shù)和雷達(dá)測(cè)控技術(shù)。下面，對(duì)這2種方式獲得的真值在進(jìn)行數(shù)據(jù)處理中的關(guān)鍵問(wèn)題進(jìn)行分析。GPS 載波相位差分定位技術(shù)的測(cè)量精度可以達(dá)到

理為：被試設(shè)備與真值設(shè)備對(duì)同一架飛機(jī)的空間位置進(jìn)行測(cè)量，記錄下相關(guān)數(shù)據(jù)后事后進(jìn)行比對(duì)、分析，驗(yàn)證被試設(shè)備測(cè)量結(jié)果與真值設(shè)備測(cè)量結(jié)果的符合程度，即可檢驗(yàn)其技術(shù)指標(biāo)是否滿足要求。由于被試設(shè)備、真值設(shè)備為相互獨(dú)立的傳感器，即使在對(duì)同一目標(biāo)進(jìn)行測(cè)量的情況下，也不能完全在同一時(shí)刻記錄數(shù)據(jù)。鑒于飛機(jī)的飛行速度較快，一般為達(dá)到試驗(yàn)精度要求，被試設(shè)備、真值設(shè)備的時(shí)統(tǒng)對(duì)齊誤差應(yīng)小于1ms，這就要求兩者在相同時(shí)統(tǒng)授時(shí)的前提下，通過(guò)事后差分的方式將時(shí)統(tǒng)對(duì)齊。依據(jù)上述算法的基本原

可靠的數(shù)據(jù)中發(fā)現(xiàn)真值。真相發(fā)現(xiàn)方法的基本原則是：若感知的數(shù)據(jù)更接近匯總結(jié)果，則將為其分配較高的權(quán)重；而若數(shù)據(jù)具有較高的權(quán)重，則將在聚合過(guò)程中，其數(shù)據(jù)獲得更多統(tǒng)計(jì)。盡管真相發(fā)現(xiàn)方法已極大地改善系統(tǒng)中聚合的準(zhǔn)確性，但仍無(wú)法解決參與設(shè)備的隱私問(wèn)題。在IoT應(yīng)用中，參與者通常不愿提供其真實(shí)的感知數(shù)據(jù)，這些感知數(shù)據(jù)中推斷得到參與者的隱私信息。例如眾智感知系統(tǒng)[10]中能夠通過(guò)匯總從大量設(shè)備那里收集的數(shù)據(jù)來(lái)解決一些難題，但是，平臺(tái)系統(tǒng)能夠從設(shè)備的收集的回答中推斷得到每

題，并且分別具有真值 α1,α2,… ,αn，則對(duì)于Boolean 函數(shù)f，不確定命題Z =f ( X1, X2,…, Xn)具有真值其中ix 取值為0 或1，iv 的定義為不確定假言推理[12]：設(shè)A 和B 是獨(dú)立不確定命題.假設(shè)A 和A→B 分別具有真值a 和b.A 和B 的真值分別用符號(hào)1α 和2α 表示.由不確定蘊(yùn)含模型[12]式(3)可知，不確定假言推理的蘊(yùn)含模型可以表示為式(4).2 不確定產(chǎn)生式規(guī)則及其Petri網(wǎng)表示知識(shí)是客觀世界中事物之間

中找到目標(biāo)對(duì)象的真值，可以有效提高數(shù)據(jù)質(zhì)量，保證數(shù)據(jù)使用人員分析和決策的準(zhǔn)確性。然而，現(xiàn)實(shí)事物通常擁有多值屬性，如一部電影由多人主演甚至導(dǎo)演、一本圖書可能由多位專家共同創(chuàng)作。這類對(duì)象存在多值屬性的問(wèn)題被稱為多真值發(fā)現(xiàn)問(wèn)題。本文基于圖模型構(gòu)造了一個(gè)新的多真值發(fā)現(xiàn)算法，可有效提高真值發(fā)現(xiàn)算法的正確率。主要貢獻(xiàn)有以下3點(diǎn)：(1)在傳統(tǒng)投票方法的基礎(chǔ)上，設(shè)計(jì)出改進(jìn)的初始真值的確定CVote(Cluster Vote)算法，該算法能夠更好地應(yīng)用于多真值發(fā)現(xiàn)研究。(2

融合信息并和目標(biāo)真值進(jìn)行比對(duì)和分析，其中目標(biāo)真值信息主要通過(guò)架設(shè)在被試艦和參試目標(biāo)上的GPS或北斗設(shè)備探測(cè)得到［1］。但由于內(nèi)網(wǎng)錄取設(shè)備采樣的指揮控制系統(tǒng)信息基本上是非連續(xù)量，同時(shí)靶場(chǎng)GPS設(shè)備最高提供10Hz的真值信息，使得目標(biāo)真值常與指揮控制系統(tǒng)融合數(shù)據(jù)時(shí)戳不一致，需要進(jìn)行插值處理［2］。傳統(tǒng)的插值方法一般線性插值或三次多項(xiàng)式插值方法，這兩種方法在對(duì)直線或低速曲線運(yùn)動(dòng)的目標(biāo)進(jìn)行真值有較好的效果［3～5］，但如果個(gè)別航次航路軌跡存在拐點(diǎn)、一階導(dǎo)數(shù)變化率較

。那么，被測(cè)量的真值和這個(gè)區(qū)間有什么關(guān)系呢？定義顯然沒有給出答案。對(duì)于這個(gè)問(wèn)題，業(yè)內(nèi)有如下兩種觀點(diǎn)。觀點(diǎn)一：目前，所有的規(guī)范和絕大多數(shù)教科書在解釋測(cè)量不確定度概念時(shí)，都從測(cè)得值的分散性入手，回避了測(cè)量不確定度大小與真值之間的關(guān)系[3]。因此，很多人認(rèn)為，測(cè)量不確定度 的大小僅僅表示多次測(cè)量所得值的分散程度，不代表測(cè)得值 （被測(cè)量真值的估計(jì)值）是否接近真值。顯然, 該觀點(diǎn) “嚴(yán)扣”測(cè)量不確定度的定義。觀點(diǎn)二：測(cè)量不確定度規(guī)定了一個(gè)區(qū)間，被測(cè)量真值以較大概率(

算出π的100位真值(1)這里的“百位真值”指的是整數(shù)位和小數(shù)點(diǎn)后99位共100位與π的真值前100位數(shù)字均相同。。全書大致分為五部分。(一)寫作緣起；(二)差角正切公式的幾何證明；(三)計(jì)算π值的兩種算法；(四)給出π/4，π，1/π等13個(gè)數(shù)值的100位真值，每個(gè)數(shù)值均為102位(包括整數(shù)位)，前100位是真值；(五)依據(jù)二分公式，給出π/4的15位真值算草示例；依據(jù)五分公式，給出π/4的24位真值算草示例。曾氏所給圓周率的百位真值在19世紀(jì)70年代雖

義;指稱;思想;真值普遍認(rèn)為分析哲學(xué)、語(yǔ)言哲學(xué)的開創(chuàng)者和奠基人是弗雷格，他明確區(qū)分了涵義與指稱，對(duì)語(yǔ)言分析哲學(xué)作出了重大貢獻(xiàn)。弗雷格以來(lái)，哲學(xué)研究重點(diǎn)不再是認(rèn)識(shí)論問(wèn)題，而逐漸側(cè)重于語(yǔ)言意義問(wèn)題。以下將對(duì)弗雷格如何分析涵義和指稱進(jìn)行詳細(xì)介紹，并闡明其價(jià)值。一、專名的涵義與指稱弗雷格從“相等”切入，首次闡述涵義與指稱的不同之處。在對(duì)比分析中，弗雷格認(rèn)為在認(rèn)識(shí)價(jià)值方面，a=b比a=a所具有的價(jià)值更高。因?yàn)榘凑湛档碌恼f(shuō)法，a=a是分析命題，主詞中包含謂詞，從主詞中

論了二型模糊集的真值運(yùn)算與真值代數(shù)，并對(duì)二型模糊集真值代數(shù)的結(jié)構(gòu)進(jìn)行了研究．2007年，Hading等［8－9］研究了二型模糊集真值代數(shù)的子代數(shù)，證明了它的一些子代數(shù)是格，且討論了格的完備性．2010年，Harding等［10］還討論了二型模糊集真值代數(shù)的生成問(wèn)題．2014年，Walker等［11］給出了有限鏈上二型模糊集的運(yùn)算性質(zhì)．2014年，Hu等［12－13］在文獻(xiàn)［7］的基礎(chǔ)上討論了線性序集上二型模糊集真值的二元運(yùn)算的擴(kuò)展t－模運(yùn)算，隨后又討論了二

性是不現(xiàn)實(shí)的，而真值發(fā)現(xiàn)方法能從多個(gè)數(shù)據(jù)源中找到最符合現(xiàn)實(shí)的真值來(lái)解決沖突，因此成為研究熱門。到目前為止，已有大量工作來(lái)處理真值發(fā)現(xiàn)問(wèn)題?，F(xiàn)有的算法[1-2,4-12]大多能通過(guò)迭代的方法來(lái)聯(lián)合推導(dǎo)數(shù)據(jù)源的可信度和描述值的置信度，它們綜合考慮各種方面的影響如數(shù)據(jù)源的依賴關(guān)系，先驗(yàn)知識(shí)和數(shù)據(jù)源的質(zhì)量等來(lái)提高真理發(fā)現(xiàn)的準(zhǔn)確率。當(dāng)前算法通常假設(shè)每個(gè)實(shí)體只有一個(gè)真值，然而在現(xiàn)實(shí)世界中，實(shí)體擁有多個(gè)真值的情況可能更為常見。例如，一本書通常有多個(gè)作者，一部電影可能有幾

格 函數(shù) 概念 真值中圖分類號(hào)：O147 文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)：1009-5349（2018）14-0246-03函數(shù)在數(shù)學(xué)中的應(yīng)用已有悠久的歷史了，而函數(shù)作為工具在邏輯學(xué)中的應(yīng)用始于弗雷格的概念文字。在《概念文字》中，弗雷格把句子分析為兩部分，一部分是“固定的組成部分”，他稱這個(gè)固定部分為函數(shù)；另一部分是“可由其他符號(hào)替代的符號(hào)”，他稱這部分為函數(shù)的自變?cè)@樣就解釋了句子的結(jié)構(gòu)。在《函數(shù)和概念》中，弗雷格詳細(xì)分析和論述了函數(shù)的性質(zhì)，指出函數(shù)最基本的

余模(┴)上模糊真值運(yùn)算的性質(zhì).然后探討了連續(xù)t-模(┬)與t-余模(┴)上模糊真值運(yùn)算的性質(zhì).緊接著討論了在最小t-模與最大t-余模下凸模糊集有限并與交的性質(zhì).最后討論了具有相同最大值的凸模糊集的模糊真值代數(shù)性質(zhì),并且證明了所有具有相同最大值的凸模糊集在二型模糊的并與交運(yùn)算下構(gòu)成一個(gè)格.1 預(yù)備知識(shí)為了討論方便,下面給出一些定義和基本結(jié)論.設(shè)I表示一個(gè)單位區(qū)間或一個(gè)結(jié)合代數(shù)([0,1],∨,∧,′,0,1),J表示一個(gè)有界線性序集或一個(gè)結(jié)合代數(shù)(J,∨,

值表示方法來(lái)表達(dá)真值域。Zou等[4]和鄒麗等[5]在格值邏輯理論的基礎(chǔ)上建立了2n元語(yǔ)言真值直覺模糊代數(shù)以及基于2n元語(yǔ)言真值直覺模糊格的直覺模糊命題邏輯系統(tǒng)，在上述基礎(chǔ)上進(jìn)行了大量的關(guān)于不確定性推理與自動(dòng)推理方法的研究。模糊推理是很多領(lǐng)域中不可或缺的工具和基礎(chǔ)。Zadeh[6]提出了著名的合成推理(CRI)方法，將其進(jìn)行實(shí)際應(yīng)用并取得了成功，經(jīng)典的CRI方法為之后的模糊推理方法研究奠定了基礎(chǔ)。王國(guó)俊[7]于1999年首次提出模糊取式推理(FMP)問(wèn)題的

狀語(yǔ)類型言據(jù)性的真值條件研究很少。切夫(Chafe 1986)把研究言據(jù)性的語(yǔ)義方法分為兩種：廣義和狹義。[1]262狹義言據(jù)性的定義是把言據(jù)性的具體含義嚴(yán)格限定到信息來(lái)源的具體類型上，并不提及說(shuō)話者關(guān)于所訴信息的認(rèn)知。而廣義的言據(jù)性是指說(shuō)話者對(duì)于所訴知識(shí)的態(tài)度。[2]本文所采納的觀點(diǎn)是言據(jù)性具有廣義性的意義，不僅能夠體現(xiàn)信息的出處而且還能夠體現(xiàn)對(duì)所訴信息的肯定程度。根據(jù)牛津字典的解釋，“證據(jù)”應(yīng)該包括支持一個(gè)信念或命題等，或是表明一件事情的真?zhèn)巍3]切

OPSIS的語(yǔ)言真值直覺模糊多屬性決策徐瑩瑩1，鄒麗1，黃志鑫2，潘暢1(1.遼寧師范大學(xué) 計(jì)算機(jī)與信息技術(shù)學(xué)院，遼寧 大連 116081； 2. 遼寧師范大學(xué) 數(shù)學(xué)學(xué)院，遼寧 大連 116081)針對(duì)具有模糊語(yǔ)言值信息的多屬性決策問(wèn)題，結(jié)合傳統(tǒng)的TOPSIS方法，提出了基于TOPSIS的語(yǔ)言真值直覺模糊多屬性決策方法。在語(yǔ)言真值直覺模糊代數(shù)的基礎(chǔ)上，用語(yǔ)言真值直覺模糊對(duì)來(lái)表達(dá)既有可比的又有不可比的模糊語(yǔ)言值信息，給出了語(yǔ)言真值直覺模糊對(duì)之間的歸一化距離算

拉格朗日插值法對(duì)真值航跡進(jìn)行插值，獲得足夠多的時(shí)標(biāo)一致的融合航跡與真值航跡對(duì)應(yīng)的航跡點(diǎn)，計(jì)算對(duì)應(yīng)航跡點(diǎn)之間的距離，與給定閾值相比較，判斷其對(duì)應(yīng)關(guān)系，進(jìn)而實(shí)現(xiàn)自動(dòng)化的航跡關(guān)聯(lián)。這一過(guò)程經(jīng)總結(jié)梳理，進(jìn)而提出了航跡關(guān)聯(lián)算法，以實(shí)現(xiàn)航跡關(guān)聯(lián)的自動(dòng)化，提升航跡關(guān)聯(lián)的準(zhǔn)確率和效率。海空目標(biāo)航跡；航跡關(guān)聯(lián)；算法；插值0 引言航跡關(guān)聯(lián)即為判斷來(lái)源不同的兩條航跡是否代表同一目標(biāo)[1-3]，本文所述航跡關(guān)聯(lián)是為進(jìn)行觀察預(yù)警裝備效能評(píng)估而開展的目標(biāo)融合航跡與目標(biāo)真值航跡之間的關(guān)

式技術(shù)的多級(jí)數(shù)據(jù)真值發(fā)現(xiàn)?呂維新殷軍（云南電網(wǎng)有限責(zé)任公司昆明供電局昆明650200）為了進(jìn)一步提升數(shù)據(jù)管理系統(tǒng)的可靠性和準(zhǔn)確性，論文提出了一種基于分布式技術(shù)的多級(jí)數(shù)據(jù)真值挖掘發(fā)現(xiàn)，消除了級(jí)別之間的差異性與獨(dú)立性。該方法將數(shù)據(jù)源的數(shù)據(jù)相值進(jìn)行分級(jí)，利用級(jí)值與真實(shí)值相似度定義準(zhǔn)確率迭代，避免了同一數(shù)據(jù)在不同級(jí)被抽取時(shí)的差異性。通過(guò)在分布式技術(shù)挖掘算法下，分別計(jì)算級(jí)值概率和偏離度來(lái)判斷多級(jí)數(shù)據(jù)真實(shí)值。最后，通過(guò)對(duì)重疊數(shù)據(jù)集的實(shí)驗(yàn)說(shuō)明了論文提出的多級(jí)數(shù)據(jù)真值發(fā)現(xiàn)

)隱喻語(yǔ)句的語(yǔ)用真值條件楊小龍1王天翼2(1. 浙江財(cái)經(jīng)大學(xué) 外國(guó)語(yǔ)學(xué)院，杭州 310018； 2. 四川外國(guó)語(yǔ)大學(xué) 國(guó)際關(guān)系學(xué)院，重慶 400031)隱喻語(yǔ)句的真值條件是構(gòu)成隱喻意義分析的重要內(nèi)容。之前對(duì)隱喻真值條件的刻畫忽視了隱喻語(yǔ)句產(chǎn)生的真實(shí)語(yǔ)境。隱喻離不開語(yǔ)境，沒有語(yǔ)境的充實(shí)和幫助，人類將很難進(jìn)行隱喻交流。本文提出隱喻語(yǔ)句的語(yǔ)用真值條件在于主體間性和意圖性。語(yǔ)用真值條件屬于“個(gè)人層面”(personal level)，用以反映說(shuō)話人的命題態(tài)度。語(yǔ)用

法可將其余條件的真值計(jì)算得到.對(duì)于不存在循環(huán)推理的模糊規(guī)則集，Chen[5]提出一種基于加權(quán)模糊邏輯的不精確推理方法，因?yàn)樵撍惴ㄓ媚：龜?shù)或模糊語(yǔ)言值表示模糊規(guī)則參數(shù)，使得其更加可行和合理.本文首先介紹模糊測(cè)度、Choquet積分、模糊產(chǎn)生式規(guī)則等預(yù)備知識(shí)，然后提出了一種基于Choquet積分的不精確推理方法，并分析了該方法的復(fù)雜度.最后介紹了該方法在不完全知識(shí)推理中的應(yīng)用.1 預(yù)備知識(shí)1.1 模糊測(cè)度和Choquet積分模糊測(cè)度是對(duì)經(jīng)典測(cè)度的推廣，本文只介

00732）作為真值談?wù)摼涞恼f(shuō)謊者胡義昭（中國(guó)社會(huì)科學(xué)院 哲學(xué)研究所，北京 100732）對(duì)于說(shuō)謊者悖論的最初診斷都指向自我指稱。然而，由于其中的自我指稱的出錯(cuò)方式太過(guò)細(xì)微，以至于一直沒有被相關(guān)研究者觀察到，反而轉(zhuǎn)向從其他看起來(lái)更重要的邏輯或者哲學(xué)要素上去尋求消解。從說(shuō)謊者悖論的一個(gè)衍生悖論重新回到自我指稱來(lái)觀察，發(fā)現(xiàn)恰恰是一種注定失敗的語(yǔ)義指稱意圖引發(fā)了說(shuō)謊者悖論。說(shuō)謊者悖論；真值談?wù)摼洌?span id="j5i0abt0b" class="hl">真值謂詞；自我指稱；語(yǔ)義指稱意圖關(guān)于說(shuō)謊者悖論，我們還有什么可以說(shuō)

s：Web信息多真值發(fā)現(xiàn)方法馬如霞1,2孟小峰1王 璐1史英杰31(中國(guó)人民大學(xué)信息學(xué)院 北京 100872)2(首都師范大學(xué)教育技術(shù)系 北京 100048)3(北京服裝學(xué)院信息工程學(xué)院 北京 100029)(maruxia@126.com)Web已成為一個(gè)浩瀚的信息海洋，其信息分散在不同的數(shù)據(jù)源中.不同數(shù)據(jù)源常常為同一對(duì)象實(shí)體提供沖突的屬性值.如何從這些沖突屬性值中找到真值被稱為真值發(fā)現(xiàn)問(wèn)題.根據(jù)屬性值數(shù)量可將對(duì)象屬性分為單值屬性和多值屬性，現(xiàn)有的多數(shù)真

者悖論；固定點(diǎn)；真值間隙；表達(dá)力一、克里普克的目的及所遇到的問(wèn)題首先我們要清楚克里普克的目的是什么?？死锲湛水?dāng)然是要解決悖論，但是解決悖論只是他的真理論的一個(gè)“順便”解決的問(wèn)題。最終他是要給出一個(gè)真理論。那么克里普克的真理論所要實(shí)現(xiàn)的目的是什么呢？或者說(shuō)他要把握什么樣的“真”呢？克里普克自己說(shuō)“我們希望能夠捕獲下面這樣的直觀。假設(shè)我們正在向不理解‘真’這個(gè)詞的人解釋‘真’。我們可能會(huì)說(shuō)在我們能斷定（或否定）一個(gè)句子的情境下我們恰好也有權(quán)斷定（或否定）這個(gè)句

動(dòng)態(tài)飛行試驗(yàn)?zāi)繕?biāo)真值數(shù)學(xué)模型、穩(wěn)定試驗(yàn)搖擺量真值數(shù)學(xué)模型。通過(guò)某典型防空武器系統(tǒng)模擬動(dòng)態(tài)飛行試驗(yàn)驗(yàn)證，證明了模擬動(dòng)態(tài)飛行試驗(yàn)原理和所建立的數(shù)學(xué)模型的正確性。該方法建立了防空武器動(dòng)態(tài)飛行試驗(yàn)系統(tǒng)的理論基礎(chǔ)，模型可用于模擬動(dòng)態(tài)飛行試驗(yàn)數(shù)據(jù)處理和誤差分析。兵器科學(xué)與技術(shù)；防空武器；動(dòng)態(tài)飛行試驗(yàn)；真值0 引言動(dòng)態(tài)飛行試驗(yàn)用于檢驗(yàn)防空武器（高炮、彈炮結(jié)合武器）搜索、跟蹤和火控系統(tǒng)的動(dòng)態(tài)精度，同時(shí)考核高炮武器相關(guān)的戰(zhàn)術(shù)性能和使用性能［1-2］。動(dòng)態(tài)飛行試驗(yàn)是高炮武器研

徐瑩瑩?基于語(yǔ)言真值直覺模糊真度矩陣的多屬性決策方法黃志鑫1，徐瑩瑩2（遼寧師范大學(xué) 1. 數(shù)學(xué)學(xué)院，遼寧 大連 116029；2. 計(jì)算機(jī)與信息技術(shù)學(xué)院，遼寧 大連 116081）針對(duì)含有模糊語(yǔ)言信息的決策問(wèn)題，基于語(yǔ)言真值直覺模糊格蘊(yùn)涵代數(shù)理論，提出了語(yǔ)言真值直覺模糊真度矩陣，給出了將語(yǔ)言真值直覺模糊判斷矩陣轉(zhuǎn)換為語(yǔ)言真值直覺模糊真度矩陣的方法，利用語(yǔ)言O(shè)WA算子對(duì)語(yǔ)言真值直覺模糊真度矩陣進(jìn)行聚合、排序進(jìn)而得出最優(yōu)方案．將該方法應(yīng)用于選擇最佳創(chuàng)業(yè)項(xiàng)目為

過(guò)實(shí)例加以說(shuō)明.真值；原碼；反碼；補(bǔ)碼和移碼；定義和定義域問(wèn)題；精確定義1 引言通常，人們用正負(fù)符號(hào)加上一組數(shù)字的集合來(lái)表征一個(gè)數(shù).在計(jì)算機(jī)中,數(shù)的“+”、“-”符號(hào)常用 0和 1表示；這種符號(hào)數(shù)字化后按一定規(guī)則產(chǎn)生的數(shù)稱為機(jī)器數(shù).機(jī)器數(shù)代表的實(shí)際值稱為真值.把真值轉(zhuǎn)換為機(jī)器數(shù)的方法就是所謂的編碼方法.原碼、反碼、補(bǔ)碼和移碼就是機(jī)器數(shù)的基本編碼形式.對(duì)機(jī)器數(shù)的求取，文獻(xiàn)［1］用列表和舉例的方式給予了說(shuō)明；對(duì)機(jī)器數(shù)編碼的定義，文獻(xiàn)［2—6］進(jìn)行了很好的論述.

是表征賦予被測(cè)量真值的分散性。計(jì)量學(xué)；真值；測(cè)量結(jié)果；測(cè)量不確定度0 引言一個(gè)概念的提出及其理論方法的完善是很慎重的，提出不確定度的概念可追溯至1927年［1］。1963年美國(guó)國(guó)家標(biāo)準(zhǔn)局（NBS）的埃森哈特提出了采用“不確定度”的建議。1980年國(guó)際計(jì)量局會(huì)同多國(guó)國(guó)家級(jí)計(jì)量研究院及5個(gè)國(guó)際組織起草了《實(shí)驗(yàn)不確定度表述》建議書，編號(hào)為INC-1（1980）。1993年7個(gè)國(guó)際組織聯(lián)合出版了GUM，2008年8個(gè)國(guó)際組織又修訂了GUM。我國(guó)對(duì)應(yīng)有JJF 105

理論，主張意義和真值條件緊密相關(guān)，意義組合性為真值條件組合性。這一理論體現(xiàn)了塔斯基理論應(yīng)用到意義的價(jià)值，展現(xiàn)了真值條件如何衍生于句子結(jié)構(gòu)、清晰表達(dá)出意義理論應(yīng)實(shí)現(xiàn)的條件；此外，對(duì)經(jīng)驗(yàn)真理論的分析和闡釋表明人類自身的語(yǔ)義能力可使我們判斷語(yǔ)義理論是否具有給定語(yǔ)句的真值條件。盡管戴維森語(yǔ)義理論具有上述優(yōu)點(diǎn)，對(duì)自然語(yǔ)言語(yǔ)義理解起到巨大貢獻(xiàn)，但是其理論在真值條件充要性、所依據(jù)的理論基礎(chǔ)存在缺陷、詞語(yǔ)語(yǔ)義屬性解釋和對(duì)語(yǔ)句邏輯形式和個(gè)體詞的明確區(qū)分等四個(gè)方面存在進(jìn)一步改

誤差；相對(duì)誤差；真值；引用誤差；準(zhǔn)確度等級(jí)在日常的計(jì)量檢定工作中,常常會(huì)碰到儀表的準(zhǔn)確度等級(jí)，相對(duì)誤差，引用誤差等問(wèn)題，準(zhǔn)確度等級(jí)又是儀表最主要的質(zhì)量指標(biāo)，它們之間存在什么樣的聯(lián)系，本文通過(guò)具體實(shí)例給出分析。1 絕對(duì)誤差絕對(duì)誤差是測(cè)量結(jié)果與被測(cè)量（約定）真值之差。絕對(duì)誤差=測(cè)量結(jié)果-真值絕對(duì)誤差是既指明誤差的大小，又指明其正負(fù)方向，以同一單位量綱反映測(cè)量結(jié)果偏離真值大小的值，它確切地表示了偏離真值的實(shí)際大小。2 相對(duì)誤差相對(duì)誤差指的是測(cè)量所造成的絕對(duì)誤差與

連116081）真值限定的語(yǔ)言真值直覺模糊推理鄒麗1，2，譚雪微1，溫欣1，劉新3（1．遼寧師范大學(xué)計(jì)算機(jī)與信息技術(shù)學(xué)院，遼寧大連116081；2．南京大學(xué)計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室，江蘇南京210093；3．遼寧師范大學(xué)數(shù)學(xué)學(xué)院，遼寧大連116081）為了更貼近人類語(yǔ)言的表達(dá)，減少推理過(guò)程中信息的損失，在直覺模糊邏輯推理的基礎(chǔ)上，結(jié)合語(yǔ)言真值格蘊(yùn)涵代數(shù)，提出了真值限定的語(yǔ)言真值直覺模糊推理方法。研究了語(yǔ)言真值直覺模糊猶豫度、相容度、不相容度及其相關(guān)性

B系統(tǒng)提供的仰角真值與雷達(dá)測(cè)量值時(shí)間對(duì)準(zhǔn)困難，標(biāo)定精度差。另外，這些方法普遍依賴GPS獲取真值，戰(zhàn)時(shí)無(wú)法保證工作可靠性?，F(xiàn)有三坐標(biāo)雷達(dá)標(biāo)定系統(tǒng)的標(biāo)定源和真值獲取設(shè)備存在的上述問(wèn)題影響了它們的推廣和應(yīng)用，無(wú)法滿足日益增長(zhǎng)的雷達(dá)裝備保障需求。因此，本文通過(guò)優(yōu)化標(biāo)定源設(shè)計(jì)，重新選擇真值獲取設(shè)備，提出了一種利用旋翼無(wú)人機(jī)標(biāo)定三坐標(biāo)雷達(dá)精度的新方法。2 總體方案2.1 系統(tǒng)設(shè)計(jì)標(biāo)定系統(tǒng)主要由標(biāo)定源、真值獲取系統(tǒng)、雷達(dá)數(shù)據(jù)錄取及解算設(shè)備三部分組成。下面分別對(duì)這三部分進(jìn)

對(duì)軸承振動(dòng)參數(shù)的真值進(jìn)行評(píng)估。由于軸承振動(dòng)特性具有乏信息特征，使得軸承振動(dòng)特性的真值估計(jì)成為難題。目前，學(xué)者們已經(jīng)研究了許多真值評(píng)估方法，如最大似然法［3-4］、最大后驗(yàn)估計(jì)［5-7］、加權(quán)平均法［8］和最小二乘逼近等［9］，但這些通常都是基于大樣本條件下進(jìn)行的。為此，提出基于小樣本的真值融合方法，該方法是對(duì)滾動(dòng)平均法、隸屬函數(shù)法、最大隸屬度法、滾動(dòng)自助法和算術(shù)平均法的多次融合。在此基礎(chǔ)上，提出了乏信息條件下基于多個(gè)估計(jì)真值的融合方法的點(diǎn)估計(jì)，通過(guò)對(duì)圓錐滾

數(shù)字；第三，它們真值的范圍不一樣，1.250的真值在1.2495～1.2504之間，1.25的真值在1.245～1.254之間。在運(yùn)算法則中，我的作用也很特別。加法法則：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。怎么樣，我的作用是不是不容忽視？（指導(dǎo)教師 周小紅）

)模糊數(shù)學(xué)與中介真值理論相結(jié)合的評(píng)價(jià)方法*潘 茜，張育平，陳海燕(南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院，江蘇 南京 210016)針對(duì)模糊非確定現(xiàn)象的評(píng)價(jià)問(wèn)題，提出了模糊數(shù)學(xué)與中介真值理論相結(jié)合的評(píng)價(jià)方法。模糊數(shù)學(xué)評(píng)價(jià)法和中介真值理論的方法都是從量的角度研究和處理模糊現(xiàn)象。但是，模糊數(shù)學(xué)評(píng)價(jià)法注重應(yīng)用而缺乏系統(tǒng)理論的支持，其模糊合成算子在多因素情況下很難確定，且度量值域局限于[0,1]；中介真值理論的評(píng)價(jià)方法在處理因素較多且權(quán)重難以細(xì)分的情況時(shí)，也具有一定

壓表、電流表內(nèi)組真值）的前提下，即可采用“臨界值”法，遵循“內(nèi)大外小，大內(nèi)小外”的口訣做出合理的選擇；在不具備此條件時(shí)，可以選用“試觸法”粗略地做出選擇.用“試觸法”選擇電流表內(nèi)、外接法，高中階段慣用的兩種手段如下：（1）觀察“指針偏角”粗略定出電壓表、電流表“示數(shù)變化幅度”：用肉眼去觀察電壓表和電流表指針在試觸瞬間的偏轉(zhuǎn)角度變化；應(yīng)將變化幅度較大的電表與待測(cè)電阻直接連接，這樣誤差相對(duì)較小.（2）計(jì)算“相對(duì)誤差”（教輔資料上稱之為“相對(duì)變化量”）細(xì)致定出電

實(shí)現(xiàn)，融合航跡與真值航跡相關(guān)技術(shù)作為融合效能評(píng)估的基礎(chǔ)算法更是少被提及。根據(jù)目前掌握的融合航跡與真值航跡相關(guān)算法存在效率低下，對(duì)特殊態(tài)勢(shì)匹配成功率不高等缺點(diǎn)，本文根據(jù)融合航跡數(shù)據(jù)和真值航跡數(shù)據(jù)特點(diǎn)，提出一種基于傳感器探測(cè)精度的正確融合航跡判斷技術(shù)，通過(guò)建立全新數(shù)據(jù)模型，優(yōu)化算法結(jié)構(gòu)，以提高數(shù)據(jù)處理能力及正確性。1 技術(shù)方案1.1 技術(shù)原理對(duì)融合航跡和真值航跡進(jìn)行相關(guān)時(shí)，需首先設(shè)置時(shí)間和空間相關(guān)匹配參數(shù)作為相關(guān)閾值進(jìn)行時(shí)空配準(zhǔn)后，才能進(jìn)行其他相關(guān)處理。基于傳

是通過(guò)校準(zhǔn)雷達(dá)和真值設(shè)備的系統(tǒng)時(shí)間，然后根據(jù)數(shù)據(jù)時(shí)戳匹配雷達(dá)測(cè)量數(shù)據(jù)和真值數(shù)據(jù)，并對(duì)真值數(shù)據(jù)進(jìn)行坐標(biāo)轉(zhuǎn)換，再通過(guò)匹配后數(shù)據(jù)得到測(cè)量值與真值的誤差并計(jì)算出系統(tǒng)誤差，根據(jù)系統(tǒng)誤差進(jìn)行誤差修正［1-2］。這種方法簡(jiǎn)單方便，易于實(shí)現(xiàn)，但前提是必須保證系統(tǒng)的數(shù)據(jù)時(shí)戳精度在可容忍范圍內(nèi)。對(duì)于處于相鄰位置的兩個(gè)系統(tǒng)來(lái)說(shuō)，只需要建立數(shù)據(jù)通信，進(jìn)行時(shí)間對(duì)時(shí)就可以完成時(shí)間同步，使兩個(gè)系統(tǒng)的時(shí)間誤差在可容忍的范圍內(nèi);但對(duì)于架設(shè)在不同區(qū)域的設(shè)備來(lái)說(shuō)，上述方法不易實(shí)現(xiàn)。同時(shí)，即使實(shí)

原理:對(duì)于任意二真值的邏輯變量p和由任意一元算符H與p所形成的二真值變量Hp，無(wú)論Hp是否為p的真值函數(shù)，它總會(huì)等值于p和獨(dú)立于p的另一二真值變量q所形成的一個(gè)真值函數(shù)。由于有且僅有16個(gè)二真值二元函數(shù)式和有且僅有16個(gè)相應(yīng)的基本二真值二元函數(shù)，所以有且僅有16個(gè)一元算符和有且僅有16個(gè)相應(yīng)的基本二真值一元非函數(shù)。其他的二真值一元非函數(shù)由且僅由這16個(gè)一元算符疊置所形成。那么可進(jìn)一步認(rèn)為現(xiàn)代模態(tài)邏輯公理其實(shí)是按一階邏輯對(duì)經(jīng)典二真值函數(shù)做分類研究。模態(tài)命題邏

公理和規(guī)則對(duì)經(jīng)典真值函數(shù)做分類研究。模態(tài)命題邏輯中任一個(gè)可能世界集W僅表示與某一公理模式相應(yīng)的一組二真值函數(shù)，相應(yīng)的可能世界間的關(guān)系R就是這組真值函數(shù)共有的一種集合性質(zhì)。任一公理模式在一框架內(nèi)有效，就是將屬于W的每個(gè)真值函數(shù)式按K-2分別依次代入該公理模式中的每一個(gè)“□”，使得形成一組經(jīng)典定理。二分性；非真值函數(shù)；經(jīng)典二變?cè)?span id="j5i0abt0b" class="hl">真值函數(shù)；模態(tài)公理模式；K-1；K-2邏輯的本性(the nature of logic)是二分性，并通過(guò)不斷的形式化二分將繁雜的經(jīng)驗(yàn)

應(yīng)的差分的解的圖真值圖，兩者的比較圖，兩者之間的誤差圖圖2 t=4～6時(shí)(從行看)相應(yīng)的差分的解的圖真值圖，兩者的比較圖，兩者之間的誤差圖圖3 t=7～9時(shí)(從行看)相應(yīng)的差分的解的圖真值圖，兩者的比較圖，兩者之間的誤差圖1.3 誤差分析圖1～3分別為t=1～9(從行看)時(shí)，相應(yīng)的差分的解的圖，真值圖，兩者的比較圖，兩者之間的誤差圖.可以發(fā)現(xiàn)，當(dāng)t=1～3時(shí)，吻合程度較好;隨著時(shí)間的推移，吻合程度越來(lái)越差，變化程度越來(lái)越劇烈.2 三維Navier－Stok

真法和寫假法是在真值表方法的基礎(chǔ)上構(gòu)造而成的一種確定真值表所對(duì)應(yīng)的真值形式的方法。借助真值表方法對(duì)寫真法和寫假法的構(gòu)造過(guò)程的合理性、有效性及特點(diǎn)予以探析，進(jìn)而把寫真法、寫假法整合為一種新的方法——寫真寫假法。寫真法;寫假法;等值在現(xiàn)代邏輯中，真值表方法是判定真值形式的真值類型的一種最基本的方法，它是用真值表作為命題邏輯中確定真值形式的真值情況的一種有效的判定方法。依據(jù)這種方法，對(duì)于任一真值形式，可以根據(jù)若干特定步驟寫出它的真值表，從而判定這一真值形式的類型

源是明確的。由于真值不能確定,不確定度就定義為對(duì)誤差的估計(jì),但什么叫誤差的估計(jì)也是不明確的。關(guān)于不確定度的理論、方法,雖已提出不少,但能夠具體應(yīng)用的不多。這就給飛行器CFD的實(shí)驗(yàn)和確認(rèn)造成了困難。飛行器的CFD驗(yàn)證、確認(rèn),一般是這樣進(jìn)行的:選定飛行器外形(根據(jù)需要確定一個(gè)或多個(gè)),指定來(lái)流條件和要驗(yàn)證的量,分別委托各實(shí)驗(yàn)部門和CFD部門,各進(jìn)行實(shí)驗(yàn)和計(jì)算。一般各實(shí)驗(yàn)部門的實(shí)驗(yàn)數(shù)據(jù)各不相同,各計(jì)算部門提供的計(jì)算數(shù)據(jù)也不一致。實(shí)驗(yàn)部門必須給出實(shí)驗(yàn)結(jié)果的真值和不

測(cè)量結(jié)果與被測(cè)量真值之差.通常可分為兩類:系統(tǒng)誤差和偶然誤差.測(cè)量誤差是客觀存在的,但由于在絕大多數(shù)情況下,真值是不知道的,所以“真誤差”也無(wú)法準(zhǔn)確知道.我們只能在特定的條件下尋求最佳的真值近似值,并稱之為“約定真值”.1.2 測(cè)量不確定度為了估計(jì)測(cè)量結(jié)果的可靠程度,我們可以把實(shí)驗(yàn)結(jié)果寫出如下形式:其中Y代表待測(cè)物理量,N為該物理量的測(cè)量值(既可以是單次的直接測(cè)量值,也可以是相同實(shí)驗(yàn)條件下直接測(cè)量的算術(shù)平均值,還可以是經(jīng)過(guò)公式計(jì)算得到的間接測(cè)量值),而其中

環(huán)境條件下的航向真值進(jìn)行測(cè)量。目前,用于艦船航向真值測(cè)量的方法有GPS測(cè)量法和手動(dòng)光學(xué)測(cè)量法。GPS測(cè)量法的原理是,在載體的艏艉線兩端和橫搖方向上,分別安裝精密GPS測(cè)量系統(tǒng)。這種方法能夠在動(dòng)態(tài)條件下進(jìn)行連續(xù)測(cè)量,從而得到完整的航向曲線。但該方法存在下面三個(gè)問(wèn)題:1)由于GPS本身存在較大的高程誤差,因此在解算過(guò)程中進(jìn)行坐標(biāo)變換時(shí)會(huì)引入誤差;2)GPS測(cè)量法的精度不僅取決于GPS系統(tǒng)定位精度,更取決于兩天線之間的連線長(zhǎng)度,由于載體的長(zhǎng)度有限,因此連線長(zhǎng)度受

學(xué)的理論基礎(chǔ)——真值概念和日常語(yǔ)言分析的普適性結(jié)論，反思和批判分析性語(yǔ)言哲學(xué)。在此基礎(chǔ)上，得出結(jié)論：（1）語(yǔ)言研究不應(yīng)該僅僅死盯外在物理世界；（2）語(yǔ)言具有人類中心性，因此應(yīng)該關(guān)注語(yǔ)言中以人為中心的主觀意義；（3）各種具體語(yǔ)境的集合是人的生活世界，因此生活世界理論值得語(yǔ)言哲學(xué)和語(yǔ)言學(xué)工作者關(guān)注和借鑒。關(guān)鍵詞：分析哲學(xué)；分析性語(yǔ)言哲學(xué)；真值；真實(shí)中圖分類號(hào)：B089 文獻(xiàn)標(biāo)識(shí)碼：A 文章編號(hào)：1000-0100(2009)03-0031-4Analytica