查询词典 board checking

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个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

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.

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

Based on the previous research on the portal crane administration, one standpoint put forward in this paper is idea that is on the foundation of reliability in this paper, two viewpoints take shape when reason is analyzed, that is fatigue break and appearing the flaw that will extend. What is the fatigue break?(this phenomenon is always happen in some place),the fatigue is that board appears apophysis and concave when the board is pressed .so that the board ability of bearing the weight of load will descend. Second , the board appear the flaw that the flaw extends in the some place of board one reason is that the machine works too long, so the board ability of bearing the weight of load will decline.

本论文建立在已有的港口装卸机械管理的研究基础之上，进一步提出了以可靠性为基础的港口装卸机械的管理思想，已有的研究表明，港口机械设备破坏主要由于两个原因，第一是稳定性问题，特别是构件的局部稳定性，所谓稳定性是指：在板的平面内，板受到平行于板面的压力作用，使板发生隆起、内陷等凹凸不平的结果，从而使板受载能力减弱；第二是结构出现疲劳裂纹及其扩展，这是由于设备长时期运行，而造成设备某些部位出现裂纹并得以扩展，使设备承载能力下降。

Based on educed relevant conclusions, this paper finally puts forward apocalypse for China to found and develop corporate fund (analyzed from the perspective of board of directors): optimize the scale of board of directors, fully exert the function of committee subsidiary to board of directors, elect excellent fund director, stimulate optimized conduct of directors, strengthen board of directors'independence of funds, thus contributes to validity of funds'board of directors, sets up and perfects self-examine system of funds'board of directors.

根据得出的相关结论，本文最终提出将来我国建立和发展公司型基金的启示：优化基金董事会规模，充分发挥董事会下属委员会职能；挑选高质量的基金董事，激励董事的最优化行为；强化基金董事会的独立性，以此促进基金董事会的有效性；建立和完善基金董事会自我考核制度。

I plant products mainly to plaster board, its products are ordinary plaster board, waterproof plaster board, fire plaster board, noise plaster board, fiber plaster board.

我厂主要产品以纸面石膏板为主，其产品种类有普通纸面石膏板，防水纸面石膏板，防火纸面石膏板，隔音纸面石膏板，纤维纸面石膏板。

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）摘要：基于组合权重分析的引信失效诊断技术，包括由构造递阶层次、构造成对比较矩阵、计算权重及一致性检验等步骤组成的准则层重要度分析技术；由通过构造成对比较矩阵、计算权重及一致性检验得以完成的安全性重要度分析技术；以及由计算系统组合权向量和系统组合一致性检验两步构成的系统组合权向量分析技术。

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.

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

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。