查询词典 constructive existence proof

Offset printing proof was taken as simulated proof to create standard ICC profiles,derive the color gamut mapping between printing system and digital proof system,and feedback to the digital proof system for correction. Gamut matching and verification was carried out over again to ensure the consistency between printing and digital proof.

以胶印印刷样张为仿真打样对象，建立标准ICC Profile文件，推导了印刷系统与数码打样系统之间的色域映射关系，并反馈到数码打样系统中进行修正，重新进行色域匹配和二次验证，确保了印刷样张与数码样张的一致性。

The sixteen plants are firstly divided into six types according to evaluation grades and subject function statistical method:the first type is Cajanus cajan and Crotalaria mucronata,the best adaptability ,which can be used pioneer plant or constructive species; the second type is Cynodon dactylon,the better adaptability, which can be used constructive species ;the third type is Eragrostis curvula, Paspalam notatum,which can be used constructive species on rotten rock slope ; the forth type is kummerowia striata,Lotus corniculatus and Vitex negundo.The adaptability is centered,and can be used protection species and auxiliary species;the fifth type is Robinia pseudoacacia,Eremochloa ophiuroides,Vitex negundo,Lespedeza formosa,Leucaena leucocephala,Desmodium sequax, Rhus chinne- nsis,which can't be plant singly and be used accessory species;the sixth is Trifolium repens,which can be used pioneer plant.

根据评价边坡防护植物适应性的十个重要指标，首次运用隶属函数和聚类分析方法，对各供试植物的边坡适应性综合排序并分为六类：第一类为木豆和猪屎豆，边坡适应性最强，适宜作为先锋植物和建群种；第二类为狗牙根，边坡适应性强，适宜与豆科植物混播，作为建群种；第三类为弯叶画眉草和百喜草，边坡适应性较强，适宜与豆科植物混播，作为风化岩边坡的建群种；第四类为鸡眼草、百脉根和马棘，边坡适应性中等，适宜作为保护种与伴生种；第五类为刺槐、假俭草、荆条、美丽胡枝子、银合欢、波叶山蚂蝗和盐肤木，边坡适应性较差，不宜单独在边坡上种植，最好与速生型豆科草本混播，作为边坡防护植物群落的辅助植物；第六类为白三叶，边坡适应性最差，但因其出苗率高、生长速度快，作为先锋植物，起到前期覆盖坡面的作用。

In the wake of the above the classification, Rosenberge raised the principle for distribution of burden of proof: person who is in view of right existence is obligated to take the burden of proof according to the legal requirement for the right occurring; person who deny right existence is obligated to take the burden of proof according to the legal requirement for right obstacle, right nullification or right obviation.

在进行了上述法律规范分类后，罗森伯格提出的分配证明责任的原则是：主张权利存在的人，应就权利发生的法律要件事实负证明责任；否认权利存在的人，应对存在权利障碍要件，权利消灭要件或权利排除要件事实负证明责任。

The insiders consist of traditional insiders, constructive insiders, tippers, tippees and misappropriators. The inside information must be unpublished and sensitive to securities' prices. The formulas of counting the damages are proposed. The doctrine of liability fixation should adopt the principle of constructive wrongs. The securities law should directly construct the causality, which relieves the average investors' burdens of proof in order to protect their benefit.

本文提出应将内幕交易主体区分为传统内幕人、推定内幕人、泄露信息者、接受信息者、盗用消息者等几类，并分别予以阐述；内幕信息则需具有两个最重要的条件——非公开及价格敏感性；在损害事实的确定问题上，提出了计算受害方的损失数额的公式，并指出以内幕交易者的全部非法所得为限进行民事赔偿比较公平合理；鉴于受害者无法确知内幕交易者的主观心理状态，在归责原则上宜采过错推定原则；在因果关系的证明上，从保护受害者的角度出发，应采美国做法，立法直接推定因果关系存在，明确规定受害者有损害求偿权，而毋需承担因果关系的举证责任。

Moral existence and knowledge existence under the social sectionalism cannot explain the teachers' subject existence while life existence is the base of teachers' subject existence.

"社会本位论"下的道德存在和知识存在无法完整诠释教师的主体存在，生命存在是教师主体存在的根基。

