基于统计推理的二进制程序语义比较模型

1

作者 郭曦 王盼 《电子学报》 北大核心 2025年第1期163-181,共19页

在程序缺陷分析、恶意代码发掘等过程中,通常需要对二进制程序的行为相似性进行分析.目前基于语法的相似性分析方法忽略了程序的执行语义,存在分析精度不高的问题.基于语义的相似性分析方法在符号逻辑公式生成过程中,频繁地调用约束求... 在程序缺陷分析、恶意代码发掘等过程中,通常需要对二进制程序的行为相似性进行分析.目前基于语法的相似性分析方法忽略了程序的执行语义,存在分析精度不高的问题.基于语义的相似性分析方法在符号逻辑公式生成过程中,频繁地调用约束求解器进行语义相似性比较,会产生巨大的计算开销.提出一种基于统计推理的代码相似性模糊匹配分析方法,从指令级别相似度的计算开始,逐级对基本块及函数间的语义相似性进行推理.首先将二进制代码按照一定的规则划分为具有规范形式的片段集合,在基本块粒度上使用动态规划的方法构建有相同执行语义的存储表,从而获得基本块间的指令初始语义映射.然后通过邻域搜索的方法将该映射拓展到目标分析函数,并在该过程中提取函数的执行语义.最后通过对相似函数的结果进行统计分析,进而计算二进制文件的相似度.同时采用无监督的预训练分析方法,通过调优预训练模型的参数从而提高代码相似分析的精度.从跨平台及优化选项的角度对13个主流的开源项目进行了实验,实验结果表明相较于对比工具,本文方法的分析精度平均提高7.26%,同时消融实验表明,本文的预训练模型可以有效提高二进制程序语义匹配的性能. 展开更多

关键词 程序分析 语义比较 逆向工程 统计推理 迁移学习

在线阅读 下载PDF 职称材料

基于高光谱和卷积神经网络的西兰花农药残留检测

2

作者 王丹 栾雨晴 +1 位作者 谭佐军 魏薇 《食品工业科技》 北大核心 2025年第6期1-8,共8页

农产品农药残留检测是保证农产品食用安全的重要环节,而传统检测方法步骤繁琐、成本高昂。本文利用高光谱技术结合机器学习算法和深度学习算法,以西兰花农药残留检测为样本,提供了一种简便快速、成本低、无损的西兰花农药残留检测方法... 农产品农药残留检测是保证农产品食用安全的重要环节,而传统检测方法步骤繁琐、成本高昂。本文利用高光谱技术结合机器学习算法和深度学习算法,以西兰花农药残留检测为样本,提供了一种简便快速、成本低、无损的西兰花农药残留检测方法。研究通过采集喷洒了不同种类农药和清水的西兰花样本400~1000 nm高光谱图像,经过多元散射校正(MSC)、Savitzky-Golay卷积平滑(SG平滑)两种数据预处理方法,和主成分分析法(PCA)、竞争性自适应重加权算法(CARS)、连续投影算法(SPA)三种数据降维后,建立支持向量机(SVM)识别模型进行农药残留判别。得到SVM-SG-SPA组合判别效果最好,其对高效氯氰菊酯、毒死蜱、吡虫啉和清水的识别精度分别达到92.86%、94.29%、91.43%和92.86%。用原始光谱数据建立一维卷积神经网络(1D-CNN)模型,其对高效氯氰菊酯、毒死蜱、吡虫啉和清水的识别精度达到94.29%、95.71%、94.29%和97.14%,识别精度均高于SVM模型。结果表明,高光谱成像技术结合一维卷积神经网络的深度学习算法,不仅简化了对西兰花农药残留的识别过程,还提升了识别效率和识别精度。 展开更多

关键词 高光谱技术 西兰花 农药残留识别 卷积神经网络

在线阅读 下载PDF 职称材料

新疆肉羊产业发展现状及未来养殖模式展望

3

作者 赵文娟 张星星 +5 位作者 杨庆勇 钟发钢 韩猛立 黄新 张倩 吴桐忠 《现代畜牧科技》 2024年第3期112-115,共4页

