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

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

《老子》韵读研究

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

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

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

锌表面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。膜为多分子层组成的复杂体系,其颜色是各组分统计分布的结果。     

偏义复词零词素的语境价值考察

偏义复词的两个词素意义相类、相关或相对、相反,在表义上只有一个词素起作用,但另一个词素并不是毫无意义的陪衬。在现代语境观的视角下,文章对零词素进行了新的审视,对偏义复词进行了新的界定。并从零词素语境制约特点出发,定量分析,区分出语言性和言语性两种不同类型,进一步对词素位置、语境制约类型进行了新的考察。     

知识吸收能力面临的科层困境及组织创新中引入市场机制分析

组织创新在很大程度依赖于对组织外部知识的吸收和转化.吸收能力这一概念能很好揭示外部知识与组织最终创新成果之间的转化机理.在介绍吸收能力内涵,在构建组织吸收能力的形成模型基础上,系统地探讨促进或制约组织吸收能力形成的科层因素,为公司创新能力不足这一瓶颈问题提供新视角.并认为,为了减少科层制可能产生的限制,在组织创新活动中引入市场机制是保证组织吸收能力有效发挥以及保证组织创新有效开展的有益尝试.     

苏通大桥桥面防水粘结层试验研究

对目前我国常用的具有代表性的几种防水粘结层材料进行了基本性能试验、路用性能及施工性能试验、模拟现场试验、试验段现场试验等4个阶段性试验.通过分析各材料综合指标,确定了苏通大桥引桥桥面防水层的施工方案.     

陈寅恪"合本子注"说新探

通过对"合本"与"子注"相关文献的考察,认为两者属于不同性质的概念。以"广义合本子注"为线索,进一步指出陈寅恪先生"合本子注"概念中的"子注"实为"子本"。"合本子注"的提法不够严谨,其含义实等同于"合本"。最后指出,陈氏从佛学而非经学中寻找《洛阳伽蓝记》等书的体裁渊源,与其对史料的重视有关。     

一氧化氮的研究进展及应用

一氧化氮(NO)既是气体,又是自由基,是生物体内一种作用广泛而性质独特的信号分子,它不仅对动物的神经系统、循环系统、消化系统等有着重要的调节作用,而且也参与植物生长发育的许多过程,如种子萌发、下胚轴伸长、根生长、细胞凋亡以及植物抗逆反应等。本文就近年来NO的研究进展及应用作简要综述。