可满足的

The study indicated that current and displacement stiffness are constant in the range of allowable engineering error. There is a linear range to the magnetic force. The simplified linear model meets the requirement of controller design. The more precise control precision is, the smaller linear range is.

研究表明，在工程误差允许范围内，位移刚度和电流刚度可视为定值，即此时电磁力方程在应用上存在较大的线性区间，因此简化的线性化模型完全可满足控制器设计的需要，且线性区间随着控制精度提高而减小。

The results of calculation and preliminary experiments show that the quasi-collimating light with the low diffuse angle and small chromatism can be obtained when the parameters are chosen appreciatively.

实验结果表明，选择合适的参数，可获得发散角小于±10°的近准直光，该种准直器可满足扩展液晶显示器视角对准直背光源的需求。

Then the satisfiability of DTITL is equivalently transformed to the same problem for SFO. Since the decidability of SFO can be transformed to the satisfiability of the propositional interval temporal logic, so SFO is decidable.

利用多个命题变量等价表示有界整数，把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题。

According to if there exists a one to one mapping between the two point sets to be matched, PPM can be divided into the case of complete matching and the case of incomplete matching. According to transformation type between the two point sets, PPM can be divided into the affine (including Euclidean and similarity) case and the projective case.

点模式匹配问题，根据待匹配的两个点模式是否存在一一对应的匹配关系，可分为完全匹配情形和不完全匹配情形；根据两个点模式之间满足的几何变换关系，可分为仿射变换（包括相似变换和欧氏变换）情形和射影变换情形。

To continue） If you look around at the men and women whom you can call happy, you will see that they all have certain things in common The most important of these things is an activity which at most gradually builds up something that you are glad to see coming into existence Women who take an instinctive pleasure in their children can get this kind of satisfaction out of bringing up a family Artists and authors and men of science get happiness in this way if their own work seems good to them But there are many humbler forms of the same kind of pleasure Many men who spend their working life in the city devote their weekends to voluntary and unremunerated toil in their gardens, and when the spring comes, they experience all the joys of having created beauty

只要你观察一下周围那些你可称之为幸福的男男女女，就会看出他们都有某些共同之处。在这些共同之处中有一点是最重要的：那就是活动本身，它在大多数情况下本身就很有趣，而且可逐渐的使你的愿望得以实现。生性喜爱孩子的妇女，能够从抚养子女中得到这种满足。艺术家、作家和科学家如果对自己的工作感到满意，也能以同样的方式得到快乐。不过，还有很多是较低层次的快乐。许多在城里工作的人到了周末自愿地在自家的庭院里做无偿的劳动，春天来时，他们就可尽情享受自己创造的美景带来的快乐。

Based on this model, a framework of description logic-ALCA is given, and the conclusion that ALCA is deterministic is proved, and the algorithm of deterministic is given.

基于此模型，提出描述逻辑ALCA框架，用以描述结合目标任务的多Agent组织，证明了ALCA是可判定的，给出一个ALCA的可满足性判定算法。

Keywords: description logic;ALCA;organization of agent

基于此模型，提出描述逻辑ALCA框架，用以描述结合目标任务的多Agent组织，证明了ALCA是可判定的，给出一个ALCA的可满足性判定算法？

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中带约束的多态类型系统，给出了类型检查算法，证明了此算法中约束的可满足性是可判定的。

It is implemented by adding power adjustment ark on electrical heater which makes power is adjustable,and connecting electrical heater and steam heater in series which can save power and meet production requirements.

介绍对铅冶炼生产中制氧装置纯化系统进行的技术改造，电加热器增设调功柜，使其功率可调，采用电加热器与蒸汽加热器串联的方式，既节省电能，又可满足生产要求。

The simulation result indicates that our system can meet the demand of localization ATS system.

研究并实现了基于多Agent的ATS可视化仿真系统，该系统可以对列车运行状态进行监视和适当调整，仿真效果表明，该系统可满足ATS系统国产化的需求。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失