可满足的

By creating a repeatable and supportable solution we can ensure that 80% of the customers' requirements are met, in the majority of cases the out of the box approach works perfectly following the classic 80/20 rule.

通过创建可重复和支持的解决方案，我们可以确保80客户的需求％得到满足的开箱即用的方法大多数情况下，工程完全按照经典的80/20法则。

Because Matlab uses complex matrix as its basic unit, we provided the matrix form of the Bezier curve and tensor product Bezier surface, and presented the ways to achieve them by using Matlab. On such a basis, we obtained the algorithm, made feasible programs and demonstrated them by concrete examples. Such a study aims at promoting the realization of CAGD toolbox by using Matlab.

由于Matlab的基本编程单元是复数矩阵，因此首先归纳出了一维Bezier曲线和二维张量积型Bezier曲面的矩阵表示形式，在此基础上形成算法，编写了可实现的程序，随后以具体实例的形式给予验证，最终得到了满足要求的曲线和曲面，以期能够推动Matlab的CAGD专业工具箱的产生。

Based on this,temporal logic formula is used to express the properties that the data flow must satisfy,before the verification,an algorithm transforming the UML Statecharts model into reachable state transition graph is given,finally the correctness of the data flow is verified by model checking technique.

在此基础上，使用时序逻辑公式表示数据流所需满足的性质，在验证数据流的正确性之前，给出了将它的UML Statechart图模型转化为可达状态迁移图的算法，最后通过模型检测算法验证数据流的正确性。

Variegate had higher protein content and lower fat content and had microelements of Fe, Zn and Cu with some amount and the content of Zn, Cu, Pb and Cr were all lower than the limits of the metals in national free-pollutant seafood safety requirements (GB18406.4-2001) and could meet the microelements requirements of human body.

结论］青蛤和杂色蛤的蛋白质含量较高，脂肪含量较低，含有一定量的微量元素铁、锌和铜，且锌、铜、铅、铬的含量均低于我国无会害水产品安全要求(GB18406.4-2001)中的限量标准，可满足人体对微量元素的部分需要。

This paper gives mechanical testing results of sand-gravel materials in the Liangcha river that show good compaction, high shear strength and low compression behavior. The materials in both panical grades and engineering, behaviors can meet the requirements of different parts of the dam body. And it also discribes a stlbzone in the dam body, design specification, construCtion parameters as well as embankment, slope comp...

本文对两岔河砂砾石的物理力学性能进行分析，认为砂砾石的压实性好、抗剪强度高、压缩性低，不论是颗粒级配还是工程性质均可满足坝体各分区的要求；对坝体分区、设计技术指标、施工参数以及1年来的填筑施工、斜坡碾压、砂浆固坡、质量控制等方面的具体作法，进行了全面的介绍。

For MU(1),a subclasses of minimal unsatisfiable formula s,we show the solvability in polynomial time.

公式的改名是将命题变元映到变元本身或变元的否定的一个映射，对于极小不可满足公式的子类MU( 1 )中的公式，我们证明了其改名判定问题在多项式时间内是可判定的。

In datapath extraction, we build the environments for all datapath units by making assignments to the Boolean interface variables and some word variables. Binary CSP modeling then translates the RTL datapath satisfiability problem to a binary CSP description, which in turn will be sent to a binary CSP engine and solved by conflict-directed backjumping search strategy. The answer will be either a witness of satisfiable instance or a unsatisfiable decision.

数据通路提取通过对接口布尔变量和某些字变量赋值，为各个数据通路器件建立环境；二元CSP建模则根据该环境和各个数据通路器件的功能，将数据通路的可满足性问题转化为二元CSP描述；该二元CSP问题的描述被送入到二元CSP引擎，并采用冲突引导的回跳搜索策略进行求解，获得有解的例证或无解的判定。

Only an arbitrary single pulse among pulse train with temporal separation of about 1 ps was trapped by soliton pulse,the trapped pulse was blue-shifted and the optical spectra of trapped pulse was distinctly separated from those of the untrapped signal pulses.The trapped pulse can be easily picked off using a wavelength filter such as a fiber Bragg grating.

通过数值求解光子晶体光纤中脉冲传播满足的耦合非线性薛定谔方程，发现用孤子脉冲可俘获信号脉冲串中的任何一个脉冲，被俘获的信号脉冲的中心波长明显蓝移，在频域上和其他信号脉冲分离开来，于是让信号脉冲串在输出端通过布喇格光纤光栅，被俘获的信号脉冲将被过滤掉。

Oil and polyol firstly hydrolyze, and then react with maleic anhydride to give semi ester, the residual maleic anhydride hydrolyzing to give maleic acid, finally are adducted with DCPD. The result of experiment shows that the synthesized resin is of perfect air drying performance and improved flexibility and anti-greening because of the use of oil, meetin...

试验结果表明，油与多元醇在210～220℃下先醇解，然后与顺酐反应形成半酯，剩余顺酐水解成顺丁烯二酸，然后与DCPD加成，合成的树脂具有优良的空干性；同时油的使用极大地提高了涂膜的柔韧性和抗绿化性，得到的树脂性能上可满足涂料用不饱和聚酯树脂的要求。

The merger with Mid-South Graphics catapults Resource LabelGroup to the highest level of engineering expertise across narrow web technologies, and provides a turnkey range of services that will meet our customers' needs well into the future.

与中合并南图形弹射资源LabelGroup的工程在狭窄的网络技术的最高水平的专业知识，并提供整套的服务范围，可满足未来客户的需要。

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.

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