查询词典 set of inequalities

The delay-dependent state feedback solution is presented in terms of a set of linear matrix inequalities.

采用Lyapunov-Krasovskii稳定性分析方法，给出了区间时滞依赖系统的状态反馈设计稳定解。

The design problem of the guaranteed cost controller can be turned into the solvabable problem of a set of linear matrix inequalities.

进一步将保成本控制器的设计问题转化为线性矩阵不等式的可行解问题。

The gain matrices of the designed controller can be obtained by solving a set of linear matrix inequalities.

状态反馈控制器增益矩阵可以通过求解一组线性矩阵不等式获得。

With this condition,robust stability verification for the systems can be accomplished by testing the feasibility of a set of linear matrix inequalities.

应用此条件，通过测试一组线性矩阵不等式的可解性即可达到判定系统的鲁棒稳定性的目的。

The controllers are designed by solving a set of linear matrix inequalities.

控制器的设计方法都归结为求解一组线性矩阵不等式(Linear matrix inequality， LMI)。

Finally, we offer a method to reduce shift communication. In chapter 5, we invent a method based on linear inequalities representation to perform communication optimization and code generation. This method eliminate the restrictions on processable program placed by RSD based method used by RICE Fortran D Compiler or Symbolic Set based method used by PARADIGM Compiler.

第五章提出了一种以线性不等式组作为工具的更加实用化的通讯优化和结点代码生成方法，该方法克服了RICE大学实现FortranD编译器使用的基于规则段描述子的方法以及PARADIGM编译器使用的基于符号集的方法对输入程序的诸多限制，避免了复杂的规则段运算和符号集运算及其造成的无效性，拓宽了可处理的程序类，增强了编译器的处理能力。

By discussing evolution equations of internal variable defined on the point set of time and Clausius Duhem inequalities, a criterion for judging satisfaction of consistency condition is proved, which provides a foundation to establish unified constitutive relations,both time dependant and independant.

把内变量演化方程定义在时间的点集上，结合讨论ClausiusDuhem不等式，证明了一致性条件成立的判别准则，为建立时间相关—时间无关统一的本构关系打下了基础

According to evaluation of the thermal, hydraulic, environmental and mechanic characteristics and energy performance of building and VAV air-conditioning system, and evaluation of the control performance of local control loops using the simulator of VAV system, this paper presents five on-line supervisory control strategies for local control loops: on-line optimization of VAV supply air static pressure set-point, on-line optimization of AHU supply air temperature set-point, on-line optimization of on/off set of CAV sub-system, on-line optimization of outdoor air set-point and on-line optimization of chilled water secondary pump pressure set-point.

通过数字仿真器对建筑物及其变风量空调系统的热力、动力、环境和能耗等运行特性的模拟，以及对系统常规采用的下位机控制回路可控性和稳定性等控制特性的研究和分析，本文先从局部的角度开展了系统局部优化的研究。提出并在仿真器上分别实施了VAV送风静压设定的实时优化，AHU送风温度设定的实时优化，CAV子系统开／停的实时优化，新风量设定的实时优化以及二级泵冷媒水供水压差设定的实时优化。

Grinding machine, 1 set Plane Grinding machine, 3 sets EDM, 1 set CMM, 1 set universal tool microscope, 1 set cutter aligner, 1 set roughness instrument, etc., much of equipments are the most advanced in domestic.

主要 设备有：加工中心9台（FV-800A 6台、QM-800A 1台、QM-22T 1台、卧式加工中心1台）、数控车床6台（FTC-20 2台、FTC-10 2台、FTC-30 1台、FTC-150 1台）、外圆磨一台、平面磨一台、慢走丝线切割机一台、快走丝线切割机一台，电火花成形机（MOND030）、三维坐标测量仪（GALAXY/SCICNC）、万能工具显微镜（19JC），对刀仪、粗糙度仪等。

Through the analysis of the second power Cartesian product of natural number set N——N×N and the thirdpower Cartesian product of natural number set N——N×N×N,obtains the conclusion that they all have the bijective relation to natural number set N,it means that the set N×N and the set N×N×N are all countably infinite.

通过对自然数集合N的二次笛卡尔积运算———N×N和三次笛卡尔积运算———N×N×N的详细分析，得出了它们与自然数集合N之间都存在双射关系结论，即集合N×N和集合N×N×N都是可数无穷的。

The dissecting of samples in group2 were difficult. The root of pulmonary artery and ascending aorta failed to be unfolded because fibrous tissue was tough, right and left fibrous trigone were too firm to be solved by hand. Cardiac muscle fibers couldn't be stripped along myofibrillar trajectory since they were prone to break because of their friability.

组2的心脏解剖困难，表现为纤维组织坚韧，游离肺动脉非常困难；徒手无法松解左、右纤维三角，肺动脉和主动脉根部的游离非常困难；心肌纤维坚硬、质脆，解剖时容易断离成碎块，无法沿纤维走行方向剥离。

We have battled against the odds in a province that has become increasingly violent.

我们对在一个争夺日益激烈省的可能性。