程序

However, the existing summary procedure for civil lawsuit in our country has not yet formed an integral and complete legal system, legislative interpretation conflicts with judicial interpretation, and the boundary between ordinary procedure and summary procedure is not well defined, which cause chaos and utter disorder for application of summary procedure in court at basic level.

然而我国现行的民事诉讼简易程序尚未形成比较完整统一的法律制度，立法与司法解释相互矛盾，普通程序与简易程序的界限不清，导致基层法院适用简易程序非常混乱，没有统一严格的标准，是一种"皮筋"式程序，导致当事人对司法公正产生怀疑，这些都反映出现行民事诉讼简易程序的规定不能满足现代形势发展的需要。

In order to alternate leniency with severity in the implementation of criminal policies, we should increase the elasticity of our procedure, and promote consultation in judicial practice; increase the participation of individuals, and decrease the negative effects of crimina...

为实现宽严相济刑事政策，应当增强程序柔性；应当提高程序的个体参与性；应当增强程序的独立性；应当增强程序的多样性；应当提高内部工作程序制度的合理性；应当增强最严重犯罪案件司法程序的严格性。

Because programs in haskell are pure functions, simple equational reasoning can be used to execute programs, to transform programs, to prove properties of programs, and even to derive programs directly from specifications of their behavior.

因为Haskell程序是纯函数，简单的等式证明能用于执行程序，转换程序，说明程序的属性，甚至直接从程序行为的规格说明中得到程序。

Its software includes data acquisition program, TEDS program, signal conditioning grogram, TII interface program, wireless transmission program and receiving terminal grogram.

其软件包括数据采集程序、TEDS程序、信号调理程序、TII接口程序、无线传输程序、接收终端程序。

X are under implementation, there is a need for hard drive cloning, please enter the Ghost subdirectory, run Ghost.exe procedures should be noted that, if it is in The program runs under DOS when running the program to start before the best mouse driver for DOS, because the operation of Ghost is like a window screen frame, use the mouse to click to choose will be more convenient - although it can be used to operate the keyboard.

Ghost就是克隆硬盘的程序，该程序在DOS下、Windows9.X下都可执行，所以要进行硬盘的克隆，请先进入到Ghost子目录，运行Ghost.exe程序，需要注意的是，如果是在DOS下运行该程序时，在运行该程序前最好启动DOS的鼠标驱动程序，因为Ghost的操作画面是仿窗口画面，使用鼠标点击来选择会方便一些--虽然也可以用键盘来操作。

The latter five chapters ramify into specific theories probing on pre-trial Preparatory procedure, court trial procedure, simple procedure including small sum litigation procedure, appeal procedure and retrial procedure designing and system improvements.

后五章属于分论部分，分别对庭前准备程序、庭审程序、简易程序、上诉程序与再审程序的程序设计和制度完善进行探讨。

Recommendations: When you accidentally do not like to install the software, not smart aleck of the hard disk you can see the deletion of the software program, which may cause system "registry" error, thereby affecting the stability of the system, there are some software installation process of anti-Uninsatll not write well, can not be restored after deletion of the original features of the system, it would lead to "the procedure is invalid, close the program" or "reinstall" and other errors; there most of the procedures after the removal of 12 would leave the garbage DLL file, which not only caused by the mast system, but also indirectly affect the system's operating efficiency, the best way is twofold: First, the software is used to find the ask a friend first, and then installed it again; Second, the request of various expert advice online.

建议：当您不小心安装了不喜欢的软件之后，不要自作聪明的把硬盘中你所能看得到的软件程序删除，这可能会造成系统"登录"错误，进而影响系统的稳定性，也有某些软件的反安装程序Uninsatll写得并不好，删除后也不能恢复系统本来的面目，反而会出现"程序执行无效，请关闭程序"或"请重新安装"等错误；还有大部份的程序在删除后也都会留下一二个 DLL 的垃圾程序文件，这不仅造成系统的肥大，还会间接影响系统的运行效率，最好的方法有二：其一，是找用过这套软件的朋友先问一问，然后再去装它；其二，上网请求各路高手指点。

We selected from 222 students at first grade in a primary school as subjects. A One to One intervention was given in the subjects by using self-made program computer programs. This study is composed of two experiments. The first experiment discusses the effect of self-explanation which guided by different direct instruction in problem solving on procedural learning, procedural transfer and conceptual understanding. The purpose of this experiment was to test whether self-explanation can promote transfer and which is the most the most effective combination of self-explanation and instruction. The second experiment, based on the results of the first experiment, compared the effect of self-explanation of different types in problem solving on procedural learning, procedural transfer and conceptual understanding. There are two methods: explain aloud, explain without voice. The purpose was to compare which effect is better?

以222名小学一年级学生为被试，经过筛选后，采用自编的计算机程序对被试一对一实验，研究由两个实验组成，实验一探讨问题解决中不同教授条件下引导的自我解释，对程序的学习、程序的近迁移、程序的远迁移和概念知识的影响，探讨是否自我解释能够促进迁移以及与哪一种教授条件相结合是更有效的；实验二根据实验一的研究结果，比较问题解决中引导的不同形式的自我解释，对程序的学习、程序的近迁移、程序的远迁移和概念知识的影响，探讨出声的自我解释和不出声的自我解释哪个效果更好。

This article includes but not limited those below:to admit the comparativeindependency of ship arrest procedure,to strength the protection of the procedure,to re-arrange the relations among ship arrest,maritime injunction and preservation of maritimeevidence in order that the two ones latter can service former one better, to better the law asto restrain the abuse of convenience flag by ship-owners.

这主要包括但不限于：对扣船程序的性质及功能予以重新定位，肯定扣船程序的独立性；强化扣船程序的程序保障，允许对诉前扣船裁定提起紧急上诉；协调海事强制令、海事证据保全措施与扣船程序的关系，使前两者可以作为其辅助程序，服务于扣船程序；针对方便船旗流行的现状，完善我国的方便旗船舶扣押制度。

Using abstract programming language, such as Apia, the specification and derivation of the algorithmic program in six typical trees, graph problem is described. The standard proof and formal derivation is implemented by two above new strategies for developing loop invariants. The algorithm in Apia is transformed into corresponding program in Delphi and C++ by the automated algorithmic transformation system that Partition-and-Recur method provided and correct result is received. These improve reliability and developing efficiency of the kind of complex algorithm.

利用抽象程序设计语言Apla精确描述了6个典型树、图等问题的程序规约和求解算法程序，用上述提出的两种新策略开发了循环不变式，实现了严格的形式化推导或证明，并用PAR方法提供的算法程序自动转换系统将得到的Apla算法程序转换成对应的Delphi和C~程序，均得到了正确的运行结果，大幅度地提高了这类复杂算法程序的可靠性和开发效率。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。