查询词典 logical

Following the analytic tradition of logical and language methods, this paper examine the mind-body problem in two key aspects: one is related to the implication of the G del incompleteness theorem to mind-body problem, which refuted the argument proposed by H.

遵循语言与逻辑分析的分析传统，我们着重从两方面讨论心身问题：一是围绕G del不完全性定理，二是认知逻辑尤其是有关认识论算术与机器是否有私有性的论题。

This paper presents a self-adaptive load balancing algorithm, in which each peer creates a local load distribution view using a passive load statistic method and a local file requested view using file requested statistic method. When load imbalance exists in the system, the heavy loaded peer will make the logical links which point to itself to point to a light loaded peer in its local load distribution view, with the indegree of the heavy loaded peer decreasing and the indegree of the light loaded peer increasing, the load imbalance magnitude will decrease. When the request load of the heavy loaded peer is high, the peer will use its local file request view to get the popular file and cache the file to corresponding target peer.

提出一种自适应负载均衡方法，方法采用一种被动式结点负载统计方法生成局部负载视图；采用一种文件访问统计方法生成局部文件访问视图；当系统内结点负载存在差异，重载结点把指向自身的逻辑链路迁移至指向局部负载视图中的轻载结点，通过减小重载结点入度和增加轻载结点入度来减小结点间负载差异；当结点的请求负载较高时，通过局部文件访问视图计算需要缓存的热点文件及目标结点，降低承载热点文件的结点的请求负载。

Two controversial problems were concealed behind of the undoubtedly logical inference:(1) the relationship between science, especially the classical physics, and determinism;(2) the relationship among determinism, indeterminism and Human freedom.

在波普尔这一看似顺理成章的推理背后，实际上蕴含了两个颇有争议的问题：(1)人类科学尤其是经典物理学和决定论的关系问题；(2)决定论、非决定论和人类自由的关系问题。

Secondly, philosophy of science is during interim, and it faces reproach which empiricism meets with, argument of determinism and indeterminism, and controversy of view on causality. The philosophy of science of Suppes just solves the questions in some sense in a kind of idea and way, and exceeds logical empiricism and 'postempiricism' to open up a new way for philosophy of science.

第二，科学哲学处于过渡时期，面对经验主义所遭受的非议、决定论与非决定论之争以及因果论的争议，苏佩斯的科学哲学以一种全新的思想和方法对这些问题做了某种程度的解决，并超越逻辑经验主义和"后经验主义"，为科学哲学另辟新径。

Mapping from logical to physical in a file of maximum size of 256K words and block size of 512 words. We need only 1 block for index table.

为了从逻辑映射到实际的文件系统，一个256K字的文件，块为512字，我们只需一个块作为索引表

The article remarks that in order to modernize our country's agriculture,it is necessary to set things to market,then to industrialise and,in modern logical order,to promote step by step from lower levels to higher ones.

要从根本上解决我国的农业问题，最基本的途径是实现农业现代化。认真地研究和探索我国农业现代化发展中存在的矛盾和问题，对于加速实现我国农业现代化，无疑具有十分重要的意义。

On the other hand,mistakes are ineluctable when considering the following logical analyses.

你在提纲中列出了两点，一是从技术和知识的局限上来说明错误不可避免，二是从逻辑上反证来说明错误不可避免。

Synthesis using known facts (known conditions, important inequation, or has proved inequalities as basis, using inequalities) and relevant theorems of nature, the logical reasoning, the final step out to prove the inequality, its characteristic and the idea is "from" from "guide, known as" to "see", gradually introduced conclusion.

综合法利用已知事实(已知条件、重要不等式或已证明的不等式)作为基础，借助不等式的性质和有关定理，经过逐步的逻辑推理，最后推出所要证明的不等式，其特点和思路是"由因导果"，从"已知"看"需知"，逐步推出"结论"。

Based on the genetic concepts of biology, the system of computer could make use of the components from the argenia, with the logical code and operational procedure, to produce an infinite matrix of architectural variations during the design process. The approach will develop the complexity of the future architecture.

这种设计方法基于生物学的基因理论，利用生成图码库的设计要素，通过一种可以操作的程序编码和步骤，让计算机进行建筑设计，将建筑设计的过程变成一个开放的形象设计体系，以求充分表现未来建筑的复杂性。

On the characterizations of spaces by the infinite matrix methods,let E be a topo-logical vector space,if for each 〓 and 〓,there is a sequence 〓 in A suchthat 〓.Then E is said to be a sequential topological vector space.

在无穷矩阵方法对空间的刻划方面，设E是一个拓扑向量空间，若对每个〓一定存在A中序列〓使得〓，那么称E是一个序列型拓扑向量空间。

Yet, Edith says, there was always money in the bank.

但是Edith说，她的银行户口里面总是有钱。

We have created a series of files that resolve this problem--one for each day of the 40 days of purpose.

我们制作一系列的档案去解决这问题---一个为标竿40天中的每一天。