验证

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

Finally, in order to demonstrating the OBME, we do a series ofexperiments in various pressures. We can prove that OBME reduces through adding suitable deoxidizer to absorb oxygen.

最后为了验证本文提出的"氧气气泡模具效应"，在不同气压下进行了对比验证；又通过添加合适的还原剂将氧气吸收，结果证明"氧气气泡模具效应"随之减弱或者消失。

According to this method, on the basis of ontology, the requirement of dynamic revising service cases and the description of revision operator are presented under the same circumstance, and the capacity of revision operator can be described with two respects of interaction environment and changes. Furthermore, the model of resource states transition graph is presented to realize the transition from the description of the capacity of revision operator to the resource states of revision operator. Finally, a verification method concerning the dynamic revision of service cases is presented to improve the revision and verification automatically.

将动态调整需求和调整运算子的描述统一在它们共同的环境的基础之上；并建立了调整运算子的交互环境本体，在本体的基础上，从调整运算子交互的环境以及调整导致的环境的改变两个方面描述调整运算子的能力；提出调整运算子能力的资源状态变迁图模型，实现了从调整运算子能力描述到调整运算子的资源状态变迁图模型的转换；还较为系统地提出了与基于范例推理服务组合相关的范例动态调整的验证方法，提高了服务范例调整和验证的自动化程度。

According to the demand of high magnetic field power supply, reference is increased with a set ramp rate and stops at a set stable value, so reference system is composed of digital setting and digit to analog converting circuit. But the stability of reference is mostly guaranteed by the performance of D/A circuit, so D/A circuit is particularly studied in reference system. The scheme of D/A circuit, the selection of DAC and its voltage reference, hardware anti-jamming design and PCB design are discussed in detail, and software of remote control and PLC are discussed in brief. Zero-flux DC current transformer well satisfies the demands of the high stability of Load current detection unit, so the principle of zero-flux DC current transformer is analyzed; in the mean time a project which detects the long term stability is designed. During 8 hours, analog signal which is detected with high precision digit multimeter is recorded in computer at 1HZ frequency by GPIB communication. The drift error source and related parameters are explained in the compare-amplify part. Detailed subtraction circuit is designed; also amplifier chip and periphery components are selected and verified according to the theory of error analysis.

根据强磁场电源的需求，参考源应按照软件设定的斜率逐渐上升到设定稳态值，则参考源系统应由数字给定和数模转换电路两大部分组成，而参考源的稳定度主要依靠完成数模转换功能的模拟电路的性能来保证，因此本文对参考源系统的研究以数模转换电路为重点，分别从电路方案的确定、数模转换芯片及其基准电压源的选取和验证、电路板硬件抗干扰和PCB设计几方面进行了论述，然后对数字给定部分的远控组态和PLC程序设计作了简要介绍；采用零磁通原理的直流电流转换器很好地满足了对负载电流检测单元高稳定度的需求，本文详细分析了零磁通检测的原理，并在选定此种类型电流转换器的基础上设计了一套检测长期稳定度的方案，8小时内以1秒为采样周期，通过计算机Labview程序和高精度数字电压表的GPIB通讯，将被高精度数字电压表数字化后的模拟信号采样值连续记录至计算机中；比较放大环节简要阐述了漂移产生的原因和相关参数指标，确定了具体的减法电路形式，并根据误差分析理论对运算放大器和外围元器件进行了选取和验证。

To validate heat treatment requirement of ISPM 15 to disinfestation of Pine wood nematode in wood packaging material,lumber and block made from Masson Pine with different moisture content,which was naturally infested with Pine wood nematode and sawed to 3 kinds of size,was heat treated under the hot air with the temperature rang of 65~85℃ and Relative Humidity of 50%~90% to reach the core temperature of 56℃ and more than 30min duration.

使用温度为65～85℃、相对湿度50%～90%的热空气，对不同规格和含水率的携带松材线虫的马尾松木板进行热处理验证试验，结果显示，当木材中心温度达到56℃并持续30min以上，10cm×10cm×10cm木块、5cm厚度木板以及高含水率10cm厚度木板中线虫死亡几率值达到9的要求，验证了国际植物检疫措施标准第15号所推荐的热处理技术指标对杀灭松材线虫的有效性。

This systematic way of evaluation can also be used as a common platform to verify other dispatching strategy.

这一系统化的验证方法也可以成为验证其他算法性能的通用评价平台。

The test has been verified in independent testing lab studies involving double blind testing and is cross verified by HPLC fingerprint tests using reference materials.

一直在测试验证测试实验室独立研究涉及的交叉双盲试验和测试使用指纹验证的含量参考资料。

ReCAPTCHA is virtually immune by design, since it selects words that have resisted the best text-recognition algorithms available, says John Douceur, a member of a team at Microsoft that has built a CAPTCHA-like system called Asirra.

John Douceur是一个微软研究团队的成员，该团队已经创建了一个类CAPTCHA的验证码系统，叫作Asirra。他说："多重验证系统从设计上来说无懈可击，因为它选择的词汇已经将现有最好的文本识别程序拒之门外。"

Postfix Virtual MailBox ClamSmtp Howto will teach you howto setup a Virtual mailboxes using non-linux accounts where each user will authenticate using their e-mail address with Dovecot POP3/IMAP server and ClamSMTP Antivirus to filter both incoming and out going mails for known viruses.

Postfix 虚拟邮箱和病毒过滤指南将告诉你如何设置通过非linux帐户来验证的虚拟邮箱，它使用e-mail地址及Dovecot POP3/IMAP 服务器执行验证。以及如何使用 ClamSMTP 反病毒软件来过滤接收及发送邮件中的已知病毒。

The concentration of hydrogen ion, voltage on electrobath and the temperature of electrolyte were the main factors affecting hydrogen production from indirect electrolysis of hydrogen sulfide and the voltage on electrolytic cell took a most important part in the process.

该模型在实验测量的范围内，得到了较好的验证；通过理论推导和实验验证，确立了硫化氢间接电解制氢中试阴极反应的主要影响因素为氢离子浓度、槽压和电解液温度，其中槽压的影响最大。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。