导出

NET environment by C# programming language. The functions of the software include layout of fuel oil system, layout of lubricating oil system, simulation of auto control and operation of the separator, malfunction simulation, alarm function, data display and export, operation log display and log file saving, curve drawing and so on. The technology of GDI+ and ADO.NET has been applied, and it also has made full use of some other advantages of C# programming language.

NET数据库技术，并充分发挥C#语言的优势，开发出完整的仿真系统软件，实现分油机控制和操作仿真、故障模拟、报警显示、数据显示和导出、操作日志显示和日志文件保存、曲线绘制等功能。

Special logical paradox is a kind of rigid logical paradox which can be depicted by modern logical syntax, modern logical semantics and modern logical pragmatics from its form, and it is possible to infer the paradox from acknowledged correct background knowledge or presupposition of rational thinking subjects.

狭义逻辑悖论是指其由以导出的背景知识都是日常进行合理思维的理性主体普遍承认的公共知识或预设，均可通过现代逻辑语形学、逻辑语义学和逻辑语用学的研究使之得到严格的形式塑述和刻画，其推导过程可达到无懈可击的逻辑严格性的悖论。

The new form of Lorentz Force Formula,that will be suitable for the charge at any speed,has been derived,and it can be transformed into the general Lorentz Force Formula in any case at lower speed.

并在此基础上导出了适用于任意速度的新的洛伦兹力公式，它在低速情况下转化为通常的洛伦兹力公式。

Then it derived the measurement of the system loss rate. Numerical results and simulation experiments are presented.

导出了系统误码率的表达式，通过数值例子和仿真实验说明了理论分析结果的正确性。

The observational equations have been derived using the three methods above which are based on high-low SST and low-low SST observational data respectively, at the same time, the shortages and merits of these three methods are analyzed. 3The problem of gravity field recovery can be attributed to the solution of over determined system of equations.

本文分别以高低卫卫跟踪和低低卫卫跟踪观测数据为基础，导出了基于上述三种方法的观测方程，并分析了它们的优缺点。3重力场恢复最终归结为超定线性方程组的求解问题。

In the low-low satellite to satellite gravity mission, the intersatellite range and range-rate data are the observable values, while the intersatellite acceleration can be derived from the range-rate through digital differential. Using acceleration data, people can avoid solving the variation equations of the satellite motion and simplify the observation equations. But on the other side, the digital differential will amplify the observation noises and finally affect the solved geopotential accuracy.

低低卫星跟踪卫星的观测量是两低轨卫星的星间距离或星间速度，星间加速度由星间速度通过数值微分导出，用星间加速度作为观测量可以避免解算卫星运动的变分方程，简化观测方程的建立，但数值微分会使观测噪声放大，从而影响重力位的解算精度。

In particular, a sufficient condition for the TSE to be superior over the LSE is given.

据此，导出了两步估计的一些重要统计性质。

Considering the complicity and higher predicted water cut in the polymer flooding model developed by Zhou Zhijun,expanding this model by Maclaurin series,a linear relation was obtained between d(Wp-aNp3)/dNp and Np in Cartesian system.

针对周志军等建立的聚合物驱驱替特征模型较为复杂、应用不方便，且后续水驱阶段预测偏差较大的问题，将该模型用麦克劳林级数展开，推导出d(Wp-aNp3)/dNp与Np在直角坐标系下存在线性关系。

Education is the same as the system,opened and vigorous.the criticism to the close middle school and their library can result in the educational viewpoint of "macro library".

开放的系统才有活力，教育领域也一样，对中学及其图书馆封闭的批判可以导出相对应的"大图书馆"教育观。

The equation of magnetic line of force for current element is derived and the concluion is obtained that any magnetic line of force is a close circle and its center changing in straight line on three coordinate plane, the oblique rate is determined by current element.

导出了电流元的磁力线方程，发现任一磁力线是一闭合圆线，圆心在三个坐标平面上沿直线变化，斜率由电流元的取向决

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。