摘要：为解决基于COrpS处理器的现代微小卫星系统的软件容错问题，提出了基于虚拟寄存器的软件加固技术（SHVR），它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误，设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言源程序作为输入的限制，提出了基于虚拟寄存器的数据流和控制流错误检测算法，并在实际应用背景下对这一方案进行了优化。模拟实验和实际应用表明，这套完全基于软件技术的方案在平均付出82．6％性能代价的前提下，对随机注入故障检测率达到91．4％。该方法现已成功应用于哈工大某重大航天课题中。

摘要：传统上认为红树林输出的有机质产生巨大的能流,支持了巨大的河口和近岸水域生态系统的次级生产。但能量标签技术的研究结果却显示红树林输出的有机质的作用并没有如此巨大。用红树碎屑难消化特性来解释此现象,此外数学模型模拟分析发现潮汐的稀释作用也可以解释这种现象。但这两者都不能解释,在其他初级生产者稀少时,红树材输出的有机质可以被大量利用的现象。在有红树林的河口和近海岸水域生态系统中,藻类等非红树初级生产者具有比红树植物更高的初级生产力,而且更容易被动物获得和消化。可以认为是藻类等巨大初级生产力的竞争作用导致红树初级生产在消费者组织中很难被发现,如此上面提到的难题就能得到很好的解决。此外能量标签技术检测出的是红树的初级生产在消费者组织中的相对比率,不是绝对数量值,从此角度看,能量标签技术的结果与传统观点不是矛盾而是互相补充的关系。由此推测红树的初级生产应该还是被消费者所利用,只是它们在消费者初级营养来源组成中占的比例并不大,但其绝对数量并不少。这与传统观点认为的红树的初级生产被大量利用,支撑了具有巨大的次级生产稍有不同。此外,能量标签技术在红树林生态系统中的适用性尚未检验;计算食物组成的数学工具不是很完善;实验设计上考虑的不够全面;对定量研究有一定的影响。

摘要：种质资源管理信息化是提升种质资源管理效率的必经之路,共享是激活现有种质资源利用价值,实现种业乘数效应的重要手段,共享活动中的惠益分配是推动种质资源共享的原始激励,而惠益权属存证是惠益分配的关键依据。目前热带作物种质资源管理面临着资源流动业务链条管理分散、资源及业务链信息数据失真、资源可信惠益分配证据链缺失等问题。针对这些问题,基于区块链技术,提出了一种面向热带作物种质资源管理的区块链系统,利用区块链去中心化、不可篡改、全程留痕、可追溯、集体维护、公开透明等特点,解决信息不对称问题,从而实现热带作物种质资源的众多有关机构和环节的协作信任与一致行动,有效地解决上述问题和挑战。该系统实现了热带种质资源全生命周期中对种质资源所作处理的全程留痕,以及对种质资源的精准溯源,为今后农业领域与计算机领域相结合、资源溯源等研究工作奠定基础,对热带作物种质资源高效管理与潜在价值的挖掘具有重要意义。

摘要：介绍一种使用工业计算机和无线网卡研制的小卫星气浮台测控终端模拟器。测控终端模拟器的主要任务是模拟地面站的遥测遥控功能,其软件开发平台采用了NI公司的LabW indows/CVI。应用模块化方法设计的测控终端模拟器软件,可实现遥测数据接收、解码、显示、存储和数据回放功能,并能通过无线网络向小卫星气浮台发送遥控指令。试验结果表明,小卫星气浮台与地面测控站之间通信过程模拟效果令人满意。

摘要：根据罗氏沼虾(Macrobrachium rosenbergii)幼体培育期主要细菌性病原阴沟肠杆菌omp A基因序列、产气肠杆菌gry B基因序列设计特异性引物,通过对PCR扩增产物进行测序鉴定与特异性和敏感性试验,建立了两种病原菌的PCR快速检测方法,并对发病样品进行了检测。结果显示,设计的阴沟肠杆菌与产气肠杆菌检测引物能分别扩增出与预计大小一致的385 bp和201 bp的特异性片段,与其余供试菌株无交叉反应。两种检测方法的灵敏度分别为103 CFU/ml和102 CFU/ml。罗氏沼虾幼体样品的检测结果与实际发病情况一致,建立的检测方法也可直接对样品进行PCR检测,而无需细菌分离培养。本研究建立的阴沟肠杆菌与产气肠杆菌PCR检测方法具有较高的特异性与灵敏度,可缩短检测时间,该方法的建立对罗氏沼虾幼体病原的快速诊断、分子流行病学的调查及无特定病原(SPF)群体的建立具有重要意义。