We seek such a framework below by a judicious amalgamation of symbolic algebra (using decision procedures of semi-algebraic geometry), suf?ciently constrained dense-time logic and algebraic models based hybrid automata.的翻译：我们寻求下面这种框架的明智（使用半代数几何的决定程序）的符号代数的融合、 suf?ciently 约束浓时逻辑和代数模型基于混合机。什么意思？中文翻译英文，英文翻译中文，怎么说？

青云英语翻译

选择语言：从到

我们寻求这样一个符号代数的一个明智的合并框架如下（使用半代数几何的决策程序），足以制约密集的逻辑和代数模型基于混合自动机。

我们寻求下面这种框架的明智（使用半代数几何的决定程序）的符号代数的融合、 suf?ciently 约束浓时逻辑和代数模型基于混合机。

我们由符号代数(使用决定规程半代数几何)， suf?ciently拘束的密集时间逻辑和代数模型基于杂种自动机的明智的合并寻找这样一个框架如下。

我们寻求这种框架下面的象征性的合并明智代数(使用决定程序的半代数几何形状)、限制准許密集时间逻辑和代数模式混合自动机为基础。

我们寻求下面这种框架的明智（使用半代数几何的决定程序）的符号代数的融合、 suf?ciently 约束浓时逻辑和代数模型基于混合机。