合舍系统及其定理的能行证明

以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号"「」"就可以无歧义地表达所有的逻辑函数,并进而建立包括括号"「」"的引入规则和消去规则在内的自然推演系统NPD1,可以证明该系统与通常的命题逻辑推理系统相等价.通过定义可以给出常见的其他联结词并证明相关定理.受亚里士多德化归思想的启发,构建了系统NPD1的7组化归规则,并给出化归程序;依据此程序,可以将系统内的任一定理能行地化归为一个形如的公式.     

《老子》韵读研究

本文分三大部分：一、依王力古韵三十部，将《老子》各章所有入韵之字表而谱之；二、自用韵之部居、韵在句中之位置、韵在章中之位置、用韵之数量、用韵比配之形式等角度，归纳出《老子》用韵40例；三、古今诸家对《老子》韵读之研究，多有失误所在。究其失误之由，则主要在于对《老子》韵例之特殊性及《老子》以古谐声入韵之特殊性认识不足。特略考数例，以明一般。     

严守传统与开放发展神奇结合的王国--《当代沙特阿拉伯王国社会与文化》序

位于阿拉伯半岛的沙特阿拉伯王国是当今世界一个独特而且给人以某种神秘感的国家,同时又是一个战略地位重要、在地区和国际事务中具有独特影响的国家.这使得许多人希望了解它,认识它,揭开它神秘的面纱.     

复亚半正定矩阵

给出了复亚半正定矩阵的概念，研究了它的基本性质及行列式理论，将Hermite阵的Schur定理，华罗庚定理，Minkowski不等式，凸性不等式，Ostrowski-Taussky不等式推广到了较广泛的复矩阵类，扩大了Minkowski不等式的指数范围，削弱了华罗庚不等式的条件。     

英汉思维方式对语言结构的影响

思维方式对语言的结构有哪些影响?本文从形合与意合在句法上与章法上的不同表现,论述了英汉两种语言在结构和表达方式上的不同,并通过实例归纳出一些具体做法,供同行进一步探讨。     

产业经济系统与产业分类的(f,θ,D)相对性准则

产业经济系统是由各个不同的产业和它们之间的经济关系共同构成的有机整体。在此基础上提出了产业分类的一般方法 :(f,θ,D)相对性准则。这里 f为原始经济关系 ,θ为分类准则 ,一般为半等价关系 (相似关系 ) ,D为关系 f的权重水平。分类相对性准则指出 f,θ,D这三者中任何一个发生变化 ,都会导致不同的产业划分。传统产业分类方法都是 (f,θ,D)相对性准则的特殊情况     

锌表面Mo(W)-S-Zn簇合物膜的XPS和AES研究

在锌表面获得了多种不同颜色且具有金属光泽的不溶性Mo(W)-S-Zn簇合物转化膜,所获膜层具有良好的耐蚀性能和装饰效果,加热处理后颜色将发生变化,加速腐蚀试验结果表明,金黄色膜耐蚀性最佳。FT-IR、FT-Raman、XPS和AES分析表明,该膜层厚度约为60nm。钼在膜表面的价态为+6价,而在膜内则以+6、+4价共存。从AES深度分布曲线可知,其组成为32.5％Zn,19.3％Mo,39.4％S,8.5％O。膜为多分子层组成的复杂体系,其颜色是各组分统计分布的结果。     

Banach空间中一迭代序列及其耦合不动点

GUO Da_jun教授等在<非线性算子的耦合不动点与应用>一文中对某些算子引入了全连续混合单调算子的耦合不动点的概念,得到了极小、极大耦合不动点及其相似.本文建立了一迭代序列,将其结果推广到更广泛的一类映射--半紧1-集映射,并削弱了紧性和全连续的条件,得到了乘积空间中的极小、极大耦合不动点定理.     

半脆弱印刷数字有意义水印算法研究

数字水印技术是在数字作品中嵌入不明显的记号。该文分析了印刷品制作中包含数模-模数转换过程的特性,与数字水印技术相结合,将纯数字域的防伪手段应用到模拟领域中的印刷品上。将印刷品扫描打印过程作为失真信道进行建模分析,并在算法中加入预失真;比较了数字水印各算法,结合印刷品的特性采用并改进特征值分解的方法,嵌入和检测有意义水印,通过该水印对二次扫描打印印刷品脆弱不可检测,来达到防伪的要求。该算法相对于空域算法和其他变换域算法有复杂度低、检测准确度高的优势。