查询词典 Extended Memory Specification

In the second chapter, basic structures of every kind of Random Access Memory and correlated knowledge of AMBA Specification 2.0 are introduced, and on the basis of which, the system specification and the whole structure designing of memory controller are introduced.

论文首先分析了各类存储器的结构、控制特点，综述了AMBA Specification 2.0的有关知识，及其在本文中相应的实现策略。

There are mainly three kinds of sememe motion patterns in extended noun meanings, namely, generic sememe heredity that is new extended sememe formed by the changing of differentia sememe; new extended sememe independently differentiated from differentia sememe; extended sememe highlighted by correlation sememe.

名词词义引申的义素运动模式主要有三种：类属义素遗传，种差义素变化而形成新的引申义位；种差义素独立分化为新的引申义位；关联义素凸显为新的引申义位。

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.

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

If the disk is infected with the virus, the memory is read the first part of the virus program, it has been modified after the control of the size of memory space available in high-end memory think of a region, and moved to the first part of the area, and then read on the disk "bad cluster" in the second part of the first part and to put together, so that all proceedings on the presence of the virus in memory of the high-end, and then modify the interrupt vector INT13H or other interrupt vector to the high-end virus program, then you can read the original boot memory and the control over to it to complete the system startup.

如果是染上病毒的盘，读到内存的是病毒程序的第一部分，它得到控制权后修改内存可用空间的大小，在内存高端辟出一块区域，并把第一部分移至该区，接着读入放在磁盘"坏簇"中的第二部分，并和第一部分拼起来，使病毒程序全部驻留在内存的高端，然后修改INT13H的中断向量或其它中断向量，使其向高端的病毒程序，这时即可把原引导程序读到内存中，并把控制权交给它以完成系统的启动。

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。