computational formula

computational formula的基本解释

-

计算公式

与computational 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自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

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个月；趋避性的影响因素是主要喂母乳和母乳与奶粉等量；注意分散的影响因素是主要喂奶粉。

The results show the high accuracy quality of spectral element method and the stability of Newmark time integral method. Then some computational parameter is changed in example one such as the subdivision style of computational domain, time step length and such on. Some important conclusions and strategies for spectral element method with Newmark integral method for computational aeroacoustics can be given. The feasibility of spectral element method for computational aeroacoustics is verified.

计算结果表明谱元方法的高精度及Newmark时间积分方法的稳定性，并改变算例的计算参数，例如计算区域剖分方式、时间推进步长等进行了计算，得出了一些重要结论，为使用谱元方法结合Newmark积分求解气动声学问题积累了重要的经验，最终证明了谱元方法求解计算气动声学问题的可行性。

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

computational formula：计算公式

computational error 计算误差 | computational formula 计算公式 | computational mistake 计算误差