静态

While the strict integrity policy of Biba's model can be used to maintain integrity of data in computer systems, the integrity labels of both subjects and objects in a system are always kept static in SIP, which might lead to denial to some non-malicious access requirements and hence decreases the compatibility of applications Dynamic enforcement of this policy is presented, which can increase compatibility of software while keeping system integrity as strictly as SIP can The implementation of...

Biba模型中的严格完整性政策能够有效地保证数据的完整性，但是该政策中主体和客体的完整性标记都是静态不变的，这会限制进程的一些原本合理的活动，从而降低应用程序的兼容性。提出严格完整性政策的动态实施方案，并给出该方案在基于Linux的安全操作系统RFSOS中的实现。该方案既可以保证系统的完整性，又能提高系统的兼容性。实验证明，这种方案对系统的整体效率的影响小于1%。

It is proved that the maximum expected revenue is nonincreasing in the loaded container flow imbalance factor. The models are analyzed and discussed by numerical simulation, and the optimized policies of pricing and slot allocation as well as a series of revelations are drawn.

第5章，系统考察重箱和空箱运输，研究了集装箱海运收益管理静态舱位定价与分配模型，证明了最大期望收益对于集装箱货流不平衡因子非递增。

Maybe you ignore it when it blossom in front of you, but it imprints in your mind when you close your eyes; it can be direct or indirect, objective or nonobjective, partial or whole, specialized or comprehensive, static or dynamic, clear or hazy…to demonstrate the colorful feature of natural beauty… maybe you will ask, is there such "flower"?

它在你的眼前盛开时你可能视而不见，在你闭上眼睛的时候却让你历历在目；它可以直接的或者间接的，具体的或抽象的，局部的或整体的，分化的或综合的，静态的或动态的，精确的或模糊的……来呈现自然界多姿多彩的美的特征……你在问，有这样的"花"吗？

Through relationship of traction capability, nonskid criterion ,skid criterion and overload static experiment,A function between each component of traction configuration and nonskid criterion ,was deduced in detailed from three operational conditions——loading,trigging and waiting,with which a criterion was obtained to calculate minimum deadweight of cabin.

根据曳引能力与防滑、打滑判据及超载静态试验系数的关系，从装载、制动和滞留三种工况出发，详细推导了曳引配置各部件与防滑判据的函数关系，得出了轿厢最小自重计算的判别式。

So, each message type will have it's own notifier type and static singleton.

因此，每个类型的消息将有它自己的通知类型和静态单身。

In order to detect the nonlinear determinism, the method of surrogate is employed. The null hypothesis that a real system response is from a stationary Gaussian linear process distorted by an invertible, static, nonlinear measurement function is made and tested.

采用替代数据法对实际房间声学系统的非线性确定性进行检测，假设实际系统响应是由平稳高斯随机过程经可逆、静态的非线性函数变换而得到，然后对该假设进行检验。

The choice of the best wavelet bases is one of the subjects attracting more attentions. This paper presents a new choosing method based on numerical analysis. Here the coding performance of wavelet bases is evaluated overall numerically by using several standards, which had been confirmed to be relating to image coding The best chosen wavelet bases fitting static images and video coding are respectively Daubechies's biorthogonal wavelet 9-7 and 5-3, which have been proved by coding experiments.

最佳小波基的选择是倍受关注的问题之一，本文提出一种新的基于数值分析的挑选方法，通过用几个已被证实是与图像编码密切相关的小波基评价标准对小波基的编码性能进行全面的数值评价，并经实际编码检验，选出了适宜静态与活动图像编码的最佳基分别为Daubechies双正交小波9-7与5-3。

The problem of PI controller design for the multi-input and multi-output system is transformed to that of static output feedback controller design via the new state variable. As to the problem of the static output feedback, a new LMI-based sufficient condition of the controller is presented in this thesis. We can gain the multivariable PI controllers just solving one LMI inequality. The numerical example is provided to illustrate the proposed design approach. 3.The H_∞ robust control is able to solve the multivariable problem, also the control problem characteristic of the modeling error, parameters uncertainties and unknown perturbation, Its application research in the power electronics is beginning now. Considering the characteristics of the PWM DC-DC converters, a multivariable PI controllers which is based on H_∞ Performance Index is designed.

通过构造新的状态变量，可以将多输入多输出系统的PI控制器设计问题转化为静态输出反馈控制问题，利用后者的成熟理论来设计控制器；本文在问题转化后采用更为简便的算法，只需通过求解一个LMI不等式，就能求取基于H_∞性能指标的多变量PI控制器参数，实例验证了算法的有效性。3.H_∞鲁棒控制具有处理多变量问题的能力，可解决具有建模误差、参数不确定和干扰未知系统的控制问题；它在电力电子学中的应用研究刚刚开始。

For the characteristic of the ring permanent magnet torque motor used in direct drive numerical control round table suffering from the effect of load disturbances and parameters variations, a multi-objective mixed H2/H∞ static output feedback controller, which makes all poles of the closed-loop system be located within a prescribed linear matrix inequality region D to achieve pole placement, is designed based on LMI.

针对直接驱动数控转台用环形永磁力矩电机易受负载扰动及自身参数变化影响的特点，文中基于线性矩阵不等式(linear matrix inequality， LMI)，设计了一个多目标混合H2/H￥静态输出反馈控制器，该控制器可使闭环系统的极点均落在预先选定的线性矩阵不等式区域D内来实现极点配置。

The objective of static analysis is to find defects in software source code and software models.

静态分析的目标是在软件源程序和软件模型中发现缺陷。

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％。