英语人>网络例句>演算 相关的搜索结果
网络例句

演算

与 演算 相关的网络例句 [注:此内容来源于网络,仅供参考]

The localizat ion principle of GPS is the localization of finding range of space of surveying in fact,utilize until 20200km 你好gh altitude uniform distribution 24 satellite at 6track launch,find range letter number and signal carrier on average,users receive these signals and measure the satellite distance to the receiver through the receiver,through knowing ground position coordinate once making mathematical calculations in serial equations.

GPS的定位道理本色上就是测量学的空间测距定位,利用在均等20200km高空匀称分布在六个轨道上的24颗卫星发射测距旌旗灯号头和载波,用户路程经过过程接收机接收这些旌旗灯号测量卫星至接收机之距,路程经过过程一系列方程演算即可知地面点位坐标。

LexMiner utilizes the lexicographic features and lexicographic comparisons to further speed up the kernel operation of mining algorithms.

LexMiner 进一步利用项目集的字典序特性与字典式比较以加速探勘演算法中的核心运算—寻找交易纪录中包含之可能频繁项目集。

We use item information, i.e. TIDlist or Bitvector of 1-itemsets, and lexicographical tree to improve the efficiency of THUI-Mine.

我们的方法,使用TIDlist或是位元向量去辅助纪录item的资讯,再加上lexicographical tree的建立,改进了THUI-Mine演算法的效能。

G. local variable declaration and so on, quantifications over program variables are inevitable.

本文建立了高阶时段演算理论,包括它的语法,语义和证明系统。

So we can describe the process model in the logic situation calculus based on the virtual enterprise ontology.

这样,我们就可以在虚拟企业本体论基础上,以逻辑情景演算来描述虚拟企业过程模型。

The similarity logic calculus system of multi-agent case retrieval is studied.

研究了多智能体实例检索中的相似性逻辑演算模型。

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑:也叫谓词演算,它研究简单命题的内部结构。

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识,包括:命题逻辑和谓词逻辑、定理的推理演算和机器证明方法,集合和二元关系的基本运算和性质、任意集合中的函数及其性质,无穷集合的基数,以及上述知识在计算机科学中的应用。

What Leibniz actually intended by his characteristica universalis and calculus ratiocinator, and the extent to which modern formal logic does justice to the calculus, may never be established.

莱布尼茨通过他的《普遍文字》和推理演算的实际意图,或当代形式逻辑对计算法的评价程度,也许是永远都不会实现的。

Elementary logic and Algebra Propositional calculus, quantifiers.

初等逻辑和代数命题演算,量词。

第21/49页 首页 < ... 17 18 19 20 21 22 23 24 25 ... > 尾页
推荐网络例句

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应,而且减少跟风的可能性。

The new PS20 solar power tower collected sunlight through mirrors known as "heliostats" to produce steam that is converted into electricity by a turbine in Sanlucar la Mayor, Spain, Wednesday.

聚光:照片上是建在西班牙桑路卡拉马尤城的一座新型PS20塔式太阳能电站。被称为&日光反射装置&的镜子将太阳光反射到主塔,然后用聚集的热量产生蒸汽进而通过涡轮机转化为电力