sum formula

sum formula的基本解释

-

求和公式

与sum formula相关的网络例句 [注：此内容来源于网络，仅供参考]

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

1 After comparison of sum fusion and optimal fusion, sum fusion was selected as the fusion scheme for local test statistics. For the distributed CFAR detection based on the above three local statistics and sum fusion: CA-R-SUM and OS-R-SUM, CA-S- SUM and OS-S-SUM, Max-OS and Min-OS, Max-CA and Min-CA, their analytic expressions of detection performance were derived for and in nonhomogenous background.

2.1 通过求和融合与最优融合的性能对比，确定了以求和融合做为对局部检测统计量的融合方案；推导出了基于上述三种新的局部检测统计量和求和融合的分布式 CFAR 检测方案： CA-R-SUM 和 OS-R-SUM 、 CA-S-SUM 和 OS-S-SUM 以及 Max-OS 和 Min-OS 、 Max-CA 和 Min-CA 在、条件下在非均匀杂波背景中检测性能的解析表达式。

After rectifying the family structure, and educational level of parents, the influencing factor of adaptability was formula mainly; intensity of reaction was breastfeeding duration for 4-6 months and breast milk mainly; rhythmicity was breastfeeding duration for 7-9 months and formula only; activity level was both breast milk an formula milk equally and breastfeeding duration for 7-9 months; quality of mood was formula only and duration of breastfeeding for 7-9 months; approach-withdrawal was breast milk mainly and both breast milk and formula milk equally; distractibility was formula milk mainly.

校正家庭结构、父母亲受教育水平等因素后，适应度的影响因素是主要喂奶粉；反应强度的影响因素是母乳喂养持续时间4~6个月和主要喂母乳；规律性的影响因素是母乳喂养持续时间7~9个月和只喂奶粉；活动水平的影响因素是母乳与奶粉等量和母乳喂养持续时间7~9个月；情绪本质的影响因素是只喂奶粉和母乳喂养持续时间7~9个月；趋避性的影响因素是主要喂母乳和母乳与奶粉等量；注意分散的影响因素是主要喂奶粉。

与sum formula相关的网络解释 [注：此内容来源于网络，仅供参考]

sum of endomorphisms：自同态的和

11734,"sum formula","求和公式" | 11735,"sum of endomorphisms","自同态的和" | 11736,"sum of products","积之和"

In sum, theory should be combined with practice：总之,理论应该与实践相结合

in sum 总而言之 | In sum, theory should be combined with practice. 总之,理论应该与实践相结合. | sum up 总结,概括

sum, check digit：核对数元和

sum check 和核对 | sum, check digit 核对数元和 | sum, logical 逻辑和