对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
通过工程实例对它在建筑地基中防空洞的评价和处理上的应用进行了探讨，取得了良好的效果。
By engineering examples, it discusses the application of the assessment and treatment of the theory to the air-raid shelter in the construction foundation soil. Good results are obtained.
通过一工程实例中悬挑梁的正截面配筋计算，对钢筋混凝土悬挑梁正截面超筋的概念进行了分析和探讨。
Through a calculation of the strength of normal section of extra-reinforced cantilever beam for an actual project, the conception of normal section of extra-reinforced cantilever beam is analyzed.
通过建立斜拉桥优化模型，运用结构分析方法，结合优化算法计算实例，对大跨度斜拉桥的动力优化设计进行了初步的探讨和研究。
Through building optimum model of truss Bridges, utilizing structural analysis methods and combining examples of optimum algorithms, the dynamic design of wide span truss Bridges is discussed.
通过施工实例，对软土基抗围护中喷锚网支护的机理模型及施工技术进行探讨，并介绍实际技术处理措施及效果。
Based on the actual construction practice, the mechanism model and construction technique of ejector anchor retaining and protecting for soft foundation pit.
对污水处理厂实现夜间无人化管理进行了探讨，并通过实例提出了实现这种管理所需条件，指出了这种管理模式的可行性。
The article discussed the automatic operation and management at night in waste water plant. With examples, the article pointed out the condition and the feasibility of this pattern.
本文介绍了一个通过监督检测及时发现工程隐患的实例，并对如何开展监督检测及事故处理的程序进行了探讨。
This paper introduces a successful case of revealing a hidden structure danger by supervision inspection, and discusses the proper sequence of supervision and accident treatment.
本文通过实例对纤维艺术与纤维材料、纺织品及纺织品设计之间的密切关系进行探讨，指出纺织品设计与纤维艺术创作可互为借鉴。
Fibre arts have a close relation with fibre, textile design, The relation can be used for textile design and fibre arts by inquiring into some examples in this paper.
通过实例说明开卷落料排样的重要性和排样方法，并对一些具体技术问题进行了探讨，希望与同行共勉。
Pass practice elucidation that blanking's importance with layout's method, proceeded the study to the some concrete technique problem, the hope study with everybody together.
通过实例，对模拟电子技术教学中应用等效电路变换的教学方法进行了探讨。
In this paper, using the equivalent circuit's conversion, the teaching method of analog electric technology is discussed through the examples.
本文通过工程实例，对低压燃气供应工程设计中阻力取值方法进行了分析探讨，提出了取值公式，使原有的方法更为完善、准确、全面。
Analysis is done for sampling methods for resistance of low pressure gas pipeline through practical cases. Sampling formula is raised to make the previous method more complete and accurate.
通过实例并结合《企业会计制度》、《企业会计准则——存货》对委托代销商品的会计核算进行了探讨，有一定的参考价值。
Through actual examples and connecting with and , this paper probes into the accounting calculation of goods in consignment sale, which has certain reference value.
对导管螺旋桨进行优化设计的分析与探讨，建立优化数学模型，通过实例说明其可行性。
It's analyzed and inquired into optimality design of duck propeller. Mathematical models are set up. It shows it's practicable through example.
笔者将数学规划理论与计算机程序设计方法相结合，通过实例对多股螺旋弹簧的计算机辅助优化设计进行了初步探讨。
The disquisition pilot study about the computer assisted optimization design of a screw spring of many radices using math layout theory conjoint to computer programmer method with a exemplity.
本文通过实例对高职会计专业如何应用项目教学法及方法实施的具体过程进行了探讨。
In this paper, examples of how to apply the accounting profession, Project-based teaching and methods of implementation of the project specific process are discussed.
该文通过CET4级实例对多选题及其干扰模式进行讨论，探讨其设计原理，以提高多选题的信度。
This paper discusses the MCQ and distraction model in CET4 test and gives some suggestions to raise the reliability of MCQ.
通过工程实例，对砖混住宅挑梁下的局部墙垛的强度计算方法进行了探讨。
Through the project example, the strength calculation method for local wall pier under the cantilever beam of a brick-residence was discussed.
通过工程实例对锚杆工作性能和施工工艺进行了探讨。
Through practical engineering projects, the work performance of soil anchor and technique of construction are discussed.
通过综合不同类型连杆的疲劳破坏实例对疲劳破坏部位和断裂失效原因进行探讨，对连杆的设计和避免疲劳断裂失效具有一定的指导作用。
Synthesizing the cases of different types of fatigue, the article explores the locations and causes of failure which is useful for designing connecting rods and avoiding fatigue failure.
根据CALIS利用CNMARC著录格式的特点，通过实例，对CNMARC200字段的题名规范著录及相关字段检索点的选取进行探讨。
This paper discusses the standard cataloguing in CNMARC200 field and the selection of the related field access points by example, according to the characteristics of CALIS using the CNMARC.
通过工程实例对造纸废水处理的ASL技术进行了介绍，并对有关问题进行了探讨。
After an introduction to ASL technology for a case project, some relevant problems are discussed.
本文从中西方文化差异的角度出发，通过对商标翻译实例的分析，概述商标翻译的原则，介绍了几种常用的商标翻译法，并就其中存在的一些问题进行了探讨。
This thesis makes analysis of trademark translation based on the cultural difference, summarizes the translation principles and translation methods, and also makes research on some problems.
最后，通过以上建筑实例的分析和解读，继而对“新中国风建筑”这一概念进行理论性的研究总结，并对其出现的价值和意义作深入探讨。
Finally, from what has been discussed above, then we sum up the theory research about "New Chinese-style architecture", and discuss in-depth its value and significance.
通过对实例的研究，对影响创意产业园类型选择和布局的三个因素进行分析，并探讨三者之间的关系。
Through the research of case studies, the dissertation analyzes the influencing factors mentioned in Chapter II and discusses their relations.
本文通过分析太阳能热水系统的组成与分类，并结合实例对太阳能热水系统的设计进行探讨。
In this paper, through the analysis of the composition and the classification of solar hot water system, and combined with the design of the solar hot water system case study.
本论文通过文献查阅、实地考察、比较分析、实例分析、总结归纳等方法，对城市湿地公园的保护与游憩开发规划进行了研究和探讨。
So in the planning of urban wetland park, the conservation and recreation development plan is the important prerequisite of effective protection and rational development of wetlands.
本论文通过文献查阅、实地考察、比较分析、实例分析、总结归纳等方法，对城市湿地公园的保护与游憩开发规划进行了研究和探讨。
So in the planning of urban wetland park, the conservation and recreation development plan is the important prerequisite of effective protection and rational development of wetlands.
应用推荐