查询词典 spell-checking

The reason that zero can not be divisor, is right?Feng XinkongIn the eighth book of six-year primary school's teaching in nine-year compulsory educationmaterials, it states that "zero can not be divisor". But we can find that the formula, a=cq, checking the dividing exactly , is same as the form of direction proportion function, y=kx; the formula of checking the dividing not exactly, a=cq+r, is same as the form of simple function.

在九年义务教育六年制小学教科书《数学》第八册中规定"零不能作除数"，但是当我们学习了正比例函数和一次函数之后就会发现，验算能整除的除法的关系式a=cq和正比例函数y=kx的表示形式相同；验算有余数除法的关系式a=cq+r与一次函数的关系式y=kx+b的表示形式相同。

Responsibilities included shelving, renewing, checking out, and checking in books at my university's library.

职责包括搁置、革新、检查，并在检查书籍时，我大学的图书馆。

We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure.

提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验。

For intensity checking problem of complicated weldment, it is difficult to get available result with conventional checking method and sometimes it is unfeasible.

复杂焊件的强度校核问题，采用常规的校核方法计算过程将非常复杂，并且计算结果不可靠，有时常规的校核方法并不可行，不能获得有效的结果。

The paper is mainly on the process control of NPP management from the view of proprietor, so it is of great pertinence for it involves the process controlling system, checking methods for the schedule, adjustment and optimization as well as various factors and analysis that influence the overall process. Meanwhile, the paper summarizes more practical checking and comparative methods as well as the application of software from the project management instead of discoursing on the adjustment for the original schedule from the angle of confusing network optimization, it is in this unique style that the research is naturally of more practical and appliable significance for the management of process control in nuclear plant.

本文主要从业主方面研究核电站项目管理的进度控制，从扩建工程的进度控制体系，进度计划的检查方法、计划的优化与调整，影响进度的各种原因及分析，并采取的有效措施，因而本文具有鲜明的针对性；本文未从复杂的网络优化的角度去论述对原进度计划进行调整，而是总结了项目管理中应用较多的检查、比较方法及项目管理软件的应用，从而使得本文的研究具有较强的可操作性，和实际应用意义。

In order to analyze experimentally the back-scattering micro-spectrum difference between human normal stomach epithetic cell and the cancerous cell to provide optical technique for clinical checking,a micro-spectral measurement setup for checking cell was established based on fiber confocal microscopically imaging technique combined with cell light scattering theory. It could provide micro-imaging and micro-medical spectral information simultaneously.

为了在实验上分析人正常胃上皮细胞与癌变细胞的显微后向散射光谱的区别，为临床医学检测提供实验依据，在光纤共聚焦显微成像技术基础上，结合细胞散射理论，建立了一套基于光纤共聚焦的细胞检测显微光谱分析装置，能够同时获取细胞显微图像和显微光谱医学信息。

The quality-checking persons are all and singular specially trained personnel. They answer for the checking of every cache, pay attention to details and carry out a system of "first filtration, second recheck, last judgment", which make our company become the manufacturer of products against state inspection in the activity of "Chinese products' quality traveling" among many kinds of flocky toys.

质检人员一律经过专业培训，负责对每一个环节进行查验，注重细节，实行&初筛、复核、终鉴&制度，使企业成为&中国产品质量万里行&毛绒玩具类中，国家免检毛绒玩具制造商。

So during the collection of fault sample data and checking data, the paper sets up the mathematics model of control system first. We cause all kinds of fault in the control system, then collects a variety of fault data. After unitarily dealing, the fault data server as the sample data of training neural network. At the same time, according to the collection of checking data, it examines whether the trained neural network have the function of fault diagnosis.

在故障样本数据及检验数据的采集过程中，首先建立了控制系统的数学模型，人为地让控制系统发生各种故障，从而采集到各种故障数据，经过归一化处理后，作为训练神经网络的样本数据；同时，也采集检验数据，用以检验训练出的神经网络是否能够起到故障诊断的作用。

It derives from the induction-based model checking algorithm, and merges the checking processes of base condition and induction condition using our simplified unsatisfiable core extraction in SAT problem.

提出一种改进的基于时间帧展开的时序电路等价验证算法，其来源于模型检查中的基于数学归纳的验证算法，在使用并简化了SAT问题中不可满足子集提取过程后，将基本条件检查和归纳检查合并处理。

The first part expounds the purpose and function of higher educational institutes cost-checking, describes and commentates the current situations and introduces the main content, approaches and techniques of cost-checking.

第一部分在阐述了高校教育成本核算目的、意义后，对国内外现状进行了归纳、评述，然后介绍本文的主要内容、方法和技术路线。

Don not attempt to do something which you can not to do.

不要企图做那些办不到的事情。

The expression of CTGF and TNF-αweredetected by immunochemistry and the number of Clara Cells was calculated.

光镜下观察肺组织的病理变化，采用免疫组化染色观察肺组织中结缔组织生长因子和肿瘤坏死因子-α的表达和Clara细胞的数量。