查询词典 algorithmic

To conquer limitations of existing techniques for developing loop invariants, professor Xue Jinyun, who is imbursed under two National Nature Science Foundation of China, systematically research the theory and method of loop invariants and advanced the new definition and developing strategies for loop invariants. Based on above, he presented efficiency method of developing algorithmic program, Partition-and-Recur Approach, and its developing environment which bring into important play in formal method.

为了克服已有循环不变式开发技术存在的局限性，薛锦云教授在两个国家自然科学基金课题&若干新的算法程序设计和证明方法研究&和&实用的软件形式化方法及其开发工具的研究&的资助下，对循环不变式的理论和方法进行了系统的研究，提出了关于循环不变式的新定义和新的开发策略，并在此基础上形成了一种实用的算法程序形式化开发方法及其开发环境，在复杂算法程序及软件形式化开发中发挥了重要作用。

This paper mainly discusses the theory knowledge of the building ,smoothing ,filling and labeling of isolines and their algorithmic realization, as well as an application of isoline in the explain of geology information system, at last it gives some suggested argument about isoline studys next work.

文章主要讨论了等值线的生成、光滑、填充，标注等内容的理论知识和算法实现，以及等值线在地质资料解释系统中的应用，最后对等值线研究的后续工作进行了建设性的讨论。

According to the algorithmic characteristics of video coding, general video decoder can be classified by three classic tasks. First is the low-leveled task for simple control, which focuses on calculation. It is called dense-calculation task when the requirement for calculation is higher. Second is the data-dependence task for simple calculation but sophisticate control, which belongs to middle-level task. More sub-states exist inside the task and the transition of the sub-states depends on input data and lacks of rules. Third is the simple-system task, part of advanced tasks, with simple calculation but no rules, the complexity of which mainly lies in the control of multi-tasks to complete certain function coordinately.

根据视频的编解码算法特性，一般的视频解码器可以分为三种典型的任务：以运算为主，控制简单的低级任务，当运算要求很高的时候我们可以称之为运算密集型任务；运算简单，但是控制复杂，任务内部子状态繁多，而且跳转依赖于输入数据而无规律，这类任务我们可以称之为数据依赖型任务，属于中级任务；运算简单而无规则，复杂度主要集中在控制多个任务协同进行以完成某一特定功能的简单系统型任务，属于高级任务。

In this paper we introduce the history, the principal characteristics, the algorithmic classifies and the future prospects of the Voluming CT.

本文对体积CT技术的发展历史、主要特点、算法分类及未来发展等进行了系统地回顾、分析和展望。

In theory, this was to become a new recommendation economy, an algorithmic form of word of mouth.

理论上讲，这应该成为一种新的推荐经济，通过言口相传的方式。

This dissertation, orienting to practical engineering applications, takes the lead in carrying out domestic investigations on expert system of fault detection and diagnosis for aerospace propulsion system and has successfully established a well-performed expert system for fault detection and diagnosis based on advanced theories and technologies. What is more, some research has been conducted on the new algorithmic method for fault detection and diagnosis; bondgragh method has been successfully used for fault detection and diagnosis in aerospace propulsion in the dissertation.

本文在国内首先应用先进的理论和技术，面向工程应用的实际，开展了空间推进系统故障检测与诊断专家系统的研究工作，并建立性能良好的故障检测与诊断专家系统；还进行了故障检测与诊断新算法研究，成功的运用键合图理论完成了空间推进系统的故障检测与诊断研究。

Unlike Web directories, which are maintained by human editors, search engines operate algorithmically or are a mixture of algorithmic and human input.

与Web目录，该目录由人工编辑的维护，搜索引擎或经营演算是一种混合算法和人力投入。

Unlike Web directories, which are maintained by human editors, search engines operate algorithmically or are a mixture of algorithmic and human input.

从SEO的角度来看，搜索引擎是把自己站点中的页面链接通过特定的计算机程序展现在搜索引擎使用者获得的搜索结果上，从而获得更多被访问的机会一个程序。

Unlike Web directories, which are maintained by human editors, search engines operate algorithmically or are a mixture of algorithmic and human input.

也有人把这种基于目录的检索服务网站称为搜索引擎，但从严厉意义上讲，它并不是搜索引擎。

Unlike Web directories, which are maintained by human editors, search engines operate algorithmically or are a mixture of algorithmic and human input.

网站分类目录由人工收拾保护，精选互联网上的优良网站，并扼要描写，分类放置到不同目录下。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失