symbolic algorithms 中文意思是什麼
-
In this paper, it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency. such atomic formulas are called as irrelevant atomic formulas. a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
一個時間自動機是一個五元組n ， l 0 ， c ， e ， i ，其中n為一個有窮的位置集合， l 0n是初始狀態， c是一個取實數值的時鐘變量的有窮集合， e ng c 2 cn是轉換的集合。 -
The distribution contains a small library of mathematical functions, but its real strength is in the language in which you can easily write your own symbolic manipulation algorithms
包括一個小型數學功能庫，它真正的作用是你可以輕松的寫你的符號表達式。 -
The workshop on tools and algorithms for the construction and analysis of systems tacas 99, lncs, springer - verlag, 1999, 1579 : 193 - 207. 4 burch j r, clarke e m, mcmillan k l. symbolic model checking : 10 20 states and beyond. information and computation, rm 1992, 98 : 142 - 170
在這本文中，我們通過對kripke結構的合理擴充，提供了直接模型檢測dmc direct model checking的矩陣演算法，通過與體系結構描述語言adls的結合， dmc可以被直接應用在相容性consistency等關鍵性質的計算方面。 -
Most of the timed automata reachability analysis algorithms in the literature explore the state spaces by enumeration of symbolic states, which use time constraints to represent a set of concrete states
但是，隨著系統規模的擴展，狀態空間的大小呈現爆炸性的增長，往往超出了當前計算機的能力極限。這被稱為「狀態空間爆炸問題」 。 -
Researchers at orcca study algorithms and software systems for symbolic mathematical computation. at any given time a number of visitors and postdocs are hosted
-由李維斌老師帶領，成員有博士班碩士班及在職專班數十人。 -
At present, the main methods for solving this kind of problems are as follows : ( a ) mathematical optimization model and solving it by computer algorithms + symbolic model and solving it by artificial intelligence
目前解決這個問題主要有兩條途徑： a數學優化模型及其演算法求解+符號模型及其人工智慧求解； b數學優化模型及其演算法求解+人機交互或人機結合。
分享友人