查询词典 formulas

ChinaWang Yonghuidirected by Zhang ~Venpeng The main purpose of thesis is using the mean value theorem of the Dirichlet Lunctions to study the asymptotic property of the Dedekind sums and Hardy sums, and give two sharper asymptotic formulas.

关于Dedekind和的推广型均值公式及Hardy和的推广型均值公式本论文利用Dirichlet L-函数的均值定理研究了Dedekind和及Hardy和的一类均值估计问题，并给出了较为精确的渐近公式。

In order to meet the required simulation precision and meet the real-time simulation in ballistic simulation calculation,this paper analyzes the selection method of the simulation step,and then introduces variable step integration methods in Runge-Kutta to Adams and educes Adams variable step integral formulas,and then put forwards a method by seeking zero of condition function in discontinuous nonlinear system of the ballistic simulation.

在弹道仿真计算中，为了既达到要求的仿真精度又能满足实时仿真，分析了仿真步长的选择方法，然后在龙格－库塔转阿当姆斯法中引入变步长积分方法，推导了阿当姆斯变步长积分公式，同时对弹道仿真中的间断非线性系统提出条件函数求零的方法来解算弹道。

In Extended Duration Calculus, discrete state variables can only be Boolean, terms can only be combined by relational operators to become formulas.

在扩展的延时演算中，离散状态变量只能是布尔类型，项只有通过关系操作符的连接才能成为公式。

This thesis improves Extended Duration Calculus so that discrete state variables can be arbitrary types and any Boolean typed terms can be seen as formulas.

本文改进了扩展的延时演算，使得离散状态变量可以是任意类型，并将任何布尔类型的项作为公式，增加了灵活性和表达性。

Presents an algorithm for generating the sum of disjoint products by using binary decision diagram as well as certain ordering role of paths and Boolean algebra formulas.

利用二分决策图，同时采用道路排序技巧及布尔代数运算给出了求不交和的方法，它比单纯采用二分决策图的算法更简单，不交和的项数更少，从而得到一个求网络可靠度的有效算法。

Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.

摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

And the heat transmission model is computed with FEM. Then the paper analyzed rules of difference in temperature. Different in temperature is divided into transverse temperature difference and lengthways difference, and corresponding formulas are respectively presented.

并在此基础上，进行了导热问题的有限元分析，得到了温差分布规律，将计算温差分解为横向温差和纵向温差几，并建立了相应的温差计算公式。

Based on dynamic equilibrium equations of three-dimensional elasticity, a state equation was established for orthotropic foundation plates using double Fourier series, in which no assumption about stress or displacement modes was made. Analytical solutions and frequency equations of unified formulas were presented for thin and thick laminated foundation plates.

从三维弹性力学动力平衡方程入手，抛弃应力或位移模式的人为假定，利用Fourier双重级数，建立了正交各向异性地基板的状态方程，并分别给出了地基上任意层厚薄板静力问题的统一解析式和动力问题的频率方程。

First, based on Huygens' principle, formulas for double refraction and internal double reflection with different directions of propagation vector and wave vector are given.

虽然对晶体的双折射效应已有大量的研究，但都只关注于单个界面上的双折射双反射，没有适用于多个界面的连续双折射双反射的情况。

In this paper, the marshland of Daxinganling forest region is classified into three kinds, the pass performance of three kings of crawler fire engine, J-50, A531, BFC804 and a kind of two-wheeled forest fire engine of special light-duty HS-8 is studied in theory and test, the calculation formulas of the tangential traction force and the external motion resistance of vehicle are given and the drawbar pull is used as evaluation index.

对大兴安岭林区的沼泽地进行了分类，并对3种履带式森林消防车J-50、A531、BFC804和一种特轻型双轮森林消防车HS-8的沼泽地通过性作了理论与试验研究，给出了切线牵引力和行驶阻力的计算公式，采用挂钩牵引力作通过性评价指标。结果表明，BFC804可以通过重沼泽地，A531和HS-8可以通过中沼泽地，而J-50只能通过轻沼泽地。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。