摘要：1 牙龙村概况 1.1 村落位置 牙龙村位于文山壮族苗族自治州东北部的八宝镇,属于亚热带季风气候,雨热同期、光照充足.牙龙村南、西、北三面环山形成天然的保护屏障,村落集中于山谷线呈阶梯式分布并向扇形发展,越靠近村尾处地势越高视野越开阔且排水优势越好,村口东南面临河道,村民生产、生活取水便利,如图1.村落东南面一公里处的河野村已开发为旅游风景名胜区,牙龙村依山傍水,环境优美且遗留下来的局部传统民居较为完整,有开发人文旅游区的潜在价值.

摘要：试验在猪粪中添加不同比例的花生麸,设计不同营养梯度的培养料,观测黑水虻的饲养效果,筛选出适宜的配比,为完善基于猪粪资源化利用的农牧循环体系提供参考。试验设计花生麸0%、10%、20%、30%、40%、100%与育肥猪粪6个组合,每组3个重复。每组接种4日龄黑水虻初孵幼虫0.3 g入不同营养梯度培养料的塑料盒中,每组一次性添加3 kg(干物质)培养料,当虫盒内幼虫约一半变态成为黑色预蛹时结束试验。测定幼虫增重、虫数量、残渣重等,测定分析有机质、粗蛋白、粗脂肪在虫沙和虫体中的分布。结果表明:随着花生麸添加比例的增加,黑水虻幼虫生长发育加快,高营养水平对黑水虻幼虫的生长有利;虫沙中有机质、粗蛋白、粗脂肪等营养指标比原培养料均有降低,粗脂肪降幅最大,说明黑水虻对脂肪的利用率很高(约90%);单从饲养效果来看,在育肥猪粪中添加30%花生麸组适宜,效果与效益结合分析,添加10%的花生麸性价比较高。试验表明,培养料营养水平越高,黑水虻生长性能越好。猪粪中添加10%花生麸养殖黑水虻幼虫投入产出比较佳,值得推广应用。

摘要：智能合约的发展处于初期阶段,底层编程语言和应用平台的不同使得智能合约的设计缺少规范,极易出现漏洞,造成损失。针对以太坊区块链平台上智能合约存在的安全漏洞问题,提出了一种基于模糊测试的智能合约正确性检测方法。该方法根据智能合约内容及规范生成模糊输入,并根据模糊输入在以太坊虚拟机内执行智能合约,监控合约在执行过程中的行为,生成多个日志文件,提取日志文件中的关键信息,对测试用例进行触发测试,从而得到智能合约所包含漏洞的情况,实现正确性检测。在实验过程中,该方法针对416个智能合约中的七类常见漏洞进行了漏洞检测,标记出了19个存在漏洞的智能合约。经过人工审计分析发现,在这19个被标记的不正确智能合约中,有18个智能合约确实存在安全漏洞。实验结果表明所提方法能够以较高的准确率识别智能合约中包含的漏洞,从而检测智能合约的正确性。

摘要：目前,区块链由于其高度的去中心化以及不可篡改的特性被广泛应用于不同领域,文章以解决区块链在应用过程中的链间数据交互一致性无法保证以及不支持数据动态更新的问题为研究目标,设计了一种去中心化的数据一致性审计模型,该模型采用跨链技术来实现异构区块链之间数据的安全可信共享,利用去中心化的变色龙哈希函数构建动态的默克尔哈希树以实现数据的动态更新操作,引入审计链对源链和目标链之间的数据交互进行监管,并利用Cosi多重签名算法来保证数据传输过程中的一致性。经过理论分析和实验验证,结果表明,该模型采用的Cosi算法在时间开销和可扩展性方面与目前主流多重签名算法相比具有较大优势。此外,本文模型在时间开销和通信开销方面与常见的审计模型相比有较大优势,能够以较小的成本完成相同的审计任务,并且可以达到99%的数据审计一致性保证概率。

摘要：中继链是被广泛认可的跨链技术之一,当前跨链多采用实用拜占庭容错及其改进算法,如加权拜占庭容错(Weighted Practical Byzantine Fault Tolerance,WPBFT)算法。WPBFT算法为节点附加权重,降低恶意节点的影响,但其权重更新机制简单,作恶成本较低,严重威胁了系统的安全。为此,针对中继链安全和效率需求,文章提出一种应用于中继链的改进加权拜占庭容错(Improved Weighted Practical Byzantine Fault Tolerance,IWPBFT)算法。该算法对WPBFT算法的共识过程和权重变更机制进行改进,设计了新的权重更新和节点奖惩机制。实验表明,IWPBFT算法主节点出错概率较低,共识成功率较高,可有效提高中继链的安全性、可靠性和容错性,降低共识时延,提升中继链的跨链效率。