2.数据库唯一标识符:用来区分一个节点上的快照或日志文件是否是该集群中的其他状态机产生的,或者是其他集群中的状态机产生的。 3. Prevote algorithm: this paper provides a more detailed specification of the idea suggested only in passing in §9.6 in (Ongaro, 2014) 3.预选举算法:该论文对 (Ongaro...
英文: Execute designs within product specification guidelines for form, fit, function, quality, product ability, cost and schedule.中文: 完成所有的设计包括表格,功能,质量,生产性,价格和计划。英文: Mutative scale chaos optimization is introduced to form a new hybrid genetic algorithm-chaos genetic ...
LogSpecification ManagedRuleEnabledState ManagedRuleGroupOverride ManagedRuleOverride ManagedRulesDefinition ManagedRuleSet ManagedServiceIdentity ManagementGroupNetworkManagerConnections ManagementGroupNetworkManagerConnectionsCreateOrUpdateOptionalParams ManagementGroupNetworkManagerConnectionsCreateOrUpdateResponse ManagementGroupNetw...
product form of specification 标准的产品型式 product form queuing network 【计】 乘积形式排队网络 sum of product canonical form 积之和的正则形式 product without a material form 非物体形态的产品 相似单词 recurrence n. [U,C] 1.再发生,复发 2.重新提起 3.再现;回忆 4.【数】循环,递归 5....
For these parts, the ACL2 specification contains constrained functions introduced with defun-sk. We used single-threaded objects to represent the data structures used by the algorithm. In this paper, we present details on the proof of correctness of the algorithm. The process of formal verification...
983 specification,adistributed hierarchical schedulingalgorithm is proposed. 983规范的基础上 ,提出了一种分布式分层调度算法 ,该算法既能满足 ATM业务不同的 Qo S需求 ,又极大地降低了分布式接入协议所必需的上下行信道的开销 ,提高了带宽利用率。 6) slicing algorithm ...
在"Part Specification"下选择"new" 选择"Specify Part",指定输出部件文件名称及位置 将"Object Selection Scope"设定为"All Objects" 选择"Class Selection->Select All"高亮所有对象 按"OK" 该种方法特点:每一个部件的特征都会汇集在新部件的MNT里。可以方便编辑。
详细翻译：数字签名算法，数字信号运算法则 相关短语：ecc digital signature algorithm 椭圆曲线算法 Cryptography Digital Signature Algorithm 密码学的数字签名算法 digital l signature algorithm 数字签名算法 双语例句：Two public-key cryptography algorithms that are widely used are RSA (named after its...
983 specification,a distributed hierarchical scheduling algorithm is proposed. 983规范的基础上 ,提出了一种分布式分层调度算法 ,该算法既能满足 ATM业务不同的 Qo S需求 ,又极大地降低了分布式接入协议所必需的上下行信道的开销 ,提高了带宽利用率。3
Specification of dwell time in discrete-time linear switched systems with state delays under cyclic switching; 离散线性循环切换时滞系统驻留时间的确定 2. A dwell time algorithm for the magnetorheological finishing (MRF) of the small axis-symmetrical aspherical surfaces is described. 介绍了一种基于代...