查询词典 vote checking

The matching device automatic test-board is the checking tool checked the matching device capability, precision and reliability are the technique of the the matching device, the precision is the precondition of checking the matching device, the reliability is credibility degree of the decision checking consequent.the topic in view of the existing technique level, the main factors, which influence the measurement precision of the large scale test system, are analyzed in this paper, and the solutions improving the precision are put forward.1 using the multi-channel independent ac to transfer dc module, the power supply of the digit part and the simulation part is discerption, reducing the crosstalk between the digital signal and the simulated signal;2the feedback self-checking module is constructed by singlechip compositive 16 high accuracy a/d , established a closed-loop control system through this module and improved system's overall precision effectively.

匹配装置自动测试台是检测匹配装置性能的检测工具，其重要的技术指标是精度与可靠性，其高精度是作为检测匹配装置的前提，可靠性是决定了检测结果的可靠度。本课题针对现有的技术水平，分析了影响大型检测系统测量精度的主要因素，提出了提高精度的具体方案和办法：1采用了多路独立交流转直流模块，数字部分与模拟部分分开供电，减小了数字信号与模拟信号之间的串扰。2利用单片机集成的16位高精度a/d构建了反馈自检模块，通过该模块建立了一个闭环控制系统，有效地改善了系统的整体精度。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

Also, we cannot understand why every voter can vote under a simple voting mechanism through casting a single vote in one "geographical constituency", and why some individuals and organizations are still proposing a complicated electoral process of "one vote in geographical constituency, and one "pseudo vote in a functional constituency.

另外，我们不理解的是，既然每个人都可以通过一个简单的「地方选区」的选举机制投票，为何仍有人提出设立一个「一席地区直选、加一席由功能组别化妆成「普选」的「假普选」的议席」的复杂的选举过程？

Parl 2 CalcuIation Of the rdet tO vote for sharehothers This part explains in detail theprinciple for one share one vote system according to the company act of our country and alsotells the calculation methods for non-voting share, the share with vote of majority and theshare with accumulative vote on the basis of both foreign legislation and our company act.

本文结合我国公司法的规定，具体阐释了一股一表决权原则，对于无表决权股份、多数表决权股份以及累计表决权的计算，文中根据各国立法先例，结合我国公司法实际，进行了有选择性的探讨。

Your vote, your dumb vote, your ignorant vote, your wasted vote put in an administration in Washington, D.C., that has seen fit to pass every kind of legislation imaginable, saving you until last, then filibustering on top of that.

你的选举，你无言的选举，你无知的选举，你多余的选举，在华盛顿时期提交给行政部门，这似乎是适合通过每个可能的法律制定的，救助你们直到最后，然后，掠夺在那些之上的。

The structural design is carries on the design calculation after the plan comparison and appraisal recommendation plan, this stage design primary mission is: The design material analysis and the structure arrangement, the king post endogenic force computation, the pre-stressed steel ties the estimate and the arrangement, the computation king post section geometry characteristic, the steel tie the loss of prestress computation, the king post section intensity checking calculation, the king post nose partial bearing strength checking calculation, the king post distortion checking calculation and part compositions and so on lane board computation.

结构设计是根据方案评比后的推荐方案进行设计计算，这一阶段的设计主要任务是：设计资料分析及构造布置、主梁内力计算、预应力钢束的估算及其布置、计算主梁截面几何特性、钢束预应力损失计算、主梁截面强度验算、主梁端部的局部承压强度验算、主梁变形验算和行车道板计算等部分组成。

Checking out: After checking in, it will show occupied state. And after checking out, it will show clean standby state. Waiters finish cleaning and change the state into for rent state.

二、登记结帐：客人入住登记显示已租状态，客人结帐离店后显示待清理状态，并由服务员清理后，更改为已清理待租状态。

After forward checking, backward checking is carried out to checking the validness of the configurations, which is a reachability analysis.

在正向检查后，使用逆向搜索来检验格局的可达性，设计了一种启发性算法来提高收敛速度。

Based on combination weighting analysis, fuse invalidation diagnosis technology consists of rule layer importance analysis technology, which includes establishing recurrent step layer, establishing contrast matrix, calculating weighting and checking consistency; security importance analysis technology, which includes establishing contrast matrix, calculating weighting and checking consistency; system combination vector analysis technology, which includes calculating system combination vector and checking system combination vector analysis technology.

作者：李科伟，王新政作者单位：（河南江河机械有限责任公司产品研究所，河南平顶山 467337）摘要：基于组合权重分析的引信失效诊断技术，包括由构造递阶层次、构造成对比较矩阵、计算权重及一致性检验等步骤组成的准则层重要度分析技术；由通过构造成对比较矩阵、计算权重及一致性检验得以完成的安全性重要度分析技术；以及由计算系统组合权向量和系统组合一致性检验两步构成的系统组合权向量分析技术。

Based on combination weighting analysis, fuse invalidation diagnosis technology consists of rule layer importance analysis technology, which includes establishing recurrent step layer, establishing contrast matrix, calculating weighting and checking consistency; security importance analysis technology, which includes establishing contrast matrix, calculating weighting and checking consistency; system combination vector analysis technology, which includes calculating system combination vector and checking system combination vector analysis technology.

作者：李科伟，王新政分类：装备与武器作者单位：（河南江河机械有限责任公司产品研究所，河南平顶山 467337）摘要：基于组合权重分析的引信失效诊断技术，包括由构造递阶层次、构造成对比较矩阵、计算权重及一致性检验等步骤组成的准则层重要度分析技术；由通过构造成对比较矩阵、计算权重及一致性检验得以完成的安全性重要度分析技术；以及由计算系统组合权向量和系统组合一致性检验两步构成的系统组合权向量分析技术。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。