可满足的

A combosition of high performance porcelain body material was development for manufacturing solid core post insulators of 500 kV/20 kN and above,α-Al2O3 was introduced for enhancing mechanical strength and alkaline-earth metal components were introduced as flux and "alkaline-restrainer".

为了满足生产550kV/20kN以上棒形产品的要求，对高性能电瓷材料配方进行了研究，在配方中添加α-Al2O3，可提高电瓷材料强度；添加碱土金属元素化合物，可起到强熔剂与"压碱效应"的作用。

After analyzing the structure of sentences,Tarski found that, it was impossible to define the truth of the calculus of classes directly,but making use of the structure character of sentential functions could give us the approach to escape the dilemma:Firstly,we could defined the concept of satisfaction in sentential functions by means of recursive method;Then,we could regard sentences as a peculiar form of sentential functions;Finally,with the help of the concept of satisfaction,we could defined successfully the truth of the calculus of classes.

通过分析语句的结构，塔斯基发现很难直接定义出类演算语言的真概念，而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法：先采用递归方法针对语句函项定义出满足概念，然后把语句作为语句函项的特殊形式，借助于满足概念最终可以得到类演算语言的真概念定义。

Using this model can save a great amount of computing time and fully meet the needs of engineering design.

且建立拟二维电磁场模型可节约大量的分析计算时间，并可完全满足工程设计的需要。

Furthermore, we define a convolution multiplication between characteristic functions of constructible subsets by using push-forward functor from the category of algebraic varieties over C to the category of spaces of constructible functions. We construct geometric model for "intrinsic symmetry" of the octahedral axiom in a triangulated category. Using it, we deduce the multiplication satisfies the Jacobi identity of Lie algebra and then realize infinite dimensional Lie algebras.

进一步，我们使用复代数簇范畴到可构函数空间范畴的pushforward函子，给出了可构集上特征函数的卷积乘法，并构造了三角范畴八面体公理的内蕴对称性的几何模型，最终证明了对于不可分解支撑有界可构集的特征函数，乘法满足李代数定义的Jacobi恒等式，从而给出了无限维李代数的实现。

In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.

度结合为0′。本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题—加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，b∈PC，而且a和b的并a∨b是一个高度。

Custom-made capacity: In order to meet the customer demand,if our standard equipment can't satis for customers' working need,we can adjust the cap quantity,power,spotliht or floodlight,raising eight of the flex pole and generating set according to you request.

为您定做：为满足客户个性化的需求，本产品的标准配置不能满足用户的工作需要，我公司可在控制箱上的灯头数量、功率、泛光或聚光、伸缩气杆升起高度及发电机的装备按您的要求作调整。

Based on photo ionization principle,a gas sensor for hydrazine is designed to meet aerospace industry.

为满足航天工程的需求，根据光离子化原理，设计了一种响应快、精度高(1O )、便携、可连续测试的肼类监测传感器，可用于现场检测有机蒸气和气体。

Adopting generalized Jordan block and algebra equivalence transform method, all of the transfer functions at different load points can be transformed to state-space description with time variable. The steady robustness of three different mode of control systems were researched by mathematic analysis. It shows that: for the high order inertia controlled object with the characteristic of nonlinear and time-variable that described by the set of transfer functions, the Luenberger function observer established according to its any algebra equivalence state-space description, if some conditions can be met, there would be a matrix of T with n′n satisfied the Sylvester matrix equation TA- FT=GC.

采用广义约当块及代数等价变换方法，可将分段的传递函数描述转换为变参数的状态空间描述，对3种典型控制系统的稳定鲁棒性所进行的理论研究表明，对同一组传递函数描述的具有非线性和时变特性的高阶惯性受控对象，依据其任一代数等价的状态空间描述所构建的Luenberger函数观测器，在满足一定的条件时，存在n′n解阵T满足Sylvester矩阵方程TA- FT=GC。

The optical disk storage signal processor and controller is implemented with satisfactory specifications as the same kind of system in the market.

该信号处理系统可用于满足X3B11标准的光盘机的调制解调、编码纠错及驱动器控制，满足国家&七·五&计划光盘机对本板的各项指标要求，和国外同类系统相比，具有一定的特色，功能较强且在调制与纠错方案设计上有一定特色。

Liquor production techniques and liquor taste was believed as the creature of the age.Accordingly,traditional liquor flavor type classification theory was out-of-date because its use would inhibit further development of liquor-making industry.Liquor produced by the integrated production techniques of two kinds of liq...

综合两种香型酒的生产工艺可生产出兼有两种香型特征的酒，或用两种香型的基础酒勾兑出兼有两种香型特征的酒，可丰富白酒品种，满足时代消费需求，尤其可克服新工艺白酒同质化的问题。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。