切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
计算机代数学的PROLOG实现
计算机代数学的PROLOG实现
来源 :苏州大学学报(自然科学) | 被引量 : 0次 | 上传用户:asunsky1
【摘 要】
:
本文应用人工智能的成果,研究了代数问题自动求解时可以采用的一些技术,还探讨了如何用人工智能语言PROLOG建造《代数自动求解系统》。从中提出了一些可行的算法。作者已利用
【作 者】
:
徐汀荣
【机 构】
:
计算机工程系
【出 处】
:
苏州大学学报(自然科学)
【发表日期】
:
1991年4期
【关键词】
:
计算机代数学
符号推理
PROLOG
Computer Algebraic
Symbol Inference
PROLOG laugnage
Knowle
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文应用人工智能的成果,研究了代数问题自动求解时可以采用的一些技术,还探讨了如何用人工智能语言PROLOG建造《代数自动求解系统》。从中提出了一些可行的算法。作者已利用这些算法设计了一个实验性的《代数自动求解系统》。系统运行表明,结果尚佳。
其他文献
涉性节目为何屡禁不止
我国关于广播电视的相关法律还不是很完善,这就给播放涉性节目的广播电台提供了投机取巧的天然条件。
期刊
节目
广播电视
广播电台
有限元传递矩阵法与有限元法相结合用于板的分析
有限元传递矩阵法与有限元法相结合用于带有某些不规则性(如孔洞、斜边)矩形板的分析,有限元传递矩阵法被用于规则区域 而有限元法被用于不规则区域,数值算例表明了本文方法
期刊
有限元法
传递矩阵法
结构力学
板
finite element method
transfer matrix method
rectanguhr plat
GE Light Speed Ultra 8排螺旋CT机床故障排除
通过介绍GE Light Speed Ultra 8排螺旋CT机检查床的基本结构、床升降马达电流回路和马达的检修过程加深对检查床部分的认识,提高维修水平。
期刊
GECT检查床
升降马达
滚动摩擦代替滑动摩擦
ESRIS准分子激光治疗仪工作原理及故障维修
准分子激光治疗仪作为解决近视、远视、散光的眼科医疗设备在各大医院已广泛使用,针对此类价值昂贵、运行条件苛刻的激光类设备各医院相互交流较少,就我院此台准分子光路原理
期刊
准分子
激光
反射镜
聚光透镜
反射透镜
光斑整形孔
稳中有进2017上半年河北省经济同比增长6.8%
上半年河北省经济形势的评价是经济运行呈现稳中向好、稳中有进的态势。主要特征表现为整体经济回升向好,转型塔尖级步伐加快,
期刊
呼和浩特
铁人
国际标准
中第
青少年儿童
顶尖
工作人员
流程
浅析轻钢龙骨构件的设计
轻钢龙骨结构是指厚度小于1.8mm的热轧卷材或板材在常温下经辊压、折弯等冷变形加工方法成型的钢构件。制造轻钢龙骨构件的钢材材质常用两类钢号,一类是普通碳素结构钢,其中Q235
期刊
轻钢龙骨
钢构件
低合金高强度结构钢
碳素结构钢
设计
加工方法
Q235
冷变形
国家级非遗“嘎尔”传习基地挂牌
为了进一步体现“嘎尔”代表性传承人及项目持有人的主体地位,遵循非遗的传承规律,6月8日上午,国家级非物质文化遗产名录“嘎尔”传习基地挂牌仪式和“嘎尔”国家级代表性传承人
期刊
挂牌仪式
国家级
非物质文化遗产
人的主体地位
西藏自治区
传承人
收徒仪式
藏剧团
网络时代解决打印难题惠普推出打印2.0战略
一张彩色的纸放入一台单色多功能打印机复印,打印机瞬间扫描完毕,并通过网络,自动寻找适合的彩色打印机复印出来,这是4月17日惠普在上海的打印2.0战略发布会上的一个演示场景。
期刊
彩色打印机
网络时代
惠普
多功能
发布会
复印
扫描
场景
加强大学生身心健康的对策研究
采用高校学生学籍变动情况统计表对全国1075所高校大学生身心健康状况进行总体调查的基础上,以求全面了解影响大学生身心健康的原因及其对策研究,以更好地推广和开展适合大学生身心
期刊
大学生
体育保健
身心健康
健康教育
university students
physical and psychological health
prote
家蚕新品种协<sub>三正</sub>×协<sub>三反</sub>农村饲育初报
期刊
三正
食桑
解舒丝长
产茧量
全茧量
方格蔟
鲜茧
茧质
共育室
春蚕期
与本文相关的学术论文