论文部分内容阅读
本文提出逻辑程序阿部推理机制的一种格式化描述方法——推导格式。这种描述方法是分析逻辑程序的一种有效的工具,它可帮助我们理解和调试给定的逻辑程序。
分析逻辑程序的一种有效工具—推导格式
【摘 要】
：
本文提出逻辑程序阿部推理机制的一种格式化描述方法——推导格式。这种描述方法是分析逻辑程序的一种有效的工具,它可帮助我们理解和调试给定的逻辑程序。
【机 构】
：
暨南大学计算机科学系
【出 处】
：
暨南大学学报：自然科学与医学版
【发表日期】
：
1990年1期
【基金项目】
：
省自然科学基金880243号资助项目,暨大中青年科学基金的子课题之一
其他文献
中国传统文化博大精深,中国汉字精妙无穷,中国的书法作为中国传统文化的精髓之一,应该发扬光大,但随着现在科学技术的发展,书写渐渐被计算机代替,大众也慢慢淡化了对书法的学
简明介绍了DDS模块的基本结构及其应用范围,提出了工程设计时应注意的问题,阐述了利用计算机实现对DDS系统进行智能控制的方法,在通信领域中具有广泛的应用价值.
针对所研发的高速滑行艇型,采用风洞试验及数值模拟方法研究其在静水面高速航行时的气动阻力特性。其中,数值模拟方法基于雷诺平均N-S方程及Realizable k-ω湍流模型。结果表
青少年的健康水平、综合素质是家长、国家和全社会共同关注的问题,青少年户外素质拓展项目层出不穷。十九大以来,党和政府相继推进“健康中国”战略、全民国防教育战略和深入
近几年,新媒体迅速走进大众视野,新媒体有着独特的优势,它传播快,内容丰富,形式多样。在新媒体发展大环境下,传统媒体受到很大冲击,本文认为传统媒体只有紧跟时代变化,利用自
在英语中,定语从句,也可以称为形容词从句。而关系副词(why、where、when等)和关系代词(who、whose、whom等)是引导定语从句的两种关系词。它们在定语从句中,充当了一部分的
“脚下沾有多少泥土，心中就沉淀多少真情”。一段时间以来，随着“走基层、转作风、改文风”活动深入开展，全国的编辑记者们在田间地头、工厂矿井，以实际行动探寻“为了谁、依靠谁、我是谁”的真实答案。 群众是我们党立于不败之地的根本，也是各项事业兴旺发达的源泉。“始终保持党同人民群众的血肉联系”，这是“走转改”活动的思想根源。从根本上说，新闻工作属于人民、为了人民，本质上就是群众工作。“走转改”活动要求新
提出了一种光纤光栅电磁调谐的新方法。实验表明,此种调谐方法在0～85.5mA电流范围内,光纤光栅波长移动达1.16nm。该调谐系统具有结构简单、灵敏度高等优点。
本研究基于对话剧《雷雨》中叹词"哦"的语用分析,将其分为认知功能、情感表达功能、话语结构功能和语用模糊功能。通过对语料的定量统计分析发现叹词"哦"用于认知功能和情感