问题求解

First, for state estimation problem of the linear stochastic systems with uncertainties in both the state matrix and the noise matrix, a new satisfactory estimator is constructed with stochastic theory, which can guarantee that estimator error system with bounded perturbed model parameter satisfies the constraint indexes that is given. Thus a sufficient condition of solving satisfactory estimation is obtained; secondly, the algorithm of designing satisfactory estimator is presented by analysis.

首先，根据满意控制思想，针对一类在状态矩阵及噪声矩阵中均含有不确定性的随机系统，设计一种满意估计器，使预测误差系统在模型的参数发生扰动时，依然满足预先给定的设计约束指标，得到了满意估计问题求解的充分条件；然后根据分析给出了满意估计器设计的算法。

The results indicated that the piecewise linear function approach was easy to model nonlinear unit consumptions with a higher accuracy without regressing any parameter, and the related model could be solved quickly for a medium size problem.Meanwhile, the piecewise linear function approach could simultaneously handle nonlinearities of multi raw materials in a unit without adding any new integer variable.

案例结果表明，分段线性函数不需要回归参数，建模简单，精度较高，对于中等规模问题求解时间短，能够同时处理装置的多种原料非线性单耗，而不需要增加新的整数变量，多项式函数则不具有这些优点。

Based on our former work on agent BDI logic, multi-agent cooperation logics and multi-agent cooperative problem solving process modeling, as well as the work of Baral et al. on non-monotonic temporal logics, strong and weak exceptions were introduced to Alternating-time Temporal Logic that was the primogenitor of multi-agent cooperation logics. As a result, non-monotonic alternating-time temporal logic was developed, and its syntax and semantics were proposed.

在前期关于Agent BDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上，借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术，利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑进行拓展，建立非单调交互时态逻辑NATL，给出其语法和语义。

It is an important base of artificial intelligence and now becomes a hot research topic domestically and abroad which includes quotient space theory, rough set theory and fuzzy set theory.

这种处理不同粒度世界的能力，正是人类问题求解的强有力的表现。

Based on the Quotient Space Model for problem solving [Zhang and Zhang 1992] , a new algorithm for assembly sequence generation is presented.

然后，以AI问题求解的商空间模型[张钹和张铃1990]为基础，作者提出了一种新的装配序列规划算法。

Quotient space theory has widespread application in the problem solving domain by its solid theoretical basis and rather perfect mathematical model.

商空间理论以其坚实的理论基础和较为完美的数学模型，在问题求解领域中有着广泛的应用。

Moreover, the complexity of problem solving can be reduced by a long way based on the granularity idea of the quotient space.

并且根据随机商分形模型的粒度思想，可以大大降低问题求解的计算复杂性。

Based on the definition of manufacturing jobs for a product, a model for the shop rec...

本文从产品开发任务定义和分解出发，建立了制造资源重构的数学模型，提出了基于因特网的制造资源重构的机理和方法，同时给出了优化问题求解的启发式算法。

Puts forward a novel method that is called the method of pseudo base point, which is much simpler than the classic methods when used for analyzing composite motion of rigid multi bodies if the convected motion is planar motion and the relative motion is rectilinear motion.

首次提出用伪基点法进行多刚体系平面复合运动的速度和加速度分析，此法对牵连运动为平面运动、相对运动为同平面直线运动的问题求解比经典方法简便得多。

Design is a complex process of problem solving and knowledge refinement.

设计是一个复杂的问题求解和逐步求精的过程。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。