查询词典 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只能通过轻沼泽地。

2According to requirement of suppressing stray light in two-mirror system, vertex coordinate formulas of inner baffle are deduced based on geometrograph in the case of certain obscuration, viewing field and vignetting. In order to reduce the obscuration, conical baffle of secondary mirror is ameliorated into a shutter one. Outer baffle is designed when angle of stray light suppressing is foregone and the vanes are designed in C-language program. Finally, the same-height vanes in drawtube between primary and secondary mirrors are designed for further suppressing the stray light in two-mirror system.

给出双反射系统杂散光消除设计的具体要求，结合作图法，推导出考虑视场大小及初始中心遮光比确定时，主次镜内遮光罩顶点坐标公式；讨论考虑渐晕时主次镜内遮光罩的设计；为了减小初始中心遮光比，将次镜锥状遮光罩改进为百叶窗式结构；设计在杂散光源抑制角已知时的外遮光罩，并利用C语言实现程序化设计其挡光环的方法；设计主、次镜间镜筒内壁上等高挡光环，进一步抑制双反射系统的杂散光。

Chapter 1 gives the background,current research process of relatedproblems and summarizes this thesis\'s work.In chapter 2,we study the Brownian motion with holding and jumping on the boundary.We use the resolvent method to obtain the infinitesimal generator because the domain of the infinitesimal generator is essentially the same as the range of the resolvent.Knowledge of this range and of the differential operator determines uniquely the infinitesimal generator.Since the semigroup generated by the DHJ is not strongly continuous,to use the nice property of strongly continuous semigroup in analytic theory,in chapter 3 we show that the dual is strongly continuous and derive ergodicity through spectral radius formulas and finally obtain the ergodic theorem by duality. In chapter 4,we discuss a class of a more general process---one dimensional Feller diffusion proposed by W.Feller in 1954.The Feller diffusion allows the possibility of jumps from boundary to boundary,not only from boundary to the interior.We give the stationary distribution of this process.

具体地，本文的结构如下：第一章给出了问题产生的背景，研究现状及本文的主要工作；第二章研究了在边界上逗留后随机跳的布朗运动，我(来源：3dABC论文网www.abclunwen.com)们用预解算子的方法得到其无穷小生成元，因为无穷小生成元的定义域本质上就是预解算子的值域，知道这个值域和微分算子形式就能唯一地决定无穷小生成元；由于DHJ过程产生的半群不是强连续的，为利用强连续半群的一些漂亮性质，在第三章中我们证明其对偶半群是强连续的，然后由谱半径公式得到遍历性并且最后由对偶得到遍历定理；第四章讨论了Feller在1954年引入的更广的一类过程----一维Feller扩散过程，Feller扩散过程允许有从边界到边界的跳发生，即不仅仅局限于从边界到内部的跳，在这一章中，我们给出了一维Feller扩散过程的平稳分布；在第五章，我们讨论了一些相关的问题，给出了DHJ过程对应的PDE问题及特征值与收敛速度的关系。

Extended the semi-analytical finite element method into the Dugdale model of elastic-plastic fracture mechanics, the analytical elements based on the Dugdale model of mode Ⅰ and mode Ⅱ crack are constructed. The formulas for the stiffness matrices and load vectors of analytical elements are deduced.

将上面的半解析有限元法应用于弹塑性断裂力学中的Dugdale模型，分别构造了基于Ⅰ型和Ⅱ型Dugdale模型的裂纹解析元，并建立了解析单元的出口刚度阵和荷载向量的列式。

Summary In copyright infringement cases,if the alleged infringer uses or even plagiarizes the copyrighted works or parts thereof,which causes no substantially adverse effect on the normal exploitation of the work,nor does it inflict any substantial damages to the right owner,the de minis doctrine should be applied to exempt the liabilities of the defendant and seek the balance of interests between the right owner and the general public embodied by the copyright law.

在侵犯著作权案件中，如果被控侵权行为人虽未经著作权人的同意，使用甚至抄袭了受著作权保护的作品或作品的片段，但若情节轻微，未对该作品的正常使用产生任何实质不利的影响，亦未对权利人的权利造成实质性的损害，则应适用&不计琐细原则&，免除行为人的责任，以寻求在权利人利益与著作权法所体现的社会公共利益之间的平衡。

This new product will become our best seller.

这个新产品会成为我们最畅销的产品。