真值表 的英文怎麼說
中文拼音 [zhēnzhíbiǎo]
真值表
英文
true table-
Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable
給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。The normal form theories can keep the intuition relationship between the complete normal form and the truth table, which only keeps in classical 2 - valued logic system. the tableau system can act as the automated reasoning system in incomplete information environments
該範式理論能夠在三值環境下依舊保留等值完全範式與真值表? ?對應的直觀關系，同時，建立的表推演系統可作為不完全信息的自動推演系統。Based on historic radiosonde data of changchun city, jilin province and xian city. shanxi province and on the typical model of profiles of cloud liquid water content for stratiformis, the coefficients of retrieval equation are obtained as the functions of height for each month from april to july in the two cities. furthermore, we explore the internal physics signification of retrieval coefficients ' distributing according to every month and have comparisons between the two cities. then the numerical simulation tests of the accuracy of retrieval results are given : the statistical relative deviation of retrieved values of l to the simulated " trues " on the ground is 15 - 25 % and that at altitude of 6km is 5 - 10 %, that means the retrieval method and implementation of the method are applicable to processing measurements of an airborne radiometer made in china recently
本文介紹機載對空微波輻射計探測雲中路徑積分液態水含量（ l ）的輻射傳輸原理和反演方法；根據吉林省長春市和陜西省西安市的歷史探空資料和典型的層狀雲液水垂直分佈模式，得到這兩個地區4 - 7月各月的隨高度而變的反演公式及其系數的表達式；探索了和反演系數有關系的大氣的影響，並在各個月份之間進行了比較分析；給出了反演誤差的數值模擬檢驗結果：在地面反演值對『真值』的統計相對偏差是15 - 25 ，在6公里高度處為5 - 10 ，表明該方法已具有實用可接受的精度。An in - circuit tester tests a digital ic using the ic ' s truth table
在線測試設備採用真值表來測試數字集成電路。Table 3-25 is a truth table of the 8251 bus control signals.
表3-25是8251總線控制信號的真值表。On truth table ' s judging function in compound assigning a topic
淺析真值表在復合命題中的判定作用The application of implication proposition real value sheet and its defect
蘊涵命題真值表的應用及缺陷Truth table tabulation
真值表表列法Algorithm for making minimum truth - table based on modified condition decision coverage and its application
判定覆蓋最小真值表生成演算法及其應用Boolean operator that gives a truth table value of true if only one of the two variables it connects is true
一種布爾運算符，當與其相關聯的兩個變量中僅有一個為真時，其真值表才取值為真。A boolean operator that gives a truth table value of true if only one of the two variables it connects is true
一種布爾運算符，當與其相關聯的兩個變量中僅有一個為真時，其真值表才取值為真。First, lets convert both numbers to binary, then apply bitwise and and or for each bit using our truth tables, and, finally, convert the binary result back to an integer number
首先，要將這兩個數字轉換成二進制數字，然後通過真值表對每一個位進行and和or運算，最後將二進制結果還原成整型數字。Secondly, precipitation from the radar estimating precipitation model ( rep ) are verified using a rain - gage network of 127 stations in order to show the effects of five methods : zi, optimal interpolation joint of optimal interpolation and kalman filter, kalman filter, and average method. the results show that the method of optimal interpolation and the method of joint have the lowest rms errors and the method of zi has the highest rms errors
結果表明：將地面雨量計值作為真值，則聯合校準法和最優插值校準法得出的降水量計算精度最高，卡爾曼濾波校準法和平均校準法的計算精度低於聯合校準法和最優插值校準法， zi關系法的精度最低。Standard test method for microvacuum sampling and indirect analysis of dust by transmission electron microscopy for asbestos structure number surface loading
用石棉結構值表面負荷用透射電子顯微鏡對塵埃微真空取樣和間接分析的標準試驗方法According to the aristotle ' s viewpoint, the language feeling of argument was the appropriate reaction of the interlocutor to how the propositional truth condition was express by the language
摘要在亞里士多德的視野中，論證語感是交往會談者對語言如何表達命題及其真值條件的適當反應。The processors overlapping along the boundaries of different fault regions is allowed. the proposed algorithm, which routes the messages by x - y routing algorithm in fault - free region, can tolerate convex fault - connected regions with only two virtual channels per physical channel, and is deadlock - and livelock - free. the proposed algorithm can be easily extended to adaptive routing
本文的主要貢獻是提出了一套基於真值表的形式化的故障區域邊界的配置方法，每一個節點只需要知道它的八鄰接節點是正常節點或故障節點就可以配置故障區域的邊界，路由信息能應用該邊界繞道故障區域。From the analysis in theory, in the background of uncorrelated noise, the algorithms of lmstde, etde and etdge have good property in estimating delay. in the background of correlated noise, the lmstde is failed, but the etde and etdge can still estimate delay in sometime. their effect of estimation is strongly affected by the real time delay
理論分析表明，在非相關背景噪聲下lmstde演算法、 etde演算法和etdge演算法均有著良好的估計性能；在相關背景噪聲下，傳統的lmstde演算法無能為力，而etde演算法和etdge演算法依然具有時延估計的能力，但是它們的估計效果要受到時延真值的影響。But as we hope we ve shown in the table, that really represents an array with a single element whose value is null, not a null array. of course
但是，正如我們希望的，在表中已經顯示，它真正表示的是含有單一元素的數組，元素的值為「零」 （ null ） ，而不是一個「零」 （ null ）數組。2002, 149 : 119 - 128. 9 sasao t. switching theory for logic synthesis. kluwer academic publishers, london, 1999
通過對給定的fprm真值矢量進行收縮，獲得收縮后的真值矢量，然後把該矢量映射成邏輯表示式。1996, 143 : 205 - 212. 5 purwar s. an efficient method of computing generalized reed - muller expansions from binary decision diagram. in ieee trans
本文提出了將邏輯函數表示成真值矢量，用提出的積收縮，通用和收縮，消去和分解算符來收縮真值矢量的演算法。分享友人