新疆是羊肉的重要生产地和消费地,肉羊产业对新疆农牧业增效及农牧民增收致富具有重要意义。当前新疆地区羊肉供给严重不足,满足不了当地消费需求,养殖模式与方法相对分散与落后,与现代化、集约化养殖模式存在很大差距。该文分析了新疆... 新疆是羊肉的重要生产地和消费地,肉羊产业对新疆农牧业增效及农牧民增收致富具有重要意义。当前新疆地区羊肉供给严重不足,满足不了当地消费需求,养殖模式与方法相对分散与落后,与现代化、集约化养殖模式存在很大差距。该文分析了新疆肉羊产业的发展现状及面临的挑战和问题,探讨发展肉羊智慧化养殖的趋势及意义,对新疆肉羊产业发展智慧养殖的前景进行了展望,并提出发展标准化规模养殖、加强科技队伍建设、完善科技支撑体系、加快饲草料产业发展、推广智慧化养殖技术、打造规模化羊场智慧管理云平台等建议,为新疆肉羊产业健康、可持续发展提供参考。 展开更多

关键词 新疆 肉羊产业 发展现状 养殖模式

在线阅读 下载PDF 职称材料

绵羊MYL基因家族的鉴定与组织表达分析 被引量：1

4

作者 杨杨 余乾 +6 位作者 刘昱成 杨华 赵卓 王立民 周平 杨庆勇 代蓉 《畜牧兽医学报》 CAS CSCD 北大核心 2024年第4期1551-1564,共14页

为了解肌球蛋白轻链(myosin light chain,MYL)基因家族在绵羊中的分子进化关系及表达变化,本研究利用生物信息学方法对绵羊MYL基因家族进行鉴定和系统分析。各选取了3只军垦白肉羊、新疆细毛羊和湖羊成年公羊各组织样品,采用qRT-PCR方... 为了解肌球蛋白轻链(myosin light chain,MYL)基因家族在绵羊中的分子进化关系及表达变化,本研究利用生物信息学方法对绵羊MYL基因家族进行鉴定和系统分析。各选取了3只军垦白肉羊、新疆细毛羊和湖羊成年公羊各组织样品,采用qRT-PCR方法验证家族成员MYL1、MYL6B和MYLPF基因的表达情况。结果显示,12个MYL基因分布在9条染色体上,编码由147~211氨基酸组成的亲水性蛋白质,无信号肽和跨膜结构域,二级结构以α-螺旋为主。根据基因结构、保守结构域和基序分布等特征,可以将这些基因家族成员分为3个组。共线性分析结果表明,MYL2和MYL10、MYL2和MYLPF存在片段复制,且这些片段受到较强的选择压力。蛋白互作网络显示MYH10与绵羊MYL家族成员均存在互作关系。MYLs的组织表达模式差异较大,其中MYL1、MYL2、MYL6B和MYLPF在骨骼肌组织中高水平表达。基因克隆测序结果显示,扩增得到目的基因的CDS全长,qRT-PCR结果表明,MYL1、MYL6B和MYLPF在军垦白肉羊肌肉组织中的表达水平显著高于其他组织(P<0.0001),并且在军垦白肉羊骨骼肌中的表达水平显著高于湖羊和细毛羊(P<0.0001)。以上结果为深入研究绵羊MYL基因家族的功能以及优化绵羊肉用性能提供了线索。 展开更多

关键词 绵羊 MYL 基因家族 生物信息学分析 基因表达

在线阅读 下载PDF 职称材料

面向代码重用检测的程序语义分析模型

5

作者 郭曦 王盼 《通信学报》 CSCD 北大核心 2024年第12期179-196,共18页

程序相似性分析在代码缺陷检测、产权保护等领域有广泛的用途,但普遍存在计算开销过大等问题,为此提出了一种基于模糊匹配和统计推理的代码相似度分析方法。针对二进制程序,首先对其进行反汇编分析,然后进行函数边界识别操作,从而提取... 程序相似性分析在代码缺陷检测、产权保护等领域有广泛的用途,但普遍存在计算开销过大等问题,为此提出了一种基于模糊匹配和统计推理的代码相似度分析方法。针对二进制程序,首先对其进行反汇编分析,然后进行函数边界识别操作,从而提取函数的执行边界信息。在此基础上,在基本块的粒度上使用动态规划的分析方法获得基本块之间的相似度结果,并在控制流图的基础上进行邻域搜索,从而将相似性分析从基本块级别扩展至函数级别。最后通过相似度函数的统计分析得出二进制文件的语义相似度。在该过程中对预训练模型进行优化分析,并对参数进行调优,从而可以对跨平台代码进行相似度分析。实验结果表明,相对于目前主流的分析工具,所提方法在分析精度方面较传统的分析工具有较大提高,其分析精度平均提高7.1%。 展开更多

