论文部分内容阅读
本文根据作者研制PRESS系统的体会,介绍了PRESS系统的思想、方法和实现技术,明确定义了元级和目标级的概念,阐述了对PROLOG 的若干认识。
PRESS符号方程求解系统
【摘 要】
：
本文根据作者研制PRESS系统的体会,介绍了PRESS系统的思想、方法和实现技术,明确定义了元级和目标级的概念,阐述了对PROLOG 的若干认识。
【机 构】
：
中国科学技术大学,中国科学技术大学
【出 处】
：
计算机应用与软件
【发表日期】
：
1990年02期
其他文献
本文简述了河南省煤田地质与勘探实验教学示范中心的发展历程,阐述了实验教学的定位和理念.示范中心根据培养目标,合理构建了“理-实”一体化实践教学模式,建立了“专业基础
目的:初步探讨有氧运动对白色脂肪棕色化的作用,为进一步研究肥胖的预防与治疗提供实验参考依据。方法:用高脂饲料喂养4周龄SD大鼠建立营养性肥胖模型。对造模成功的肥胖SD大
信息标准是信息化建设的基础工作和信息交换与共享的基本前提。研究卫生监督信息化的分类与框架以及数据元与代码的制定方法,可以为上海卫生监督信息化进程提供数据规范服务,促进上海市卫生监督信息化的建设。结合上海市公共卫生突发事件信息系统项目的建设,从卫生监督信息标准制定方法和流程、卫生监督信息分类框架、数据集与代码的编制等方面,描述了上海卫生监督信息数据规范的制定方法。
本文运用文献资料法和问卷访问法，以普通高校体育教育专业大学生为调查对象，从学生、老师、教材三个方面对体育教育专业大学生的英语学习现状进行了调查分析，发现学生的英语水平
<正>设问有方,才能教之有效。杂乱无章的提问让学生犹如盲人摸象,而精当巧妙的提问则有如"点穴手",一点到位,能够收到"一石激起千层浪"的效果。笔者就以《如梦令·常记溪亭日
《光明日报》《中国新闻出版报》权威发布2014年度人大“复印报刊资料”转载学术论文指数排名榜 《语文教学通讯》荣登“基础教育教学类期刊”（专业性期刊）综合指数排名榜榜首并再次成为“复印报刊资料”重要转
中国人民大学人文社会科学学术成果评价研究中心与中国人民大学书报资料中心联合研制的《2014年度“复印报刊资料”转载学术论文指数排名》和《2014年版“复印报刊资料”重要
本文运用对比分析为主的方法,对随机抽取6905名参加江西省2013年全国体质健康检测的中小学生测试数据进行了城乡和2010年全国体质健康标准的对比。研究结果显示：江西省中小学