关于PI证明的若干注记

PI证明是归结证明的一种重要类型,但是在目前所见到的文献中,对PI推理的定义还有一些不妥之处,没有确保PI推理中的每一步归结都是PI归结.文中给出了新的PI推理的定义,弥补了这一缺陷,并对PI归结的完备性定理证明所需的引理给出了两种简化证明.     

海南工农业科技进步及其评价

本应用计量经济学定量分析法对科技进步，资金，劳力三要素在海南工农业（地方农业）经济增长中的作用进行了定量分析，并在对未来（１９９０－２０００年）海南生产力要素进行预测的基础上分析计算了未来科技进步，资金，劳力对经济增长的贡献。分析结果表明：现阶段科技进步对海南工农业经济增长的贡献不大，低于全国平均水平，近二十年来海南工农业经济增长主要是靠消耗大量资金和投入大量劳动力取得的，是典型的外延型生产，而     

基于BAGnet的智能家居安防系统

本文首先分析了BACnet协议的体系结构,然后阐述了基于BACnet协议的智能家居安防系统,并分析了该系统的优势,最后对该系统作出了进一步的展望.     

长株潭地区旅游业联合发展研究

区域旅游业联合发展已成为区域经济发展的重点和趋势，它为区域旅游业的发展提供了广阔的空间。从长株潭地区旅游业发展的基础条件和制约因素出发，重点对长株潭地区旅游业联合发展的动因和发展模式展开了深入的探讨，最后提出相关的发展对策建议。     

实时联机计费数据采集系统的实现方案探讨

计费数据采集系统是电信运营支撑系统的重要组成部分。随着电信技术的发展,实时争联机成为当前计费数据采集系统的主要特征。介绍了实时联机的计费数据采集系统的架构、工作流程和特点以及对未来系统的展望。     

原子力显微镜形貌像成像质量的研究

基于针尖和样品之问的各种相互作用力，原子力显微镜可用于样品表面形貌、摩擦力等各种物理特性的研究。仪器参数的设定和干扰的排除是提高样品表面形貌像成像质量的关键。通过实验发现由原子力显微镜扫描得到的材料表面形貌像中常出现拖曳、条纹，影响了形貌像的成像质量。针对特定工艺条件下的纳米电子功能薄膜样品，着重研究了振幅参数（Amplitude reference）、积分增益（Integral gain）、比例增益（Proportiong ain）、衰减增益（Attenuation gain）和速度增益（Speed gain）对形貌像成像质量的影响。根据这些规律找出消除或减轻样品表面形貌像中出现拖曳、条纹的方法。     

替代PVA的接枝变性淀粉浆料的研究

通过实验研究，开发出了替代PVA的接枝变性淀粉浆料，产品中残留的单体极少，接枝率将近13％，其粘度低，粘度热稳定性好，对涤／棉纤维的粘附性好，上浆性能和目标浆料70％PVA＋30％氧化淀粉相比，浆纱强力和伸长率、毛羽均好于目标浆料，耐磨性能和目标浆料也相差无几，克服了其他接枝变性淀粉浆料浆纱耐磨性差的缺点，在实验室涤／棉混纺经纱上浆中全部替代了PVA，取得了很好的上浆效果。     

开发湄洲湾 建设巨型深水港

湄洲湾位于我国东南沿海福建省中部，港湾面积540平方公里，深入内陆，从湾口到湾顶长约33公里，三面陆域有低山丘陵环抱，湾口朝东南入海，港湾内层层岛屿形成三道掩护线，外口门湄洲岛剑屿为第一道屏障，湾口以内又有盘屿、大竹屿、小竹屿、大生岛等形成第二屏障，罗屿、横屿、洋屿形成第三屏障。内澳就是受这些典型的大小海岸岛屿作间隔掩护形成的优良海域。     

提高四川工业企业竞争力的思考

本文分析了四川工业企业竞争力的现状,进而从环境、资源、人才、品牌、管理等方面提出如何提高四川工业企业竞争力。