关键词 程序分析 模糊匹配 统计推理 机器学习

在线阅读 下载PDF 职称材料

基于投影奖励机制的多机器人协同编队与避障

6

作者 葛星 秦丽 沙瀛 《应用科学学报》 CAS CSCD 北大核心 2024年第1期174-188,共15页

针对多机器人协同编队任务中过度中心化、系统鲁棒性低、编队稳定性较差等问题,提出了基于投影奖励机制的多机器人协同编队与避障(projected reward for multi-robot formation and obstacle avoidance, PRMFO)模型,实现了多机器人基于... 针对多机器人协同编队任务中过度中心化、系统鲁棒性低、编队稳定性较差等问题,提出了基于投影奖励机制的多机器人协同编队与避障(projected reward for multi-robot formation and obstacle avoidance, PRMFO)模型,实现了多机器人基于统一状态表征方法的去中心化决策过程。设计了一种多机器人统一状态表征方法,实现了机器人与外界环境交互信息处理的一致性;基于统一状态表征设计了基于投影的奖励机制,从距离和方向两个维度将奖励过程矢量化,丰富机器人的决策依据;为了解决多机器人系统中过度中心化问题,设置了自主决策层,融合统一状态表征与投影奖励机制的软演员评论家(soft actor-critic, SAC)算法,实现了多机器人协同编队与避障任务。在机器人操作系统(robot operating system,ROS)环境下进行仿真实验,实验数据表明PRMFO模型在单机器人平均回报值、成功率以及时间等指标上分别提高42%、8%、9%,基于PRMFO模型的多机器人编队误差控制在0~0.06范围内,实现了较高精度的多机器人编队。 展开更多

关键词 深度强化学习 多机器人协同 编队与避障 投影奖励

在线阅读 下载PDF 职称材料

创新高校教师党支部建设的理性思考 被引量：32

7

作者 孙绪柱 李逸龙 李向东 《学校党建与思想教育》 北大核心 2015年第2期43-45,共3页

高校教师党支部是加强教师思想政治工作的最基层组织,是做好立德树人和教书育人工作的思想保障。但高校教师职业的特殊性给教师党支部建设带来了一定困难,对此,必须引起高度重视,加强工作研究和创新,采取有效的对策措施,切实提高高校教... 高校教师党支部是加强教师思想政治工作的最基层组织,是做好立德树人和教书育人工作的思想保障。但高校教师职业的特殊性给教师党支部建设带来了一定困难,对此,必须引起高度重视,加强工作研究和创新,采取有效的对策措施,切实提高高校教师党支部的战斗力。 展开更多

关键词 高校 教师党支部 建设

在线阅读 下载PDF 职称材料

基于脑科学的有机化学课程思政设计与实践 被引量：16

8

作者 曹敏惠 徐胜臻 +2 位作者 李雪刚 马济美 张青叶 《大学化学》 CAS 2021年第3期160-164,共5页

由于新型冠状病毒疫情的影响,线上教学在"停课不停教、停课不停学"中发挥了重要作用,但由于时空分离,导致课程思政不如面对面交流沟通有效。为了提升在线教学课程思政教学效果,本研究探索了"基于脑、适于脑、促进脑"... 由于新型冠状病毒疫情的影响,线上教学在"停课不停教、停课不停学"中发挥了重要作用,但由于时空分离,导致课程思政不如面对面交流沟通有效。为了提升在线教学课程思政教学效果,本研究探索了"基于脑、适于脑、促进脑"的有机化学思政案例设计与具体教学实践。 展开更多

关键词 脑科学 有机化学 课程思政

在线阅读 下载PDF 职称材料

基于动态协同双向映射的相似执行路径生成方法 被引量：1

9

作者 郭曦 王盼 《电子学报》 EI CAS CSCD 北大核心 2014年第11期2168-2173,共6页

