checking method造句
例句与造句
- From the national standards about compressor test , four testing methods and three checking methods about were introduced . the secondary refrigerant calorimeter method was introduced and explained mainly and it includes the system composition , the testing principle and the main controlling parameters
主要对第二制冷剂量热器法进行了更为详细的介绍和说明,这主要包括系统的组成,第二制冷剂量热器法的测试原理以及主要的控制参数。 - The sampling check method used in electric energy meter purchaseas a technical requirement is detailed in mathematics reasoning way . by this means , the numbers for acceptance and rejection are determined . this paper will be helpful for the check to understand the sampling method
对电能表订货技术条件中的抽样方案进行了数学理论分析计算，证明了抽样方案中样本验收数和拒收数的合理性， ，有助于从事电能表验收检验工作人员对抽样方案的理解。 - Through reviewing and summarizing various study results , it can be included that the methods for calculating forest fire danger weather index conclude mainly three kinds , i . e . index verification check method , synthesis index method , and statistic regression method
作者对近几十年来国内外森林火险气象指数的研究工作进行回顾和总结，得出广泛应用的火险指数可以归纳为指数查对法、综合指标法和统计回归法等3种类型，究其原理和使用效果，各有优缺点。 - Strength the quality checking of the pile is also important , but the existing checking methods are n ' t satisfied by now . a good method to check the quality of the pile was found in this paper after studied carefully by doing some experiments and studied the existing method
加强水泥土桩的质量检查，有助于预防水泥土桩复合地基的质量事故，而现有的检测手段尚不尽人意，作者通过对静载试验等不同检测方法的研究，提出了适用不同情况下的检测方法。 - Based on the analysis of shortages and strong points of two program model checking methods , a two - phase program model checking framework was proposed , which can efficiently improve the applicability of checking large programs with the framework by integrating two methods of program model checking
基于对这两种程序模型检测方法各自优缺点的分析，提出了一种两阶段程序模型检测框架，通过结合两种程序模型检测方法，可有效提高程序模型检测对较大规模程序的适用性。 - It's difficult to find checking method in a sentence. 用checking method造句挺难的
- Under such accounting checking method , more and more stern social contradictory , such as the question of population , resources , environment and the public causes are exposed . under this circumstance , we have to exam the social part of enterprises again . enterprises are required to burden corresponding social responsibilities during the course of running for high gains , acquiring cooperated development between enterprise and society and carry out the strategy of sustainable development
传统的会计核算模式是将企业作为一个独立和封闭的经济实体，对其生产经营情况进行核算，这一核算方法主导下的生产经营模式已经诱导了日益严重的社会问题，在这一背景下，人们不得不重新审视企业的社会角色，要求企业在追求自身高利润率的同时也要切实地承担相应的社会责任，实现企业和社会的协调发展，实施可持续发展战略。 - Based on the researches at home and abroad , aiming at the application of dynamic consolidation in compacting loess embankment , this paper makes assessments and analyses of the concerned factors and provides the laws of dynamic consolidation dealing with loess embankment according to the large - scale model test indoor ; combined with tonghuang highway construction , field tests of dynamic consolidation dealing with loess embankment is carried out in the representative loess - embankment experimental sites and some regularities of loess before and after handled by dynamic consolidation is put forward by physico - dynamic property experiments and electron - analysis ; at last , the author makes a systematic analysis of information related and presents the applicable condition , compacting technique and checking method which applies to dynamic consolidation dealing with loess embankment on the basis of field tests and model experiments indoor
本文在国内外资料调研基础上，针对强夯法在黄土路堤压实施工中的应用，对强夯处理黄土路堤的有关因素进行了评价分析，并通过室内大比尺模型试验得出强夯压实黄土路堤的规律；结合铜黄公路建设，选择典型黄土路堤试验段，进行了强夯压实黄土路堤的各项现场试验，通过物理力学性质试验和电镜分析得出强夯前后黄土料压实体的有关规律；最后，在室内外各项试验基础上，对有关资料进行了汇总分析评价，提出了强夯处理黄土路堤的适用条件、施工工艺及检测方法。 - This paper presents checking method of using predigested formula to calculate construction deflection checking value of base according to the strength of the semi - rigid base materials increases with their age ; and advances pavement base construction deflection value checking criterion , provides checking basis for controlling pavement construction
本文在考虑半刚性基层材料强度随龄期增长规律的基础上，提出采用简化公式计算路面基层顶面施工弯沉值的检验方法；并结合宁夏公路路面典型结构，提出路面基层施工弯沉值检验标准，为控制路面施工质量提供了检测依据。 - First , this paper introduces the notation , categories and properties of security protocols , and formal methods to verify security protocols and small system model . the emphasis is the research and analysis of the principle of the model checking method . we study the mechanism and syntax of symbolic model checking tool smv , model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介绍了安全协议的概念、分类和性质，安全协议的形式化验证方法，以及小系统模型的原理；重点分析和研究了符号化模型检验工具smv的原理和语法及其对安全协议进行模型检验时的工作机理，而且使用smv对needham - schroeder公钥协议和wooandlam对称钥协议进行了形式化建模与模型检验，发现了它们的安全漏洞。 - Gtdw makes a well resolution on the connection of 30cm - thickness wall by using the skill of case connecting , which is a typical character that gtdw has much more advantages than other anti - seepage techs . gtdw has learn a lot on quality checking methods and criterions from conventional concrete diaphragm wall to form it selfs reliable quality checking system and correct , simple quality criterions
抓斗薄墙采用套管连接法，很好地解决了在30cm墙厚情况下的墙段连接问题，这是抓斗薄墙优于其他防渗技术的典型特性：作为一门成熟的施工技术必须有可靠的质量检测方法和准确的便于掌握的质量标准。 - As an important part of criminal science and technology teaching , the experiment teaching of material evidence examianation is renewed and improved continuously through reforming experiment teaching methods 、 perfecting experiment means and improving grade checking methods , we can improve obviously students ' interest in experiment , promote experient results and arose students ' enthusiasm for experiment
通过改革实验教学方法、完善实验手段和改进成绩考核方法，可以明显提高学员的实验兴趣，增强实验效果，调动学员实验的积极性。 - Based on the analysis of the stowage capability and its checking methods and the description of the ongoing research of bulk carrier stowage system , the paper presents the designing scheme of bulk carrier automatic stowage system which utilizes the principle of expert system in artificial intelligence , and gets the results as follows : 1
本文在对散货船配载系统现状进行研究的基础上，提出了利用人工智能中专家系统方法来实现散货船自动配载的设计方案，并开发出了散货船自动配载软件，其主要研究成果如下： 1 - Applying model checking in software design and verification has been proved very difficult . software architectures are engineering artifacts that provide high - level and abstract descriptions of complex software systems . in this paper a direct model checking method based on kripke structure and matrix algorithm is provided
将model checking应用到软件正确性验证方面被证明是很困难的事情，软件体系结构sa software architecture通过对复杂软件系统提供高层与抽象描述，为基于构件化技术的大型软件系统关键性质的验证提供了有效的途径。 - During the analysis process , the author predicts the human resource demand of management personnel , experts , servers and administrators by using the method of the trend analysis and button up . on the other hand , the author predicts the human resource supply of all kinds of persons by using markov transferable matrix and situation check method . at the same time , on the basis of the prediction , the author draws up the short - term plan of personnel complement , arrangement , promotion , training , developing and the plan of payment encouraging for xapa and its relative steps
文章在分析xapa公司过去五年人员配置情况的基础上，运用趋势分析法、微观集成法和回归分析法对公司管理人员、专业技术人员、后援服务人员、行政支持人员进行了人力资源的需求预测，运用马尔可夫转移矩阵和现状核查法对各类人员进行了人力资源的供给预测，在供需预测比较的基础上编制了xapa公司未来十年的人力资源总体规划，并相应地制定了短期的配套措施，编制了人员补充计划、人员配置计划、人员晋升计划、人员培训开发计划和薪资激励计划，为人力资源的优化配置提供了依据。 - This paper is based on the pingpong bridge field ground protection , it presents one point to ground protection scheme which include the self - checking method of switches . the two point to ground protection scheme presents self - adapting fault location warp criterion after evaluating the effect on the calculation of fault location made by the change of transient resistance in the process of bridge switch . in order to make up the shortcoming of location warp criterion , this paper presents a comprehensive scheme into which integrate the second harmonic criterion
本文针对乒乓式保护，结合开关自检方法提出了完整的一点接地保护方案：在两点接地保护方案中估算了开关切换过程中过渡电阻变化对接地点位置计算的影响，提出了故障位置偏差式两点接地的自适应判据，为了弥补该判据的缺陷，提出了结合二次谐波辅助判据的综合方案。