查询词典 specification statement

A "statement" for discovery purposes is defined by Rule 26(3) to include " a written statement signed or otherwise adopted or approved by the person making it, or a stenographic, mechanical, electrical, or other recording, or a transcription thereof, which is a substantially verbatim recital of an oral statement by the person making it and contemporaneously recorded." This means that if a witness has been interviewed, but nothing tangible was produced, such as a written statement, recording, or transcript, there is no "statement" in existence that can be discovered.

"声明"为宗旨的发现所定义的规则第26条列入"在一份书面声明中签名或以其他方式通过或批准的人，或速记，机械，电气，或其他记录，或转录，因此，这是一个大大的逐字演奏会的口头声明中所作出的人，这和contemporaneously录"，这意味着，如果一个证人已经采访了，但仍然没有具体的制作，如一份书面声明，录音或誊本，还有什么"声明"的存在，可以被发现。

As a result of the search of great majority index is propped up and do not have capture, analyse the ability of Js statement, accordingly, link code through what Js statement outputs, search engine cannot capture arrives, in the meantime, search engine and cannot well the content of capture I, because this uses I to include the friendship that links a page to link a form,also be cannot be searched what engine capture arrives, these two kinds of links are invalid link, a simple judgement method is, examine the other side to link the source file of the page, if do not have the page address that can find you, that should be to use above the link that 2 kinds of means output, here also has a kind of exceptional case, use Js statement to output a link directly on the page, for example Write is read all the way form, also be Js statement, but the page can be found, such link, meeting capture reachs engine of the theoretic all alone that tell search, but can be equal it at common link, still be an unknown.

由于绝大多数的搜索引擎并没有抓取，分析js语句的能力，因此，通过js语句输出的链接代码，搜索引擎无法抓取到，同时，搜索引擎并不能很好地抓取i的内容，因此使用i包含链接页面的友情链接形式也是无法被搜索引擎抓取到的，这两种链接都是无效链接，一个简单的判断方法是，查看对方链接页面的源文件，如果没有能找到你的页面地址，那就应该是用上面2种方式输出的链接了，这里也有一种例外的情况，在页面上直接使用js语句输出链接，例如 write 一路读这样的形式，也是js语句，但是页面可以找到，这样的链接，理论上讲搜索引擎是会抓取到的，但是会不会把它等同于普通的链接，还是个未知数。

To lie =df to make a not-believed-true statement that is false to another person in a context which warrants the truth of that statement to that other person, where the person making the statement does not take herself to be not warranting the truth of that statement to that other person.

撒谎 =做出一个不被认为为真的，对另一个人来说为假的陈述，所在的环境是一个保证了对另一个人来说为真的环境中，做出陈述的人没有让自己不保证对另一个人那个陈述的真实性。

First design a reasonable XML Schema structure and under the restriction of XML Schema use XML to describe the UML class diagram and the related specification, and then extract the test specification of method from XML test script. Test specification refers to predicate sequences in the form of conjunctive normal form, extracted from basic constraint conditions of variables included in test scripts and expected outputs. Each conjunctive normal form can be transformed to an inequation set, and adopt 1×1 domain test strategy to every inequation set to produce the domain test matrix, which in turn produce the test case.

首先设计合理的XML Schema结构，并在该XML Schema的有效性约束下，用XML对UML类图及相关性约束进行脚本描述；其次对XML测试脚本进行分析，提取方法的测试规约说明，所谓测试规约说明就是从测试脚本中包含的变量的基本约束条件以及期望输出中抽取得到的以合取范式形式存在的谓词序列；每一合取范式对应一个不等式组，对每一个不等式组采用1×1域测试策略，生成域测试矩阵，最终得到测试用例。

A change of the specification may be considered small if it affects only a small number of specification modules; to ensure continuity, there must be a direct correspondence between specification, design and implementation modules.

如果一个规格的变化只影响小部分的规格模块，那么这可能会被认为无关紧要；为了确保连续性，在规格，设计和实现模块之间必须有直接对应。

The last one: Produced the application method of LOTOS specification styles in network service and protocol design, the concept of formal structural model and its design approach, Macro-oriented specification style and its implementation, the transformation of LOTOS specification to C or C++. Then an example is taken to illustrate how to use the ADT to describle a protocol.

第四部分：提出了LOTOS规范风格在网络服务和协议设计中的应用方法、形式结构模型的概念及实现方法、面向宏的概念及实现方法、LOTOS规范的C、C++实现方法；并举一案例说明基于LOTOS技术的协议设计方法。

The formal description technology based on LOTOS, the formal transformation, the formal validation and implemenation are generalized. Constructions of communication service and communication protocol, transformation from service specification into protocol specification based on bisimulation equivalence are also stated in detail. Application of LOTOS specification styles and architecture concept in service and protocol design is studied as an emphasis.

归纳总结了基于LOTOS的形式化描述方法、形式化的转换、验证和实现等方法理论，以及通信服务和协议的构造方法及服务规范到协议规范的等效性转换方法，重点研究了规范风格和结构概念在服务和协议设计中的应用。

According to the definition of technical specification by ISO and WTO and the relationship between technical specification and laws and regulations, in fact technical specification is a peremptory technical document, it has the characters both of technology and laws.

根据ISO和WTO对技术法规的定义以及技术法规与法律法规的关系，技术法规本质上是一种需要强制遵守的技术性文件，具有技术和法律两方面的规定性。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

Its basic idea is to adopt formal or semi-formal method to develop the component. The developer provide the component with a formal specification with a given structure firstly, then build the component from this specification, and produces the description of component by this specification and other information.

其基本思想是：采用形式化或半形式化的方法来开发组件，首先为组件提供一个特定结构的形式规格说明，开发者根据该规格说明构造组件，并根据该规格说明及相关信息获得组件描述。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。