相似执行路径的生成是代码分析和检测的基础性工作之一,现有的方法通常以程序的行为序列或结构为分析对象,通过改变关键谓词的取值等方法来进行分析,但由于缺乏必要的引导信息导致生成的相似路径的有效性较低,另外由于路径的谓词集合较... 相似执行路径的生成是代码分析和检测的基础性工作之一,现有的方法通常以程序的行为序列或结构为分析对象,通过改变关键谓词的取值等方法来进行分析,但由于缺乏必要的引导信息导致生成的相似路径的有效性较低,另外由于路径的谓词集合较长而难以求解也降低了分析的精度.提出基于动态协同双向映射的分析方法,通过对程序控制流图的表示形式进行扩展,结合后向符号分析的方法生成候选路径的最弱前置条件,并以此为引导信息使用编辑距离的方法通过改变距离因子的取值来生成有针对性的相似路径集合.实验结果表明,与现有的方法相比,该方法的准确性和效率有明显的优势. 展开更多

关键词 静态分析 控制流图 最弱前置条件 相似执行路径

在线阅读 下载PDF 职称材料

同构与异构片上多核系统的演进过程 被引量：2

10

作者 黄乐天 别丽华 《电子技术应用》 北大核心 2017年第3期6-11,20,共7页

系统级芯片是高端电子系统的核心,而片上多核系统是近年来系统级芯片的主要实现形式。近十年来,片上多核系统一直是数字集成电路领域的热点,经过众多研究者的不断努力诞生了大量很有意义的研究成果。但由于片上多核系统的研究者背景和... 系统级芯片是高端电子系统的核心,而片上多核系统是近年来系统级芯片的主要实现形式。近十年来,片上多核系统一直是数字集成电路领域的热点,经过众多研究者的不断努力诞生了大量很有意义的研究成果。但由于片上多核系统的研究者背景和应用领域不同导致发展演进过程较为复杂而难以理解。为减少这一问题的影响,总结了片上多核系统的演进历史与现状,并对片上多核系统未来的发展提出了一些看法。 展开更多

关键词 片上多核 单芯片多处理器 多处理器片上系统

在线阅读 下载PDF 职称材料

利用基于直接动力学的轨线面跳跃方法处理非绝热过程 被引量：3

11

作者 彭佳伟 谢宇 +2 位作者 胡德平 杜利凯 兰峥岗 《物理化学学报》 SCIE CAS CSCD 北大核心 2019年第1期28-48,共21页

势能面交叉引起的非绝热过程广泛存在于光化学和光物理中。对这一过程进行描述是理论化学的重要挑战之一。非绝热过程涉及原子核与电子之间的耦合运动,因此量子化学的基本假设之一"玻恩-奥本海默"近似被打破,所以对其进行描... 势能面交叉引起的非绝热过程广泛存在于光化学和光物理中。对这一过程进行描述是理论化学的重要挑战之一。非绝热过程涉及原子核与电子之间的耦合运动,因此量子化学的基本假设之一"玻恩-奥本海默"近似被打破,所以对其进行描述需要发展新的动力学理论方法。在这些方法中,Tully发展的最少轨线面跳跃方法凭借易于程序化、便于计算等优点已经发展成为处理非绝热问题的主要动力学方法之一。其中原子核以经典的方式在单一势能面上进行演化,电子以量子的方式沿着同一轨线进行演化。在整个演化过程中,非绝热跃迁通过轨线在不同势能面间的跃迁来描述,其中跳跃发生的几率与电子的演化有关。如果将该方法与从头算直接动力学相结合,可以在全原子水平上研究实际分子体系的非绝热动力学,给出其激发态寿命、非绝热动力学中分子的主要运动方式、反应通道以及分支比等重要信息。本文旨在讨论最少面跳跃直接动力学方法研究非绝热问题的一些进展,包括动力学基本理论,特别关注将最少面跳跃方法和直接动力学结合的数值实现细节,同时讨论该方法在研究实际体系当中的一些应用,并对轨线面跳跃方法下一步发展的一些方向进行合理的展望。 展开更多

关键词 非绝热动力学 面跳跃动力学 直接动力学 锥形交叉 半经典动力学

在线阅读 下载PDF 职称材料

基于电子鼻的稻谷霉变在线检测系统的研制 被引量：3

12

作者 库晶 黄汉英 +3 位作者 金星 赵思明 李路 童康 《中国粮油学报》 EI CAS CSCD 北大核心 2019年第2期118-124,129,共8页

