查询词典 vote checking

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.

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

They have gone through a lengthy process of checking and cross-checking.

他们都经历了一个漫长的过程的检查和核对。

Now you're checking and cross-checking your lists to ensure nothing is forgotten.

现在您可以检查和核对，以确保您的列表没有被遗忘。

Tom: You are right, he worked hard all the time.

你是对的。他一直都是努力工作。

Take shortcomings,failures,and mockings of others as commonplace and a drive to complete oneself,hold your own opinion over the evalution and disscution divested from others,afterwards sink into the state of eliminate mistakes if any or encourge oneself being not being influenced by the sayinngs of others or having no ideas to do.

把缺点、失败及别人的耻笑等看成是一种常事，当成完善自己的动力，对别人的评价和议论自己心中有主见，做到&有则改之，无则加勉&，不为人言所左右或无所适从。