查询词典 constraints

Polymorphic type system with constraints in Garment is studied in this paper including type checking algorithm. It is proved that the satisfiability of constraints in the algorithm is decidable.

本文在Garment中引入了约束多态类型，研究了Garment中带约束的多态类型系统，给出了类型检查算法，证明了此算法中约束的可满足性是可判定的。

And the frontal technique is adapted to solve the FE equations. The techniques are studied to deal with the large slip frictional contactproblems between a deflectable body with large deformation and a rigid bodywith flat or curved surface. A new algorithm is presented to resolve such contactproblems, including incremental displacement constraints and force constraints,and the modules are programmed. The performances of tire under static load invertical loading state and camber state are analyzed by this method. And theexperiments were carried out at the same condition as used in analysis process.

研究了大变形柔性体与具有平面及曲面外形刚性体之间的大滑动摩擦接触问题，提出了求解这类接触问题的位移增量约束和主动力增量约束处理方法；编制了大变形柔性体与具有平面及曲面外形刚性体之间的大滑动摩擦接触问题求解模块；利用本文提出的大滑移接触问题处理方法，分析了轮胎在径向静载和静态外倾加载条件下受力和变形，并对部分分析结果进行了试验验证，验证结果表明，本文提出的位移增量约束和主动力增量约束处理接触问题的方法是正确可靠的，而且具有精度高、收敛性好、收敛速度快的优点。

Having thought of deontological constraints as sui generis, they not only usually fail to justify such constraints, but also lack adequate resources to resolve moral conflicts.

他们将道义约束看成一个特殊领域，却不单通常没有论证这些道义约束的正当性，而且也缺乏恰当的方法来解决道德冲突。

Three factors (the total rate of win, the difficulty and the benefits execratory of winning a big prize) which influence the attraction to buyers are considered, and attraction function to evaluate the scheme's rationality is structured using classification weighting method. 3 Buyers'psychological curve is introduced and a model to describe the attraction of a scheme to buyers is built. Based on this, a model to find better lottery scheme is structured considering various constraints, and an optimal scheme is obtained under given constraints using paragraph division method. 4 Several plans for development of our future lottery are proposed by referring to the successful experience of overseas.

主要工作如下： 1对彩票概况以及彩票业的发展史和趋势进行简单介绍； 2综合考虑总中奖概率、高项奖中奖概率以及中大奖的期望收益等影响彩民吸引力的因素，采用分类加权法构造吸引度函数来评价方案的合理性； 3引入彩民心理曲线建立模型来描述方案对彩民的吸引力；在此基础上考虑各种约束条件，建立寻求更优彩票发行方案的模型，并采用分段遍历搜索方法求出给定约束下的最优方案； 4借鉴国外成功经验，对未来我国彩票业的发展提出几点设想。

The strong time constraints are the time constraints when the delay time of Control Data Flow Graphis not satisfied.

强时间约束是指控制数据流图CDFG的延迟时间无法满足的时间约束。

Equality constraints consist of three different load operation conditions-light,normal and heavy,so do unequality constraints.

在约束条件中，考虑了几种不同负荷的运行方式。

It analysises six constraints which influence the development of production and twelve subfactors velated to six constraints,and,in three hierarchical level,using Analytical Hierarchy process,it calculates these on a DJS-130 computer,obtains weights to the general goal.

首先，根据问题的性质和要达到的总目标，将问题分解成为不同的元素，按元素间的关系，建立层次结构；在每一层次中，按某一准则进行判断和比较，形成判断矩阵，通过计算矩阵的特征值，得出该元素对于准则的权重。

The NPMOGA algorithm based on non-penalty parameter constraints solving method is composed of the niched Pareto genetic algorithm and non-penalty parameter constraints solving method.

基于无罚系数约束处理方法的NPMOGA算法，由基于Pareto竞争和等价类共享的小生境Pareto遗传算法和无罚系数的约束处理方法组成。

Finally, a simplified method is also presented to solve the constraints system problem. This method can simplify the liner constraints inequality group effectively.

论文最后还提出了一种线性约束系统的简化求解算法，可以使线性约束不等式组的求解简单化。

Through the definition of behavioral synthesis meaning of AFTER clauses, the enhanced ASAP and ALAP algorithm under AFTER clause delay time constraints is presented. The scheduling model under AFTER clause delay time constraints is also presented. The scheduling model is resolved by ILP.

通过对其行为综合语义的定义，给出了在AFTER子句时延约束下的ASAP和ALAP算法，建立了AFTER子句时延约束下的调度模型，并采用整数线性规划法求解调度模型。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48