机器计算

A simple but accurate data movement model is built to determine the number of data movement between the global memory and the local memory for a given loop partitioning.

提出一个简单有效的数据传输模型，计算循环中数据足迹在全局内存和分布式内存之间的传输次数，以指导VE16机器上的循环自动分割策略。

The article introduced the research results of the main-auxiliary chunk transformation, and how does HNC form the processing rules and supplies them to computer,from computational linguistics angle, in order to enhance the accuracy rate of the machine translation system.

本文从计算语言学研究处理的角度，详细介绍HNC理论主辅变换的研究成果，以及如何形成处理规则并供计算机使用，以期提高名词团块分裂的机器识别及处理的准确率。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

By using projective geometry and camera intrinsic parameters and calculating the distance between ship and landmarks, a method of locating ship by measuring the distance based on monocular camera machine vision is presented in this paper.

利用透视投影几何关系和摄像机内部参数，计算船舶与各陆标之间的距离，提出一种基于单目机器视觉的船舶测距定位方法。

This explosion has many causes: First, separate research communities in symbolic machine learning, computation learning theory, neural networks, statistics, and pattern recognition have discovered one another and begun to work together.

导致这种发展的原因有许多：首先，基于符号机器学习的单独研究群体，计算的学习理论，神经网络，统计学，和模式识别都逐个被发现并且共同起作用。

The compiler, is advantageous for the human to compile, reading, maintains senior machine language translation for computation function recognition, movement preliminary machine language procedure.

编译器，是将便于人编写，阅读，维护的高级计算机语言翻译为计算机能识别，运行的低级机器语言的程序。

Through the implementation and evaluation of performance, we get a conclusion that to use Java for the implementation of the non-mobile embedded system is a waste because the Java Virtual Machine consumes a large of computation and memory resources. The cross-platform feature of JVM is meaningless for the non-mobile embedded system.Embedded Systems, ARMLinux, Embedded-Web Server, System-on-Chip SoC

透过实作与效能评估，我们得到一个主要的结论，使用Java来实作非行动式的嵌入式系统是一种浪费，因为虚拟机器(Java Virtual Machine， JVM)会消耗很大的计算与记忆体资源，JVM的跨平台特性不具任何意义。

At our present vantage point, it is very natural to want to build machines that extend our abilities to take over our manufacturing, enable our global communication or the computation of the unknowns of macrophysics.

在我们当前的观点来看，很自然想要去建造能够延伸我们能力，接管我们的制造，使我们进行全球交流，或者，对宏观物理未知进行计算的机器。

You can only create a mailslot on the local machine so the server part of the UNC pathname must resolve to the local machine; in other words it must be the local machines name or a dot '.

您只能创建一个本地计算机上邮筒所以服务器的UNC路径名的一部分，必须下定决心，在本地计算机，也就是说它必须是本地机器名或1点'。

But if you want to go into this very carefully you have not only to examine what is thinking, and the machines, the computers are doing that marvellously - you don't know anything about it.

但是如果你想非常认真地深入到这里，你不仅得审视什么是思想，以及机器，计算机能做得非常好，你们对此一无所知。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。