本文介绍高层次综合中调度问题的形式化描述。
This paper presents a formalized description of scheduling in the high-level synthesis.
最后给出了约束的形式化描述语言rcl 2000。
Finally the paper presents the formalized language RCL2000 of restriction.
通过适配器生成过程的形式化描述可以自动生成该适配器。
With the formal description of the adaptor generating process, we can automatically generate the adaptor.
首先提出编码增益准则下sBC优化的统一形式化描述。
First, we develop an integrated formulation for SBC optimization with respect to coding gain criterion.
应急预案形式化描述是建立应急预案理论框架的前提和基础。
Formal description of emergency plans is the precondition and basis to establish the theoretical framework for emergency plans.
我们使用约束规划的方法来形式化描述和解决这个优化问题。
We resort to a constraint programming approach to formulate and solve the optimization problem.
本文利用树突树的冲激响应对分布参数突触联接进行了形式化描述。
The paper gives the formalized description for the distributed-parameter synaptic connection through the impulse response of dentric tree.
研究成果实现了问题的形式化描述，并给出了一种有效的问题求解算法。
The studying results realize formalizing description of the problem, and give a valid solving algorithm for it.
本文给出表示方法的形式化描述和在此表示上的线性装配规划的生成算法。
This representation are formally described, and the generation algorithm of assembly plans of linear structure has been given in the paper.
量子描述建立在量的基础之上，这种形式化描述本身会遇到难以处理的问题。
Quantum description, which is based on superstring description, is doomed to have some hard-dealt problems, as a formal description.
首先给出并讨论了一般分布式应用系统的层次化结构，并给出了其形式化描述。
It is given and discussed the hierarchical structure of general distributed application system, and given its formal description.
针对活动图半形式化特性，给出了活动图的形式化描述及测试覆盖准则的定义。
Aiming at activity diagram semi-formal speciality, the activity diagram formal specification and the definition of test coverage rules were given.
论文首先给出协议的形式化描述，然后讨论了协议的安全性、可鉴别性和可验证性。
This paper gives the formal description of the two-party protocol, and discusses the security, authenticability and verifiability for two-praty protocols.
给出了此问题的形式化描述，并将问题归约为一种关于多边形运动规划的等价形式。
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.
引用数字硬件形式化证明的思想，提出了对保证维护进行形式化描述和验证的思路。
Refered to formal verification for VLSI, a new method to formally describe and verify assurance maintenance is brought forward.
在BGC模型框架下，文章对角色进行形式化描述，并分析了基于角色的任务分派。
In frame of BGC model, the formalization of role, and an approach of role-based mission assignment are pictured.
对空间方向关系的分类等基本问题的研究可望逐步解决其形式化描述模型的建立问题。
The study of the classification about spatial direction relationships may progressively solve the problem of establishing the formal direction relation model.
该文将给出tdbam数据对象的形式化描述，讨论有限取值属性的几种形式及其实现。
In this paper, gives a formal description of objects and attributes in TDBAM, then discusses the kinds and implement of limited-value attributes.
本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。
An ontology is the entity which composes of the concept of knowledge, the relationship between the concepts and formal description language can be identified by computers.
因此，本文对FE包含的信息采用一种形式化描述，向CE提供一个直观的FE配置文件。
Therefore, the FE information in the dissertation is abstracted as a kind of formalized description, providing an intuitive configuration file to CE.
本文提出面向消息中间件的分布式认证协议，给出协议内容、形式化描述以及安全性分析。
This chapter proposes a distributed authentication protocol for MOM , describes the content, the formalized description as well as the security analysis.
通过实验分析，提出了基于ARP代理的身份认证方法，并对其运行方式进行了形式化描述。
Then one submits method of ID authentication based on proxy ARP after doing some experiments and describes formally it.
论文主要研究了事件—条件—动作(eca)规则的形式化描述及其在工作流运行控制中的应用。
This paper mainly discusses the formalization description of Event-Condition-Action (ECA) rules and its application in workflow runtime control.
基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。
Then the paper derives a performance evaluation model, based on a Queueing Network Model, from a software architecture specification formally described in Chemical Abstract Machine.
在定义个人主权的形式化描述的基础上，探讨了个人主权与社会选择规则合理指标体系的相容性。
On the basis of the form of the individual liberal right, the compatibility of the individual liberal right and the other properties of the social choice rule are investigated.
这种方法以协议的形式化描述为输入，易于自动化实现，同时生成的测试序列较短，提高了测试效率。
This method takes formal description of protocols as input, and is easy to be automated, also generates a shorter test sequence, promotes the test efficiency.
最后，用时态映射定义的元组对双时态关系进行定义，并由此给出双时态关系代数运算的形式化描述。
Finally, bitemporal relation is defined as the set of the temporal mapping tuple, and the bitemporal relational algebra operations are described formally.
研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
Results show that the conceptual design model of mechanical product based on polychromatic sets can be described and reasoned with formal method, and programmed easily.
研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
Results show that the conceptual design model of mechanical product based on polychromatic sets can be described and reasoned with formal method, and programmed easily.
应用推荐