森林资源监督木桶理论初探

分析了森林年消耗总量和年采伐总量与用材林年采伐总量间的差额,是造成森林资源危机和殃及公益林、天然林及用材林中的中龄林的重要原因;提出了转变资源监督模式经营模式的建议,从而达到扼制森林资源危机的目的。     

底拖网配纲校核法

在分析比较目前中国各地曾使用过的各种底拖网配纲校核方法的基础上，提出了“网翼上、下边缘配纲之差与网盖缩结长度之比”（简称翼纲差比）的新配纲校核方法。翼纲差比较大的拖网，其网口易于升高而沉纲贴底程度较小些；反之，翼纲差比较小的拖网，其网口不易升高而沉纲贴底程度较大些。     

钢筋混凝土受弯构件正截面强度验算公式

本文给出一组单筋矩形截面受弯构件的正截面强度计算经验公式的简便算法,从而提高了设计与施工审核的效率。     

无线采书查重系统的设计与研究

图书采购查重是图书采访工作的一个重要环节,探讨如何设计开发图书采购查重系统,从系统分析、设计和实现等方面为图书馆系统研发人员提供一种新思路。     

高校图书馆图书清点工作的实践与探讨——以深圳大学图书馆南馆为例

以深圳大学图书馆南馆为例,详细介绍了基于二维条形码技术的清单动态图书清点的过程和方法。对比其他常用的图书清点法,清单动态图书清点法具有操作性强、清点全面的优势。最后,对未来标签识别技术下的图书清点模式做出展望。     

专业图书馆资产清查工作的组织与实践

结合专业图书馆资产清查工作的实践,探讨了在图书资料资产清查工作中,通过精心组织、严格要求,采取科学的方法使资产清查工作顺利完成的做法和措施。     

基于模型检测的SSL协议形式化验证

针对传统的测试方法无法对网络安全协议的逻辑本身进行验证等问题,提出了一套基于形式化分析和SPIN模型检测的验证方法.该方法首先以BAN逻辑对目标协议进行形式化分析,然后推断目标协议存在的问题缺陷,并通过Promela语言对其构建SPIN模型,最后通过SPIN软件验证推断的正确性.并以SSL协议作为具体实例予以论证,结果表明所提方法具可行性.     

魏荆线加热炉炉管腐蚀调查

对加热炉炉管进行了测试,分析了其炉管腐蚀的原因是高温氧化造成的均匀片状腐蚀和由酸性物沉积造成的局部腐蚀。利用加热炉实测值中的最小值与炉管计算的允许值之差,确定炉管腐蚀程度。认为酸性腐蚀在加热炉,特别是在方箱炉中占很大比例。建议加强炉管定期清灰、清焦处理,对长期停用的炉子进行干法保养,改善加热炉燃烧性能。