查询词典 computer language

This artide describes the elliptical curve method to replace circular curre method and the principle of machining and mathematical equations. By using the mini-computer programs in Basic language, the machining parameters are computed which is important for prodution.

本文介绍以椭园曲线代替园弧加工方法及其加工原理、数学计算公式，并用Basic语言编制了微型机程序，以便于加工参数计算，对生产具有一定意义。

Mizar system is initiated as a Computer System Language of logical proof,validation,and typeset in the 1980s.

Mizar语言系统是上世纪八十年代开创的集逻辑证明、校验、排版功能于一体的计算机语言系统。

Until now, there are many kinds of machine language systemwhich are use to prove mathematical theorems, and several of them are recognized bythe mathematician and computer experts, such as HO1, Mizar, PVS, coq etc.

迄今为止，世界已有多种可用来进行数学命题证明和逻辑推理的机器语言系统，但其中只有少数几种语言可被普遍接受并受到数学家与计算机专家的认可，如HOL、Mizar、PVS、Coq等，它们各自的初衷不同，却有一个共同的特征：人类使用机器语言书写、计算、逻辑推理和证明文本性质的数学问题，并由计算机自动验证其正确性。

The artical introduces some actual cases of LISP language in computer non-numeric processing.

本文介绍LISP语言在计算机非数值处理中的一些应用实例。

Now the object-oriented computer programming language a lot, can be programmed to achieve.

现在面向对象的计算机编程语言很多，都可以编程来实现。

Now the object-oriented computer programming language many programming can be achieved.

现在面向对象的计算机编程语言很多，都可以编程来实现。

This design adopts high-level language VB and KeilC51 to realize the communication of one-chip computer and LED of showing dynamically.

该设计采用高级语言VB和KeilC51实现PC 机与单片机的通讯和LED动态显示。

School covers an area of 113 mu, total construction area of 44,000 square meters, schools, teaching equipment is complete, a class of 10 meet the national standards laboratories, four computer rooms, three multi-media classrooms, three language lab, collection of nine thousand volumes Open-shelf may borrow library, 2 can accommodate 600 students studying in the reading room, 400 meters of track and field, 3500 square meters of restaurants, all of these facilities are for student learning, life provide a strong guarantee.

学校占地面积113亩，总建筑面积44000平方米，学校教学设备完备，10个达到国家一类标准的实验室，4个微机室，3个多媒体教室，3个语音室，藏书9万余册并可开架借阅的图书馆，2个可容纳600名同学就读的阅览室，400米的田径场，3500平米的餐厅，所有这些设施都为学生的学习、生活提供了有力的保障。

A model of integer linear programming for optimum control computer instructions is generated in this paper. And a simplex method is applied because of the linear constraint conditions and the target functions, and the algorithm is accomplished with C language.

问题的重述在计算机控制的过程中，一条计算机指令往往可以控制几个计算机部件，反过来，一个计算机部件一般也由几条计算机指令控制。

The present study is about the oral test of the English language based on computer.

中文摘要：此论文是研究计算机辅助高考英语口语测试的新方法。

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.

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