In order to find the test activating aggressors as many as possible,we first map the objective of test generation into a weighted Max-SAT problem,and then solve it by using SAT solver to get required patterns.
为了能够激活尽可能多的侵略线以造成受害线上的最大脉冲噪声,首先将测试生成问题转化为一个加权的最大可满足问题,再使用解题器求解,以得到测试向量;此外,将子通路约束加入到可满足问题的描述之中,以保证所有被激活的侵略线能够同时跳变。
Giving the modeling of Customer s Maximum-Satisfaction on Lease On-line, and the Algorithm of recursive method to solve the problem, putting forward the Algorithm of Customer s Maximum-Satisfaction on Lease On-line; comparing their advantages and disadvantages.
给出了在线租赁系统顾客最大满意度的数学模型,以及用回溯法求解该问题的算法,提出了求解该问题的最大满意度算法,并比较了各种算法的优缺点。
deferred gratification pattern hypothesis
延缓满足模式假说延缓满足模式假说
delay of gratification
满足延迟(心理学)
Academic delay of gratification--A new field in delay of gratification research
学业延迟满足:延迟满足研究的新领域
On the Differences and Integration of Two Paradims of Delay-of-Gratification Experimental Research;
两种延迟满足实验研究范式的分歧与整合
To satisfy or appease(hunger or thirst, for example.
使满足,使缓解使满足或缓解(如饥饿或口渴)
The Organization Model From Philosophy View;
项目组织模式新假说——以建筑企业组织模式为例
The Research of Furniture Business Sale Pattern for the Need of Individuation;
为满足个性化需求家具企业营运模式的研究
A Multi-Conditional and Cumulative Fulfillment Model for Analyzing the Cause of Phonetic Variations;
语音变体成因分析的“多条件叠加式满足”模型
Research on the Modes to Satisfy the Demand of Customer s Values for TPL Firms;
第三方物流企业顾客价值需求满足模式研究
Speed Management:A Management Model Based On Inatantlyfulfilling Customer Needs;
速度管理:即时满足客户需求的一种管理模式
Resource allocation optimization model based on DCSP
一种基于分布式约束满足的资源优化模型
A model and hypothesis of revolution of economics pattern;
经济学范式革命的一种方法论模式和假说
The Research on Delay and Delay Variation Bounded Multicast Routing Problem;
满足时延及时延差别约束的组播路由问题研究
INFLUENCE OF VARIOUS DELAY STRATEGIES ON FOUR-YEAR-OLDS' GRATIFICATION DELAY
不同的延迟策略对4岁幼儿延迟满足的影响
The Correlation between Temperament Types and Delay of Gratification in Children from Age 3 to 5;
3-5岁幼儿气质类型与延迟满足关系
Experiment Study in Delay Gratification of Children at Age 3 to 5;
3-5岁幼儿延迟满足能力的实验研究
the Relationship Between Vocational Delay of Gratification and Achievement Motivation
职业延迟满足与成就动机的关系研究
In the preencoding stage, with rate model, calculating the potential encoding bit numbers(EBN) and corresponding quantization value(NEAR) based on the buffer fullness.
在前一阶段 ,利用提出的模型推算出满足缓存的估计编码比特数及对应的量化值 .