一种面向关键属性更新的优化数据一致性算法

规模巨大且分布性强的P2P系统可能导致部分数据副本发布的更新被长时间地延迟,从而降低Internet上资源定位的效率。针对关键属性更新的特点,提出一种解决关键属性更新冲突的优化数据一致性算法。算法中分离出用户提交的更新请求中关于关键属性的更新,在对关键更新冲突分类的基础上,采用更新缓冲预处理和关键更新表两层机制并结合最新写胜出和分而治之规则,优化关键更新冲突的发现和解决。关键属性更新的优化处理使得不会产生因为关键属性更新的延迟而降低系统基于关键属性的资源定位效率,满足面向Internet的P2P系统的要求。模拟测试结果表明该算法在一致性维护开销、资源定位开销与资源访问开销以及鲁棒性方面均具有较好的性能。     

多模块ROP碎片化自动布局方法

返回导向式编程(Return Oriented Programming, ROP)是一种可有效绕过数据执行保护机制的技术。ROP通过搜索内存代码区中合适的汇编指令片段,可组成一段执行特定功能的程序。已有的ROP自动构造技术只考虑ROP链的功能实现,而忽视了ROP链布局对程序内存可控性的要求,导致自动生成的ROP链实用性低。为解决该问题,提出了一种基于符号执行的多模块ROP碎片化自动布局方法。该方法在ROP自动构造Q框架的基础上,以模块为单位对ROP链进行切片;使用符号执行工具S2E,对控制流劫持状态下的程序内存状态进行动态分析;为各ROP模块匹配相应的可控内存区域,构造碎片化布局的ROP链。实验证明,相比已有技术,该方法生成的ROP链有效降低了对程序内存可控性的要求。     

面向RISC-V内核的标记指令复算与纠错机制的设计

由宇宙辐射等环境因素引起的硬件瞬时故障会极大降低计算机系统的可靠性。为了减小硬件瞬时故障对系统可靠性的影响,保证程序的正确运行,基于RISC-V开源内核“蜂鸟e203”提出一种标记指令复算与纠错机制。该机制为指令码额外增加了复算标记,以较小的硬件开销实现对指定指令的复算操作。此外,该机制可以在第一次复算结果与初始运算结果不等时自动进行二次复算,并由三次运算结果的多数表决结果来纠正大部分硬件瞬时故障所引起的数据流异常。实验表明,通过与中断处理程序相结合,在随机注入瞬时故障的情况下,程序的正确执行概率平均增加了86.67%。     

J2摄动下卫星编队重构的多脉冲轨迹优化

针对考虑J_2摄动的椭圆参考轨道的编队重构问题,以消耗燃料最少为目标函数,基于高斯变分方程研究编队重构的多脉冲轨迹优化方法。推导考虑J_2摄动和轨道面内外耦合的轨道要素偏差线性动力学方程,采用遗传算法和序列二次规划结合的混合算法对总的速度增量进行优化。数值仿真表明该混合算法有效,可以高效地得到可行解。由于考虑了J_2摄动和椭圆参考轨道,该算法对航天任务中的轨迹优化具有一定的参考意义。     

基于区块链的地学大数据管理

随着地理观测技术、计算机网络和地理信息系统、社会调查统计的迅速发展,具有空间位置的自然环境数据正在急剧增长,上升到大数据级别。而传统的数据库已经无法满足现有地学大数据的规模和增长速度。在资源访问方面,人们更加担心数据安全与隐私保护问题。由于数据交易的双方和交易中介都是互不信任的,这显然不利于数据的共享与流通,将阻碍地学大数据产业的发展。常用地学数据管理系统主要由单一机构进行维护管理,在多方用户参与的情形下,由于无法信任数据库中的数据,每一方用户都需要一个专用数据库,这样不同数据库之间数据的差异将产生繁琐的争议。区块链的到来却给这一问题的解决带来了希望,区块链技术实现了不完全可信网络环境中的可信数据管理,具有去中心化、防篡改、不可抵赖、完整性等特性,从而为解决目前依靠中心或第三方机构存在的高成本低效率和信息安全问题提供了切实的方法。本文从区块链的共识机制、智能合约、身份验证、数据溯源等方面进行阐述,并重点分析区块链如何解决流通和共享数据的问题,让地学大数据真正得以广泛应用。     

基于VxWorks的某型飞机机载总线仿真系统

结合我军的某新型飞机,介绍了一种基于嵌入式实时操作系统VxWorks的总线仿真系统设计方法.使用航空机载总线技术,计算机局域网技术,重点是VxWorks技术,论证并设计了虚实结合的机载数据总线的通信仿真系统,构造了具有远程通信能力的飞机内部设备连接、分析、研究、实验、测试的通用平台.     

一种面向混合数据集可视化的高效数据转换技术

应用领域中存在大量多数据类型属性的混合数据集,但是,很多有效多变元可视化方法的适用范围都只局限于单一类型,对于混合数据集可视化效果不甚理想。针对包含数值及分类型属性的多元混合数据集,提出一种面向混合数据集可视化的数据转换技术,首先对每一数值型属性使用聚类技术进行分类化,然后应用对应分析算法量化所有分类型属性,最后将转换后的混合数据集使用经典的数值型可视化方法——星形坐标法进行展现,并且针对变元数量较多或分类型变元势较高的混合数据集,在数据转换过程中提出一套降势策略,减少参与计算的变元数量,提高计算效率。实验表明,该方法对混合数据集的可视化结果不仅易于理解,而且有利于用户发现其中的隐性知识,降势策略在提高内存及时间效率方面作用显著。     

JTIDS数据链在部分频带干扰下的性能分析

联合战术信息分发系统(Joint Tactical Information Distribution System,简称JTIDS)采用组合调制体制和多层编码体系保证报文传输的可靠性。分析了JTIDS数据链在莱斯衰落信道环境下的抗干扰性能,并通过仿真分析了该系统在部分频带干扰下的符号误码率和报文丢失率。仿真结果显示,由于JTIDS系统将RS编码、交织等多种编码技术和DS/FFH MSK调制技术相结合,使其在复杂信道环境下保持较低的符号误码率及报文丢失率,满足数据链报文传输可靠性的要求。     

单兵模拟射击训练的数据统计方法研究

提出了对单兵模拟射击训练系统射击数据的新统计方法。该方法针对射击需要,在初步的数据统计后,利用统计学理论,针对性地设计了射击数据二次处理统计指标。新的统计指标不仅使射击训练水平更加精确高效,同时使射击指挥更加科学合理。     

荧光分析技术在单个生物分子行为及实时检测中的应用

活细胞单分子行为及实时检测研究是生命科学向微观世界深入探索的一个重要标志,它需要生物、化学、物理等多学科的交叉,已经成为目前研究的一个热点。该领域主要研究内容有细胞内单个大分子的实时研究、细胞内大分子的超微量实时检测。文章介绍了近年来对活细胞单分子行为及实时检测研究的几种荧光分析技术及其应用,涉及到的荧光分析技术有全内反射荧光显微术、荧光共振能量转移术、多光子荧光成像术、荧光相关光谱、光漂白后荧光恢复技术、荧光寿命成像显微术、单分子荧光偏振等。这些荧光分析技术以其快速、无损、时空分辨率高的特点,成为了研究单个生物分子行为的重要手段。