针对传统稻谷霉变检测方法操作繁琐这一问题,设计了一种基于无线电子鼻的稻谷霉变在线检测系统。该系统由气体检测装置、下位机系统以及上位机远程监控系统构成,具有数据采集、处理、显示、传输及存储等功能。下位机采用STM32微控制器,... 针对传统稻谷霉变检测方法操作繁琐这一问题,设计了一种基于无线电子鼻的稻谷霉变在线检测系统。该系统由气体检测装置、下位机系统以及上位机远程监控系统构成,具有数据采集、处理、显示、传输及存储等功能。下位机采用STM32微控制器,与上位机通信的传输速率为18 B/s,丢包率为0,上位机远程监控系统最大可实现轮询接收128路下位机数据。通过稻谷霉变检测试验,建立了霉菌含量预测模型,并运用粒子群优化算法对参数进行优化,模型的R^2为0. 983 9,均方根误差为0. 204 9 lg(cfu/g),灵敏度为0. 070,霉菌含量最低检出限为1. 5×10~1 cfu/g,分辨率为1. 5×10~1 cfu/g。表明此系统用于稻谷霉变检测具有一定的可行性,可为快速评价稻谷质量安全提供参考。 展开更多

关键词 气体检测 稻谷霉变检测 电子鼻 STM32微控制器

在线阅读 下载PDF 职称材料

计算机视觉技术在智慧羊场中的研究进展 被引量：10

13

作者 姚州 谭焓 +2 位作者 田芳 周勇 章程 《中国饲料》 北大核心 2021年第7期7-12,共6页

智慧羊场具有科学化、标准化管理的优点,是羊场转型发展的趋势。计算机视觉技术是人工智能的核心,可以实现非接触性、自动化、实时监测羊的个体信息。本文总结并分析了计算机视觉在羊场的个体识别方法、行为识别方法、体尺与体重估测、... 智慧羊场具有科学化、标准化管理的优点,是羊场转型发展的趋势。计算机视觉技术是人工智能的核心,可以实现非接触性、自动化、实时监测羊的个体信息。本文总结并分析了计算机视觉在羊场的个体识别方法、行为识别方法、体尺与体重估测、疾病监测的研究现状,并指出计算机视觉在智慧羊场的进一步发展趋势。 展开更多

关键词 计算机视觉 智慧羊场 个体识别 行为识别 体尺与体重估测 疾病监测

在线阅读 下载PDF 职称材料

中国规模生猪养殖的绿色技术进步偏向 被引量：4

14

作者 闫桂权 何玉成 +1 位作者 张晓恒 陈国庭 《中国生态农业学报（中英文）》 CAS CSCD 北大核心 2020年第11期1811-1822,共12页

近年来中国生猪养殖面临粮食价格驱动的饲料成本上升、劳动力成本上升以及规模化经营趋势下粪污处理等现实挑战。中国生猪产业能否克服上述问题,实现可持续发展呢?理论上,有偏技术进步在优化资源配置、提升生猪养殖效率、促进规模生产... 近年来中国生猪养殖面临粮食价格驱动的饲料成本上升、劳动力成本上升以及规模化经营趋势下粪污处理等现实挑战。中国生猪产业能否克服上述问题,实现可持续发展呢?理论上,有偏技术进步在优化资源配置、提升生猪养殖效率、促进规模生产和污染减排方面大有可观。本文基于2007—2017年中国小、中、大3种规模生猪养殖成本收益数据,计算考虑5种非合意产出的生猪养殖的投入偏向型技术进步指数;针对各区域生猪养殖可持续发展面临的现实问题和环境规制目标,划分多个中观地理单元;在此基础上,探讨技术进步所倚重的要素是否与区域资源禀赋相协调,进一步为各区域诱致生猪养殖技术进步方向和优化规模生产路径提供支持性证据。研究结果表明,1)不同规模生猪养殖均存在投入偏向型技术进步,且偏向型技术进步能够在中性技术进步的基础上促进绿色全要素生产率的提高;2)小、中、大3种规模生猪养殖的绿色技术进步的要素投入偏向呈现节约劳动力而使用精饲料趋势;3)大规模生猪养殖技术进步偏向性最高,对生猪养殖的绿色全要素生产率增长所发挥的正面作用最强。本文认为生猪养殖技术进步要素偏向主要由区域资源禀赋所决定,各区域应当基于其资源禀赋和环境规制目标诱致技术变迁。 展开更多

