可结合性

In this paper, an efficient method integrating logic simulation and Boolean satisfiability is presented, which can verify the designs with black boxes.

该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法，用于验证设计中黑盒外部的功能正确性。

When designed the project of mobile service system , basing on the characteristics such as the bulkiness of users ,variety of users's terminal device , etc , adopted Scalable Vector Graphics which is XML's dialects on graphics , developed an opening mobile service system through combining the portability of java .

在基于位置的服务系统方案设计中，针对该系统具有用户群庞大、用户终端设备的多样性等特点，采用XML在图形上的方言——SVG技术，结合Java的可移植性，开发了一个开放的基于位置的服务系统。

From the perspective of the variational discussion of Lagrange\'s contributions to the principles and analyzation of mechanics,the interaction between the calculus of variations and mechanics,especially the variational principles is made clear.

结合拉格朗日微积分代数化方案和18世纪可积性条件的研究，探讨了拉格朗日关于变分法基础研究的数学背景及相关工作；通过对《分析力学》中静力学约束平衡问题的细致考察，系统探讨了变分法中乘子法则的力学渊源、提出过程及意义。

This paper reasarches on the changes of Chinese neo-modern concept of values and the conformability of ethic inmodern economy,which is with a comprehensive view fromhistory and reality,and the theoretical and practical method isalso considered.

本文力图从历史和现实、理论和实践相结合的角度，来研究中国近现代价值观念的变革与当代经济中的伦理可证性问题。

Fourth, the practicality of the strategy is stressed according to the situation of Shuangqiao .In another word, the realization and the practicality of the focal points and the countermove of the strategy are stressed in the thesis.

四是紧密结合双桥区的实际情况，突出战略的可操作性，即战略目标的可实现性和战略重点、战略对策的可操作性。

Connected with the actual situation of slope, the rockmass instability index is given, which is then compared with predictable ratio of practical deformation slope.

结合边坡实际情况，计算出岩体不稳定指数，并同观察实际变形边坡得出的可预报性估值进行了比较。

The paper studied a lot of todays identity management related technologies and standards, analyzed the characteristics of the J2EE application and its security system , used some design patterns such as builder patterns、proxy patterns and factory patterns, combined SAML standards and raised the following patterns: assertion builder pattems、SSO delegator patterns and credential tokenizer patterns. These patterns not only improved the compatibility and portability of enterprise identity management but also reduced system design and development complexity effectively.

本文大量研究了当今身份管理的相关技术和标准，分析了J2EE应用的特点及其安全体系，在此基础上运用了构造器模式、代理模式以及工厂模式等设计模式的思想，结合SAML标准提出了断言构造器模式、单点登录模式和凭证令牌化器模式等三种通用的身份管理模式，提高了企业身份管理层的兼容性和可移植性，同时有效降低了系统设计和开发的复杂度。

As an emulsifying ingredient to cold food ,it can can combine more fet

二、作为冷饮食品乳化性的配料，可结合较多数量的油脂。

Based on quality analysis of gypsum slurry,the factors influencing on the quality of desulfurized gypsum are studied.

在此基础上，分析了脱硫石膏和天然石膏的成分，说明脱硫石膏的可利用性，并结合国内外的相关资料，介绍了脱硫石膏在工业、农业上的一些用途。

According to our teaching practice,effective applications of some relative calculus background knowledge in teaching are given,such as introduction of real number ,Newton-Leibniz s formula,principle of integrability,meaning of infinite series.

结合教学实践，讨论了实数的引入，Newton-Leibniz公式，无穷级数，函数的可积性准则这几个相关的微积分背景知识在教学中的有效运用。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。