程序符号执行中的数组分析

符号执行中复杂结构语义的建模决定了其分析结果的精度。通过对符号执行中数组的几种特性分析,提出了基于Phoenix的IR的数组对象建模方法,采用该方法实现了一个单元测试工具CUTG。试验表明,该方法可以准确地解释复杂的数组对象,并自动产生测试例输入。     

区块链技术下生鲜肉品供应链管理创新研究

传统模式下生鲜肉品供应链管理存在透明度不高和效率较低的问题,区块链技术因具有去中心化、公开透明、不可篡改等特点,可解决这些问题。构建基于区块链技术的生鲜肉品供应链管理体系,区块链技术下对养殖、物流和消费模式进行创新变革,区块链技术在生鲜肉品供应链管理应用场景可发生在养殖、屠宰加工、仓储运输和销售等环节。     

一种树的存储结构

采用静态数组的方式给出树的一种存储结构，并给出这种存储结构下的几种常用运逄的Ｃ语言程序，这种存储结构避开了链式存储结构中链域个数不定的困难，容易用ＦｏｘＢＡＳＥ等关系型数据库来实现相应的运算，可以将二叉树与树统一起来处理。     

区块链技术及其应用场景

区块链技术通过哈希函数、默克尔(Merkle)树、非对称加密、对等网络、UTXO(未花费的交易输出)、工作量证明等,在对等网络构建了统一的分布式的数据库。分析了区块链技术是如何利用这些技术手段保证数据的去中心化、不可篡改和可溯源,并对区块链的应用场景进行了分析和展望。     

基于Zigbee的数据监测上位机通信接口设计

基于Visual Basic 6.0与SQLServer2005,根据MSComm控件的OnComm事件中的CommEvent值来实现Zigbee网关节点的数据收发送和解析等操作,利用ADO2.0对象模型与SQLServer2005连接来实现采集数据的存储。研究表明,采用在内存中构建动态多叉树数组存储所有节点最新数据的方法能够加快遍历所有节点当前数据信息的速度,同时通过多叉树和节点的数据库操作方法可以快速获取节点的历史记录信息。     

农业新闻数据源增量爬虫的应用探析

随着农业新闻数据日益膨胀,以农业为主题的增量爬虫成为爬取农业信息的重要手段。增量爬虫可以依据农业新闻数据的更新爬取数据相关更新的内容,剔除已经爬取的重复内容。本文结合农业新闻数据信息的特点,提出了一种适用于农业新闻信息的基于Redis的布隆过滤器的增量去重方法,摆脱超大的持久化文件撑爆内存的问题。试验证明随着抓取相关农业信息的增加,该方法在保证内存不被撑爆的同时能有效提高增量爬取农业信息的效率,在增量信息爬取过程中具有很好的应用价值。     

基于NAM的图像集合运算算法及其试验研究

非对称逆布局图像表示模型是一种新的图像表示方法，由于采用了预定义子模式和非对称的分割方法，获得了较高的表示效率。在NAM基础上，提出了一种实现快速的图像集合运算的新方法，即在导航数组辅助下的分裂组合法，实现了基于NAM的图像集合运算算法，并讨论了算法的时空复杂度。试验结果表明，基于NAM的集合运算算法的执行速度是基于紧凑四元树集合运算算法执行速度的1．291到5．368倍。     

农业新闻数据源增量爬虫的研究

随着农业新闻数据日益膨胀,保证以农业为主题的增量爬虫成为爬取农业信息的相关手段,增量爬虫的原理可以依据农业新闻数据的更新爬取数据相关更新的内容,剔除出已经爬取的重复内容[[]]。文章结合农业新闻数据信息的特点,提出了一种适用于农业新闻信息的基于Redis的布隆过滤器的增量去重方法,摆脱超大的持久化文件撑爆内存的问题。通过实验证明随着抓取相关农业信息的增加,该方法在保证内存不被撑爆同时能有效提高增量爬取农业信息的效率,在增量信息爬取的过程中具有很好的应用价值[[]]。     

某嵌入式系统内存扩展技术

在介绍了AVR单片机内存编址基本设计思想基础上,提出了一种在嵌入式8位单片机系统中,采用内存分页技术为AVR单片机扩展大容量内存的方法,并设计了内存操作的驱动程序。     

基于内容过滤推荐的农业信息推荐模型研究

针对专门的农业知识库，使用基于内容过滤的推荐方法，建立了农民用户兴趣模型和文档特征模型。在用户兴趣模型和文档特征模型中，针对特征项在不同表空间的分布情况，以及HTML文档结构对特征项权重的影响，通过改进传统特征项提取算法，提高了推荐模型的精度。结果表明，随着用户数的增加，农业信息推荐模型的查准率和查全率不断加大，说明模型的精确度不断提高。     

基于GIS的工厂化养殖适宜性评价研究

