基于指令生成约束的RISC-V测试序列生成方法

为了避免处理器受到指令缺陷的威胁,该文提出基于指令生成约束的RISC-V测试序列生成方法,构建测试指令序列生成框架,实现测试指令生成及指令缺陷检测,解决现有测试指令序列生成方法约束定义困难和收敛速度慢的问题。在该方法中,首先,根据指令集架构规范和指令验证需求定义指令生成约束,包括指令格式约束、通用功能覆盖约束和特殊功能覆盖约束,以解决随着指令数量增多约束定义的困难,提高可复用性;然后,定义启发式搜索策略,通过统计覆盖信息,加快覆盖率收敛速度;最后,基于启发式搜索策略构造求解算法,实现满足指令生成约束的测试序列生成。实验结果表明,与现有方法相比,在覆盖所有指令验证需求的前提下,结构覆盖率和数值覆盖率的收敛时间分别减少了85.62%和57.64%。利用该框架对开源处理器进行检测,可以定位到在处理器译码和执行阶段引入的指令缺陷,为处理器指令缺陷检测提供了有效的方法。

硬岩铀矿无废协同开采模式及技术研究

针对我国硬岩铀矿开采中效率低、损失大以及堆浸铀尾渣、含放射性废石处置难等问题,结合“协同开采”理念,提出了硬岩铀矿无废协同开采模式。该模式通过调整回采工程布置,优化充填与尾废处置工艺流程,采取相应的工程技术措施,使采矿与堆浸、采矿与充填、充填与堆排在时间和空间上实现协同,达到安全高效开采铀矿资源和无废处置铀矿冶尾废的目的。以粤北某铀矿为例,分析了现有上向分层干式充填法和堆浸、尾废处置工艺的特点,开展了堆浸铀尾渣充排试验,改进了采矿方法,设计了采—充—排协同工艺方案,并对其工程应用效果进行了评价。研究表明:灰砂比为1∶10和1∶14、质量浓度为76%的充填体,能够满足该矿机械化上向分层充填法和地表同步固化堆排的要求;采用无废协同开采模式后,采场生产能力和回采率可分别提升至135 t/d和88.86%,含放射性废石达到地表零排放,堆浸铀尾渣通过井下胶结充填和地表固化堆排得到了有效处置,矿山经济效益和环境质量得以明显提升。

河南奶山羊线粒体D-loop区遗传多态性和遗传分化研究

为了解河南奶山羊遗传资源现状,对河南奶山羊、萨能奶山羊、关中奶山羊和伏牛白山羊线粒体DNA D-loop区全序列遗传多态性和遗传关系进行分析。结果表明,共存在16种单倍型,各品种单倍型多样度范围为0.391~0.814,核苷酸多样度的范围为0.00035~0.00464,核苷酸平均差异数范围为9.33333~13.66667,核苷酸岐异度变异范围为0.00833~0.01219,遗传分化系数范围为0.13565~0.36010,固定系数范围为0.58323~0.93550。山羊品种间系统发育树表明,河南奶山羊首先与伏牛白山羊聚为一支,其次河南奶山羊与萨能奶山羊聚类,最后与关中奶山羊聚类。系统发育树聚类结果与遗传距离分析、遗传分化分析结果相符,从遗传角度证实了河南奶山羊是以萨能奶山羊为父本,以河南地方品种为母本经杂交选育而成。

Study on Immobilized Algal Cells for Treatment and Recycle of Refinery Wastewater

Compared to the algal oxidation pond, treatment of wastewater using the immobilized algal cell technology has excellent effect, which not only can effectively avoid the disadvantage of oxidation pond,but can also remarkably improve the efficiency of treating system and the effluent quality. When the treating system operates under an optimal control conditions, such as a 55% loading rate, an illumination intensity of 2500-3500 lux and a hydraulic residence time of 4 hours, the COD and ammonia nitrogen removal can reach 90%. Water after deep treatment can comply with the requirement of the refinery for the quality of recycled water.

大规模新能源集群接入弱电网的消纳能力评估方法

高比例新能源接入区域系统强度弱,已经逐步成为制约新能源消纳的重要因素,因此亟需提出一种适用于新能源集群弱电网系统的新能源消纳能力评估方法。首先基于容量短路比指标计算方法,并以临界短路比指标约束建立了新能源消纳能力与新能源并网点系统强度之间的关联,阐述了弱电网系统制约新能源消纳的机理,并分析了无功补偿方式对弱电网系统新能源消纳的提升机理;然后,在传统时序生产模拟算法基础上,加入短路比约束,提出一种考虑短路比约束的时序生产模拟模型,以准确评估弱电网系统新能源消纳能力。最后,结合我国“三北”地区某新能源汇集送端系统工程,开展了基于短路比约束的弱电网系统新能源消纳评估应用研究,并进一步量化分析了各无功补偿方式对新能源消纳提升的效果。

硅对盐胁迫下黄瓜生长和多胺代谢的影响

硅可缓解植物的盐胁迫损伤,但不同植物中硅提高植物抗盐性的机理不同。以黄瓜为试材,采用营养液水培方式,研究了外源加硅对盐胁迫下黄瓜幼苗生长、氧化损伤和多胺代谢的影响。结果表明施硅可改善盐胁迫下黄瓜幼苗的生长,提高叶绿素含量和PSII最大光化学量子产量(Fv/Fm)。加硅可降低盐胁迫下黄瓜中游离腐胺(Put)的含量,增加亚精胺(Spd)和精胺(Spm)的含量,同时降低二胺氧化酶(DAO)和多胺氧化酶(PAO)等多胺降解酶的活性。此外,外源施加硅、Spd和Spm可降低超氧化物歧化酶(SOD)、过氧化物酶(POD)的活性,提高过氧化氢酶(CAT)的活性,降低叶片电解质渗透率、丙二醛(MDA)以及过氧化氢(H_(2)O_(2))的含量,减轻盐胁迫造成的氧化损伤。探讨硅提高黄瓜抗盐性的机制,可为硅肥的应用提供理论依据。

姜GST基因家族成员鉴定与表达分析

为解析姜(Zingiber officinale Roscoe)谷胱甘肽硫转移酶(glutathione-S-transferase,GST)基因家族的信息,基于姜基因组数据,分析鉴定了ZoGST家族成员及其表达模式,并进一步利用qRT-PCR检测了10个ZoGST在不同胁迫下的表达特性。在姜基因组中共鉴定到58个GST家族成员,其编码蛋白的氨基酸长度在110~675 aa之间,分子量12.21~72.51 kD,等电点4.55~9.51。系统进化树显示,ZoGST可分为Ⅰ~Ⅹ亚家族,第Ⅶ和Ⅹ亚家族成员居多数;ZoGST家族成员分布在11条染色体上,共线性分析表明该家族成员存在6对片段重复;顺式作用调控元件分析发现上游启动子区含有与光响应、逆境胁迫、激素调节相关的作用元件;转录组测序数据分析显示,ZoGST有一定的组织表达特异性且响应病害、低温等逆境胁迫,其中,ZoGSTDHAR5、ZoGSTF9、ZoGSTF13等在姜不同生长时期、不同部位、低温和病害胁迫下均有较高表达。qRT-PCR分析表明,盐胁迫下ZoGSTDHAR2(除根茎外)、ZoGSTEF1G2、ZoGSTF9在姜不同组织表达量均显著下调;淹水胁迫下,ZoGSTDHAR2等在叶和根茎中表达量显著上调;干旱胁迫下,ZoGSTF9等在根中表达量显著上调。