常识推理基础逻辑系统M的完全性     

周北海  毛翊 《西南师范大学学报(人文社会科学版)》2006,32(1):70-74

对通常的典范模型方法加以改造，在典范结构的基础上，可建立相对于任意给定有穷公式集Г的Г-典范框架和Г-典范模型，以证明M的框架类完全性。Г-典范模型方法是有穷方法。如果Г有穷，得到的典范模型有穷。这不仅可以证明M的完全性，还可证明M的有穷模型性，因此M是可判定的。  相似文献   

Pyramid Linear Prediction Coding for Images     

朱广进  赵风光  江峰 《上海大学学报(英文版)》1997,1(2):155-158

lintroductionCompressionofdigitalimagesandvideosignalstoreducetheirstorageandtransmissionbandwidthrequirementsisofgreatinterestintheimplementationofcolnnlunicationsystems.Moreandmorecompressioncodingmethod$fordigitalimagesandvideosignalshavebeenproposedto…  相似文献   

复变函数理论证明代数学基本定理的几种方法     

宫兆刚 《衡阳师范学院学报》2007,28(3):36-37

从复变函数理论出发,利用辐角原理、最大模原理、最小模原理给出代数学基本定理的几种新的证明方法。  相似文献   

关于语义范畴模糊性的思考     

许青 《怀化学院学报》2004,23(6):127-130

结合认知语言学原型范畴理论和模糊集合理论,探讨语义的模糊性。分析语义范畴模糊性背后的认知理据,并对范畴外延不确定性、语义交集现象、模糊分界的相对性以及模糊语义扩大的方向性等问题进行思考。  相似文献   

高校闲暇教育现状剖析与措施建构     

朱正平  熊志庆 《教育科学论坛》2006,(11B):78-80

高校闲暇教育在现代高等教育中占有重要的一席，这不仅是社会发展的需要，也是大学生发展的需要。本文通过分析当今大学生闲暇生活存在的问题．从而对高校闲暇教育现状的原因进行剖析，并对高校闲暇教育的措施进行建构，以期能深化高等教育中闲暇教育的研究。  相似文献   

关于实矩阵值对数函数(Ⅲ)     

李永福 《湖州师范学院学报》1993,(6)

本续文的工作是确定GL(n,R)和gl(n,R)的最大连通区域W(n,R)和w(n,R)(见正文).主要结果为:定理 限制在w(n,R)和W(n,R)上,指数映射exp:w(n,R)→W(n,R),或者,对数映射ln:W(n,R)→w(n,R)是微分同胚(定理8).  相似文献   

基于小波变换的低比特率图像编码研究     

海涛  马毛粉 《南阳师范学院学报》2007,6(9):28-31

运用小波变换理论,结合人类视觉系统特性,提出一种基于SPIHT算法的低比特率图像压缩的改进算法.实验证明,该算法在平滑图像的压缩中有较好效果,在低比特率压缩下减少了Gibbs现象,边缘模糊现象得到改善.  相似文献   

任意区间上连续函数的零点定理     

何艳玲  戴立辉 《宜春学院学报》2006,28(2):39-40

将闭区间上连续函数的零点定理扩展到其它区间上,得到若干个相应区间上连续函数的零点定理,从而使零点定理理论更完善、应用更广泛.  相似文献   

A Loyalty Tax? National Measures of Academic Salary Compression     

Barbezat  Debra A. 《Research in higher education》2004,45(7):761-776

This paper presents measures of faculty salary compression for 1993 and 1999 based on national, rather than institutional-level, data. Using a recently developed technique and two national faculty surveys, actual junior to senior salary ratios are derived as well as predicted salary ratios that represent what the salary ratios would be if junior and senior faculty were similarly compensated for their productive traits. The analysis, which considers three alternative definitions of junior faculty and stratifies results by institutional type, produces an overall finding of no salary compression. A limited number of disciplines, including business and economics, however, do exhibit signs of salary compression.  相似文献   

抓紧建构社会主义思想道德新体系     

罗钰润 《黄石理工学院学报(人文社科版)》2003,20(4):59-63

本文从思想道德体系的缺失、道德伦理的失范以及与时俱进的要求，论述建构社会主义思想道德新体系的紧迫需要，提出了加强思想道德管理机构、思想内容、道德信仰、有效机制等方面的建设。  相似文献