查询词典 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)的概念，设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法。

The main achievement is as following: Present a new software structure with insert mode based on diagram and data platform. With this structure the software can be used in various voltage levels of power networks by switching function groupware with corresponding edition. Therefore it is important to solve software universality and developability.(2) Present a new idea that any operating condition is combination of running mode of plant or station, power supply topological and rules of equipment maintenance. This idea is very useful at simplifying setup and choice of operating conditions and ensuring calculation result correction.(3) Present a new idea of protection setting examination and rectification. Protection setting examination is used to examine the selectivity、 sensitivity and speed under certain operating condition, and pass an opinion whether these settings are wrong;Setting rectification is used to calculate new relay settings when error is found in setting examination.(4) Point out that interaction design is the key step in developing power system application software,which can secure usability.

主要成果有：(1)提出了以图形/数据平台为基础的插件式软件结构，通过配置不同版本的功能插件即可应用于不同特点的电网，对解决软件的通用性和可发展性具有重要意义；(2)提出了基于厂站方式、供电方式和检修规律相组合的运行方式分解方法，它能有效提高运行方式选择的合理性与全面性，使定值计算的正确性得到保障；(3)提出了保护定值校正的思想并进行了软件实现，它能检测当前保护定值在选择性、灵敏性、快速性等方面是否适合当前的运行方式，并对不正确的定值进行纠正；(4)指出交互设计应作为电力系统应用软件开发中的一个关键步骤，目的是保证软件的可用性，并对软件开发的过程进行了总结，提出了许多有益的实践经验。

Discretionary Access Control is one of necessary and most common secure mechanisms in the secure operating system.

自主访问控制机制是安全操作系统必不可少的、应用最广泛的安全机制之一。

DAACM is conformant to the requirements of the secure operating system design of Structured Protection Level, and will be used to the practical system design.

DAACM符合论文中给出的《结构化保护级》安全操作系统设计的需要，并将实际应用于该系统的设计之中。

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.

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

Graf, without question, is the greatest women's player in history.

格拉芙，现在，毫无疑问是女子网坛历史上最伟大的选手。

If not, you will have to look around at all your important data.

如果没有，您将需要检查所有的重要数据。