查询词典 propositional variable

If a variable is used in a code block but not defined there, it is a free variable .

如果某名字在代码块中有所使用，但并不在该块中定义，就称它为自由变量。

If the nearest enclosing scope for a free variable contains a global statement, the free variable is treated as a global.

如果某自由变量的最近封闭作用域包括一个global语句，那么这个自由变量就当作全局变量处理。

After that, the analytical formula of the free boundary variable s versus time variable t in the two phase cylinder group melting process. The formula is important to study the factors affecting the group melting.

求出两相圆柱团熔融过程中固液界面s与时间t的解析表达式，它对分析研究影响物料团熔融的相关因素起着重要作用。

With the new model and the program, steady seepage field in work period, free surface position variable law with time at upper reaches in unsteady seepage period and seepage field variable law on the condition of different seepage coefficient and water decrease speed are stimulated.

利用建立的模型和编制的程序能模拟正常运行期的稳定渗流场、非稳定渗流期上游水位变化时自由面位置随时间的变化规律以及不同的水位下降速度时渗流场的变化规律。

Using of the biomechanical method and the dynamical method , with control and without control of the same action redundancy free degree as stimulus variable , with the minus of explosive strength as dependent variable , compary with different sections testing results , qualitative and quantitative evaluation to jumpping movement coordinative ability.

运用生物力学方法与人体运动的动力学方法，以相同动作冗余自由度的控制与不控制作为刺激变量，以动作爆发力表现水平的差值为因变量，通过对两组不同水平被试测验成绩的比较，对跳跃专项动作协调能力进行了定性与定量评价。

In this system,the VVVF(variable voltage variable frequency) control method based on magnetic flux trajectory is applied.In the system,it is the target for the magnetic flux linkage polygon to be greatly approximate to the ideal magnetic flux circle.Considering such limitations as the low speed torque ripple,high speed real time and the working frequency of switching element,through the subsection synchronization control method by applying different numbers of magnetic flux linkage polygon for different frequency range,the perfect precision specifications for speed can be obtained.

系统采用基于磁通轨迹法的他控式变频调速方案，以磁链多边形尽量逼近理想磁通圆为目标，并考虑低速转矩脉动、高速实时性和开关元件的工作频率限制等约束条件，通过采用分段同步控制方式，在不同的频段采用不同的磁链多边形边数，使系统获得了优异的转速精度指标。

In this paper, five equivalent conditions of the definition and five special nature of analytic function are given, and followed by their mutual equivalence of the proof , the relationship between the equivalent conditions and the nature of analytic functions is revealed, which can help us to learn the concept of complex variable function in deep depth and make analytic functions an important role in complex variable function.

本文依次给出了解析函数的五个等价条件及五个性质，并通过对它们相互等价性的证明，导出了解析函数等价条件与性质之间的关系，更加深入地揭示解析函数这一概念的内涵，展示出了解析函数在复变函数论学习中的重要性。

This paper proves strictly the soundness of a formula of the logarithm function of a complex variable and points out the wrong conclusion concerning it in《Engineering Mathematics-Functions of a Complex Variable》compiled by the Mathematics Teaching and Research Section of Xi an Jiaotong University.

本文严格证明了关于复变量对数函数的一个公式的正确性，同时指出了西安交通大学数学教研室编写的《工程数学———复变函数》一书中有关结论的错误。

By regarding fuzzy random variables as the particular case of measurable fuzzy setvalued functions and systematizing the achieved results [55～56] , opening further up the study, the paper introduces the concepts of complex fuzzy random variable, the distribution function and fall-shadow distribution function of complex fuzzy random variable, and investigates their fundamental properties.

6将动态模糊集合与模糊集值函数的概念推广到了动态复模糊集合和复模糊集值函数的情形，并且讨论了它们的若干基本性质

The product of the derivative of a function containing one variable multiplied by the increment of the independent variable .

微分用独立变量乘以含有一个度量的函数，然后对其求导所得的结果

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。