计算程序

Considering the effect of rough sea, a program called GRWAVE1 which may compute the electric field strength and phase has been written.

在地波程序GRWAVE的基础上，考虑了随机粗糙海面的影响编制了程序GRWAVE1，该程序既可计算地波场幅度又可计算其相位。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

This method can avoid the repetition and pretermission of integrating interval,especially in the convolution computation of multi-partition function.

卷积的运算规则是翻褶、移位、相乘、积分[1]，卷积的计算可分为手工计算和程序计算两种，程序计算是基于FFT算法，主要有重叠相加法和

Then, a Visual C++ program named Sailing Program is written to do following works: to calculate the parameters of rhumb line and great circle line ; to design the great circle line when it is necessary ; to design the composite line when it is necessary; to print tracks of rhumb line and great circle line on Mercator chart.

我们用Visual C++设计的航线设计程序，可以计算出两点之间大圆航线和等角航线的相关参数；如果有必要进行大圆航行的话，程序将计算出大圆航线的航路点；如果需要混合航行的话，程序将进行混合航线设计。

The code considers both transverse and longitudinal movements in the accelerators using a used 4 order variable step Runge Kutta method to calculate the beam envelope of the transverse movement, the phase oscillation curve of the longitudinal movement, the energy growth, the energy distribution at the exit, and the longitudinal electric and magnetic field distributions.

L INE- ACC/ PC程序同时考虑了加速器中的横向运动与纵向运动，运用了四阶变步长 Runge- Kutta法计算了行波电子直线加速器束流横向运动包络线、纵向运动相振荡曲线、能量增长、出口能量分布和纵向电场、磁场分布。由该程序对海关大型集装箱检测系统用加速器的 9Me V档进行调整计算，结果表明：该程序的设计结果与实际运行参数符合得很好。

Developed two computer software namedSEMA and MMEA, which can calculate the single line mooring force and thestiffness matrix of the whole mooring system. And use these softwares to compute theforce-excursion relationship of a four lines moored Spar platform in different intialhorizontal force conditions, shown the influences of the intial horizontal force to themooring stiffness. 3. The Spar can be simplified as a large diameter, truncated cylinder, we focus onthe diffraction problem in bichromatic incident waves, and the boundary integralequation method is applied.

按照上述理论和方法编制了计算单根系泊索系泊力的SEMA程序和计算系泊刚度的MMEA程序，并利用这两套程序，在不同预张力的初始条件下，对一座四索系泊Spar平台的系泊系统进行了分析，揭示了Spar平台整体系泊力随位移变化的规律， 3、将Spar平台主体简化为大尺度的直立浮动圆柱体，对双频入射波作用下平台主体的绕射问题进行了深入的理论研究，并且采用边界积分方程法，对二阶差频波浪力进行了求解。

These two sets of neutron optical potential parameters have been ingathered in the Nuclear Parameter Data LIBRARY of China by Chinese Nuclear Data Center.Based on these neutron optical potential parameters, program DWUCK4 has been applied to calculate direct inelastic cross sections which are used in SUNF program as input data and then the SUNF program has been used for calculating all nuclear reaction data of neutron induced on 135Ba, 136Ba, 137Ba, 138Ba and 130Te in energy range from 0.01 to 20MeV, respectively.

在这两组中子光学势参数的基础上，应用程序DWUCK4计算了直接非弹截面，作为输入数据用于SUNF程序，用SUNF程序计算了中子入射~(135)Ba、~(136)Ba、~(137)Ba、~(138)Ba和~(130)Te五个核的反应全套数据。

Based on the original program, a program to simulate the working process of internal combustion engines was developed, and steady simulation was completed when the 4102BG diesel ran under normal cycle. The results was obtained and compared with the experimental data, so the program was proved to be feasible.

在原有程序的基础上，编制了对内燃机工作过程进行仿真的程序，利用该程序对4102柴油机进行了开式循环的稳态模拟计算，并将计算结果与实测数据进行了比较，验证了程序的正确性。

For non-intense beams,particle trajectory can be obtained by multiplying linear transport matrices. For nonlinear transport of intense beams,the influence of space-charge effect on beam transport needs to be taken into account,and self-consistent solution should be derived because of the interaction between charged particle distribution and space charge field. In the program,components and currents are divided into equal intervals,respectively,and each interval is treated as a uniform solenoid field.

程序在计算非强流脉冲束流的线性传输时，粒子的轨迹通过矩阵的直接相乘计算得出；程序在计算强流脉冲束流的非线性传输时，需要考虑束流中的空间电荷效应对束流传输的影响，在束流运动过程中，空间电荷场也在不断地变化，而且粒子运动的轨迹与空间电荷势又是相互依赖的，因此需要求得一个自洽的解，先把元件分成若干均等的区间，把电流分成若干等份，后采用束流电流迭代与元件区间迭代的计算方法。

The present thesis construct the boundary model on carburettors which is based on themethod of characteristics. The IEM computer program for computing the wave action and ex-change gas process of the gas oline engine is accomplished by using the method of characteristics.

建立用特征线计算的代油器边界模型，利用非等墒特征线理论编制了可计算汽油机进气管内的压力波动及换气过程的计算机程序IEM，并用该程序对BJ492QA汽油机进行了计算，计算与实测的压力波曲线吻合良好，表明了该化油器边界模型及IEM的合理性。

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.

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