选取滨海新区汉沽作为研究区域,通过查阅相关文献、咨询水产专家和实地调研等多种形式,筛选出19个对滨海新区汉沽工厂化养殖发展影响较大的因子作为评价指标,综合应用德尔菲法(Delphi)和层次分析法(AHP),确定各级指标的权重,构建滨海新区汉沽工厂化养殖适宜性评价模型,利用IDRISI进行综合运算,将工厂化养殖区域划分为"不适宜"、"一般适宜"、"适宜"和"非常适宜"4种类型,从而为工厂化养殖区域规划和管理提供科学依据。     

黑龙江省番茄根腐病研究概述

文章对黑龙江省番茄根腐病病原菌的鉴定、病原菌的生物学特性、苗期抗性鉴定技术及寄主抗性遗传规律、番茄根腐病的病症与识别、病害的发生和流行规律等内容进行了综述。     

苯酚对废水生物硝化过程的抑制

由于硝化细菌对水产养殖水质可以起到明显调节作用，近年来在水产养殖领域的应用日益广泛。但废水中有毒有害物质的存在常常会导致硝化细菌的活性受到严重抑制，从而严重影响养殖水体及水产品的质量。本文利用富集培养的硝化污泥研究了苯酚对生物硝化过程的抑制效应。结果表明，苯酚对氨氮生物硝化过程的抑制属于非竞争性抑制，抑制常数K1和EC50均为2．61mg／L。泥龄相同的条件下，有苯酚抑制剂存在时氨氮的出水浓度高于无抑制情况，且苯酚浓度越高，氨氮出水浓度也越大；而达到相同的氨氮出水浓度，抑制剂存在条件下的泥龄大于无抑制条件，且抑制程度越高，所需泥龄越长。     

转化糖药学研究概况

综述了转化糖药理及其现代临床研究概况,并对其药学应用前景进行了展望。     

布氏艾美尔球虫研究之回顾

布氏艾美尔球虫(Eimeriabrunetti)是鸡的一种致病性较强的寄生性原虫,但是我国球虫流行病学的报道很少谈及,有关研究报道更为少见。为此,笔者回顾了自1942年Levine首次报道布氏艾美尔球虫以来人们对这个种所做的研究。主要对这个种在世界的流行情况、生物学特性、致病性、免疫原性、内生性发育、体外培养、致弱及在球虫疫苗中的地位作了回顾和评述。     

苯酚对废水生物硝化过程的抑制

由于硝化细菌对水产养殖水质可以起到明显调节作用，近年来在水产养殖领域的应用日益广泛。但废水中有毒有害物质的存在常常会导致硝化细菌的活性受到严重抑制，从而严重影响养殖水体及水产品的质量。本文利用富集培养的硝化污泥研究了苯酚对生物硝化过程的抑制效应。结果表明，苯酚对氨氮生物硝化过程的抑制属于非竞争性抑制，抑制常数K1和EC50均为2．61mg／L。泥龄相同的条件下，有苯酚抑制剂存在时氨氮的出水浓度高于无抑制情况，且苯酚浓度越高，氨氮出水浓度也越大；而达到相同的氨氮出水浓度，抑制剂存在条件下的泥龄大于无抑制条件，且抑制程度越高，所需泥龄越长。     

低聚壳聚糖在水稻上的应用研究

0.3 g/L低聚壳聚糖水剂是一种新型植物生长调节剂。通过在水稻苗期和秧田期使用该水剂,探讨其对水稻生长及产量的影响。结果表明:0.3 g/L低聚壳聚糖水剂可促进水稻根系发育和分蘖;增加千粒重,提高产量;对恶苗病防效达48%。其较佳使用方法为苗期浇灌,移栽返青后茎叶喷雾。     

基于HTML文档的WEB图像分类研究

随着信息技术的快速发展和Internet的普及应用，Internet已经成为包含各种信息形式，如文本、图像、视频、音频等的巨大信息资源库。然而由于Web图像从主题、格式，到功能和来源都多种多样，很难用一个统一的标准进行分类。本研究首先从Web页面上图像的功能角度对图像进行初步分类，将其分为链接类、装饰类、广告类和内容类。初步分类可提高Web图像处理的效率和性能，并为它基于Web的应用与研究提供帮助。     

节肢动物生物指示研究综述

从生物指示的概念和首要目标,指示生物的定义、类别和功能,生物指示研究的步骤,指示生物和环境变量之间关系的可预测性及定量化,以及指示值方法,综述了节肢动物作为指示生物研究概况,列举了常见的节肢动物指示类群及其指示目标,剖析了当前生物指示研究中存在的问题,指出了在科学方法论基础上多学科合作进行多个类群生物指示研究,建立较完善的生物指示系统,服务于地区土地管理、生态建设及生物多样性保护等,将成为生物指示研究的发展趋势和主要方向。     

试论以人为本的高等教育

随着社会的发展，高等教育的地位越来越突出。如何发展高等教育，如何使高等教育更加适应当今经济社会的要求，是大家不懈探讨的焦点。章认为：21世纪的高等教育应树立以人为本的理念，以培养创新性高素质人才为目标，在注重个性教育的同时充分发挥素质教育的作用，并使创新教育在素质教育中得到应有的体现。