切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
新一代实时操作系统
新一代实时操作系统
来源 :计算机科学 | 被引量 : 0次 | 上传用户:hdf2006
【摘 要】
:
<正>一、微内核的发展前几年,不论国外、国内,都在研究下一代操作系统的特点。在各种学术会议上,操作系统的专家们发表了许多不同的意见,也有很多争论。但近来,取得了一致的
【作 者】
:
孟庆余
【机 构】
:
中软总公司基础软件部
【出 处】
:
计算机科学
【发表日期】
:
1996年6期
【关键词】
:
实时操作系统
操作系统
微内核
Real-time operating system
Microkernel.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>一、微内核的发展前几年,不论国外、国内,都在研究下一代操作系统的特点。在各种学术会议上,操作系统的专家们发表了许多不同的意见,也有很多争论。但近来,取得了一致的意见:
其他文献
信息管理技术的最新进展—参加国际智能信息管理系统会议总结
1994年6月1日~3日我们出席了在美国华盛顿D.C.召开的国际智能信息管理系统学术会议,该会议由国际小型、微型计算机协会举办,来自美国、加拿大、德国、日本等的许多专家出席了
期刊
信息管理
数据库
管理系统
非自治二阶哈密尔顿系统周期解的存在性
在非线性项有一部分是次线性的条件下,运用临界点理论中的极小作用原理,得到了非自治二阶哈密尔顿系统周期解的存在性.
期刊
周期解
极小作用原理
强制性
periodic solution
the least action principle
coercivity
正视新课程 树立新理念
加深教师对新课程的理解,提高教师实施新课程的能力和水平,使教师尽快走进新课程是当务之急。只有对以往应试教育进行理智的分析,正确的预测,才能更好地正视、把握新课标。
期刊
走进新课程
新理念
应试教育
数学教学
数学教育
教师实施
正视
学生
新课标
学习方法
IPM——一种增量计算的自动生成模型
<正> 增量计算在排版系统、编译系统和各种软件工具中有着广泛的应用,而实现一个增量式软件系统往往需要采用复杂的算法设计和艰苦的程序调试.近年来,随着部分求值技术的发展
期刊
IPM
增量计算
程序生成法
Incrementai Computation
Partial Evaluation
Program Synthesise.
以过程为中心的软件工程环境研究
以过程为中心的软件工程环境(PSEEs)是一种新的软件工程环境。在这种环境中,可以明确地对软件的过程建模,从而对用户提供指导,支持,便于实现自动化,本文讨论了PSEEs的概念、功能、结构以及若干
期刊
软件过程
过程模型
软件工程环境
面向对象的MIS开发方法和平台
<正>面向对象(object一oriented,简称00)是一种对应于真实世界概念化的抽象思维方法。00方法学(00 Methodology简称00M)是以00基本概念、方法和理论为基础的一套原则、策略、
期刊
管理信息系统
面向对象
平台
Object-oriented
Software
Development methodology
Software Devel
油菜新品种评比试验总结
以引进的6个油菜品种系为试验材料,研究了其在里下河地区的适应性、高产性。结果表明:宁杂31、宁杂1818、宁杂1838产量表现较好,金地99、07052产量表现一般,07086产量表现较
期刊
油菜
新品种
关于水稻跗线螨发生与防治技术研究
有关水稻跗线螨,是出现在20世纪70年代的一种水稻害螨,主要危害在水稻叶鞘,而且在叶鞘上会呈现紫褐色斑点,进而出现紫秆症的症状,由于其大量繁殖因此会威胁到水稻剑叶鞘。这
期刊
研究分析
水稻跗线螨
防治
数据复制和数据一致性
<正>分布式数据库(DDB)对全局关系分片,把各分片分别存放在不同节点,当应用程序对全局关系进行操作时,DDB将全局关系操作转换为分片操作,利用本地处理速度执行分片操作以提商
期刊
数据库
数据复制
数据一致性
DDB
Distributed database
Data replication
Mult-replication
Dat
代数递归逻辑与人工智能
融合代数和递归函数理论,本文建了一个可以刻画知识表示、智能获取和自动推理的逻辑理论,给出了从示例中获得取知识的多项式复杂性算法和自动推理多项式复杂性算法。作为代数递
期刊
代数递归
逻辑理论
知识表示
知识获取
人工智能
与本文相关的学术论文