In this project, we study the theory of higher order differential equations in Banach spaces and related topics. We solve an open problem put forward by two American Mathematicians and two Italian Mathematicians concerning wave equations with generalized Weztzell boundary conditions, introduce an existence family of operators from a Banach space $Y$ to $X$ for the Cauchy problem for higher order differential equations in a Banach space $X$, establish a sufficient and necessary condition ensuring $ACP_n$ possesses an exponentially bounded existence family, as well as some basic results in a quite general setting about the existence and continuous dependence on initial data of the solutions of $ACP_n$ and $IACP_n$. We set up quite a few multiplicative and additive perturbation theorems for existence families governing a wide class of higher order differential equations, regularized cosine operator families, regularized semigroups, and solution operators of Volterra integral equations, obtain classical and strict solutions having optimal regularity for the inhomogeneous nonautonomous heat equations with generalized Wentzell boundary conditions, gain novel existence and uniqueness theorems,which extend essentially the existing results, for mild and classical solutions of nonlocal Cauchy problems for semilinear evolution equations, present a new theorem with regard to the boundary feedback stabilization of a hybrid system composed of a viscoelastic thin plate with one part of its edge clamped and the rest-free part attached to a visocelastic rigid body. Also we obtain many other research results.

在本研究中，我们对Banach空间中的高阶算子微分方程的理论以及相关理论进行了深入研究，解决了由美国和意大利的四位数学家联合提出的一个关于广义Wentzell边界条件下的波动方程适定性的公开问题，恰当地定义了Banach空间中的高阶算子微分方程Cauchy问题的算子存在族及唯一族，建立了齐次和非齐次高阶算子微分方程Cauchy问题适定性的判别定理，获得了关于高阶退化算子微分方程的算子存在族、正则余弦算子族、正则算子半群、Volterra积分方程解算子族的乘积扰动和混合扰动定理，得到了关于以依赖于时间的二阶微分算子为系数的一大类非自治热方程非齐次情形下的时变广义Wentzell动力边值问题的古典解、严格解的最大正则性结果，获得了半线性发展方程非局部Cauchy问题广义解和经典解存在唯一的判别条件，从实质上推广了现有的相关结果；得到了一部分边缘固定而另一部分附在一粘弹性刚体上的薄板构成的混合粘弹性系统的边界反馈稳定化的新稳定化定理，还建立了一系列其他研究结果。

The results show that when the test portion weight of the proof gold and samples is reduced to 160.00~200.00mg, there has no influence on the result of gold content. Respectively using magnesium oxide and bone ash cupels, the result deviation of gold content in the samples is within the allowable deviation of the national standards. The result of gold content in samples is much more closed to the theoretical value by adding proper copper in the proof gold. The additive amount of silver (2.5 to 2.7 times equal to the weight of the proof gold) in the proof gold and samples has no influence on the result of gold content.

结果表明，当标准Au与样品的称样量降为160.00~200.00mg时不影响其含Au量的分析结果；分别使用镁砂灰皿和骨灰灰皿，样品含Au量的分析结果与理论含Au量的偏差均在国家标准的允差范围内；标准Au中加入适量的Cu后测得样品的含Au量更接近于其理论含Au量；标准Au与样品中Ag的加入量（2.5~2.7倍Au质量）对样品含Au量分析结果的影响不大。

Consequently, the power of free proof of evidence in rule-of-law nations was vested in judicial judges, in order to ensure the proof of facts in a right way in cases, which is called free proof and highly valued in countries of the Continental Law System as "foundations of findings of fact without prejudice, Magna Charta of principles of proof of evidence, and non -convertible choice of evidence system in its evolution".

因此，近代以来，法治国家为了保证具体案件中事实认定的正确，纷纷赋予事实审理者自由判断证据和自主认定事实的权力，由此在诉讼中确立了自由心证制度。在大陆法系国家，这一制度被广泛地誉为"无偏见的事实认定的基石、证据判断原则的大宪章、证据制度进化过程中的不可逆转的选择"。

Whence, the homomorphism proof system from formulas in MU(1) is complete, and this proof system and the tree resolution proof system can be transformed mutually in polynomial time on the size of proof.

从而，由 MU(1)中的公式构成的同态证明系统是完备的，并且由 MU(1)中的公式构成的同态证明系统与树消解证明系统之间是多项式等价的。

GeIL explosion-proof board has advantages:(1) Explosion-proof;(2) light;(3) Fire: GeIL proof plate firewall with 4-6 hours fire resistance to meet explosion-proof wall of fire requirements.

金邦防爆板具有优点：（1）防爆；（2）轻质；（3）防火：金邦防爆板防火墙具备4-6小时耐火极限，可满足防爆墙体的防火要求。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。