网络对抗训练混合虚拟化平台设计研究

讨论了虚拟化技术实现原理及其在网络对抗教学中的应用上,分析了各类虚拟化技术的优缺点和构建网络对抗训练环境存在的问题。提出了一种混合虚拟化平台设计,该平台利用Libvirt虚拟化的应用程序编程接口（API）调用两种虚拟化技术同时运行在同一物理主机上。并详细叙述了混合虚拟化平台的实现过程和方法,并在多个虚拟机内同时运行测试基准,分析其可扩展性。多种虚拟化技术在同一物理机上的混合,实现了复杂实验环境的创建,对构建大规模的网络实验平台具有一定的参考价值。     

MIMO链路ad hoc网络传输调度算法

针对MIMO链路ad hoc网络中已有传输调度算法未充分利用MIMO空间复用能力的问题,提出了一种新的传输调度算法.该算法通过考虑MIMO的多流接收能力而有效地减小了调度帧长,通过合理安排节点分配顺序使得节点分配的数据流比较平均,同时,该算法通过允许节点发送多个数据流而高效利用了MIMO的空间复用能力.推导分析了传输调度算法的通过量和时延性能,结果表明,与已有算法相比,采用文中算法可以提高网络的通过量,减小网络的平均时延和最大时延.     

A new DSmT combination rule in open frame of discernment and its application

A new combination rule based on Dezert-Smarandache theory (DSmT) is proposed to deal with the conflict evidence resulting from the non-exhaustivity of the discernment frame. A two-dimensional measure factor in Dempster-Shafer theory (DST) is extended to DSmT to judge the conflict degree between evidence. The original DSmT combination rule or new DSmT combination rule can be selected for fusion according to this degree. Finally, some examples in simultaneous fault diagnosis of motor rotor are given to illustrate the effectiveness of the proposed combination rule.     

Access数据库的三个教学案例设计

针对初学者在学习Access数据库中遇到的困难,设计了三个教学案例,介绍报表中计算控件的使用、if语句的语法格式和通配符“？”和“’,的使用．对于提高Access数据库的教学效果有一定的参考价值。     

Kaman协议的形式化验证

Kaman协议是移动Ad Hoc网络安全认证机制,然而,协议设计者未对该协议的安全性作严格的形式化分析。协议复合逻辑PCL是验证协议安全属性的形式化方法,PCL逻辑能够简化协议安全分析过程。本文在协议复合逻辑PCL中描述Kaman协议并分析Kaman协议的安全属性,证明Kaman协议能够实现其安全目标。     

NCS中实时数据库的多版本并发控制研究

实时数据库是网络控制系统(NCS)的重要组成部分,是整个控制系统中数据交换的平台。本文在原有的两段锁机制的基础上,提出一种适用于多版本的两段锁并发控制方法。简述数据多版本给现场控制带来的不利影响。分析在数据多版本的情况下,现场事务的可串行性,用多版本并发控制协议MV2PL解决多版本并发控制问题。用简化的多版本并发协议2V2PL说明它的正确性,并通过实例表明该协议是可行的。     

Assessing terrestrial wildlife populations in the Toronto and Region Area of Concern

Beneficial use impairments (BUIs) under the Great Lakes Water Quality Agreement identify environmental issues requiring remedial action within the Great Lakes Areas of Concern (AOCs). We conducted this study to support the assessment of the wildlife component of BUI 3: degradation of fish and wildlife populations. We compared bird and amphibian (frogs and toads) data from the Toronto and Region Conservation Authority’s Terrestrial Long-term Monitoring Program in the Toronto and Region AOC to an adjacent, but otherwise similar, reference watershed, Duffins Creek. Twelve of 13 targets were met within the AOC for forest bird, wetland bird, meadow bird and amphibian populations based on averages of mean annual values at sites within the AOC that were within two standard deviations of averages at sites in the Duffins Creek reference watershed between 2008 and 2017. Even though wildlife populations within the AOC were within the normal range of variability expected from a reference watershed, they were often at lower levels than within the Duffins Creek reference watershed. In addition, forest bird and amphibian populations were negatively affected by urbanization within the AOC and meadow bird indices declined. We conclude that while wildlife populations within the AOC currently meet targets for BUI 3, they continue to be negatively impacted by numerous stressors that are primarily related to past and ongoing urbanization. Thus, continued restoration of wildlife habitat and protection of existing habitat within the AOC is highly recommended.     

成都市第一城市污水污泥处理厂工程设计及体会

城市污水处理厂所产生污泥的处理处置问题备受广泛关注,结合成都市第一城市污水污泥处理厂一、二期工程工艺选择,介绍了该厂污泥的性质、污泥"半干化+焚烧"的工艺流程、主要设计参数和概况,同时简要地介绍了污泥处理厂的运行状况及工程设计体会.