英语人>网络例句>赋值 相关的搜索结果
网络例句

赋值

与 赋值 相关的网络例句 [注:此内容来源于网络,仅供参考]

Error 23016: NONBLOCKING assignment is used in a combinational block.

非阻塞赋值不应用于组合逻辑,这是Verilog的要求。

Objective:This paper proposes an iterative noncentral procedure for the sample size determination in log rank test and compares it with the LachinFoulkes procedure. Methods: Samplings are performed with a prescribed size.

本研究首先按临床数据实际分析过程说明设计参数赋值依据和生存研究所需样本量测定原则,然后提出迭代非中心法,即借助重复抽样估计其非中心参数,测定所需样本量,并同基于指数分布的方法进行比较。

According to the logical rule of hypothetical proposition and disjunctive proposition , whose logical validity is decided by hypothetical plus disjunctive inference using " reducto and absurdum", polylemma is the using form of the 12 inference models.

根据假言、选言命题的逻辑规定,可构造出 1 2种推理模式。采用归谬赋值法,对其有效性进行判定,&N难推理&便是这种推理的语用形式

The warrants were unassignable, but could be commuted.

士兵的土地授予证书是不赋值的,但可以代偿。

The warrants were unassignable, but could be commuted.

士兵的土地授予证书是不赋值的,但能代偿。

The NetEvent class provides a foundation for guaranteed, guaranteed ordered and unguaranteed message transmission. NetEvent uses the same class instance creation mechanism as the console, but rather than instantiating by name, NetEvents use a class id, assigned when the console initializes.

NetEvent类提供了保证传输的基础,它保证了顺序和不保证的消息传输,NetEvent使用了和console同样的创建机理,但是它不是按照名字进行初始化,而是按照类id来进行,并当控制台初始化的时候得到赋值

For first algorithm SatTest1, searching and sampling are in the space of unsatisfiable assignments.

第一个算法SatTestl是在不满足赋值空间中进行搜索和抽样。

In this thesis, we present an idea that is to count unsatisfiable solutions by the message of unsatisfiable assignments in searching, and design two efficient Monte Carlo randomized algorithms.

本文提出了一个利用搜索过程中不满足赋值的信息进行不满足解数统计的思想,得到了两个有效的Monte Carlo型随机算法。

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引擎,并采用冲突引导的回跳搜索策略进行求解,获得有解的例证或无解的判定。

For such members, assigning to them in the constructor body doesn't work.

对于这样的成员,在构造函数函数体中对它们赋值不起作用。

第19/25页 首页 < ... 15 16 17 18 19 20 21 22 23 ... > 尾页
推荐网络例句

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务,乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐,因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。

Closes the eye, the deep breathing, all no longer are the dreams as if......

关闭眼睛,深呼吸,一切不再是梦想,犹如。。。。。。