代數線路(algebraic circuit)是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名:代數線路
- 外文名:algebraic circuit
- 所屬學科:計算機科學技術
- 公布時間:2018年
代數線路(algebraic circuit)是2018年公布的計算機科學技術名詞。
代數線路(algebraic circuit)是2018年公布的計算機科學技術名詞。定義域上的一個代數線路是一個有向無圈圖,輸入節點標記為,取值於某數域,有兩個特殊節點:1或0(域元素)。每一個內部節點稱為一個門,標記為...
多項式恆等檢測 多項式恆等檢測(polynomial identity testing)是2018年公布的計算機科學技術名詞。定義 以隱含的形式給定整係數多項式 P ,如代數線路的形式。對於輸入 x ,可以快速求出 P ( x )的值。多項式恆等檢測指檢測是否 P ( x )≡0的局部算法。出處 《計算機科學技術名詞 》第三版。
邏輯代數是研究邏輯變數及其相互關係的一門科學,由於它是英國數學家喬治·布爾(Geoge Boolen)於 1849 年提出來的,因此也稱為布爾代數。邏輯代數是分析和設計數字電路的基礎。電子計算機是對 “0” 或 “1” 進行處理的,它們是通過電子開關線路實現的。這些開關電路具有下列特點:從線路內部看,或是管子導通,或...
代數複雜性 相似性原理所涉及的模型主要研究計算中按位運算的總量時間,按位計的中間結果存儲量空間和計算的深度(並行時間)等等,所以可稱為按位的複雜性。代數的複雜性理論則研究在一個代數系統中(例如實數域中)從給定變數出發去計算某些函式所需要的代數運算(例如加法、乘法)代數判斷(例如大於或等於)的次數...
在計算機科學中,進程演算(或進程代數)是用於正規建模並發系統的多種相關方法。進程演算提供了具體描述多個獨立代理人程式或者是多個進程之間互動、通信、 同步的方法。其中包含了對進程操作和分析的描述、以及證明形式化推導進程之間存在等價關係(例如:雙向模擬的運用)的代數法則。關於進程演算的典例主要包括 CSP, ...
電路定理,物理術語,指的是產生的電流或電壓的代數和。術語簡介 電路定理---綜述 從電阻電路的分析中,我們可以循到線性電阻電路分析的一些規律,可以將其當做一般性定理來使用。利用電路定理將複雜電路化簡或將電路的局部用簡單電路等效替代,以使電路的計算得到簡化。電路定理分別包括:①、疊加定理;②、替代定理;...
代數 平方差公式:完全平方公式:或者 (每項係數根據楊輝三角決定)完全立方公式:(a+b)³=a³+3a²b+3ab²+b³;(每項係數根據楊輝三角決定)幾何 面積計算 圓周長: 2πr(πd) 面積:勾股定律:兩直角邊的平方和等於斜邊的平方 (首項加末項)乘項數除以2 m,n的最低公倍數為t,,最大...