论文部分内容阅读
文针对有限的无前提规范闭缺省理论的扩充进行了较系统的研究.首先,对相容扩充进行了分类;其次,给出了相容扩充的特征刻画;再次,建立了一种制作相容扩充的准构造性方法;最后,对缺省规则固定时,缺省理论可能有的不同相容扩张的个数进行了估计.
无前提规范闭缺省理论的扩充的构造
【摘 要】
：
文针对有限的无前提规范闭缺省理论的扩充进行了较系统的研究.首先,对相容扩充进行了分类;其次,给出了相容扩充的特征刻画;再次,建立了一种制作相容扩充的准构造性方法;最后,
【机 构】
：
陕西师范大学数学与信息科学学院,陕西师范大学数学与信息科学学院,西安财经学院网络与现代教育技术中心
【出 处】
：
工程数学学报
【发表日期】
：
2004年4期
【基金项目】
：
国家自然科学基金
其他文献
分布式查询是一种网络通信成本较大的查询过程,设计和开发出有效的查询策略和技术是分布式查询面临的挑战.本文展示了一种新的分布式查询的算法,即WPERF+连接算法,它结合了W
4月14日,上汽大众终于正式宣布帕萨特轿车降价.降幅为2万元～3万元人民币之间.上汽大众的这次降价完全出于被迫.在此前它曾又一次使用暗贴奖励的措施,以经销商每购销25辆帕萨特
当整个家具行业依然在热议“油改水”的话题,粉末涂料以一种特殊的方式步入了木器涂装领域。作为一种完全符合国家环保导向的新型涂料,加上其高效加工、物理性能优异的特性,
期刊
提出了一种非等参单元的四边形坐标变换,它将积分的曲面单元映射为另一四边形单元,通过两次坐标变换引入的雅可比行列式可以消除Helmholtz声学边界积分方程中的弱奇异型O(1/r
在Banach空间中,没有假设任何紧性、连续性或凹凸性条件,利用Mann迭代技巧证明了一类算子方程Ax=x解的存在唯一性,并将其结果应用于无界域上的Hammerstein积分方程,得到了新