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

以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号"「」"就可以无歧义地表达所有的逻辑函数,并进而建立包括括号"「」"的引入规则和消去规则在内的自然推演系统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。膜为多分子层组成的复杂体系,其颜色是各组分统计分布的结果。     

基于企业自主创新的金融生态链优化研究

在明确以经济增长为目标、技术创新为发展手段、金融生态系统为途径的研究基点上,本文通过分析金融生态链的基本规律和企业自主创新的过程架构,提出优化金融生态链的自我协调机制的途径,针对自主创新的周期性需求与瓶颈,匹配恰当有效的金融生态支持。     

构建沈阳自主创新科技投融资体系的途径选择

建立创新型城市离不开多元化、多渠道、多层次的科技投融资体系。通过有效的政策安排,不断完善科技投融资体系,对加快沈阳的发展,加速科技创新进程和科技成果转化具有重要意义。本文提出了沈阳自主创新亟待投融资体系的完善,着重分析了沈阳自主创新科技投融资体系的现状和存在的问题,提出了促进沈阳自主创新科技投融资体系完善的途径。     

走创新型国家发展道路是我国的战略选择

半个多世纪以来,世界上众多国家都在各自不同的起点上,努力寻求实现工业化和现代化的道路。一些国家主要依靠自身丰富的自然资源增加国民财富,如中东产油国家;一些国家主要依附于发达国家的资本、市场和技术,如一些拉美国家;还有一些国家把科技创新作为基本战略,大幅度