命题逻辑与数学证明方法（Ⅲ）

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括反证法推理格式、反证法、数学证明方法总结.     

农业技术进步的计量经济模型

本文根据[1]提出的基本原理,在[2]的基础上,通过矫正自然灾害和耕地面积的影响,并在考虑农业基建投资动态折旧的前提下,给出了农业技术进步的计量经济模型。最后通过实例分析加以说明。     

微机控制的条件反射实验系统

介绍了用APPLE-Ⅱ微型计算机控制的操作式食物运动性条件反射实验系统.系统以40W灯光和声音信号为阳性刺激,15W灯光信号为阴性刺激,并配置了光反应、声反应按键.喂食的食盘由步进电机控制.预先设置实验条件后,在计算机控制下自动给出3种刺激信号,动物若正确操作按键,则食盘转动,自动喂食.实验结束时自动记录实验结果,最后将各项数据在打印机上打印出来.实际运行表明,该实验系统不仅能使实验者从繁琐的手工操作中解放出来,而且使实验的结果更精确,更可靠.     

脲对果菠萝蛋白酶的变性与失活动力学

以脲为变性剂,以荧光光谱为监测手段,对果菠萝蛋白酶(Fruit bromelain)的分子构象变化进行研究,酶的荧光强度随脲浓度增大而递增,发射峰出现红移。荧光偏振在 230～240 nm及 260～290 nm 出现二个负峰,后者较为显著,并随脲浓度增大而加剧。脲对酶水解N-苄氧羰酰 L-赖氨酸对硝基酚酯(CBZ-Lys·pNP)活力的影响,表现为非竞争性抑制类型;比较脲对游离酶(E)及结合酶(ES)的失活速度常数。结果二者相等,底物不表现保护作用。测定酶在不同浓度脲中的变性速度常数和失活速度常数,比较了酶的构象变化及催化活力的关系,酶的失活速度常数比变性速度约大6～16倍。说明酶活性中心对脲的敏感性,酶活力的表现很大程度上依赖于酶构象的稳定性和完整性。     

YJY-1型医用监护仪

1 硬件电路 YJY—1型医用监护仪是以CPU为中心的一种小型微机监控系统,此系统由三部分组成,即中心控制部分、输入部分和输出部分、中心控制部分由微机组成,输入部分由预置单元、压力检测单元、A/D转换、脉搏信号检测单元及呼吸检测单元组成,输出部分由充气机、数字显示、打印机和声光报警单元组成。     

三点弯曲加载下YBCO电阻及K_(1c)特征研究

在300K和77K下,用三点弯曲方法测定了零电阻温度为79～85K的YBCO长条状超导试样的电阻压头位移曲线和平面应变断裂韧性K_(1c)。结果表明,77K下零电阻特性可以保持到完全断裂前瞬间,由K_(1c)得到的表面能比300K的高,高出的部分可被认为是应力诱导下的少量超导相变所附加的能量。     

倾斜中厚多层低品位难采矿体的采矿方法

针对川口钨矿杨林坳矿区难采矿体的开采技术条件，经优选采用爆力运搬阶段矿房采矿法，成功地解决了该矿区占总工业储量６０％以上（质量分数）的倾斜、中厚、多层、低品位难采矿体的开采方法，也为其它矿山同类型矿体开采提供了科学技术依据和工艺经验。     

钢筋混凝土筒形结构物拆除爆破问题的研究

本文讨论钢筋混凝土筒形结构物拆除爆破切口参数设计问题。其爆破拆除过程可以分为三个阶段:切口施爆露出钢筋,露出的钢筋失稳破坏;承载面断裂。为满足后两者的要求,切口参数设计应进行钢筋失稳条件的计算和承载面断裂及宏观运动条件的计算,根据提出的力学模型,本文给出算例,与实际情况相吻合。     

~(60)Co-γ辐射制备载体型多孔聚合物气相色谱固定相

用~(60)Co-γ辐射法制备载体型多孔芳类聚合物气相色谱固定相,考察了影响其色谱性能的主要因素.它与目前常用的多孔高分子小球固定相相比,柱效高,热稳定性好,未觉察到静电效应,对烷烃分离速度快,分离度高,色谱峰形对称.