查询词典 given to

A new generalized object oriented Petri net model which can be used to evaluate the capability of equipment support was proposed. Its formal definition was given. The abstract place, abstract transition, message color and the message transferring function between objects were introduced in this model. This model has good modularity, inheritability, reusability, and maintainability, and can reflect flexibility and dynamic features of complex system. An example was given in the paper.

提出了一种可用于装备保障能力评估的增强型扩展的面向对象Petri网模型，给出了该模型形式化描述，引入了抽象库所、抽象变迁、消息颜色以及对象间的消息传递函数等新的概念，更好地体现了面向对象的思想，具有很好的模块性、继承性、重用性和可维护性，能够反映复杂系统的动态柔性特点，最后给出实例。

An inhomogeneous Benjamin-Davis-Ono-Burgers equation including topographic forcing and turbulent dissipation is derived in terms of the quasi-geostrophic vorticity equation, an approximate analytic solution of the BDO-Burgers equation with a small dissipation is obtained, the time variations of mass and energy of the algebraic solitary waves are discussed, and finally, the forced BDO-Burgers equation is integrated numerically and the numerical solutions are given for a given basic flow with a weak shear and a localized topographic forcing.

利用包括地形外源和湍流耗散的准地转涡度方程导出了包含强迫项和湍流耗散项的非齐次强迫BDO-Burgers方程，求出了小耗散存在情况下BDO-Burgers方程的近似解析解，讨论了代数孤立波的质量和能量的守恒关系，最后，对给定的弱切变基本气流和局地地形强迫，数值积分强迫BDO-Burgers方程，求得了不同参数下的数值解。

Thirty patients (M 23, F 7; age 50 a±s 15 a) with chronic eczema were treated with etofesalamide ointment (given th inly on the surface 3 times daily) for 4 wk; Another 30 patients (M 24, F 6; age 44 a±14 a) were treated with ointment base (given thinly on the surface 3 tim es daily) for 4 wk.

60例慢性湿疹病人，30例(男性23例，女性7例；年龄50 a±s 15 a)用乙氧苯柳胺软膏均匀涂布患处，tid， 4 wk为一个疗程；另30例(男性24例，女性6例，年龄44 a±14 a)采用乙氧苯柳胺软膏基质均匀涂敷患处，tid， 4 wk为一个疗程。

This paper makes use of a Lyapunov function and a nonlinear integral inequality of Gronwall-Bellman-Bihari type to study the asymptotic hehaviors of solutions of a second-order nonlinear functional differential equation. In part I, a group of sufficient conditions is given on continuation of solutions and three groups of sufficient conditions are given on boundedness of solutuicns of equation.

本文利用李雅普诺夫函数及一个Gronwall—Bellman—Bihari型的非线性积分不等式，研究一类二阶非线性泛函微分方程解的渐近性态，在第一部份，给出一组方程的全体解可延展到t=+∞的充分条件及三组方程的全体解有界的充分条件。

He told me, that was true; but that as there was no Proof of my being dead, he could not act as Executor, until some certain Account should come of my Death, and that besides, he was not willing to intermeddle with a thing so remote; that it was true he had registred my Will, and put in his Claim; and could he have given any Account of my being dead or alive, he would have acted by Procuration, and taken Possession of the Ingenio, so they call'd the Sugar-House, and had' given his Son, who was now at the Brasils, Order to do it.

据他记忆，把我收入部分缴公，还只是十二年以前的事。我听了他的话，心里感到有些烦恼和不安。我问那老船长，我既然立了遗嘱，指定他，这位葡萄牙籍船长，作为我财产的全权继承人，那两位代理人怎么能这样处理我的财产呢？

First, considering the factor of unit gain space and the space limit, the common expression s of multiple views were selected out as the intermediate result, and the algorithm which was used to define the intermediate set was put forward. Then the algorithm of maintaining multiple views with this set was given. At last, the correctness and efficiency were given after the analysis and experiments.

首先，结合单位空间增益、空间限制等因素，选择多个物化视图的公共表达式作为中间结果，并提出了确定中间结果集的具体算法；其次，利用己计算出的中间结果集进行多个视图的维护，给出了具体的维护算法；最后，通过分析和实验证明了该算法正确且效率有显著提高。

The formula group for the design of multi-phase micro Fresnel lens according to scalar diffraction theory was given and the transmission theory of spherical wave were used to deduce the relation of focal distance of the micro lens with spectrum resolution. According to the relation spectrum resolution is inverse proportional to focal distance given a certain incident wavelength and phase number, and the theoretic formula is consistent with reported experimental result.

光谱分辨率是评价衍射微透镜分光特性的主要指标，根据标量衍射理论，给出了多台阶位相型菲涅尔透镜的设计公式，并利用球面波的传输理论推导了微透镜主焦距与光谱分辨率之间的函数关系，得出在入射波长和位相台阶数一定的情况下，光谱分辨率与中心焦距之间呈反比；理论推导的结果与已发表的实验结果一致。

