With the abstract system of event B, the sub-models of resource, instruction and control of EBPM model the structure, behavior and timing of processor.
利用事件B中的抽象系统,通过资源、指令和控制三个子模型从结构、行为和时序三方面对处理器进行建模,每个子模型中分别由抽象系统的状态和事件两部分刻画其静态行为和动态行为。
Adopting a layered architecture, XGUI builds a system abstract layer which can mask the differences of various operating systems.
XGUI采用分层策略,构建了能够屏蔽底层操作系统差异的系统抽象层,使得基于XGUI开发的GIS软件只需重新编译即可应用于不同的操作系统,提高了软件的开发效率,并且满足了地理信息应用的特殊需求。
Operating System Abstraction Layer: a New TechnologySupporting Multiplatform
操作系统抽象层—一种支持跨平台的新技术
The Design and Implementation of Operating System Abstract Layer in Embedded Software Development Environment;
嵌入式软件开发环境中操作系统抽象层的设计与实现
Research and Design on the Fuctiong of CTI System s Hardware Abstract Layer;
CTI系统硬件抽象层功能的研究与设计
Design and Realization of Embedded System Developing Platform Hardware Abstraction Layer;
嵌入式系统开发平台硬件抽象层的设计与实现
Hierarchical Diagnosis for Static System Based on Structural Abstraction
静态系统基于结构抽象的分层诊断方法
Design of Software Abstract Layer of Middleware on Closed Mobile Phone System
封闭式手机系统上中间件软件抽象层的设计
Research on Embedded System Hardware Abstraction Layer and Application in Development Process;
嵌入式系统硬件抽象层研究及其在开发过程中的应用
The Abstraction and Formalized Verification of Heating Hybrid System
供热混合系统的抽象及其形式化验证
It's the abstract that is called system analysis.
这就是所谓系统分析这个抽象概念。
Systematical Analysis of Organizational Capability;
组织能力的系统剖析:从具体到抽象
A Solution for the Transplant of Embedded OS--The Design and Implement of General Hardware Abstraction Layer;
解决嵌入式操作系统移植问题的一个方案——通用硬件抽象层的设计与实现
Researches and Implement on Object Extracting of Legacy Systems Written in Conventional Procedural Language;
非面向对象系统中对象抽取方法的研究与实现
Productivity system is a dynamic "tetrahedron" in an abstract term.
生产力系统抽象地看是一个处于动态的“四面体”;
A file is an abstract data type defined and implemented by the operating system.
文件是操作系统定义和实现的抽象数据类型。
Protocol Abstract Test Suite Automation Generator Based on E-LOTOS;
基于E-LOTOS的协议抽象测试套自动生成系统
Review on hybrid systems based on generalized time space model
基于抽象时间空间模型的混杂系统综述
Exploitation and accomplishment of the expert system for selecting the method of gas drainage in coalfield
煤层气抽放方法选择专家系统的开发和实现
Tradition of Nonobjectivism and Traditional Nonobjectivism--on the Nonobjectivism of Chinese Ancient Lacquer Painting;
抽象的传统与传统的抽象——论中国古代漆画的抽象特性