论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
本文探讨了用Ｐｅｔｒｉ网模拟逻辑程序的可能性，给出了用Ｐｅｔｒｉ网来求取逻辑程序的答案的方法，为自动推理提供了依据，并给出了几个实例。
【机 构】
：
中国地质大学计算机系
【出 处】
：
微型计算机
【发表日期】
：
1996年6期
其他文献
目的探讨枕骨大孔区脑膜瘤的手术治疗方法。方法回顾研究了12例枕骨大孔区脑膜瘤病人的临床表现、手术方法、切除程度、术后并发症及术后生活质量等。手术采用枕下正中入路、
本文分析了家庭教育中孩子父母亲之间产生隔膜的原因，孩子与父母的矛盾激化的心理因素，及产生冲突后，作为父母亲的成人，应该如何采取多种形式的沟通方式与孩子进行有效的沟通，走进
目的研究钙拮抗剂汉防己甲素(Tet)、维拉帕米(Ver)和硝苯啶(Nif)对3T3成纤维细胞Ⅰ、Ⅲ和Ⅳ胶原基因表达的影响,旨在探讨其抗肝纤维化的机理.方法应用标记Ⅰ、Ⅲ和Ⅳ型前胶原
摘要：英语学科高效课堂的创建是一项长期的、不断探索、不断提高的过程。科学合理地转变教师角色，实现教学民主，能最大限度地激发学生学习英语的兴趣，为学生创建生动逼真的语言环境，充分发挥学生在课堂中的主体性，为学生提供标准的语音示范，是提高英语课堂教学效率，培养学生英语语言素养的最佳手段。 关键词：高效课堂；多媒体技术；合理利用 一堂成功的課，应该让学生自始至终掌握主动权，教师只是充当“组织者”“促
本文揭示了ＮｏｖｅｌｌＮｅｔｗａｒｅＶ３．１１的文件服务器的目录结构，给Ｎｅｔｗａｒｅ中许多有关目录和文件的属性在目录结构中的表示方法。
带着各级领导的信任和希望,2016年2月28日—4月30日,我和新疆阿克苏地区的另外30名教研员和50位高中骨干教师来到了美丽的浙江杭州外国语学院,开始了为期2个月的教研员培训。
无公害农产品标志是由农业部和国家认证认可监督管理委员会联合制定并发布、加施于经农业部农产品质量安全中心认证的产品及其包装上的证明性标识。无公害农产品标志是由麦穗
后进生的转换是班主任工作中的一大难题，尤其是九年级青春期的学生，学习压力大，情绪波动大，往往会表现为各种各样的难以自控的行为，“乱发脾气”是一个典型的例子，针对我班“宋某某
全面推进素质教育是当前我国教育改革发展的重要议题,也是我国社会经济发展对教育发展提出的要求."十五"期间,我国经济体制和科技体制改革,以及国际社会经济发展环境的优化将