论文部分内容阅读
本文描述基于微核心技术的国产操作系统ＣＯＳＩＸＶ２．０中文件系统服务器的安全性设计。
基于微核心的安全文件系统服务器的设计和实现
【摘 要】
：
本文描述基于微核心技术的国产操作系统ＣＯＳＩＸＶ２．０中文件系统服务器的安全性设计。
【机 构】
：
中国科学院软件研究所
【出 处】
：
计算机学报
【发表日期】
：
1997年5期
其他文献
星形图具有许多良好的拓扑性质，是一种有可能替代传统的超立方体的并行计算互联网络的模型。在本文中，作者针对在星形图这样一种高度规则的网络中，可能产生死锁的问题，对星形图上
本文提出了一种构造性类型理论ＴＴＯＯＰ，引入了类现规类型和类类型的概念。类是类规约类型的元素，它又是一类型，类的元素为对象。通过证明类可构造类，由此构造面向对象软件。
A novel built-in-self-test(BIST) method called seeded autonomous cyclic shift register (SACSR) is presented to reduce test power of the sequential circuit. The
期刊
On global behavior of the system of rational difference equations x_(n+1)=p+y_(n-k)/x_n,y_(n+1)=q+x_
In this paper,we investigate the boundedness character,the global attractivity and the periodic nature of the system of rational difference equations:x_(n+1)=p+
期刊
如何获得死锁而且通信性能良好的选路算法始终是人们十分关心的问题。本文提出了纯分流点的概念并证明了选路算法无死锁的充要条件，从理论上解决了死锁关系问题，为死锁的判定，消
本文介绍了基于B-样条曲面建立人体模型的方法．文中按照军标对人体曲面的划分，将人体划分为16个肢体，用矩阵级联的方法建立了人体运动方程．采用超限插值的方法完成了人体各关节处过渡曲面的构造．
The gas bearing is a newtype of bearing whichuses gas as thelubricant.Since they appearedin19thcentury,manyscholars researchedthembytheoreti-cal and experi ment
期刊
Glutamate enhances the expression of vascular endothelial growth factor in cultured SD rat astrocyte
Objective To study the effect of glutamate on the expression of vascular endothelial growth factor (VEGF) mRNA and protein in cultured rat astrocytes. Methods C
期刊
NONINVASIVE DETECTION OF BRAIN ACTIVITY VARIATION UNDER DIFFERENT DEPTH OF ANESTHESIA BY EEG COMPLEX
For a principal action of general anestheticagents takes place inthe brain,it wouldinduce EEGchange.It is reasonable to monitor the brain activityand esti mate
期刊