期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

新一代机操作系统中并发进程的同步控制被引量：1

下载PDF

导出

摘要本文介绍在新一代计算机系统模型HNM上实现基于知识的智能型操作系统BKOS的并发进程同步控制。我们提出了资源也是知识的思想,并把共享资源抽象为自动机。然后用Prolog语言实现知识的产生式系统表示和两种新的同步机构。

作者黄明周长林

机构地区吉林大学计算机科学系

出处《计算机科学》 CSCD 北大核心 1989年第1期67-67,共1页 Computer Science

关键词操作系统并发进程同步控制 BKOS

分类号 TP316 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

同被引文献3

1黄明,孙辉,曹家琏.用PROLOG语言在第五代计算机中实现三种同步机制[J].大连铁道学院学报,1994,15(1):21-26. 被引量：2
2黄明唐焕文.一个基于自动机理论和面向对象技术的模型管理系统[J].计算机应用研究,1998,(3).
3黄明.CIMS系统开发若干问题的研究[M].大连:大连理工大学,1999..

引证文献1

1梁旭,黄明.DSS中模型的自动机表示方法[J].吉林化工学院学报,2000,17(4):54-58. 被引量：1

二级引证文献1

1赵银军.基于Caché的模型管理[J].大众科技,2011,13(9):32-33.

1司天歌,刘铎,戴一奇.安全的基于网络的计算机系统[J].清华大学学报（自然科学版）,2007,47(7):1220-1223. 被引量：25
2邱鹏瑞,杨波,张丽华.基于Prolog与Java的教学评价专家系统设计[J].红河学院学报,2012,10(2):57-59.
3谢春丽,崔志明.Web文本挖掘中特征提取的设计与实现[J].微机发展,2003,13(2):77-79. 被引量：6
4伍丽华,钟宏音.一阶逻辑在关系数据库中的应用[J].现代计算机,2002,8(3):36-39. 被引量：3
5郑凯峰,陈少文,袁海金.应用TURBO PROLOG语言实现DBMS与ES的软件技术[J].交通与计算机,1993(2):15-20.
6刘金琨,邓守强.专家系统知识学习程序设计[J].电脑学习,1996(5):26-27.
7柳辉.基于网络技术的远程教育现状及发展趋势[J].黑龙江科技信息,2014(1):150-150. 被引量：2
8黄大海.BJ-01并行机同步机制的设计与实现[J].小型微型计算机系统,1989,10(12):24-27.
9王晶,夏鲁宁,荆继武,顾青.一种可容忍代码错误的专用计算机系统模型[J].中国科学院研究生院学报,2009,26(6):826-834.
10黄明.第五代计算机中同步机构的发展[J].计算机科学,1989,16(3):75-76. 被引量：1

计算机科学

1989年第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部