程序上的

Application program development has been done based on the Windows2000 operating system and in application of Visual C++ programming language. The result comes to the anticipant.

在Windows2000操作系统上应用Visual C++程序设计语言进行了系统应用程序的开发，达到了预期的要求。

On the basis of operating system and driver , have written the application program of CAN communication.

在操作系统和驱动程序的基础上，编写了CAN通讯的应用程序。

The program is in the cuboid procedures based on their inheritance, to achieve a description of cube.

详细说明：该程序是在长方体程序的基础上实现对其继承，实现对正方体的描述。

Most of the work a programmer does for Deep Linking is centered on creating functions that either "serialize" the current state to URL or "deserialize" the URL and use that information to change the Flex application state.

为使深度链接起作用，程序员所要做的事情主要就是编写函数来把当前状态信息连载到URL上或者把它去掉，并通过那些状态信息来控制Flex应用程序的状态。

On the basis of experimental research, this thesis applies 2-dimensional non-linear finite element method to the analysis of transient temperature field on the section by means of relatively high precision triangular element of six joints. When the temperature field is analyzed, finite element reseaus are divided in space field and finite difference reseaus are divided in time field, and then the program is compiled. The computing results are in good agreement with the test data. It indicates that the program is stable and precise.

在试验研究的基础上，本文采用精度较高的三角形六结点单元对构件截面二维非线性瞬态温度场进行了有限元分析，即在空间域内采用有限元网格划分，在时间域内采用有限差分网格划分，据此编制了计算程序，计算结果与试验数据符合较好，程序稳定性好，精度满足要求。

The application places a shortcut to a Google search box on theIdle screen (unfortunately only for devices with either a 'Ctrl' or'pencil/edit' key), but is also accessible via the usual applicationlauncher on all devices.

本程序在屏幕空闲区放置一个谷歌搜索框的快捷方式（但是只兼容有ctrl键或笔键的手机），但是同样可以在任何手机上通过一般的程序运行器访问。

The application placesa shortcut to a Google search box on theIdle screen (unfortunately onlyfor devices with either a 'Ctrl' or'pencil/edit' key), but is alsoaccessible via the usual applicationlauncher on all devices.

本程序在屏幕空闲区放置一个谷歌搜索框的快捷方式（但是只兼容有ctrl键或笔键的手机），但是同样可以在任何手机上通过一般的程序运行器访问。

There are many serious misleading in how to apply the principle of "fraud exception", whereas, it is necessary to make a legal research on the principle of "fraud exception" in light of former researches. The article consists of two parts. In the first part, the author put emphasis on the principle of abstract independence, the definition, the establishment and development of the principle of fraud exception, the analysis of the fraud, the theory, the prerequisite and the procedure of apply the principle of "fraud exception" in order to establish the general principle and necessary procedure. In the second part, the author analysis the existing backward conditions oflegislation and judicial practice in China, and courts" attitude to the judicial remedy for the principle of " fraud exception", further, the author puts forward some suggestions on how to make the legislation on the principle of "fraud exception" perfect, and how to apply the procedure of judicial remedy for the principle of "fraud exception". Lastly, the author hopes that these suggestions could benefit to the judicial practice and the future legislation on the principle of "fraud exception.

我国在加入世界贸易组织后，按照国际惯例和国际公约处理国际贸易中的纠纷己成为一种必然趋势，鉴于我国法院对如何准确适用信用证欺诈例外原则存在着严重误区，使得在先前学者研究的基础上再一次研究欺诈例外原则很有必要，本文分两个部分，第一部分对信用证独立抽象原则、信用证欺诈例外原则的定义、确立与发展、对例外原则下欺诈的分析、理论基础、适用条件以及程序等六方面展开论述，从而确立信用证欺诈例外原则的一般原则和必要的程序：第二部分主要分析我国司法实践中信用证欺诈例外原则司法救济的立法以及司法现状，及法院对欺诈例外原则的态度，从而对如何完善我国法院欺诈例外原则的法律依据以及如何正确适用欺诈例外原则的司法救济程序提出一些构思，希望为欺诈例外原则在我国的司法实践以及为以后的相应立法提供有益的参考。

To conquer limitations of existing techniques for developing loop invariants, professor Xue Jinyun, who is imbursed under two National Nature Science Foundation of China, systematically research the theory and method of loop invariants and advanced the new definition and developing strategies for loop invariants. Based on above, he presented efficiency method of developing algorithmic program, Partition-and-Recur Approach, and its developing environment which bring into important play in formal method.

为了克服已有循环不变式开发技术存在的局限性，薛锦云教授在两个国家自然科学基金课题&若干新的算法程序设计和证明方法研究&和&实用的软件形式化方法及其开发工具的研究&的资助下，对循环不变式的理论和方法进行了系统的研究，提出了关于循环不变式的新定义和新的开发策略，并在此基础上形成了一种实用的算法程序形式化开发方法及其开发环境，在复杂算法程序及软件形式化开发中发挥了重要作用。

The design of hardware and software is the emphases of this paper, the hardware circuit board which has an ARM core-S3C44B0 is designed for the special situation and use, for the locoman it is easy to operate and it has a friendly interface. The application software is designed on the embedded operating system-uClinux, it is more complicated than the software which is not base on the operating system, but it has more functions than the latter, furthermore it is steadier when running, and it is easier to design when the operating system has many API functions to use.

本文的重点也在控制部分的软硬件设计上，针对本系统的特殊应用，设计了基于ARM芯片S3C44B0的硬件电路板，它完全满足机车操作人员要求的交互作用好、便携，抗干扰的要求；软件部分采用基于嵌入式操作系统uClinux的应用程序，它与一般的前后台系统下的应用程序相比更复杂，但它所实现的功能也是后者望尘莫及的，并且基于操作系统的应用程序运行更稳定。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。