关键词 规模生猪养殖 技术进步偏向 绿色全要素生产率 资源禀赋

在线阅读 下载PDF 职称材料

基于蚁群算法和极限学习机的舰船电子装备备件优化模型 被引量：3

15

作者 李巧君 《舰船科学技术》 北大核心 2022年第5期158-161,共4页

根据分析得到的舰船电子装备使用特点,创建包含定可靠度备件优化和定费用备件优化两部分的舰船电子装备备件优化模型,以可靠度与费用的比值作为目标函数,使用蚁群算法改进极限学习机求解所建模型,将极限学习机的初始权值和阈值当作蚁群... 根据分析得到的舰船电子装备使用特点,创建包含定可靠度备件优化和定费用备件优化两部分的舰船电子装备备件优化模型,以可靠度与费用的比值作为目标函数,使用蚁群算法改进极限学习机求解所建模型,将极限学习机的初始权值和阈值当作蚁群算法内各蚂蚁的爬行路径节点,通过最佳路径搜索获得全局最优解,实现舰船电子装备备件优化。实验结果表明:模型求解所得结果的多样性较高,且舰船可靠度一定时,该方法的库存备件总费用始终保持最低;该方法能有效保证电子装备在整个舰船航行期间的随时可用程度。 展开更多

关键词 蚁群算法 极限学习机 舰船电子装备 备件优化 定可靠度 目标函数

在线阅读 下载PDF 职称材料

基于依赖条件重构的程序符号值分析方法 被引量：1

16

作者 郭曦 王盼 《电子学报》 EI CAS CSCD 北大核心 2019年第3期630-635,共6页

符号执行在路径分析、调试和验证等软件分析过程中发挥着重要的作用.但是随着程序规模的增大,有效的执行路径数量程指数级增长,符号执行技术往往难以有较好的分析效果.符号执行分析中的两个瓶颈问题是路径条件表达式的提取和约束求解.... 符号执行在路径分析、调试和验证等软件分析过程中发挥着重要的作用.但是随着程序规模的增大,有效的执行路径数量程指数级增长,符号执行技术往往难以有较好的分析效果.符号执行分析中的两个瓶颈问题是路径条件表达式的提取和约束求解.状态合并是目前解决状态爆炸的常用分析方法,但是这种抽象的分析方法往往会导致错误的路径信息.依据符号执行引擎采用的搜索策略,符号执行工具在符号变量状态合并中可能会产生不可解的路径条件.提出基于依赖条件重构的程序符号值分析方法,通过综合分析各路径的路径条件逻辑表达式,提取共享的变量符号值从而提高变量状态合并的效率,同时采用逆向关联分析方法产生依赖条件集合从而提高路径分析的精度.实验结果表明该方法相对于传统的状态合并分析方法有更高的执行效率及分析精度. 展开更多

关键词 程序分析 符号执行 关联依赖 约束求解

在线阅读 下载PDF 职称材料

基于变量符号关联分析的程序状态优化方法 被引量：1

17

作者 郭曦 王盼 《通信学报》 EI CSCD 北大核心 2018年第6期81-88,共8页

程序分析是主要的程序属性分析方法,在变量依赖关系、路径覆盖率、测试用例约简等方面有广泛的应用,并取得了大量研究成果。目前,程序分析主要以符号执行工具为核心,但是普遍存在路径条件逻辑表达式难以准确生成和约束求解器性能不够高... 程序分析是主要的程序属性分析方法,在变量依赖关系、路径覆盖率、测试用例约简等方面有广泛的应用,并取得了大量研究成果。目前,程序分析主要以符号执行工具为核心,但是普遍存在路径条件逻辑表达式难以准确生成和约束求解器性能不够高的问题,从而影响程序分析的效果。以提高路径分析精度为目标,首先分析不同执行路径对应的路径条件,并提取公共的符号表达式以提高符号关联分析的精度,然后逆向生成依赖条件逻辑表达式集合,使用依赖关联分析算法以提高路径分析的精度。实验结果表明,所提方法相对于传统的路径分析方法,有更准确的时间复杂度和更高的路径分析精度。 展开更多

关键词 程序分析 符号执行 约束求解器 符号分析

在线阅读 下载PDF 职称材料

