运用图论中的最短路径搜索算法从装配模型中自动搜索出功能约束尺寸链，确定零件的功能尺寸。
Utilizing the shortest path algorithm in Graph Theory to search functional dimension chains automatically in the assembly model and ascertain the functional dimensions of the part.
通过自动化的模型变换来实现系统级综合，利用组件重用来优化设计空间搜索，因此能够提高系统设计的性能和开发效率。
This paper adopts automatic model mapping to realize system-level synthesis and make use of component reuse to optimize the design space.
本文应用自组织特征映照模型，以知识处理中的地势搜索原理为出发点，研究并提出了在线式设备状态自动识别系统的工作原理。
In the paper the principle of on-line automatic identification system of plant condition is studied appling the self-organization network and topography search method in knowledge processing.
实现该系统时，引入了搜索引擎的架构模型，即网络蜘蛛、索引器和检索器，并且加入了分词和搜索自动提示功能。
In order to implement the system, we introduce the architecture of search engine: web spider, indexer and searcher. We also add the functions of segmentation and the keyword tips.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
Model checking is a formal verification by exhaustive search to finite state automata.
针对当前我国电力线通信的现状和特点，提出了一种能够实现远程抄表自动路由的改进蚁群搜索算法，给出了路由协议的基本框架，并建立了路由模型。
According to the actuality and characteristics of power line communication currently, an automatic routing method based on ant colony algorithm was presented, which could achieve remote meter reading.
此模型的数学定义清晰，易于计算机实现，能够有效完成形态搜索的自动化。
This model has an explicit mathematical definition and can effectively implement the automation of shape search.
此模型的数学定义清晰，易于计算机实现，能够有效完成形态搜索的自动化。
This model has an explicit mathematical definition and can effectively implement the automation of shape search.
应用推荐