本文对混合拟似变分包含问题提出新的辅助变分不等式，首先证明辅助变分不等式存在唯一解。
This paper presents a new auxiliary variational inequality for solving mixed quasi-variational-like inclusions. First, proved the auxiliary variational inequality has unique solution.
膳食营养品和辅助减肥产品并不像处方药一样要按照非常严格的标准来，因此只要出示有限的有效性安全性证明，就可以出售。
Dietary supplements and weight-loss aids aren't subject to the same rigorous standards as are prescription drugs. Thus, they can be sold with limited proof of effectiveness or safety.
“我们希望证明，中风或者截肢的人将能够控制辅助设备。”孔特雷·拉斯·维达尔说。
"We hope to show that a person with a stroke or an amputee would be able to control an assistive device," Contreras-Vidal says.
然而，A,B和C再也没有被使用到；他们只是辅助性的证明，因为它们被用来建立D，然而一旦D被建立起来后，A,B,C可以被毫无顾虑地忘掉。
However, facts A, B, and C are never used again; they were instrumental to the argument because they allowed one to establish D, but once D is established, A, B, and C can be safely forgotten.
通过对传统的仿形靠模设计和制造缺陷的分析，提出了用计算机辅助设计仿形靠模，实践证明，这是一种行之有效的方法。
Analyzing the traditional defects in the design and making of the profiling mould, this paper puts forward the computer aid mould design, a feasible method demonstrated by actual practice.
在实验教学中引进先进的计算机电子仿真技术，作为普通物理实验教学的一种辅助手段，并以一个具体的实例证明它的可行性和优越性。
The advanced computer simulation is introduced as a kind of auxiliary measure in the general physics experiment teaching, which proves its feasibility and advantage by an instance.
防糖尿病：魔芋中的植物纤维被医学证明有增加血液中胰岛素，降低血糖，对控制、预防和治疗糖尿病有极好的辅助效果。
Prevent diabetes:Konjac plant fiber was medical evidence of increased blood insulin and lower blood glucose control, supporting the prevention and treatment of diabetes has an excellent effect.
本文首先采用不同的几何手段，引进相应的辅助函数，对拉格朗日定理的证明进行了探索。
In this paper, using different geometric means, the introduction of the corresponding auxiliary function of the Lagrange theorem proof explored.
公理的计算机生成、辅助证明和验证这一学科在计算机科学王国中只占有很小的份额。
Computer generated and assisted proofs and verification occupy a small niche in the realm of Computer Science.
经实测频率响应和计算机辅助分析结果证明，辨识模型具有较高的准确度。
The measured frequency and the result of computer aided analysis prove that identification model has high accuracy.
裁判者是否能援用数学证明的方法，在疑难案件中发现或设定一条辅助定理，可旁证法律解释最终能否获得“真的”或普适意义上的客观性。
By citing a mathematical testifying method, the judges can find or establish an auxiliary theorem so as to testify whether legal interpretation can have ultimately the "real" or general objectivity.
实践证明了多媒体计算机辅助教学在教学中运用的必要性。
Practice has proved the necessity of the application of multimedia computer aided technology to teaching.
最后探讨了拉格朗日中值定理证明中辅助函数的构造方法，以此拓展对定理证明的思路。
Finally discusses the Lagrange mean value theorem proof method of constructing auxiliary function in order to expand on the idea of theorem proving.
通过巧妙地构造辅助数列，应用致密性定理、柯西收敛准则来证明闭区间上连续函数的介值性定理。
We proved the intermediate value theorem for continuous function at closed interval by constructing auxiliary sequence ingeniously and applying compact theorem as well as Cauchy convergence criterion.
运用CAE（计算机辅助工程分析），对激光焊接法的热变化过程进行了仿真，结果证明仿真技术是取得高质量焊接的根本…
Thermal behavior during laser welding was simulated with CAE(Computer Aided Engineering), and it was demonstrated that simulation technique was essential to earn high quality of welding.
介绍了计算机辅助全膝置换手术中图像配准方法。通过初步试验，证明该方法切实可行。
This paper introduces the method of image registration in computer assisted surgery of total knee replacement. By preliminary test, proves that the method of image registration is satisfactory.
《独生子女证》可作为辅助证明材料。
The One-child Certificate can be used as an auxiliary evidential material.
本文证明并提出了用辅助线设计曲柄摇杆祝构的新方法。
This paper proved and put forward a new method for the design of crank and rocker mechanism by the use of auxiliary line.
在微分几何定理证明中，一个定理成立的辅助条件(非退化条件)不是惟一的，但越简单越好。
The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.
应用实例证明，该系统能有效地辅助工业设计师进行材质设计。
It is proved the system could assistant the industry designer efficiently.
实验证明该方法简单可行，还可用于计算机辅助设计、计算机图形学等领域。
Experiments demonstrate the method is simple, feasible and also applicable to computer aided design and computer graphics, etc.
事实证明，随着电路规模的增大和功能的增强，采用计算机辅助分析和设计取代传统的手工方法，是实现逻辑电路分析设计的不可缺少的重要手段。
In fact, alongside the growth of circuits scale and function, it is inexorable trend that we replace tradition manual operation by computer assistant electronic circuit analysis and design.
实践证明，本实验系统对辅助教学，提高教学质量具有有益的帮助，值得推广。
The practice proved that this experiment system is helpful to aided teaching and enhancing teaching quality, and it's worthy to popularize.
证明责任具有辅助法官裁判要件事实真伪不明案件，指导当事人参加诉讼，提高司法效益及证成法官裁判正当性的重要功能。
The burden of proof can assist the judge to adjudicate the essential fact, instructs the litigants to participate in the lawsuit, enhance the judicial benefit and prove the rightness of the judgement.
实践证明，该处理方法具有较高的实用价值，可用于作战辅助决策的参考。
Practice shows that the method has favorable practical value, and it may provide reference to combat decision-aid.
推定是证明的一种重要的辅助性方法。
平湖油气田预钻井顺利回接的实践证明，平湖钻井基盘和回接辅助结构技术是非常成功的。
The smooth tie-back of pre-drilled wells proves that Pinghu drilling template and all secondary structures for the tie-back are very successful.
经实验检验证明：本评定可作为一种反馈训练信息与控制训练过程的辅助性检测手段。
It is proven by the experimental inspection that the evaluation method can be used as an auxiliary inspection means for feeding back training information and controlling training process.
经实验检验证明：本评定可作为一种反馈训练信息与控制训练过程的辅助性检测手段。
It is proven by the experimental inspection that the evaluation method can be used as an auxiliary inspection means for feeding back training information and controlling training process.
应用推荐