针对最小不可满足子式的求解问题，提出并证明了布尔公式最小不可满足性与极大可满足性之间的关系。
Based on the relationship, a compounded greedy genetic algorithm and an ant colony algorithm are proposed to derive a minimum unsatisfiable subformula.
全球需求的不可预测性，以及为了满足需求而增加更多奶牛所需的滞后时间，可能会导致像近期奶酪过剩等事件的发生。
The unpredictability of global demand and the lag time it takes to add more cows to a herd to meet demand can result in events like the recent cheese surplus.
全球需求的不可预测性，以及为了满足需求而扩大牛群规模所花费的滞后时间，可能会导致最近的奶酪过剩等问题。
The unpredictability of global demand and the lag-time it takes to add more cows to a herd to meet demand can result in events like the recent cheese surplus.
我们的期望是软件将在这些设备间分布式使用，根据需要提供功能性，或者平衡处理来满足不可预知的负载。
The expectation is that the software will be distributed across these devices to provide functionality as often as needed or to balance processing to meet unpredictable loads.
为了满足不可抵赖性的要求，会同时需要消息身份验证和发送方身份验证。
In order to satisfy the requirement of non-repudiation, you need both message authentication and sender authentication simultaneously.
特别是在企业间的商业交易中，不可抵赖性的安全性要求需要得到满足。
In particular, in business transactions among enterprises, the security requirement of non-repudiation needs to be satisfied.
人类大脑本能地向往对科技的即时满足，及其快节奏和不可预期性，卡西说。
The human brain is wired to crave the instant gratification, fast pace, and unpredictability of technology, Cash says.
旧的出口增长模式能否满足日本及世界的需求，以及能否在日趋“平衡”的全球经济中保持可持续性，而不严重依赖于美国的消费者，目前尚不可知。
It is not clear that the old export model of growth will meet Japan's and the world's needs or be sustainable in a more "balanced" global economy that does not rely so heavily on the U.S. consumer.
使用数字签名的消息身份验证还不能满足不可抵赖性的条件。
Message authentication by using a digital signature is not sufficient for non-repudiation.
作为房子，其中立性和密封性满足公共空间，体现了其不可打扰性。
Neutrality and hermeticity meet the public space, as the house manifests itself undisturbable.
根据该定价方法所确定的资源价格，可满足耗竭性不可再生资源的静态和动态最优配置的要求。
Prices of resources, made with the method, can meet the needs of depletable nonrecycclable resources optimum allocation.
对于极小不可满足公式的子类MAX和MARG，我们证明了：其变元改名和文字改名的复杂性等价于图同构问题GI。
For the subclasses MAX and MARG of minimal unsatisfiable formulas, we show that the variable and literal renaming problems are equivalent to the graph isomorphism problem GI.
为了满足鲁棒性和不可感知性之间的平衡，使用人类视觉模型自适应地调节水印的嵌入强度。
To satisfy the balance between the robustness and the imperceptivity, the HVS model is used to adaptively adjust the watermark embedding strength.
指出他们的方案不满足强不可伪造性、强不可否认性和强识别性。
In this paper, the authors demonstrate Chan-Wei scheme does not satisfy strong unforgeablity, strong nonrepudiation and strong identifiability.
PK I技术能够有效满足网络应用中的机密性、完整性、真实性及不可否认性和存取控制等安全需求。
PKI can effectively meet many safety requirements for confidentiality, integrality, facticity an acceptability and access control for network applications.
实验结果表明，该算法在满足了不可见性的前提下，具有良好的鲁棒性。
The experimental results demonstrate that the watermarks are invisible and robust against MPEG compression and some commonly used attacks.
首先，对首个代理盲签名方案进行安全性分析，指出其不满足不可伪造性。
Firstly, on the safety analysis of the first signature scheme, points out that it does not satisfy the unforgeability.
并且这个方案能够满足强不可伪造性和强不可否认性。
We also point out that the scheme presented by Shum and Victor cannot provide strong non-repudiation and strong unforgeability.
工房是满足产品加工制造、生产工艺布局需要的建筑物，一般不可能依赖建筑造型本身突出个性，而绝大部分情况下要采用建筑色彩来表现工房的统一性或个性。
Process plant is a building to meet the needs for layout and efficient production. Its personality can not be highlighted through its own shape but in most cases through architectural color.
分析结果表明，改进方案满足不可伪造性、可公开验证性、健壮性和不可否认性，适用于带宽要求较低的无线网络环境。
Analysis result shows that improved scheme is satisfied with unforgeability, verifiability, robustness, non-repudiation, it is adaptable to the wireless network requiring lower bandwidth.
在安全性方面，新方案满足机密性、不可伪造性和可公开验证性。
For security requirements, this new scheme satisfies confidentiality, unforgeability and public verifiability.
通过安全分析，该方案满足存在不可伪造性、签名者匿名性、可关联性、可验证性等特点。
Through the security analysis, the scheme satisfies the following properties:Existential unforgeable, signer ambiguous, linkable and verifiable.
通过测试，它表明，协议NRP3可满足电子商务应用的要求，并提供有效的不可抵赖性和隐私保护，为客户和商家。
By testing, it shows that the protocol NRP3 can satisfy the requirements of E-commerce application, and effectively provide non-repudiation and privacy protection for clients and merchants.
该协议满足数字签密协议的机密性、不可伪造性等要求，并能抵抗目前情况下的各种攻击。
The new protocol satisfies all the requirements of the confidentiality and unforgeability by signcryption protocol, and it can defend against all those current attacks.
该方案除了满足投标者匿名、投标价保密、不可否认性、强可验证性等安全要求外，还具有技术简单、通信量小、随机标价、限时强迫兑现等优点。
This scheme can satisfy all the secure requirement of sealed-bid auction stated such as bidder anonymity, bid secrecy, bidder default, verification, and has the advantages of simple technique, sm...
新协议具有较高的安全性，能够满足节点身份的不可伪造性、消息完整性、前向安全性和会话密钥独立性等安全要求。
The new protocol enjoys many secure properties such as the reliability of the node's identity, the message integrity, the forward security and the session key independence.
测试结果表明，其产生的序列具有不可预测性，可以满足密码学的应用要求。
The testing results show that the sequence generated by this RNG is unpredictable, and can fit in with the requirement in cryp…
采用随机预言机模型，分析了新方案的安全性，结果表明，新方案满足不可伪造性和部分盲性。
The security of the new scheme was analyzed with the random oracle model. The results show that the new scheme satisfies the unforgeability and the partial blindness.
最后，我们同样证明了其正确性，并证明了该方案满足强不可伪造性、强不可否认性、强可识别性和公开验证性。
Finally, we prove its correctness, and prove that our scheme has the strong unforgeability, strong non-repudiation, strong authentication and public confirmatory.
我们还对该方案的正确性和安全性进行了分析，该方案满足不可伪造性、不可否认性和公开验证性。
We also analyze the correctness and security of the scheme. The scheme has the unforgeability, non-repudiation and public confirmatory.
应用推荐