symbolic tools 中文意思是什麼
-
We classify the robot tasks by analyzing the symbolic spatial relations between the objects to be assembled, the depart - spaces and the necessary tools. we predefine a skill primitives
機器人基本操作單元的引入可以將復雜任務分解成簡單的子任務,增強程序的再利用性和柔性增強。 -
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等關鍵性質的計算方面。 -
Define symbolic information for defined modules that can be used by tools such as debuggers and code profilers
為定義的模塊定義可由調試器和代碼分析器這樣的工具使用的符號信息。
分享友人