本文介绍高层次综合中调度问题的形式化描述。
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.
该模型采用面向对象和形式化相结合的方法，解决了现有信息融合模型缺乏可重用性、可靠性等问题。
The model is developed combing formal method with object-oriented method. It solves the problems of existing fusion models, which are short of reusability and dependability.
一旦识别问题通过一组用适宜的表示方法表示的用例对象集来形式化后，于是可能就要考虑在这个用例集上的推广问题，最后才产生一个识别系统。
Once a recognition problem has been formulated by a set of example objects in a convenient representation, the generalization over this set may be considered, finally leading to a recognition system.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。
In this paper we try to explore the problems of the nonmonotonic reasoning and formalization used by the expert systems.
量子描述建立在量的基础之上，这种形式化描述本身会遇到难以处理的问题。
Quantum description, which is based on superstring description, is doomed to have some hard-dealt problems, as a formal description.
针对目前自然语言形式化研究中存在的问题，就歧义性、形式化与系统模型等几个基本问题做了进一步的分析与讨论。
Seeing that problem is present in natural language formalization research, this paper tries to make analysis and discuss for few basic problem on ambiguity and formalization and system model.
目前，形式化方法在检测特征交互问题方面仍然是最有效的方法之一。
So far, formal method is still one of the most effective methods to detect feature interaction problems.
UML模型一致性自动检测的主要任务是解决形式化问题。
The chief task of consistent automatic checking UML model is to solve the formalization problem.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
针对知识发现在实际应用中的问题，提出了一种以领域知识为中心的知识发现过程模型，并将其形式化，描述了其动态语义。
Considering the problems in actual application, this paper proposed a kind of domain knowledge centered know-ledge discovery process model, then formalized it and described its dynamic semantics.
使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。
A formal method of specifying and analyzing real-time systems was presented based on automatic machine theory.
本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
解决了与可再生能源发电有关的知识的形式化表达问题。
The problem of knowledge formal expression of the renewable energy power was resolved.
基于目前XML类型处理问题的研究现状，对XML数据库类型系统的形式化建模、类型验证和类型检验等问题进行了研究探讨。
According to the current research status of XML type processing problems, we will investigate the type validation and type checking problems for the type systems of the XML Database deeply.
本文利用可拓方法，建立了关键问题和关键策略的形式化概念，分析了关键策略的性质，提出了关键策略的生成步骤。
Based on extension methods, this paper presents the formal conceptions of key problems and key strategy, studies the properties of key strategy, and proposes the basic steps to make key strategy.
结果表明，所提出的模型既能正确、直观地表达工程计划问题，又能形式化描述、计算工程计划关键路径问题。
The conclusion is drawn that FTPN can not only be used to express the project planning properly and clearly, but also give a formal representation and computation easily.
可拓学是用形式化的模型研究事物拓展的可能性和开拓创新的规律与方法，并用于解决矛盾问题的新学科。
Extenics is a new subject which solves contradictory problems. It studies the extensive possibility of things and the rules and methods of exploitation and innovation with formalized model.
本文从现实世界中抽象出三类极大问题，给出了形式化的数学描述，并详细讨论了各自的算法和复杂度。
This paper abstracts three practical maximum problems from the real world and gives their formal mathematical descriptions. Their algorithms and complexity are fully discussed.
对空间方向关系的分类等基本问题的研究可望逐步解决其形式化描述模型的建立问题。
The study of the classification about spatial direction relationships may progressively solve the problem of establishing the formal direction relation model.
我们使用约束规划的方法来形式化描述和解决这个优化问题。
We resort to a constraint programming approach to formulate and solve the optimization problem.
将有序规则的挖掘问题加以形式化，挖掘有序规则即要找到各个属性产生的排序与对象整体排序之间的关系。
The problem of mining ordering rules as finding association between orderings of attribute values and the overall ordering of objects is formulated.
通过对任务分配问题分析，建立了一套基于市场机制的多机器人任务分配问题形式化描述方法，讨论了多机器人任务分配的分类及评价指标。
This paper gives a market based formal description on the multi-robot task allocation problem, and discusses the task allocation taxonomy and performance indexes.
文本的形式化表示一直是文本检索、自动文摘和搜索引擎等信息检索领域关注的基础性问题。
Text Representation has been the fundamental problem in Information Retrieval, such as text retrieval, automatic summary and search engine.
形式的问题当然是设计行业的核心，但似乎存在着一系列其他有用的、非形式化的参考因素可以评价现代主义园林。
Questions of form are of course central in a profession concerned with design, but there seem to be a number of other useful, non-formal references for the evaluation of a modernist garden.
针对还没有工作流模型的执行过程的形式化描述的问题，给出工作流机处理步骤的操作语义描述。
At present, there is no formalized description of the executing procedure of workflow models. The procedure of workflow models executing in workflow engine is described using the operational semantic.
但是UML不是形式化的建模语言，缺乏精确的语义描述，因此会导致一些问题。
However, the UML is not a formal language, it lacks of precise semantics.
但是UML不是形式化的建模语言，缺乏精确的语义描述，因此会导致一些问题。
However, the UML is not a formal language, it lacks of precise semantics.
应用推荐