answer-only set 中文意思是什麼

answer-only set 解釋
只答裝置
  • answer : n 1 回答，答復。2 解答，答案。3 答辯，抗辯。4 報復。vt 1 答，回答，答復；答應。2 解答，答辯。3 報...
  • only : adj. 1. 唯一的。2. 無比的，獨一無二的；最適當的。adv. 1. 僅僅；只，單，才；不過。2. 結果卻；不料。1. 但是，可是。2. 〈與 that 同用〉除了…；要不是…。
  • set : SET ＝safe electronic transaction 安全電子交易〈指用信用卡通過因特網支付款項的商業交易〉。n 【埃...
  1. The only answer set is on dean ' s server in the prague office,

    答案只有一份在布拉格迪安的辦公室的服務器里
  2. But, here and certainly remember, calculator can t do - it - yourself design of, contain design oneself can design the stereo set system. ever there is a gambler to face a calculator to weave the to ask, if may weave to outs the procedure of a calculator, and can forecast who will in the horse game inside the outs, this plait the answer say : the is certainly, the matter that this right and wrong is often easy, only suppose a horse is the spheroid s

    但是，在這里一定要記住，計算機是不會自己做設計的，只有設計者本人才能設計音響系統。曾經有一個賭徒向一個計算機編程員請教，是否有可能編出一個計算機的程序，可以預報誰將在騫馬比賽中騰出，這個編程員回答說： 「當然可以，這是非常容易的事，只要假定一匹馬是球形的」
  3. A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率
分享友人
分享到 Line

分享到臉書