验证理论

Possible interaction effects of individual learning style and instructor-students interactive modes on learning effect were also examined. This study used the Kolb's learning styles inventory to classify learners into four groups including Accommodator, Diverger, Assimilator and Converger respectively.

本研究透过实地实验的方式来验证，学习风格依据Kolb学习风格型态理论为基础所定义的学习风格分为「发散者」、「调适者」、「聚敛者」、「同化者」等四种类型的学习者；师生即时传讯则采「即时传讯互动」与「无即时传讯互动」两种方式来进行程式设计课程内容，以验证即时传讯互动方式应用在程式设计课程上是否真有其实质效果，并以学习绩效、认知学习、学习兴趣、认知技能发展与教学设计满意等五个构面来衡量学习成效。

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

In addition, the algorithm is validated in theory and practice. The result shows that the algorithm is right and effective.

并从理论与实践两个方面对该算法进行了验证，验证的结果显示：该算法是正确并行之有效的。

The strategy and controller are coming from combined analysis of combustion mechanism, generation mechanism of pollutants, influential elements, present application status of PID control method in combustion, as well as sum-up of controlling experience and contradistinctive researches of control strategies. It is shown that this method, when applied to furnace temperature controlling and activated-sludge process, is able to ensure controlling objects tracking in the presence of varying operation conditions, as verified via computer simulation. The thesis consists of chapters as following: Chapter 1 generalizes the research objective and brings forward the inferior theme; generation mechanisms of pollutants

本论文由以下章节组成：第1章对研究课题作了综述，提出了研究的子课题；第2章分析探讨污染物生成机理及二次污染物产生的条件，研究了控制污染的工程控制策略；第3章分析研究了仿人智能控制基本理论及其优越性；第4章通过仿真实验验证了仿人智能控制算法在炉膛温度控制中的有效性；第5章分析研究了有效防止二次污染的烟气处理方法；第6章通过仿真实验验证了仿人智能控制算法在废水生化处理中的可靠性和有效性；第7章总结了全文研究工作并对今后的工作作了展望。

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通讯，将被高精度数字电压表数字化后的模拟信号采样值连续记录至计算机中；比较放大环节简要阐述了漂移产生的原因和相关参数指标，确定了具体的减法电路形式，并根据误差分析理论对运算放大器和外围元器件进行了选取和验证。

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.

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

The expression of angle error is more concise. The accumulation of calculation error is reduced. The virtual prototype technology is used to validate the degree of influence.

并利用基于ADAMS的虚拟样机技术对曲柄摇杆机构中B铰链存在的4种单因素误差产生的影响度进行了实验验证，由实验结果分析验证了理论分析的正确性。

Ballistic performance s simulative emulation and validation test of a certain projectile shows that the structure of projectile is fit for the needs of exterior ballistic stability,the data jumpiness of dispersion is within the range of normal,the resistance curve s rebounding phenomena is independent of the str.

用外弹道相似性理论和模拟验证试验进行外弹道优化验证是分析研究中大口径炮弹外弹道特性的有效方法之一。

Because the implanted hash function of HMAC is implemented as an individual function block, this block could be replaced easily according to the security request. The high capability of withstanding attacks of HMAC-ECDSA algorithm is proved by using modular arithmetic.

从密码学理论分析，HMAC可以使用密钥且HMAC算法的验证只在当时有效；在程序设计中实现HMAC时，可以将嵌入的哈希算法作为一个独立的模块，根据安全强度的需求替换哈希算法模块；在对攻击高抵抗性的证明中，利用模运算对HMAC-ECDSA算法的安全强度进行了验证。

In accordance with these questions, one kind of method solving these issues was put forward in this text, and namely adopting mathematics to build the method of pattern, by w-ay of studying the big needle drum system of PASSIM's cigarette machine, to use the mathematical model of big needle drum system of " black box " method establishment, and uses whole parameter and the correlation coefficient to map out the big needle drum system mathematical model of least square method, the question time lapse that what in accordance with the system exists pure adopts Smith compensator to estimate the compensator in advance solving the issue of system lag, and uses whole fixed method of frequency conversion control engineering and PLC's control engineering and PID etc to put into effect transforming to the system, and finally by way of theory verify and reality to verify to prove the success of system transformation.

针对这些问题，本文提出了一种解决这些问题的办法，即采用数学建模的方法，通过研究PASSIM卷烟机大针鼓系统，利用"黑匣子"方法建立大针鼓系统的数学模型，并运用最小二乘法整定出大针鼓系统数学模型的参数及相关系数，针对系统存在的纯时滞问题，采用史密斯预估计补偿器来解决系统滞后的问题，并利用变频控制技术和PLC控制技术、PID参数整定方法等对系统实施改造，最后通过理论验证和实际验证证明了系统改造的成功。

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

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

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

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