现有同步机构在抽象顺序推理机上的实现

来源 :吉林工学院学报:自然科学版 | 被引量 : 0次 | 上传用户:milo_pine
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文以一种抽象的顺序推理机系统为模型,详细讨论了现有四种同步机械-忙式等待、信号灯,条件临界区和管理能否在该模型上使用,并对使用情况进行了评述。用Turbo-Prolog语言书写了软件模拟程序(1400行),现已在IBM-PC/XT微机上实现。
其他文献
教师润物无声、从严治教、为人师表的工作作风,是建立学生精神家园的基础;深入细致地了解学生,是优化精神家园的前提;民主施教,让学生真正成为集体的主人,是优化精神家园的关键;立足
当今不少地区在缺乏对课程资源的合理利用、缺乏明确的课程规划、缺乏对学生发展目标理解的情况下,热衷于汇编地方教材、校本教材,往往使撰编成的教材成为摆设,失去实用价值
以文献关键词为切入点,通过对近10年(2009—2018年)国内外公共交通与城市空间领域高频研究关键词进行分析,以捕捉该领域的研究发展动态,并对所筛选出的核心高频关键词进行研
日前,教育部、共青团中央、全国妇联共同发出通知,要求各地教育行政部门和中小学校、共青团和少先队组织、妇联要认真安排好学生暑期工作,组织好学生假期的学习生活和社会实
随着高中教育的普及,高中的教学对象、教学目的、教学模式也都随之发生了改变。新课改要求我们在教会学生知识的同时,更要注重培养学生学习的方法和技能,使之具备良好的科学思维
培养学生的学习兴趣,是学生进行有效学习的前提。本文提出,教师应在课堂中运用角色转变、有趣的课堂活动、开展生动的教学活动、良好的师生关系等方法帮助学生树立学习信心,激发
第一部分缺血再灌注对肾小管上皮细胞肝再生增强因子的表达及线粒体自噬水平的影响目的:探讨体外缺血再灌注(ischemia reperfusion,I/R)处理对人肾小管上皮细胞(HK-2)肝再生
笔者在平常阅读教育类书籍报刊时,偶遇关于“分数”的故事,细细品读,颇耐人寻味。有一个故事是说一位小学生由于中途转学,功课落下不少。一次数学考试后发卷子,他提心吊胆地
目的探讨血清adropin水平和心房颤动类型及心房重构的相关性。方法选取滁州市明光市中医院2015年11月至2017年6月心房颤动患者212例,随访2年,根据是否发生心房重构分为重构组
国际话语生态是一个复杂的综合体系,是全球资本广泛交集和激烈竞争的前沿地带,也是国际社会政治、经济、文化、科技、军事、外交以话语为形态进行展示的舞台。场域理论揭示了