查询词典 computer software

Resolution-based many-sorted predicate calculus has been applied to many fields of computer science, such as knowledge representation, artificial intelligence and automatic theorem proving, software specification and verification, etc.

在前人工作的基础上，对自动推理领域的如下问题进行了研究与探索：基于归结原理的多种类谓词演算、模糊逻辑与近似推理、Web环境下的知识表示与自动推理等。

Industry executives, free-speech advocates and many computer users have reacted angrily to the new mandate, which gives manufacturers until July 1 to preinstall the software on millions of new machines.

业界管理层、言论自由拥护者以及众多电脑用户对该规定非常愤怒——规定要求所有在七月一日后售出的电脑都必须安装有该过滤软件。

In this paper, we established an automatic fingerprint recognition software system with micro-computer.It can pretreat, do feature extraction and recognize the input fingerprint dynamically.

本文建立了一个微机指纹自动识别软件系统，该系统能够动态地对输入指纹图像进行预处理、特征提取和识别工作。

Furthermore, I studied my in-service postgraduate courses in Beijing University of Technology from Sep.2005 and also majored in computer taught by Zhang Shujie who was the original Prexy of School of Software Engineering and President of Degree Committee of Beijing University of Technology.

另外，本人自2005年9月起，在北京工业大学计算机学院就读在职研究生，导师为原工大软件学院院长、校学位委员会主席张书杰。

Dongguan City Jinding Network Technology Co., Ltd.(primordium Timor Culture Communication Co., Ltd.) is a image of planning and graphic design and website development mainly to the integrated application network and computer hardware and software to develop a sound business.

东莞市金鼎网络科技有限公司（原基帝文化传播有限公司）是一家以形象策划与平面设计和网站开发为主，向网络综合应用和计算机软硬件开发完善的企业。

Software Description: About Folder Cruiser Lite, This program puts an icon in the system tray on your computer.

Folder Cruiser Lite 该软件在你的计算机上的系统托盘中放置一个图标。

Typical technologies available for this configuration may include all computer-assisted and programmed instruction and presentation software.

这一技术可用于典型配置包括所有的计算机辅助教学方案，并介绍软件。

The first chapter: Prolegomenon This chapter expounds the studying background, reasons and contents of the application of computer music software to music teaching in primary school.

第一章 绪论本章主要阐述了目前我国小学音乐教学中存在的一些问题，探究其原因，并提出了解决问题的有效途径。

Software Description: About PC Prowler Surveillance, Monitor computer traffic in your home or in your office.

PC Prowler Surveillance 在你的家里或者在你的办公室监视你的计算机的通讯情况。

Data were transferred to computer workstation and CT virtual bronchoscopic imagings with pseudocolor encoding were generated using ticbronchoscopy,30 cases of all compared with navigator smooth software, and to compare with fiberopspecimen.

用16层螺旋CT机对患者进行扫描后，将数据建成CTVB图像进行分析，并与纤维支气管镜进行对照，其中30例与病理标本进行对照。

This brought fixed cost, but it also is meant at the same time use a source to won't make you singlehanded assume a problem.

这带来了一定的成本，但它同时也意味着使用开源不会让你独力承担问题。

He gained a small fortune in real estate.

他在房地产上发了一笔小财。