查询词典 secure operating system

Based on predecessors' work, this propose the concept of degenerate test set and an approach that performs test generation and redundancy elimination in the light of the special requirement of verification of the secure operating system.

在总结前人工作的基础上，结合安全操作系统对测试的特殊需求，提出了简并测试集(degenerate test set，简称DTS)的概念，设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法。

Designed from the ground up as a network infrastructure product with a rack mountable chassis, custom non-PC hardware and a secure operating system.

从底层向上设计作为一个有机架式机箱，定制非PC硬件和网络基础设施安全的操作系统产品。

Robust and Reliable - Designed from the ground up as network infrastructure, the TANDBERG Codian IP GW 3500 Series is rack mountable with custom non-PC hardware and a secure operating system.

鲁棒可靠-基础设施设计从根本上为网络，泰德Codian公司的IP毛重3500系列机架系统挂载自定义的非PC硬件和安全运行。

A new method to determine optimal secure operating point of power system.

一种确定电力系统最优安全运行点的新方法。

Under the premise of guaranteeing the completely real-time charging system, the method solves the problem that the real-time charging system in the prior art can not lead to the actually balanced account as a result of the inaccurate account information and the inaccurate telephone list, further improves the operating efficiency of the operator, and reduces the operating costs.

本发明实施例在保证实时计费系统完全实时的前提下，解决现有技术中实时计费系统由于帐户信息和话单不精确而无法做到真正帐务平衡的问题，从而提高了运营商的运营效率，降低运营成本。

Based on the hardware and primary operating system of PDA, this item improves the operating system of PDA to realizing the necessity of household appliances central control. PDA controller will work as aforehand prospect after it is designed successfully.

本系统主要采用PDA作为硬件依托，进行软件的设计，在原有的PDA操作系统软件的基础上，将PDA的操作系统软件进行重新设计，以便达到用户对家用电器进行集中控制的需求，设计完毕后的PDA控制器应该能够按预想的那样控制家用电器。

I knew we wanted to use Python on Amoeba, the operating system we were developing, and on UNIX, the operating system we were using on our desktops.

即，我知道我们要求 Python 在我们正在开发的 Amoeba 上，以及 UNIX 上运行，后者是我们作为桌面的操作系统。

This book of classic books for the operating system, mainly about the notion of the operating system.

详细说明：本书为操作系统的经典书籍，主要讲述了操作系统的概念等。

This will browbeat the Windows operating system of market of operating system of 95%PC of already occupational whole world.

这将会威胁到已经占领全球95%PC操作系统市场的Windows操作系统。

The design adopts the CENTUM CS1000 Distributed Control System, which was produced by Michael Tien company in Japan Yokogawa. The Distributed Control System has reliable hardware, reliable operating, feature-rich software and good operating characteristics. In the process of energy conservation, control and optimize the consumption will play a positive role.

PX装置异构化单元脱庚烷塔自动控制系统采用了日本横河-北辰公司生产的CENTUM CS1000集散控制系统，集散控制系统，其硬件可靠，运行可靠，软件功能丰富，具有良好的操作特性，并在工艺过程的节能、将耗和优化控制方面起着积极的作用。

It's not quite as simple as that.

并没有那么容易。

It debuted in 1992 in Japan and the United Kingdom, and 1993 in the United States.

它首次亮相于1992年在日本和英国，在美国1993年。