程序

TETRA Server is a background program, which is responsible for transferring information between telephone program and TETRA main board. Thirdly, a telephone program of smart phone is researched in depth; Finally, I implemented the voice functions of TETRA smart mobile terminal by reference to the idea of the telephone program.

TETRA Server是一个后台程序，负责电话程序与TETRA主板之间的信息传递；再次，对一个智能手机的电话程序进行了深入的分析；最后，通过借鉴智能手机的电话程序的编程思想，实现了TETRA智能移动终端的各项语音功能。

The semantic descriptive method used in this dissertation has the following characteristics: First, the traditional input-output function is replaced by trace valued function as the denotation of programs. It helps to explain the process of program execution and thus facilitate programming and debugging. It is indispensable in the formal description of interactive languages.

本文采用的语义描述形式有如下几个特点：一是用时迹函数代替传统的输入输出函数作为程序的指称，这有助于揭示程序的执行特征，对具体的编程实践尤其是程序调试具有较好的指导作用，对于交互式程序的语义刻划更是必不可少的手段。

Raft foundation can be analyzed by this program. And interaction of raft foundation in different plane shape and different thickness with soil that simulated by Winker or two-parameter soil model and high-rise building superstructure can be computed and analyzed. The program provides a new and effective analysis tool for the practice of high-rise building raft foundation engineering.

针对上述各种计算理论及分析内容，自行编制了相应的面向对象计算程序PIASRFS-2007，程序用C++语言在VC++平台中编制，采用该程序可以采用无网格法对筏板基础进行计算分析，并能对不同平面形状、不同厚度的筏板基础与Winkler、双参数弹性地基及高层建筑的不同上部结构进行三者的共同作用计算分析，该程序为高层建筑筏板基础工程实践提供了一种新型有效的分析手段。

It wants to keep neutrality of the judge, prevent misusing of the accusatorial power and strengthen the accused. At present, almost all of the students consider it as a fundamental principle in criminal proceedings and point out some drawbacks in the trial stage of criminal proceedings in China. But that is not systematic and overall. Meanwhile the historical, relative and theory-to-practice methods were used in the article. On base of studying the historical development and analyzing the meaning and main demands of it, the article come up with many reformatory suggestions for thoroughgoing implementing it according to the drawbacks of criminal proceedings in China: establishing judicial review and letting no-trial judge inspect accusation before the trial, restricting strictly judge's conduct of changing accusation and inspecting out of court, upbuilding partly investigating system, forbidding judge to initiate retrial which is harmful to the accused.

本文运用了历史的、比较的和理论联系实际的方法，从研究控审分离原则的历史沿革入手，深刻剖析了其理论内涵和基本要求，最后针对我国刑事诉讼中存在的不足之处，就彻底贯彻该原则提出了五点改革性意见：确立审前司法审查机制，使程序性裁判主体与控诉主体彻底分离；在公诉审查中，由独立于庭审法官的预审法官对公诉进行实体性审查；在一审程序中，对法院变更起诉以及庭外调查的行为给予严格的限制，防止法院在事实上承担追诉职能；在第二审程序中，废除全面审查原则，代之以部分审查方式；取消人民法院主动提起再审程序的权力，或者至少应当取消法院主动提起不利于被告人的再审程序的权力。

With that ,we decide to use WINDDK to compile the driver program which is closer to hardware and can be handled agilely after compare the several popular way of making WDM driver program, in despite of it will bring more difficulty.

在介绍了驱动程序的安装方法后，详细介绍了应用程序的编制和驱动程序和应用程序的连接方法，以及如何利用GUID找到设备接口名这一关键步骤。

BiConjugate Gradients Stabilized method is applied for solving large linear equation set. That the calculation results of PC modeling program match well with that of parallel algorithm shows high reliability of the latter. The parallel algorithm has established the basis for the inversion 3D Borehole-Surface electromagnetic data and also provided the tech support for the utilization of the program.

在求解大型线性方程组时，采用的是稳定的双共轭梯度算法，单机正演程序与并行正演程序的计算结果有着很好的一致性，这说明了并行算法的正确性，为进一步开发井地电法三维反演并行程序奠定了基础，也为井地电法三维正、反演程序实用化提供了技术支持。

It is important for a Data Management System to share and exchange data in different applications. As a result, the efficience and maintenance of software can be improved.

解决不同应用程序之间的数据共享和交互问题，提高应用程序的通用性，便于应用程序的升级，以降低应用程序的开发成本是数据管理系统研究的一个重要内容。

Justice is a concept which indicates that all kinds of conflicting interests have been balanced properly. The balance can be embodied not only in a result but also in a procedure, so we can ask whether a procedure is justicial or a result is justicial, but we can't say a procedure is "procedurally justicial" or a result is "substantially justicial".

正义本身就是一个标表各种相互冲突的利益被合理平衡的概念，这种平衡可能动态地体现在某种程序中，也可能静态地体现在某一结果中，因此只存在程序是否合乎正义，结果是否合乎正义的问题，并不存在程序合乎&程序正义&，结果合乎&实体正义&的分别。

Justice is a concept which indicates that all kinds of conflicting interests have been balanced properly. The balance can be embodied not only in a result but also in a procedure, so we can ask whether a procedure is justicial or a result is justicial, but we can't say a procedure is "procedurally justicial" or a result is "substantially justicial".

内容提要：正义本身就是一个标表各种相互冲突的利益被合理平衡的概念，这种平衡可能动态地体现在某种程序中，也可能静态地体现在某一结果中，因此只存在程序是否合乎正义，结果是否合乎正义的问题，并不存在程序合乎&程序正义&，结果合乎&实体正义&的分别。

This thesis has made efforts to indicate the concept of personnel proceedings, compare the distinctions among personnel proceedings, common proceedings and noncontentious proceedings.

本文从人事诉讼程序的概念入手，系统比较了人事诉讼程序与普通诉讼程序及非讼程序的区别。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失