查询词典 solution formula

In this solution, to check the vacuity of the CTL formula, it is not necessary to substitute all of its sub-formulae by TRUE or FALSE, but instead, it is enough to substitute its atomic proposition, and thus the number of times for checking is linear with the number of atomic propositions.

该方法对CTL公式的空属性的探测不需要对它的所有子公式用TRUE 或FALSE替换，只需对原子命题替换，这样检验的次数与原子命题的个数呈线性关系。

Secondly, we consider stochastic LQ optimal control problem driven by Lévy processes and Brownian motion. By applying the -Lévy formula, Gronwall's inequality, Young's inequality and Cauchy-Schwarz inequality, we obtain the closeness property of the solution of multi-dimensional backward stochastic Riccati differential equations.

第二部分首先研究由布朗运动和Lévy过程共同驱动的随机LQ最优控制问题，接着利用-Lévy公式、Gronwall不等式、Young不等式及Cauchy-Schwarz不等式证明多维倒向随机Riccati微分方程适应解的闭性质，并利用此性质证明一维BSRDE解的存在唯一性。

First, the formal representation of the search environment is established, the multi-UAV is modeled as a controlled system and the predictive model of the system is presented. Considering the uncertainty of the sensor measurement and the environment, a Search Probability Map is defined and the updating method based on Bayes formula is presented. Based on SPM, information gain is defined to measure the search effects and used to be the optimization object in the predictive horizon. By using of GA, the solution of the optimization problem is got and it is taken as the input of the controlled system.

首先，建立搜索环境的规则描述，然后将多个UAV建模为一个控制系统，建立系统的预测模型，考虑到UAV传感器测量的不确定性和环境自身的不确定性，建立搜索概率图描述搜索环境的不确定性，给出了基于Bayes准则的搜索概率图更新方法，继而基于搜索概率图定义信息增益来衡量搜索效果，并将预测周期内的优化目标定为最大化信息增益，采用遗传算法进行求解，得到最优解作为被控系统的输入。

The structure and primary parameters of direct-detection Doppler lidar are described. The beam scanning method of atmospheric wind measurement is given,and computing formula of the three dimension wind filed is derived. The solution method of errors of wind velocity and wind direction is presented.

介绍了直接探测多普勒激光雷达的系统结构和主要参数，给出了该系统进行大气风场测量的光束扫描方法，详细推导了三维风场的计算公式，给出了其风速和风向误差的求解方法。

Double angle formula can transform the circular function equation to a biquadratic algebraic equation,and the analysis solution can be solved by extract equation directly.

用倍角公式可将该三角函数方程转化成一个四次代数方程，然后用求根公式直接求出解析解。

In terms of Cauchy s integral formula of analytical complex function and the three order spline function of complex variable, a general boundary solution method is presented for solving the complex potential field of the flow field around a 2D semi infinite body .

采用复解析函数的Cauchy积分公式和物面复势三阶样条函数逼近，提出了一种求解二维半无限体势流绕流问题复势的通用方法。

Firstly, a balance equation is erected, And then,on the basis of the predecessor formula and with the Convolution Theorem and Fourier inverse transforms,a semi-analytical solution of the velocity response in time-domain under semi-sine exciting force is given.

建立成层土中桩纵向振动平衡方程，利用卷积定理和傅立叶逆变换求得半正弦脉冲激振作用下桩顶速度响应的半解析解。

At first, the contribution analyzes the formula of assets price and the relation between default probability and assets price of the enterprise; then discusses the pricing of bond, based on all kinds of default situations; shows concrete solution of the pricing; calibrates the model according to the actual situation; and indicates how to calculate the value of coupon bond in the financial market with an example.

首先求出企业资产价值的公式，分析企业价值与违约概率之间的关系，然后研究涉及到各种违约情形下的企业债券定价问题，给出了债券定价的具体解，并根据实际情况修正模型，举例指出如何在实际市场上计算企业附息票债券价值。

D'Alembert Solution in one dimension wave equation is a very important basic formula.

弦振动方程中的D'Alembert公式是偏微分方程中一个非常重要的基本公式。

Based on this, to avoid using the Green′s formula on infinite domain, an infinitely differentiable function with compact subset is constructed and some important results to a especial solution of the inhomogeneous field equation are obtained.

在此基础上，为了避免使用无限区域上的 Green公式，通过构造紧支集上的无穷可微函数，获得满足非齐次控制微分方程的特解的重要结果。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失