多无人机协同探测快速目标的控制方法设计

针对无人机(unmannd aerial vehicle, UAV)对快速运动目标的协同探测问题, 设计了一种多UAV协同探测控制算法。首先假设每架UAV都携带相同的探测载荷, 根据载荷特性设计了针对快速运动目标的UAV协同探测队形。然后引入固定时间控制一致性协议到UAV载荷角度控制中, 控制载荷持续照射目标; 引入有限时间一致性协议到UAV编队控制中, 用以形成协同探测队形, 并通过二跳网络加快队形的收敛。通过将UAV队形控制与UAV载荷的角度控制相结合, 从而实现UAV对快速运动目标探测时间的最大化, 极大的延长了高速运动目标被发现的时间。最终通过理论分析和仿真实验证明了该控制算法的有效性。     

基于生物信息的未知二进制协议聚类方法

协议聚类是协议逆向工程技术中非常重要的一步，针对二进制协议更加透明且满足的协议种类更加广泛的特点，提出了一种基于基因和蛋白质生物信息的二进制协议聚类方法，能够从原始序列角度对大量协议直接进行聚类.本文方法首先将原始二进制报文转化成四进制基因形式，使用快速聚类方法计算碱基两两组合的k-seed值生成距离矩阵，并用UPGMA计算最小距离生成树得到初始分簇；其次，将每一簇四进制协议报文转化成十六进制蛋白质链，得到序列更有语义的方式并采用基于改进mBed算法的聚类方法将其进行高精度聚类.通过对已知和未知协议单纯和混合场景下的测试表明，该方法能够对二进制协议实现高效并且高准确率的聚类，具有较高的应用价值.     

Elucidating the diel and seasonal calling behaviour of Elachistocleis matogrosso (Anura: Microhylidae)

ABSTRACT

Acoustic monitoring provides the opportunity to study ecological processes that are difficult to assess with traditional surveys. Elachistocleis matogrosso is an anuran species, described in 2010, for which limited biological information is available. This study investigated the calling activity of the species in the north-eastern portion of the Pantanal, Brazil, a wetland area with marked seasonality between the dry and wet seasons. The calling activity of E. matogrosso was monitored using automated digital recorders in combination with automated signal recognition software over two different annual cycles. The species was vocally active only during the wet season (October – April), with a peak in November-December during the 2013–2014 annual cycle and in February-March during the 2015–2016 annual cycle. The peak calling activity occurred at dusk. This species has nocturnal habits and an explosive breeding activity. The detection of the species was intermittent, which suggests that environmental predictors or site-specific conditions might play an important role in species detection. Moreover, this intermittent occupancy indicated that surveys that employ traditional field techniques would likely fail to detect this species. We describe an effective protocol for detecting E. matogrosso with acoustic monitoring, which requires recording during 20 days in February from 17:01 to 05:00. Our procedure would be easy to adapt to other anuran species, and it could be used for investigating new localities and assessing population changes over time.     

基于联盟链的微电网身份认证协议

目前，微电网电力交易存在着身份认证协议不安全、交易中心化、数据无法追踪溯源、节点之间缺乏共识等问题，而区块链具有分布式存储、去中心化、数据不可篡改等优势.为此，基于联盟链的微电网身份认证协议，将区块链应用于微电网的身份认证以解决上述问题.首先，使用零知识证明解决了新节点的身份认证问题.其次，将其ID写入Merkle树并在整个联盟链中广播，利用区块链可以保证数据不被篡改的原理确保了数据的安全性和可追溯性，解决了传统电力交易的中心化、数据存储不安全、电力交易无法追踪溯源等问题.最后，凭借着瑞波共识协议所具有的安全高效的优势有效地解决了节点之间的共识问题.通过方案对比可知：该方案采用的零知识证明在身份认证中具有计算开销小及瑞波共识机制算法具备共识速率快的优点.经过安全性分析及性能分析可知：该方案在解决微电网的身份认证安全性问题的同时又能保证节点的运行性能最优.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

关于高校图书馆书库管理的思考

书库是一个图书馆的中心，高质量的书库管理工作直接决定了整个图书馆的服务质量。针对图书馆书库管理中存在的问题，提出了提高书库管理工作质量的措施，使书库能更高效地为读者服务。     

图书馆书库加层改造文献搬迁调整工作思路与对策

从陕西省图书馆文献激增上架困难问题入手,分析了基藏书库文献的分布情况,探讨了实施图书馆书库加层改造文献搬迁调整工作的基本思路和流程,提出了做好该项工作应注意的几个问题.     

基于Libmodbus的走航式海表温度传感器总线协议设计

针对船用海水表层水温观测以人工观测为主的现状，基于跨平台的Modbus库Libmodbus的走航式海洋表层水温监测系统，通过在船舶一侧布放处于船舶吃水线范围的水温传感器来采集表层水温信息。采用RS485/Modbus协议实现多站多点联网，构成分布式系统，进行海水表层温度的自动采集。上位机基于Modbus-RTU协议，并添加循环冗余校验以保证其对水温传感器的远程控制和表层水温信息采集功能的可靠性、安全性。该系统不仅运行稳定，操作简单方便，还具有可移植性和可扩展性。实验结果表明，该系统可以稳定可靠地监测海洋表层水温，实现表层水温的随船在线测量。     

针对短波3G-ALE信号的改进脉冲干扰性能研究

针对美军新一代短波3G-ALE信号为提高其协议信息传输可靠性而在通信链路层进行的多重数据编码,提出一种改进脉冲干扰方法。首先利用公开的伪随机扰码,建立对周期脉冲信号进行伪随机预加扰的干扰模型;之后推导信号接收处理公式,在此基础上分析脉冲占空比、脉冲周期等干扰参数,以及扰码失步、干扰频偏等因素对于干扰性能的影响;最后仿真干扰实验并得到相关结论。实验结果验证改进脉冲干扰对于3G-ALE信号协议信息可靠传输的干扰有效性,在设置脉冲占空比75%、脉冲周期使得脉冲持续时间等于整数倍符号长度TB时的干扰效果最佳;2TB以内的扰码失步、80 Hz以内的干扰频偏导致的干扰效果下降,则可以通过提高干信比较好地予以克服。     

基于安全协议的智能灌溉系统设计

针对现有智能灌溉系统中数据交互的安全问题,设计了一种基于安全协议的智能灌溉系统.智能灌溉系统以此安全协议为核心,并设计身份认证模块、签名模块、签名验证模块,实现了安全协议.最后对智能灌溉系统进行实验与仿真,实验结果表明基于安全协议的智能灌溉系统运行效率高,在智能灌溉装置计算能力和传输能力较弱的情况下具有良好的适用性和安全性.