计算机系统

Based on the fuzzy mathematics theory, the math model of the fuzzy optimal design for the gear reducer is set up and a computer optimal interface that gear optimal design plan is developed.

基于Pro/E的支撑平台，以Pro/TOOLKIT和MFC类库作为核心技术，提出了基于模糊优化设计理论的计算机辅助齿轮设计方案，结合模糊数学的基本原理，建立了齿轮传动模糊优化设计的数学模型，开发出一套计算机辅助齿轮优化设计的系统软件，分别给出了普通优化设计和模糊优化设计的计算结果，体现了模糊优化设计的优越性。

According to the measure of stator curve, the controlling system was developed by VC++ under windows operating system.The complicated transition curve was measured by revolving contact three-coordinate measuring machine. It adopted the method of undetermined coefficients and optimization.

针对叶片泵定子这种复杂曲线类零件的测量，介绍了一种由VC ++开发的计算机测量控制系统，采用旋转接触式三座标测量仪通过计算机控制对定子曲线进行测定。

The system on the small-scale is called a microcomputer or minicomputer .

小规模的系统叫做微型计算机或小型计算机。

In this paper, we describe the history of Mizar system and the method to use theMizar system. Then we give the definition of quaternion numbers, module, algebrastructre etc, and then we prove its properties.

本文首先介绍了Miza(来源：ABC论文61网www.abclunwen.com)r系统的计算机操作原理和使用方法，给出了在Mizar语言系统下四元数、四元数的运算、共轭、内积、模等代数结构理论的证明，所做结论都通过了Mizar系统的验证，发表在波兰的《Formalized Mathematics》杂志上，并被收录到MML数据库中。

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等，它们各自的初衷不同，却有一个共同的特征：人类使用机器语言书写、计算、逻辑推理和证明文本性质的数学问题，并由计算机自动验证其正确性。

With the development of computer technology, information technology and control technology, there exists multi-platform based join-control as a result of new control systems being introduced to improve the performance and reliability of real systems.

随着计算机技术、信息技术、控制技术的发展，实际系统引入新的控制系统以提高系统的自动化程度和可靠性，出现了多平台联合控制，即被仿真对象更加。。。

With the development of computer and Internet,especially the Internet used widely ,the distributing and municipalism of Enterprise Information System becomes more and more prominence.

随着计算机与网络技术的迅速发展，特别是Internet应用日益普及的情况下，现代企业信息系统的分布性、异构性和自治性的特征越来越显著，相应的企业信息资源也分布在异构的计算机环境中，信息源之间的连接表现出松散耦合的特点。

The Design and Implementation of a Selling and Renting Management System for Video and Audio Disc Chain Store Abstract Currently the technique of computer and network in our country has been utilized very extensively already, the combination within the high efficiency, credibility of computer and the fast negotiability of network can offer more convenience in people's daily life.

连锁影音产品租售管理系统的设计与实现摘要目前国内的计算机技术与网络技术已经十分普及，计算机的高效性和可靠性结合网络的快速流通性可极大地方便人们的日常生活。

The control system is mainly made up of a main computer and intelligent node s on the pot, every node communicated with the main computer by ethemet.

整个系统主要由监控计算机和位于现场的智能节点组成，各个节点互联成网，并通过以太网与监控计算机互传信息。

Secondly, three kinds of mathematics model of optical vortex beams were introduced here. Then the propagation dynamics of optical vortex beams through the non-axis symmetry system is studied, this chapter includes the introduction of the symmetry vortex beam and the non- symmetry vortex beam, the deduction of the Collins diffract integral formula for the non-axis symmetry system, and the transformation of the vortex beam passing through the non-axis symmetry system has been described by using the numerical simulation. Then the general calculation for the orbit momentum of vortex beams, the matrix form for the orbit momentum of vortex beams, and the photon method to describe the orbit momentum of vortex beams are also introduced here. Finally, the interference about optical vortex beams was studied.

本文对涡旋光束进行了较为全面的介绍和研究，主要内容包括：（1）光学涡旋光束的基本理论，主要是介绍了单个光学涡旋光束在柱坐标中的一些表征，涡旋光束的奇异相位和光学涡旋的相位结构；（2）光学涡旋光束的三种数学模型；（3）光学涡旋光束在非轴对称光学系统中的传播动力学，其中介绍了对称涡旋光束与非对称涡旋光束，推导了非轴对称光学系统的 Collins 衍射积分公式，并利用计算机模拟图描述了对称涡旋光束经过非轴对称光学系统后涡旋形态的改变；（4）涡旋光束轨道角动量的一般计算，涡旋光束轨道角动量的矩阵形式，光子法描述涡旋的轨道角动量；（5）涡旋光束的干涉。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。