基于全基因组SNP构建甘蓝型油菜指纹图谱 被引量：7

18

作者 王升博 黄一鸣 +2 位作者 梁聪园 王静 杨庆勇 《中国油料作物学报》 CAS CSCD 北大核心 2022年第5期966-972,共7页

甘蓝型油菜是世界上重要的油料作物,可用作油料、饲料以及食品等,具有较高的经济价值。为了高效快速地鉴定并区分油菜品种,加强油菜品种管理,本试验利用505份油菜种质的重测序数据进行SNP鉴定,根据杂合率、位点缺失率以及多态性等指标对... 甘蓝型油菜是世界上重要的油料作物,可用作油料、饲料以及食品等,具有较高的经济价值。为了高效快速地鉴定并区分油菜品种,加强油菜品种管理,本试验利用505份油菜种质的重测序数据进行SNP鉴定,根据杂合率、位点缺失率以及多态性等指标对SNP集合进行筛选,得到了能够高效鉴定油菜种质的核心SNP位点组合,构建了DNA指纹图谱。该套核心位点组合包括897个位点,其MAF、PIC的平均值分别为0.41、0.474。使用该套SNP位点组合进行品种区分,每两个材料之间的差异位点数目90%为357~508。对核心SNP位点进行精简,最少用17个SNP标记可完全鉴定该套种质。本研究使用高质量的油菜重测序数据,筛选出了897个核心SNP位点,并利用该套核心SNP组合构建了油菜的特征指纹图谱,为油菜遗传多样性分析、品种鉴定以及种质管理提供数据参考。 展开更多

关键词 甘蓝型油菜 群体基因组重测序 SNP DNA指纹图谱

在线阅读 下载PDF 职称材料

甘蓝型油菜MAGIC群体结构分析

19

作者 罗开 周金枝 +2 位作者 杨植全 杨庆勇 周永明 《中国油料作物学报》 CAS CSCD 北大核心 2017年第6期746-753,共8页

MAGIC(multi-parent advanced generation inter-cross)群体是新一代遗传作图及育种群体。为了探究异源四倍体甘蓝型油菜的MAGIC群体的结构,利用60对SSR引物分析包括554个株系的甘蓝型油菜MAGIC群体的遗传多样性和遗传距离。60对SSR共... MAGIC(multi-parent advanced generation inter-cross)群体是新一代遗传作图及育种群体。为了探究异源四倍体甘蓝型油菜的MAGIC群体的结构,利用60对SSR引物分析包括554个株系的甘蓝型油菜MAGIC群体的遗传多样性和遗传距离。60对SSR共检测到261个位点,平均4.35个位点/对,多态性信息量平均为0.48。用STRUCTURE 2.3.4进行群体结构分析,显示MAGIC群体可划分为2个亚群,其中303个株系归属亚群1,234个株系归属亚群2,剩下的17个株系无特定亚群归属,属混合亚群。研究结果表明该群体具有较高的遗传多样性。 展开更多

关键词 甘蓝型油菜 MAGIC群体 群体结构 遗传多样性

在线阅读 下载PDF 职称材料

培养基N含量对螺旋藻生长的影响

20

作者 王心园 王铭华 +3 位作者 孙东红 邹宁 李小慧 张军 《安徽农业科学》 CAS 2015年第24期22-23,共2页

[目的]探索培养基N含量对螺旋藻生长的影响。[方法]通过抽滤分离培养基与螺旋藻,测量滤液稀释10倍后的OD值来观察N含量变化,测量滤渣干重来观察螺旋藻的生长情况,从而找到最佳N浓度。[结果]当硝酸钠浓度为0.8 g/L时,螺旋藻生成最快,此... [目的]探索培养基N含量对螺旋藻生长的影响。[方法]通过抽滤分离培养基与螺旋藻,测量滤液稀释10倍后的OD值来观察N含量变化,测量滤渣干重来观察螺旋藻的生长情况,从而找到最佳N浓度。[结果]当硝酸钠浓度为0.8 g/L时,螺旋藻生成最快,此时所得细胞密度为1.18 g/L,产量为21.8 g/(m2·d)。[结论]为家庭或办公室内生产螺旋藻时氮素的添加量提供指导。 展开更多

关键词 N含量 螺旋藻 生长

在线阅读 下载PDF 职称材料