评《制约逻辑》中的几个形式系统

《制约逻辑》(林邦瑾著,贵州人民出版社1985版)的主要内容可以看作两个部分:一是批评古典的数理逻辑和传统逻辑——“传统逻辑是模糊的正确,数理逻辑是清晰的错误”;二是讲述作者自称为“清晰的正确”的制约逻辑系统——命题演算Cm,“名词演算”Cn,带等词的“名词演算”Cnd以及“形式数论系统”N。《制约逻辑》对传统逻辑的批评是否有道理,当由传统逻辑工作者去评说,我们不拟代庖。《制约逻辑》对数理逻辑的批评贯穿全书,语     

无电弧混合式交流接触器的研究

一、引 言 所谓混合式交流接触器是指传统有触点接触器和无触点半导体接触器的结合体。这种新型电器保留了有触点接触器和半导体接触器各自的优点,而避免了双方各自的一些弱点.众所周知,有触点常规接触器主要优点是结构简单、操作方便和价格低廉.在技术指标方面,有触点接触器在闭合状态下压降小,损耗低和过载能力高,但是在频繁通断过程中电弧时间长,触头烧损熔焊,严重影响接触可靠性和电气寿命.目前国内外交流接触器在JK3工作制下的电气寿命大体是机械寿命的～士.一般大容量接触器的机械为5*万次,这就是说。 ”’『-”’”’””””””’…     

带田小麦的光、气、热效应与产量

带田是不同品种作物按一定方向和宽度带状间作的种植形式。在“农业学大寨”的热潮中,已成为夺取粮食高产的重要措施,深受广大贫下中农和农业工作者的欢迎。为了认识这一事物的增产机制,在从整体研究带田的同时,我们对头茬小麦的光、气、热效应与产量的关系进行了研究。目的是充分利用带田效应,为我省小麦进一步高产和带田全面增产提供依据。这项研究是1975-1977年由甘肃师范大学、武威地区农科所和武威地区气象局共同进行的。从小麦播种到黄熟,对10厘米地温用棒式地温表进行了观测,重点时段的太阳辐射用相对日射表,天空辐射表与照度计(591型)进行了对照观测,带田通风形式用热型微风仪作了解剖测定。     

图片到数据库存取的ASP实现

利用ASP中request对象的binaryread方法和recordset对象的appendchunk方法，以及response对象的binarywrite方法和getchunk方法实现了图片到Access数据库的存取，给出了关键的代码，使得网站具有方便、快速上传下载照片的功能。     

显性核不育小麦孤雌生殖诱导方法的研究

在大田和隔离区条件下，以太谷核不育小麦和”矮败”小麦为材料，用５００ｍｇＬ－１ＣＰＸ＋１００ｍｇＬ－１ＫＴ＋２％ＤＭＳＯ诱导不育株孤雌生殖。试验结果表明，不同施药方法的诱导效果存在差异，注射妤于喷施。剪颖后用药剂处理和药剂处理后套袋均能提高诱导效果。药剂处理时间以晚上７时后效果最佳。太谷核不育小麦和“矮败”小麦的最佳用药处理次数各异。     

大量铜汞存在下银的阳极溶出伏安法测定

本文提出了在氨三乙酸(NTA)——乙二胺四乙酸(EDTA)(NH_3)体系中进行银的阳极溶出伏安法测定,排除了数千倍的汞(Ⅱ)、铜(Ⅱ)的干扰,测定下限可达0.002μg·ml~(-1),变异系数≤8%,回收率在80%～117%之间。     

短节风筒逐段快速排放巷道内积存瓦斯方法探讨

本文采用短节风筒逐段排放巷道内积存瓦斯,采取每段排放初送风时,加大风量,改变排放巷道的风速,当被排出气体到安全距离入口处时,立即将风量减小到允许风量值,达到安全快速的目的。     

分光光度法对职业病中毒者尿液中的TNT(三硝基甲苯)和DNAT(2.6-二硝基、4-氨基甲苯)的测定

尿液经ZnSO_4沉淀蛋白处理后,用苯高选择,高效率地将毒物TNT及其代谢产物DNAT从属液中分离出来。利用TNT的苯—丙酮—KOH显色反应;DNAT的水相α—萘胺显色反应.快速、简便、准确与灵敏地检测职业中毒者尿液中的TNT和DNAT.