有效函数

In validity theory, application-specific validity constraints are axiomatized as validity fluents, the heuristic alternative responses are axiomatized as decisive complex actions, and they are composed into validity-ensured autonomous service units, which can be comprised into, and executed autonomously by, situation calculus implementation systems.

在有效计算理论中，采用有效性流函数刻画应用需求中的有效性约束常识，采用确定性复合动作刻画直接服务、补遗策略、替代策略、拒绝策略等启发式策略，并它们结合构成保证有效性的服务计算单元，纳入情景演算形式系统，利用情景演算的形式推理实现自治执行。

We have made use of the spectral of effective gluons in static limit, calculated the effective thermodynamic potential in QGP with a soft exchange gluon at two-loop level, and studied the influence from the transverse gluon width to the potential.

我们先采用静极限下有效胶子的谱函数，通过计算含单个软交换胶子的QGP系统的热力学势直到两圈，研究了横胶子的有限宽度对系统热力学势的影响。

In this paper, model of vehicle with double axes is used to study the vibrations of vehicle-bridge dynamic interaction system. The active control law based on linear optimal control theory is designed, In which the transient power flow and displacement at mid-span of bridge are accounted separately.

本文采用能更加逼近真实车辆的双轴车辆模型，应用线性最优控制理论，采用可有效控制一阶振型的双臂弯矩控制系统，分别以双轴车辆输入桥梁的瞬时功率流和桥梁的跨中位移振动响应为目标函数来设计控制律。

Third,in order to solve the problem of the contradiction between the authentication and the privacy,we construct a designated-verifier chameleon proxy signature scheme.Only the designated verifier can verify the validity of the signature which can efficiently prevent the forgery from the dishonest verifiers.

第三，为了解决认证性和隐私性相冲突的问题，我们基于身份密码系统并结合我们所构造的一个卡麦龙函数，提出了一种新的指定验证者卡麦龙代理签名方案，在该方案中，只有指定的接受者能够验证签名的有效性，该方案能够有效的保护验证者的利益。

According to the appointed carrier mission and setting the pay load of the space transportation craft as objective function, energy characteristic model, mass model and orbit model of the hydrogen-oxygen FFSC (Full Flow Staged-Combustion Cycle) were established, and the numerical method was used to optimize the performance parameters.

根据给定的运载任务，建立了氢氧全流量补燃循环发动机的能量特性模型、运载器质量模型和轨道模型，以运载器有效载荷为目标函数，利用枚举法进行了发动机性能参数的优化研究。

Studying on the hydraulic pipelines of the nitrogen-inflating hydraulic pile hammer, establishes a optimization objective function for it with the relevant methods of parameter optimization, and uses Matlab to solve the model, gets a group of optimization pipelines size, and tests the validity of this method. So more efficiency methods for hydraulic system design of the nitrogen-inflating hydraulic pile hammer are provided.

以氮爆式液压打桩锤液压管道为研究对象，应用参数优化设计的相关方法建立氮爆式液压打桩锤管路优化分析的目标函数，并利用Matlab编程对模型进行求解，得出一组优化后的管道尺寸，并检验这种优化方法的有效性，为氮爆式液压打桩锤液压系统的设计开发提供了更为有效的方法。

In the meanwhile, the TS characteristics of a scattering particle and their relationship are studied when it is passing through the scattering area, In addition to this, the distribution function of particles' shape is defenited in terms of math's method and a new method is putout of which the distribution of particles' shape is captured in according to the power spectrum and spectral distribution characterist of light scattering and finally, the utility of the perturbation ameliorating method and the effect of the particles' shape is modified, so far, the accuracy of measurement of the particles' size is improved effectively.

对此，本文在以Mie散射理论为原理，依据前向接收器接收的前向散射光信息以获取微粒大小信息的测量基础上，对微粒穿越光敏区时的时域与空域的特征以及相关性开展了研究，从数学上定义了微粒的形体分布函数，提出了一种依据光散射功率潜和频谱分布特征来获取微粒形体分布信息的方法，完善了微扰修正理论的应用性，有效地改善了形体的影响问题，从而可提高微粒粒度分布测量结果的准确性。

The error of a surface on the electrical potential distribution can be neglected when the order of the distance which from center to the surface we assume the potential decay to zero about 102 of its radius. This effect also can be neglected when the potential is high, but it can be taken into account by multiplying a correction function to the potential of surface when the surface potential is low.

并且当表面电位较高的时候，近似解析解对於空间电位的分布会有较好的描述，即和数值解的结果会有较少的误差；而在表面电位较低的情况下，圆柱座标以及球座标的近似解可以乘上一个校正函数来修正，则可以有效的大幅降低误差，更可以正确的描述胶体粒子内部的空间电位分布。

Matlab use Simpson quadrature quadrature at the time of function, can effectively solve all these problems.

详细说明： matlab中运用Simpson求积时的求积函数，可以有效解决这类问题。

We designed and implemented function inline algorithms, such as power, division, square root and exponent function. These algorithms not only effectively reduce the overheads for function calls, but also induce other compilation optimizations.

设计并实现了扩展双精度数学库中的乘幂、除法、方根、指数函数的内联，在有效降低函数调用开销的同时，为指令调度等其它编译优化提供了优化空间。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。