真值表計算機 的英文怎麼說

中文拼音 [zhēnzhíbiǎosuàn]
真值表計算機 英文
truth table computer
  • : Ⅰ形容詞(真實) true; genuine; real Ⅱ副詞1 (的確; 實在) really; truly; indeed 2 (清楚確實) cl...
  • : Ⅰ名詞1 (外面;外表) outside; surface; external 2 (中表親戚) the relationship between the child...
  • : Ⅰ動詞1 (計算) count; compute; calculate; number 2 (設想; 打算) plan; plot Ⅱ名詞1 (測量或計算...
  • : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
  • : machineengine
  • 計算機 : computer; calculator; calculating machine; computing machinery; electronic wizard; processor; pro...
  • 計算 : 1 (求得未知數) count; compute; calculate; reckon; enumerate 2 (考慮; 籌劃) consideration; pla...
  1. 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

    給出了命題邏輯中任一命題公式的的生成演法與命題公式類型的判定演法,實現了利用對有限多個命題公式的的直接和輸出,以及對一個命題公式是重言式、矛盾式或可滿足式的械判定。
  2. The advent of the internet and the wide availability ofcomputers, scanners and printers make digital data acquisition, exchange and transmission a simple task. however, making digital data accessible to others through networks also creates opportunities for malicious parties to make salable copies of copyrighted content without permission of the content owner. digital watermarking is likely to be a potential solution to this problem. digital watermarking has been proposed as a solution to the problem of copyright protection of multimedia documents in networked environments. it makes possible to embed a watermark ( such as identification data, serials number, text or image etc. ) to multimedia documents allowing copyright protection, secret communication, document authentication and so on. in this paper, we present a new digital image watermarking method based on svd ( singular value decomposition ), and then give some theoretical analysis about the algorithm. extensive experimental results show that this method is much more robust than other methods presented before

    隨著和網路技術的飛速發展,數字圖像、音頻和視頻產品愈來愈需要一種有效的版權保護方法,另外通信系統在網路環境下的信息安全問題也日益顯露出來.數字圖像水印技術為上述問題提供了一個潛在的解決方案.所謂水印技術就是將數字、序列號、文字、圖像標志等版權信息嵌入到多媒體數據中,以起到版權保護、秘密通信、數據文件的偽鑒別和產品標志等作用.本文提出了一種新的基於奇異分解的數字水印演法並且對該方法的理論基礎給出分析.實驗結果明這種方法要比目前提出的流行演法魯棒
  3. The result of long - term operation shows that the computer control system is practical and effective, it can run in the optimal state within a long duration to fully realize data collection and process, remote data transmission and vfvs constant injection control of pumps. it speeds up the automatic procedures of the seawater treatment process, really realizes the unmanned working, decreases the physical intensity to a large extent, improves the management, enhances the management level, avoids equipment wear down as much as possible, makes the seawater treatment efficient and lessens the cost of production

    長期的運行結果明,該控制系統的實施切實有效,既成功實現了對被檢測參數的數據採集與處理、遠傳以及注水泵組的變頻調速恆壓注水控制,又提高了系統的自動化程序,正實現了無人班作業,在很大程度上降低了工作人員的勞動強度,極大的改善了現場的管理狀況,提高了生產管理水平,且有效避免了設備損耗,提高了水處理效率,降低了生產成本。
  4. The real value of the definitions comes in the form of concrete models that represent common computer systems such as desktops, servers and printers as well as network devices, including routers and switches

    這些定義的實價是在於以具體模型的形式,來示公共的系統,如臺式、服務器和印以及網路設備,包括路由器和交換器。
分享友人