謂詞符號 的英文怎麼說
中文拼音 [wèicífúháo]
謂詞符號
英文
predicate symbol- 謂 : Ⅰ動詞1. （說） say 2. （稱呼; 叫做） call; name Ⅱ名詞1. （意義） meaning; sense 2. （姓氏） a surname
- 詞 : 名詞1 （說話或詩歌、文章、戲劇中的語句） speech; statement; lines of play 2 （一種韻文形式 起於唐...
- 符 : Ⅰ名詞1 （符節） tally （with two halves made of wood bamboo jade metal issued by a ruler to gener...
- 號 : 號Ⅰ名1 （名稱） name 2 （別號; 字） assumed name; alternative name3 （商店） business house 4 （...
- 符號 : 1 （記號; 標記） character; sign; symbol; mark; code; notation; expression; denotation; sentinel ...
-
A possible solution to this problem is : adopting symbolic transition graph with assignment ( stga for short ) to model value - passing systems, introducing a predicate mu - calculus to characterize desired properties, and verifying value - passing concurrent processes using an " on - the - fly " algorithm
解決這個問題的一個方案是：使用帶賦值符號遷移圖（ stga ）作為並發傳值進程的模型，使用謂詞演算作為刻畫性質的邏輯，並採用動態實例化的演算法對傳值並發進程直接進行模型檢測。
分享友人