Presents the design of longitudinal control for ASTOVL lift-fan aircraft, a multi-variable, strong-coupling, complicated nonlinear system to make the system nonlinear offset and decouple, and the method used for linear system in designing the system to gain expectant flying qualities and the combination of aerodynamic control surfaces with thrust vectors to delay the control surfaces getting into saturation, and the minimum N-norm generalized inverse theorem of weighted generalized inverse adopted to apportion the moments commands, which make the control surfaces gain appropriate deflection and the simulation results to verify the dynamic inverse control laws designed really make the system nonlinear offset and decouple; when one command is given, only this output will response, and others do not response; when all commands are given together, the responses will be just the linear superpose of the response of each command, therefore the operation of the pilot will be simplified greatly.

摘 要： ASTOVL升力风扇飞机是多变量、强耦合、复杂的非线性系统，采用非线性动态逆理论设计控制律以实现系统的非线性对消及解耦，然后，采用线性系统的设计方法对系统进行设计，以使系统获得期望的飞行品质。同时，考虑到ASTOVL升力风扇飞机是由气动舵面和推力矢量融合作用的，为了延缓各舵面进入饱和的时间，采用加权广义逆中的极小N-范数广义逆定理分配力矩指令，从而使各舵面达到适当的偏转角。并将所设计的控制律进行了仿真，结果验证了所设计的动态逆控制律使系统实现了非线性对消和解耦，单个指令作用时，只有该项响应，其余不受影响；所有指令作用时，其结果就等于单个指令作用时的线性叠加，这样使驾驶员的操纵大大简化而易于控制，从而大大降低了飞行事故率。

A detailed analysis of the main circuit introduction, control method and working principle of the direct-drive wind energy conversion system are given to introduce the two important parts a of this paper: First part is the control method of the multiple boost convertor, the important instantaneous current control method of this paper is given through the analysis of the main circuit structure, control method and working principle. Then a steady-state analysis for low-frequency, a high-frequency component analysis, and a closed-loop tracking performance analysis for dynamic response are provided to analyze the method proposed; And the second part is the control method of invertor.

在系统变流器整体结构分析的基础上，引出本文重点研究的两个变流环节的控制：第一部分是系统升压斩波器的控制，通过分析相关主电路结构、原理，建立了数学模型，引出本文重点研究的瞬时值控制策略的概念和具体实现，并对升压斩波器的瞬时值控制策略进行了详细的高频、低频模型分析和稳态、动态性能分析；第二部分是系统并网逆变器的控制，通过对逆变器主电路的数学建模和控制要求分析，研究了并网逆变器的瞬时值控制策略，包括电感电流控制内环和直流电压控制外环的具体设计和实现方法。

In this paper, firstly, not only the incidence matrix ,adjacent matrix, cycle matrix, cut-set matrix of an undirected graph are summarized, but also the close contact between a graph and its corresponding matrix are discussed ; secondly, many problems of a graph which are solved by analysing its matrix are listed as follows:1、The co-tree set of a graph is obtained by using its cycle-matrix ; 2、The branches of its spanning tree are given by using its cut-set matrix ; 3、By making use of the incidence matrix of a graph ,not only its vertex cut 、cut vertex 、isolated point and spanning tree can be obtained ,but also the two sides which are whether parallel or not can be judged ;4、By using their adjacent matrix ,the two graphes which are whether isomorphous or not can be judged; once more, there is a detailed introduction in view of special graph (for example: bigaritite graph ,regular graph and so on);last but not least, a graph method of calculating the N power of a matrix is given and the practical applications of the theorem for degree is indicated.

本文首先综述了无向图的关联矩阵，邻接矩阵，圈矩阵，割集矩阵以及图和它对应矩阵之间的关系；其次总结出了利用上述各类矩阵可以解决的图的若干问题：1、利用图的圈矩阵可以求其连枝集；2、利用图的割集矩阵可以求其生成树的树枝；3、利用图的关联矩阵不仅可以求其割点、点割集、连通度、孤立点和生成树，而且可以判断两条边是否平行；4、利用图的邻接矩阵可以判断两个图是否同构；再次，针对特殊图（例如：二分图、正则图等等）的邻接矩阵作了详细介绍；最后，得到了利用图计算矩阵的N次幂的方法，指出度数定理的实际应用。

Diabetes is a social disease that affects several million people worldwide.

糖尿病是一个社会性疾病，全世界有数百万人罹患此病。

I'll call you on Friday to see if we can reschedule our luncheon meeting at your convenience.

我星期五会给您打电话在您方便的时候我们重新安排我们的午餐约会。