本文主要对该热风炉进行热工验证计算。
This paper focuses on checking computation of thermotechnology in this stove.
文中首先通过验证计算，检验程序的可行性。
Firstly by validation and calculation, feasibility of the programme is verified.
采用三种地震波，对工程实例进行验证计算分析。
We make programs and make calculation and verification of the practical project.
比较不同的桩侧土体疲劳计算模式的分析结果，并用工程实测数据验证计算值。
Several soil fatigue models are introduced into the program and the results have been compared with the observed data.
通过工程实例的分析计算，验证计算模型的合理性，并分析了各因素与桩土应力比的关系。
The model is verified through practical projects, and the relationships of the pile-soil stress ratios with correlative influence factors are analyzed.
通过分析提出了解决这些问题的方法，并对解决后两问题而必须进行的设计验证计算作了较详细的介绍。
Design verifications by calculation necessary to be carried out to overcome the later two problems are introduced in detail.
编制了求解时间相关二维中子输运问题的并行计算程序，并在YH - 1计算机上进行过许多验证计算。
The parallel computer programs to solve time-dependent two dimensional neutron transport problem were drawn up, and many test calculations were completed by using the YH-1 type electronic computer.
为验证计算分析的准确性，进行了相应的地震振动台试验，各主要技术指标和关键点性能要求均与计算相一致。
To verify the accuracy of calculation and analysis, shaking table test was done. The main technical indicators and performance requirements of the key points were consistent with the calculation.
推导了一种自旋固体火箭的流体动力学模型，并通过实例对模型进行了验证计算，计算结果与实际情况基本吻合。
The paper deduced the Fluid dynamics model of Spinning solid propellant rockets, and validated the Fluid dynamics model by analyzing the examples, the result accord with the actual status.
通过对分汊通道内的流动问题进行验证计算，结果表明该算法可以有效而准确地模拟复杂区域内的流动与换热问题。
It is proved that this algorithm can be effectively used to simulate fluid flow and heat transfer in complex geometry, by the validation calculation of flow inside branching channel.
根据燃气轮机透平叶片冷却的实际情况，引入并完善叶片冷却的计算模型，并采用文献报道的数据验证计算模型的正确性。
Based on the gas turbine blade's practical cooling condition, a blade cooling computation model is introduced and perfected, and its validity is verified using reported data.
建立模拟烘缸缸体与缸盖法兰间相互接触状况的有限元计算模型，并用1500烘缸的应力实测结果验证计算模型的正确性。
The finite element mould is set up to stimulate the contact condition between the flange of shell and the cover of dryer which proved to be correct by the result of stress measurement of1500dryer.
当更小的孩子学习计算机科学时，他们知道它不仅仅是一串令人困惑的、无穷无尽的字母和数字，而是一种构建应用程序、创作艺术品或验证假设的工具。
When younger kids learn computer science, they learn that it's not just a confusing, endless string of letters and numbers—but a tool to build apps, or create artwork, or test hypotheses.
对于页面上的每一个计算总计，都记录一个验证点，以确保正确的计算。
For each calculated total on the page a verification point is recorded to ensure correct calculations.
它提供了标准化的方式用于执行各种任务，如表单验证、计算和条件输出。
It provides a standardized way to perform tasks like form validation, calculations, and conditional output.
还有一个验证方法，就是发出以下查询，计算符合条件的行的实际值。
Another way to validate this is to issue a query as below to count the real value of the qualified rows.
动态功能从具有动态计算、验证及其他特性的交互式、可编辑的表单，到服务器生成的、机器填充的表单等各不相同。
Dynamic interactions. The dynamic features vary from interactive, human edited forms with dynamic calculations, validations, and other events to server-generated, machine-filled forms.
注意，检查限制计算是否验证了XML文档，它并不执行实际的验证。
Note that the check constraint evaluates whether the XML document is validated or not. It does not perform the actual validation.
为了对这个响应进行计算，验证方会把针对U - Prove令牌的私钥应用于校验方的表现请求。
To compute this response the Prover applies the private key for the U-Prove token to a presentation challenge of the Verifier.
他以自然语言处理和语法检查为例说明了概率方法可能更合适于验证工作，并且在计算花销上也更小。
He USES the example of natural language processing and grammar checking to show that probabilistic approach may work a lot better and be computationally cheaper.
在进行了涉及各种分布式计算框架的概念验证之后，Terracotta被认为是最有可能满足MRS需求的框架。
After an initial proof-of-concept involving various distributed computing frameworks, Terracotta was deemed to be the framework most likely to give MRS the grunt it needed.
这会在服务器上对计算机的帐户进行身份验证（将计算机添加到常规Windows 服务器域的域管理员可进行相同的操作，但将使用域管理员帐户）。
This authenticates the machine's account on the server (domain administrators adding machines to regular Windows server domains do the same thing, but with the domain Administrator account).
例如，如果一个测试人员手工地验证具体图像所对应的具体文本，那么他可以安排计算机来验证应用程序中对应图像副本的同样的文本。
For example, if a tester manually validates a particular text for a particular image, then he can program a machine to validate the same text for copies of the image throughout the application.
相反，模型可以动态地计算出为了进行验证而记录的信息。
Conversely, the model might dynamically compute information that is recorded for validation purposes.
书面贷款申请首先转到数据验证员，验证员在遗留计算机系统中查找客户信息，并将这些信息与书面申请中的内容相比较。
A paper loan application first goes to a data validator who looks up the customer information in a legacy computer system, and compares it to what is on the paper application.
其它国家的签证印章可以通过入境处计算机上的记录进行验证。
Visa stamps from other countries can be verified against records in their immigration computers.
要记住的一点是相信计算机安全一定能通过计算的方法验证。
One point to remember is that trust in computer security must be computationally verifiable.
这些模块提供额外的身份验证规则，保护对计算机的访问。
These modules provide extra authentication rules to harden access to your machine.
为了验证他们的理论，两位研究人员在计算机上模拟了此次碰撞。
To test their theory, the two researchers simulated such a collision on a computer.
为了验证他们的理论，两位研究人员在计算机上模拟了此次碰撞。
To test their theory, the two researchers simulated such a collision on a computer.
应用推荐