结构函数

Standpoint functions are very easy to detect because of function prologues and epilogues.

序列，所以函数都包含通用的一个头结构和一个尾结构，因此对于一个逆向工程人员来说

Under the condition that the flux function has one inflection point, by the structure of weak entropy solution of the corresponding initial value problem and the boundary entropy condition developed by Bardos-Leroux-Nedelec, we give a construction method for the global weak entropy solution of the initial-boundary value problem arid clarify the solution structure nearby the boundary.

在流函数具有一个拐点的条件下，由相应的初始值问题弱熵解的结构和Bardos-Leroux-Nedelec提出的边界熵条件，给出初边值问题整体弱熵解的一个构造方法，澄清弱熵解在边界附近的结构。

To overcome the disadvantages of one-support bearing, two-support bearing is applied to the fore part of spindle. The minimum displacement of the spindle nose is used as objective function to design the structure of spindle. By these ways, the static and dynamic characteristics of the spindle system are improved, satisfying the...

对于主轴结构，论文建立了以主轴前端动态变形最小为目标函数的优化模型，并对主轴结构进行了优化设计，从而提高了主轴系统的静力学和动力学特性，满足了设计要求。

In this paper a further study of the algebraic properties of the language will be presented and the digital system will be optimized by program transformation. In this way, we can get a correct and optimized logic structure which has no redundancy and reuses each common component to the great extent.

本文将在此基础上，进一步研究函数或硬件描述语言的代数性质并通过程序变换对所描述的电路进行综合和优化，从而设计出正确的优化逻辑结构，在这种逻辑结构中去除了冗余，最大限度地重复使用各个子部件。

In Chapter 2, the learning algorithm of the single-layer perceptron and its limitation are considered firstly.

前馈结构的神经网络是最重要的神经网络模型之一，本文系统地研究了前馈结构神经网络的能力，包括多层感知机和径向基函数网络两部份。

The boundary of analytical model and statistical model is clearly divided in this performance model, and evaluation accuracy is improved. Secondly, based on embedded SRAM performance hybrid model, this article adopts bionics algorithm-ant algorithm to optimize hierarchical embedded SRAM structure. This method which adjusts memory system structure improves memory system performance. Finally, considering the factors such as memory cell area, power, delay and reliability, this article establishes static 6-T memory cell area, power, delay and static noise margin equations, analyzes 6-T memory cell device dimension constraints under "read upset" and "write upset", then proposes a method to enhance embedded SRAM performance by optimizing 6-T memory cell size. In order to realize embedded SRAM design and verify proposed optimization methods, this article takes the Garfield202 system chip as the platform, which embeds A720T processor and 20KB Scratch-Pad memory.

首先针对嵌入式SRAM结构，采用多元线性回归方法分析SRAM宏单元性能指标，采用解析方法分析控制电路延时，结合以上这两种方法建立嵌入式SRAM性能混合模型，该模型清晰划分两种建模方法的各自适用范围，提高了模型精度；其次以该混合模型为基础建立存储体性能目标函数，采用仿生优化算法—蚂蚁算法优化嵌入式SRAM结构，使之达到最优设计；最后综合考虑面积、功耗、速度以及可靠性等因素，建立静态6-T存储单元面积、功耗、延时以及静态噪声容限方程，分析了&读破坏&和&写破坏&的晶体管尺寸约束，优化了6-T存储单元尺寸，提高了嵌入式SRAM性能。

It is good consistent with the result of simulation. The first-passage reliability functions of structure with stochastic initial deflections are derived.

在计算结构受宽带载荷作用下的可靠性中，定义结构存在随机初始缺陷时的首次超越的可靠性函数。

The EndDeferWindowPos function accepts the handle to this structure and repositions the windows by using the information stored in the structure.

函数EndDeferWindowPos接收到结构体的句柄，然后根据存储在结构体中的信息重新布局窗口。

This says that fp is a pointer to a FILE, and fopen returns a pointer to a FILE.

在本例中，fp是一个指向结构FILE的指针，并且，fopen函数返回一个指向结构FILE的指针。

Based on the idea of type systems, this paper reengineers a new set of type expressions and a type system for machine code of Intel/x86s infrastructure Although machine language program is a binary untyped code, types of its registers and memory exist implicitly in semantics of instructions The type inferring algorithm built on type systems can statically infer safety of the machine code The machine language discussed includes some of important characters, such as jumps, function call, return, and so on, and shows that the approach can be applied to type checking for low level code of other infrastructures

根据类型系统思想，为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统机器语言代码虽然是一种无类型的二进制编码，但其类型信息被隐含在指令的操作语义中，利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令，因此，这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