论文部分内容阅读
文针对有限的无前提规范闭缺省理论的扩充进行了较系统的研究.首先,对相容扩充进行了分类;其次,给出了相容扩充的特征刻画;再次,建立了一种制作相容扩充的准构造性方法;最后,对缺省规则固定时,缺省理论可能有的不同相容扩张的个数进行了估计.
无前提规范闭缺省理论的扩充的构造
【摘 要】
：
文针对有限的无前提规范闭缺省理论的扩充进行了较系统的研究.首先,对相容扩充进行了分类;其次,给出了相容扩充的特征刻画;再次,建立了一种制作相容扩充的准构造性方法;最后,
【机 构】
：
陕西师范大学数学与信息科学学院,陕西师范大学数学与信息科学学院,西安财经学院网络与现代教育技术中心
【出 处】
：
工程数学学报
【发表日期】
：
2004年4期
【基金项目】
：
国家自然科学基金
其他文献
展会时间:2018年7月4-6日展会地点:上海浦东新国际博览中心展会介绍:上海市建设科技推广中心市场背景中国经济的持续发展为建筑装饰行业提供了良好的发展条件,尤其是城市公共
期刊
本文分析了我国文献数据库从起步、发展到成熟、实用的三个阶段；阐述了我国文献数据库建设存在的问题；提出了面向市场、统一规划、加强投入、协调发展地建设我国文献数据库的发
分布式查询是一种网络通信成本较大的查询过程,设计和开发出有效的查询策略和技术是分布式查询面临的挑战.本文展示了一种新的分布式查询的算法,即WPERF+连接算法,它结合了W
本文对新形势下高校图书馆开展信息服务的若干理论问题进行了探讨，论述了适应市场经济发展、开展信息服务应更新的几种观念，提出了搞好高校图书馆信息服务的几项措施
4月14日,上汽大众终于正式宣布帕萨特轿车降价.降幅为2万元～3万元人民币之间.上汽大众的这次降价完全出于被迫.在此前它曾又一次使用暗贴奖励的措施,以经销商每购销25辆帕萨特
从图书馆藏书与读者的相互关系及我国的现状谈我们的对策李高远（云南省图书馆）书是图书馆存在的基础与根本，读者是图书馆发展的动力和润滑剂，图书馆以其悠久的发展史铁证书与读者
当整个家具行业依然在热议“油改水”的话题,粉末涂料以一种特殊的方式步入了木器涂装领域。作为一种完全符合国家环保导向的新型涂料,加上其高效加工、物理性能优异的特性,
期刊
提出了一种非等参单元的四边形坐标变换,它将积分的曲面单元映射为另一四边形单元,通过两次坐标变换引入的雅可比行列式可以消除Helmholtz声学边界积分方程中的弱奇异型O(1/r
本文提出了一种多角区域上的第一类边界积分方程的高精度算法，离散之前采用特殊周期变换，消去边界积分方程未知函数在积分端点的奇异性，然后使用常元配置法求解，该方法在内点获得
在Banach空间中,没有假设任何紧性、连续性或凹凸性条件,利用Mann迭代技巧证明了一类算子方程Ax=x解的存在唯一性,并将其结果应用于无界域上的Hammerstein积分方程,得到了新