2> 非形式化能力问题的形式化（Formulation of informal competency questions） 3> 采用一种形式化语言编写该本体术语的规格说明书（Specification of the terminology of the ontology within a formal l...
基于12个网页-相关网页
本文介绍高层次综合中调度问题的形式化描述。
This paper presents a formalized description of scheduling in the high-level synthesis.
研究成果实现了问题的形式化描述，并给出了一种有效的问题求解算法。
The studying results realize formalizing description of the problem, and give a valid solving algorithm for it.
给出了此问题的形式化描述，并将问题归约为一种关于多边形运动规划的等价形式。
Firstly a formal description of the problem is proposed, and then the problem is transformed into one kind of equivalent form about polygon motion planning.
应用推荐