公式语言

The procedure realizes with the C language, can the user input proposition formula truth table, by the specific expression form output.

程序用C语言实现，能将用户输入的命题公式的真值表，以特定的表示形式输出。

They apply different terminologies such as chunks, formulas, formulaic utterances, frame structures, idioms, lexicalized sentence stems, memorized sentences, patterns, prefabricated chunks, prefabricated or ready-made language, routines, speech formulas, and unanalyzed language or wholes, etc.

简单地说，词汇语块就是以整体形式存储在大脑中的一串词，可以整体或稍作改动后作为预制组块供学习者或使用者提取和使用。他们使用不同的术语来描述这种语言现象，比如，模块、公式、惯用语、框架结构、习语、词汇化了的句干、句型等。

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

The related calculation formule and simulation program were written in DYNAMO Language.

有关计算公式和仿真程序均采用 DYNAMO 语言来编写。

Under the flag of " Return to Freud " of Lacan, with the piety to Freud's works, by using the formula that Lacan mentioned later " all kinds of unconscious forms arecontrolled by the same structure as language's——metaphor and metonymy",through the clue that displacement is similar to metonymy and condensation is similar to metaphor ,this text begins to reread the Freud's previous works, has analyzed concretely unconscious composition forms dream, symptom , jokes and parapraxis that Freud had put forward, in order to know clearly the unconscious operation mechanism in all kinds of unconscious forms and enrich the unconscious theory better.

本文在拉康的&回归弗洛伊德&的旗帜之下，带着对弗洛伊德文本的虔诚，运用拉康后来提到的&无意识的诸种构成形式被由语言一样的结构——隐喻和换喻所控制&的公式，通过移置类似于换喻、凝缩类似于隐喻的线索展开了对弗洛伊德前期文本的重新阅读，对弗洛伊德提出的无意识构成形式梦、症状、妙词和失误进行了具体详尽地分析，以求洞悉在诸种无意识构成形式中无意识的运作机制，来更好地丰富弗洛伊德提出的无意识理论。

They reflect an extraordinary degree of excitement in their language-in their short, abrupt sentences and in their sudden transitions, but none the less they carefully maintain the rimed form, like the oracles and magic formulas of the pagan Arab priests (Al-A'sha, in Ibn Hisham).

它们反映了非凡的兴奋程度在他们的语言，在其短，突然判决，并在其突然转型，但他们不小心保持rimed形式，如神谕和魔法公式的阿拉伯异教牧师（铝甲'白沙，在本希沙姆）。

The foundation soil is divided for finding the ultimate bearing capacity of a foundation with given buried depth and size. Supposing a uniform load acts on the foundation, Mindlin's integral formula and comer points method are used to get extra stress of every mesh knot by MATLAB program, then the principal stress is found. Combining with failure criterion, MATLAB program is used to find coordinates of points which are destroyed. Using graphic processing function of MATLAB, the failure points are showed in the coordinate.

为确定作用在已知埋深、给定基础形状地基土上的极限承载力，对基底下的土体进行网格划分，先假定一均布荷载作用在此地基土上，运用明德林解的积分公式，结合角点法，编制MATLAB语言程序，求出每个网格节点上附加应力，进而求得每个网格节点上主应力，根据破坏准则，结合程序找出破坏点的坐标，利用MATLAB的图形处理功能，把破坏点的坐标在坐标图中显示出来。

Spline Broach complexity of the design process, the geometric parameters, many of which need to look-up table and complex calculation to determine the parameters of a certain size, Design Spline Broach all forms and formulas into C language are procedures, through a simple C program calls, importation Spline Broach the technical parameters can be accurately its design parameters, Finally, all the parameters of integrated print out data tables, thus simplifying the complex Spline Broach design process, and meet the design requirements.

花键拉刀设计过程复杂，几何参数多，许多都需要查表和复杂的计算来确定某一参数尺寸，把花键拉刀设计中所有表格和计算公式都编成C语言程序，通过简单的C程序调用，输入花键拉刀的技术参数就可以准确得到其设计参数，最后把所有的参数值综合打印出数据表格，从而简化了复杂的花键拉刀设计过程，且达到了设计的要求。

Spline Broach complexity of the design process, the geometric parameters, many of which need to look-up table and complex calculation to determine the parameters of a certain size, Design Spline Broach all forms and formulas into C language are procedures, through a simple C program calls, importation Spline Broach the technical parameters can be accurately its design parameters, Finally, all the parameters of integrated print out data tables, thus simplifying the complex Spline Broach design process, and meet the design requirements.

花键拉刀设计过程复杂，几何参数多，许多都需要查表和复杂的计算来确定某1参数尺寸，把花键拉刀设计中所有表格和计算公式都编成C语言程序，通过简单的C程序调用，输入花键拉刀的技术参数就可以准确得到其设计参数，最后把所有的参数值综合打印出数据表格，从而简化了复杂的花键拉刀设计过程，且达到了设计的要求。

Collect and process the time stamp in network drives based on PTP, then synchronize the master and slave clock by using the best master clock algorithm programmed in Java and C language. Allan variance was used to describe properties of the clock.

基于精密时间协议，在网络驱动中对时戳进行采集和处理，采用最佳主时钟算法选取网络主时钟对从时钟进行同步，使用Java语言和C语言混合编程实现软件网络时钟同步，并采用Allan方差公式对时钟性能进行描述。

Plunder melds and run with this jewel!

掠夺melds和运行与此宝石！

My dream is to be a crazy growing tree and extend at the edge between the city and the forest.

此刻，也许正是在通往天国的路上，我体验着这白色的晕旋。