切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于ADT的操作系统基础模型的研究
基于ADT的操作系统基础模型的研究
来源 :淮南师范学院学报 | 被引量 : 0次 | 上传用户:jinyu1016
【摘 要】
:
从需求角度出发定义了操作系统的简洁模型,提出以系统的运行活动实体为核心满足操作需求的概念,然后以此概念为引申,采用ADT方法详细地定义和讨论了计算机系统、作业、服务、系
【作 者】
:
孙淮宁
【机 构】
:
淮南师范学院计算机与信息工程系
【出 处】
:
淮南师范学院学报
【发表日期】
:
2009年3期
【关键词】
:
操作系统
形式化模型
抽象数据类型(ADT)
Operating system
Formal Module
Abstract data type (AD
【基金项目】
:
安徽省高等学校省级自然科学研究资助项目(2006KJ164C),淮南师范学院院级教学研究资助项目(HSJYY200414),淮南师范学院院级科研资助项目(2005LKp06)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
从需求角度出发定义了操作系统的简洁模型,提出以系统的运行活动实体为核心满足操作需求的概念,然后以此概念为引申,采用ADT方法详细地定义和讨论了计算机系统、作业、服务、系统调度和资源的形式化实体结构模型,最后建立了形式化的操作系统基础模型,从而解决了操作系统形式化基础模型缺乏的问题。
其他文献
二十世纪民权运动和人本思想对社会保障的影响
当代社会保障是20世纪人权运动和民生权利诉求的自然结果,其中包括罗斯福的四大自由、贝弗里奇的社会服务报告以及中国晏阳初的平民教育运动。二战以后,罗尔斯等人的哲学思考
期刊
民生问题
社会保障
国民教育
civil rights
social security
national educatio
发挥领导创造力增强企业经营活力
期刊
企业
经营者
素质
经营管理
新形势下大学毕业论文(设计)实施方案的设计
在分析了目前毕业论文面临形势的基础上,提出了一个比较有效的实施方案。将毕业论文包含的培养内容与目标嵌套于上述实施方案中.有利于加强教师对学生的有效指导和提高学生的毕
期刊
毕业论文
实施方案
培养内容
风险社会与小康社会刍议
当今世界,现代性把我们带入到了全新而纷乱的情境之中,其自身不自觉地附带产生了大量的副产品,它们作为现代性引致的后果具有高度的危险性。严重威胁着人类的安全。我们正在际遇
期刊
风险社会
警示
小康社会
新胜利
risk society
warning
well-off society
new victories
智能型伺服系统在精密药液灌装生产线上应用
介绍基于台达智能型伺服系统的高精度灌装控制方案。台达A2伺服独有的电子凸轮功能配合全新pr运动控制模式,实现了液体灌装速度和送瓶速度实时保持高精度同步。
期刊
高解析智能伺服
同步灌装
电子凸轮
资料抓取
high-resolution intelligent servo
synchronous filling
e
咸酥花生加工中漂白工艺的研究
为提高咸酥花生的感官品质,本文采用L25(56)正交试验研究过氧化氢和过氧乙酸两种无氯漂白剂对咸酥花生漂白效果的影响。结果表明:过氧化氢和过氧乙酸混合漂白剂能有效地脱除花生
期刊
咸酥花生
过氧化氢
过氧乙酸
漂白
工艺参数优化
salty and crisp peanut
hydrogen peroxide
peroxyacetic
论构建和谐社会政府必备的五个行政能力
社会主义和谐社会是民主法治、公平正义、诚信友爱、充满活力、安定有序、人与自然和谐相处的社会。构建和谐社会,是一项复杂的系统工程,在这个过程中,需要各种力量的作用聚合。
期刊
和谐社会
管控力
整合力
平衡力
公信力
执行力
harmonious society
controlling force
joint force
equ
农村土地使用权流转辨析
摘 要: 农村土地制度关系着农村的稳定与发展,关系着“三农”问题的妥善解决。中国的农村土地制度向来都是与时俱进的,现在也不例外。现行的农村土地制度经过近30年的社会实践,已经暴露出一些社会问题。围绕农村土地使用权流转这一核心问题,提出农村土地使用权的流转不仅是必要的而且是可行的,希望借此来推动中国农村土地制度进一步完善。 关键词: 农村土地; 流转; 改革方向 中图分类号: F301文献标识码
期刊
农村土地
流转
改革方向
rural land
transfer
direction of reform
我国妇女参政议政的历史变迁刍议
妇女解放是人类社会进步的重要尺度,而妇女参政议政则是妇女解放的高级形式。改革开放给妇女参政议政提供机遇和挑战的同时也为妇女参政议政开创了崭新局面,取得了令人瞩目的成
期刊
改革开放
妇女参政议政
科学发展观
Reform and opening up
women' s participation in policy making
天池
期刊
与本文相关的学术论文