珊瑚礁相关病毒的研究进展

珊瑚礁被称为海洋中的“热带雨林”,是海洋生态系统中的核心组成部分之一。珊瑚礁病毒包含珊瑚本身感染的病毒和珊瑚共生生物（如藻类、细菌等）感染的病毒,对于珊瑚礁健康与疾病、生长与死亡起着独特而重要的作用,在维持珊瑚礁生态系统的物质循环和能量流动等生态学功能方面起着潜在作用。由于技术的局限以及关注度较低等原因,有关珊瑚礁病毒的研究较少。近年来,随着高通量测序技术的发展,宏转录组和宏基因组逐渐成为研究珊瑚礁病毒多样性及其生态学功能的重要方法之一。本文对国内外相关研究进行总结和归纳,拟为珊瑚礁病毒后续研究提供新的方向和思路,同时指导我国珊瑚礁的保护以及修复。     

因子链上幂矩阵行列式的整除性

设S＝{x1,……,xn}是由n个不同正整数组成的集合,ε∈Z ,如果n阶矩阵的第i行j列元素是S中元xi,xj的最大公因数(xi,xj)的ε次幂(xi,xj)ε,就称这个矩阵是定义在S上的最大公因数的ε次幂矩阵,简记为(S)εn;如果n阶矩阵的第i行j列元素是S中元xi,xj的最小公因倍数[xi,xj]的ε次幂[xi,xj]ε,就称这个矩阵是定义在S上的最小公倍数的ε次幂矩阵,简记[S]εn为.如果S中元素满足1≤i≤j≤n有xi|xj,就称S是一个因子链.研究了对ε∈Z ,定义在任意因子链S上的幂矩阵(S)εn和[S]εn的行列式det(S)εn与det[S]εn间的整除性.     

线性时序逻辑转换Büchi自动机的按需即时算法

将线性时序逻辑公式转换成Büchi自动机是显式模型检测中的关键环节,Tableau规则是常用转换算法。该文提出了基于Tableau规则的改进算法,将线性时序逻辑公式转换成基于迁移的Büchi自动机。通过在状态和迁移中加入∪公式的满足信息,实现了用一个接受条件集合判断执行序列是否可接受,避免了使用多个接受条件集合进行判断。改进算法引入了按需即时(on-the-fly)去扩展化机制,算法展开状态节点的同时进行状态有效性检测,删除无效节点,合并等价状态和迁移,避免了后置化简。与其他转换工具进行比较实验表明,该算法具有执行速度快、生成自动机的状态数和迁移数少的特征。     

苏州河水质模型的研究

本文在分析了苏州河水污染特点后,提出二种适合于潮汐河流的水质模型.该模型由DO-CBOD-NBOD等成分组成,并考虑到平流输运、物质分散、碳化耗氧、硝化耗氧、吸附沉降、大气复氧和底质耗氧等几项作用.并用河流实测资料率定各项参数,从而建立各参数的计算公式.经模型验证,本模型基本上满足了水质规划的需要,唯有些问题尚须作深入的研究.     

基于模糊层次分析法的人因工程学社会化应用潜力评价

以中国制造业领域的23个主要行业为例,根据人因工程学应用领域与技术条件的协调性,采用乘法加权综合评价方法,构建了基于模糊层次分析法的人因工程学社会化应用潜力评价模型。该模型对人因工程学社会化应用潜力进行了整体宏观定量评价和不同行业分类排序,并指出了人因工程学与行业关联度、行业经济发展水平、行业研发强度、行业技术创新机会等是影响人因工程社会化应用潜力的重要因素,对合理评价人因工程学的社会应用价值、制定人因工程学的社会化开发应用战略及实施“以人为本”的和谐发展具有重要意义。     

宁夏宁杞1号花期霜冻过冷却实验研究

以宁夏枸杞主栽品种宁杞1号为研究对象,通过人工霜冻模拟箱进行过冷却实验,分花蕾期、初花期、盛花期等不同阶段分析其过冷却点和结冰点温度,并统计不同低温范围的分布比例,计算分析达到过冷却点所需的时间.结果表明,花蕾期、初花期、盛花期的过冷却点分别为-9～-3.8℃,-8.8～-4.0℃,-8.5～-3.4℃,结冰点分别为-6.9～-3.1℃,-5.7～-2.9℃,-5.4～-2.5℃,花蕾期比初花和盛花期的过冷却点分别平均低0.2,0.7℃,结冰点分别低0.5,1.3℃.花蕾期、初花期、盛花期的过冷却点频率分布不同,但分布趋势均呈单峰曲线状,趋势峰值分别出现在-8～-7℃,-7～-6℃,-6～-5℃.各花期达到过冷却点的平均时间分别为5.1,4.6,4.5 h.花蕾期、初花期、盛花期的结冰点和过冷却点呈逐渐升高的趋势,初花和盛花期的"跃升值"接近,均大于花蕾期;随着发育进程的推进,达到过冷却点的时间呈逐渐减小的趋势,且花器官的抗冻性逐渐减弱.     

煤矿事故中人因可靠性的应用及其改进

为更加全面地认识人为失误在安全生产中的影响,弥补人因可靠性分析技术在煤矿安全生产中应用的不足和缺陷,通过对现有技术的深入研究和缺点分析,采用理论研究、现场调查、数据统计和系统模拟等技术和手段,对原有HRA技术进行局部的改进并创新,制出人为失误表,分析人在集体作业中的可靠度,并将模拟数据进行修正,研究结果使人因可靠性分析技术的数据准确可靠,整体上提高了数据的科学性和实用性,有助于在煤矿安全生产中人为事故的有效控制.     

在役核电厂严重人因事故分析及管理研究

核电厂人因可靠性分析(HRA)是核电厂概率安全评价(PSA)的重要组成部分,能够较好地评价和量化核电厂事故后操纵员的人员行为.本文通过对国内某核电厂压水堆(PWR)进行HRA分析,筛选出对于PSA总体风险贡献大于5%的严重人因事件序列,得出这些人因事件序列基本人误概率值,分析操纵员事故后的干预行动并进行重要度排序.文章从工程管理的角度,通过分析严重人因事件序列排列以及序列进程中操纵员的干预行动,提出对相对应的应急规程(EOP)和核电厂主控室现场进行改进的措施,对于重要度较高的操纵员干预行为,核电厂应加强培训,提高干预能力.     

区域人力资本与经济增长关系的评价研究——以重庆为例

构建了人力资本水平的综合评价指标体系以及人力资本与经济增长关系的评价模型,在此基础上利用主成分分析测算出重庆人力资本的综合水平,运用计量经济方法,论证了重庆人力资本与经济增长之间存在长期的协整关系,从而通过对模型的协整分析揭示了重庆目前人力资本水平与经济增长之间的关系,指出了重庆经济发展中的不足,并据此提出了相应的政策建议.     

面向人机协作装配规划的AR仿真交互与人因评估

为提高装配效率,传统手工装配工位进行人—机器人协作改造已成为一种发展趋势.为实现对人机协作工位改进方案的安全快捷评估,提出一种塞于增强现实技术的通用人机协作仿真才法与人因评估才法.建立人机协作装配仿真构建总体思路的4个层次;建立真人与虚拟机器人的视觉检测、感知、增强现实反馈的交互方案;构建工位设计方案的人因生理和心理指...