切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于Prolog代数方程组的解
关于Prolog代数方程组的解
来源 :兰州大学学报:自然科学版 | 被引量 : 0次 | 上传用户:objzobjz3
【摘 要】
:
本文建立一种对既约方程组求解的图上作业法.证明了:既约方程组只有有理解当且仅当它的解唯一,同时提出了通解图的概念,通解图可以从既约方程组有效地构造,并且从通解图上容
【作 者】
:
李永礼
李廉
【机 构】
:
兰州大学计算机科学系,兰州大学计算机科学系
【出 处】
:
兰州大学学报:自然科学版
【发表日期】
:
1990年3期
【关键词】
:
树代数
PROLOG
逻辑程序设计
tree-algebraPROLOGreduced system of equationslogical programmi
【基金项目】
:
国家自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文建立一种对既约方程组求解的图上作业法.证明了:既约方程组只有有理解当且仅当它的解唯一,同时提出了通解图的概念,通解图可以从既约方程组有效地构造,并且从通解图上容易求出它的所有解,看出这些解之间的关系,通解图是全体解的一种有穷表示.
其他文献
代数数域上多项式的一个性质和Heisenberg群上算子的局部...
本文给出了 Heisenberg 群上齐次左不变 LPDO 局部可解性的一个充分条件,建立了代数域上多项式的一个估计式,然后运用这些结果讨论了 Heisenberg 群上一类齐次左不变 LPDO 的
期刊
HEISENBERG群
局部
可解性
多项式
algebraic numbers fieldpolynomialsHeisenberg group local
民间文学艺术的保护路径
摘 要:民间文学艺术作品来源于人們的生活,是一种记录人们生活方式陪伴着人类很多年。在经过很多年历史的沉淀,在许多相关部门的保护下民间文学艺术得到了广大民间的流传,成为社会发展的一种文化方式。但随着时代的发展,许多以前很有意思的民间艺术已经流失了,很少有年轻人主动去传承这些艺术;因此,保护我国民间文学艺术迫在眉睫。 关键词:民间文学艺术;文学艺术的保护 1.民间文学艺术作品之概念与理解 所谓的
期刊
民间文学艺术
文学艺术的保护
涟水县中医院搭建病友联谊平台
日前,江苏省涟水县中医院举办首次“糖尿病病友联谊会”,一百多名糖尿病病友参加了聚会。
期刊
病友联谊会
县中医院
糖尿病病友
水
江苏省
浅议企业安全文化建设
文章分析了企业安全文化的概念和内涵,指明了企业安全文化建设的重要意义,从企业和政府两个主体责任的内外因作用出发.阐述了企业和政府部门如何加强企业文化建设。
期刊
主体责任
安全文化
重要意义
建设途径
具成群防卫能力的三维生态系统
本文考虑一类三维生态系统,其中食饵对捕者具有成群防卫能力.文中通过对边界平衡点及周期轨道稳定性的分析,找到了该系统相持的数学条件,为这类系统的生态平衡提供了有效的方
期刊
生态系统
平衡点
周期轨道
稳定性
equilibriaperiodic orbitsasymptotic stabilitypersistenceextinc
星形LAN存取控制方式
介质存取控制方式的研究,对发展高速局域网具有重要意义.本文回顾了星形 LAN 介质存取方式的发展,探讨了适于高速星形局域网的同时多重接续介质存取方式的新思想和构造模型,
期刊
局域网
介质存取控制
local area networkmedium access controlmodel
一类半线性椭圆边值问题的多解结果
本文用拓扑度理论得到了一类半线性椭圆边值问题的多解结果.
期刊
椭圆方程
半线性性
度理论
elliptic equationsemilinearitydegree theory
计算机软件开发中JAVA编程语言的应用分析
JAVA编程语言是计算机软件开发中常用的一种编程语言。阐述了JAVA编程语言的特征,最后探索了计算机软件开发中JAVA编程语言的应用情况,希望有助于我国计算机软件开发技术的提
期刊
计算机
软件开发
JAVA编程语言
应用
Benjamin—Ono方程的初值问题与线性化问题的准确解
本文证明了 Benjamin—Ono 方程初值问题解的唯一性与稳定性;借助 Fourier 变换求出了线性化的 B—O 方程初值问题的准确解,即积分表达式,当初值函数充分光滑且在无穷远处趋
期刊
B-O方程
初值
FOURIER变换
转型期城市管理中的维稳问题与有效对策——以国有企业内部的和谐管理为例
"维稳"即是维持稳定,围绕当前的社会稳定大环境去展开各项工作,构建和谐稳定社会。没有稳定和谐的社会大环境,缺乏稳定的人文关怀和心理疏导的新理念,企业要想得到生产经营管
期刊
稳定和谐
国有企业
政治责任
社会使命
与本文相关的学术论文