板栗花发育B类基因CmPI的克隆及功能分析

【目的】PISTILLATA(PI)基因作为控制花器官发育的B类功能基因中的一员,在花器官发育中起到重要的作用。为探究PI基因在板栗花发育中的功能,对板栗花器官B类基因PISTILLATA(PI)进行鉴定和功能分析。【方法】在板栗基因组数据中检索PI同源基因CmPI,并克隆编码区序列。利用在线工具对CmPI进行生物信息学分析。通过荧光定量PCR分析CmPI在板栗不同组织及不同花发育时期的时空表达模式。构建35S::CmPI-GFP融合载体,瞬时转化烟草叶片,进行基因表达的亚细胞定位分析。将过表达载体35S::CmPI转入野生型拟南芥获得过表达植株,验证CmPI在花发育中的功能。【结果】克隆到的板栗CmPI基因开放阅读框长度630 bp,编码209个氨基酸,有高度保守的MADS域(MADS-box)和K域(K-box),属MADS的Ⅱ型亚家族转录因子,定位于细胞核。CmPI主要在板栗雄花中表达。在拟南芥中过表达CmPI导致萼片转变为花瓣样组织。荧光定量PCR结果表明,CmPI过表达拟南芥中除C类基因AtAG表达量显著高于野生型外,其他A类、B类、E类基因的表达量均低于野生型拟南芥。【结论】鉴定到的MADSbox基因CmPI为板栗花发育B类基因,可导致萼片花瓣化,可能是抑制雌花苞片进一步发育的关键基因。

面向程序可达性验证的数组处理循环压缩方法

计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,因此如何在保证验证正确性的前提下压缩数组规模是一个值得研究的课题。文章提出复杂循环等价类的定义和相关命题,并提出一种面向程序可达性验证的数组处理循环压缩方法,先利用控制流自动机和系统依赖图进行静态分析划分等价类,再根据循环依赖关系对等价类进行压缩,用压缩后程序的验证结果代替原始程序的验证结果。实验结果表明,文章提出的方法能够在保证验证正确性的前提下压缩程序的规模,提高验证效率。

ROI加速的无人机自主精准降落系统

GPS信号在有遮挡的环境中信号差且定位精度低,无法满足无人机在特定区域精准定位的要求。而计算机视觉定位相较于GPS,受环境影响小且定位信息丰富。基于此,文中设计一种ROI加速的无人机自主精准降落系统,采用“H”与Aruco marker嵌套的降落标识在不同高度给无人机提供定位信息。基于深度学习的目标检测算法分割相机视野中的感兴趣区域(ROI),利用阈值分割的图像识别算法在ROI区域进行Aruco marker检测,滤除ROI区域外的图像区域,提升目标识别速度。根据marker二维像素点与三维坐标点的对应关系求解无人机与marker的相对位置。基于求解出的三轴位置设计位置PID控制器,将无人机与marker的三轴位置差转换为速度控制量。进行无人机自主降落的试验,随机统计20次的降落结果,得出18次的降落轴向误差在10 cm以内,说明所设计系统能够满足无人机降落精度要求。

现代产品几何技术规范(GPS)的数字化理论基础

现代产品几何技术规范 (generationgeometricalproductspecificationandverification ,GPS)是ISO TC2 13针对产品的设计与制造而规定的一系列宏观和微观的几何技术规范 ,它包括产品的规范过程、生产过程、认证 (检验 )过程以及不确定度的评定和控制。表面模型是ISO TC2 13GPS语言中新提出概念 ,它是实现GPS系统阶段功能的操作基础和系统关联基础 ,表面模型需要由相应的“要素”和“特征”予以定义和描述。ISO TC2 13GPS将工件 要素分为七种恒定类 ,所有的理想要素都属于七种恒定类中的一种 ,且可由其位置要素和本质特征进行定义与描述 ;位置特征则定义了要素之间的关系。第二代GPS系统通过表面模型、恒定类、恒定度、特征等概念的引入和互补应用 ,实现了几何要素从定义、描述、规范到实际检验评定过程中数字化控制功能的飞跃 ,比较有效地解决了产品在“功能描述、规范设计、检验评定”过程中数学表达统一规范的难题。

基于CGMM-UBM的电话短语音说话人确认

针对手机、电话的短语音文本无关说话人确认,本文设计了一种基于分类GMM-UBM(CGMM-UBM)的说话人确认系统。用k-means算法将训练背景模型的语音参数集分类成若干个子空间,并据此进行目标说话人语音数据的子空间分类,再采用GMM-UBM结构为每个子空间分别建立一个子系统,以各个子系统输出评分的线性加权作为系统的输出评分。分类后的模型可以采用较低的混合度,线性加权增强了贡献较大子空间对确认性能的作用。在NIST’03语音库上100个男性话者的实验表明,短语音条件下,分类系统的性能比不分类系统有显著的改进,运算效率较后者也提高很多。

利用i-vectors构建区分性话者模型的话者确认

对于电话手机语音的文本无关话者确认,运用联合因子分析构建话者信息子空间与信道信息子空间来进行失配信道补偿取得了较好的效果.然而研究表明,信道信息子空间仍然包含了可以用来区分话者的信息.因此,本文运用一种既包含话者信息又包含信道信息的全变量信息子空间来提取i-vectors低维特征矢量,再运用类内协方差规整进行失配信道补偿,最后用补偿后的i-vectors特征矢量构建支持向量机话者模型.在NIST08数据库上实验表明,本文所构建系统的性能在等误识率和最小检测代价函数上有相对近70%的提高.

采用韵律特征的说话人确认系统

在文本无关的说话人识别中,韵律特征由于其对信道环境噪声不敏感等特性而被应用于话者识别任务中。本文对韵律参数采用基于高斯混合模型超向量的支持向量机建模方法,并将类内协方差特征映射方法应用于模型超向量上,单系统的性能比传统方法的混合高斯-通用背景模型(Gaussian mixture model-universalbackground model,GMM-UBM)基线系统有了40.19%的提升。该方法与本文的基于声学倒谱参数的确认系统融合后,能使整体系统的识别性能有9.25%的提升。在NIST(National institute of standards and technology mixture)2006说话人测试数据库上,融合后的系统能够取得4.9%的等错误率。

中国特色世界一流大学建设成效评价体系理论建构与实践验证

中国"双一流"大学建设是国家发展的一个新动力源,是发展公平而有质量的高等教育的重大举措。建成高等教育强国是建设世界强国的基础,中国"双一流"战略是服务国家战略的核心支撑体系。科学界定中国特色世界一流大学的理论内涵与实践价值,对其进行客观分类和特征固化,进而合理构建中国特色世界一流大学建设成效评价体系,并以中国42所一流大学建设高校为样本对照标杆大学进行实践验证,既可以为党和政府、高校和社会等动态评估"双一流"战略建设进展提供参考借鉴,也可以为中国学界的理论话语逐步转化为世界性实践话语奠定前期基础,更可以为破解世界大学评价难题提供中国智慧、中国方案和中国道路,早日建成世界高等教育中心,推动构建人类命运共同体。

改进i-向量说话人识别算法研究

针对信道变化环境下说话人识别系统鲁棒性差及识别率低的问题,提出一种改进i-向量说话人确认算法。首先,利用系统注册说话人GMM-UBM提取话者i-向量;然后,采用加权线性判别分析对i-向量降维和信道补偿,提取更具判别性的特征向量;紧接着,结合类内协方差归一化技术和ZT-norm规整技术对余玄距离得分进行规整,进一步消除信道干扰;最后,构建高鲁棒性余玄距离分类器判定目标说话人。仿真实验结果表明该算法可以有效地提高系统性能。

一种利用Kodkod约束求解器验证UML-OCL类图的方法

采用形式化方法对软件模型进行自动验证在模型驱动架构开发方法中发挥重要的作用.本文提出一种对面向对象软件设计模型的静态结构进行验证的具体实现方法.该方法将用OCL不变式约束的UML类图转换为用关系逻辑表达的公式,Kodkod约束求解器可对关系逻辑公式进行验证.本文方法克服了文献中类似方法的局限性,即在允许类图中出现多重继承和关联重数的上下界为任意整数的同时无需大的计算代价.

基于GMM超向量和Fisher-稀疏表示分类的说话人确认

针对说话人确认识别率低且易受到信道干扰的问题,提出一种基于GMM超向量和Fisher判别准则的稀疏分类算法。该算法首先采用GMM通用背景模型生成说话人的GMM超向量,在超向量集上利用类内协方差归一化方法抑制信道的干扰信息,通过计算GMM超向量与整体训练样本集的Fisher判别比来选择更具区分度的语音特征向量,构建高判别性的稀疏性过完备字典。最后,在过完备字典上对语音GMM超向量进行重构,选择重构误差最小的类别作为目标说话人。仿真实验结果表明:Fisher判别准则在稀疏性过完备字典的构建过程中具有较好的特征选择优势,可以提高稀疏分类的准确性。

输入数据校验设计与软件可靠性

由于数据检查机制的缺乏 ,软件可靠性难以得到保证。分析了人类常犯的几种数据输入错误后 ,从测试的角度 ,给出了两个软件开发的体会、经验和应对数据输入出错方案。

不确定度在仪器准确度级别评定中的应用

论文介绍了测量仪器特性评定的内容和基本方法，并对准确度等级的分类作了详细阐述。在此基础上，按照准确度级别分析了测量不确定度在仪器特性评定中的作用，以及在不确定度结果表示中的方法和形式。

基于common logic的UML类图形式化及验证

统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML类图的形式化问题尤为重要.common logic是一阶逻辑的一个特殊拓展,语法简洁,无符号,易读易掌握易使用,语义精确,满足一阶模型理论,相较于其它逻辑语言,更适合UML类图进行形式化规约.因此,提出采用common logic对UML类图进行形式化,得到形式化的语义规约,并对实例模型进行一致性验证.

高效能ESCA协处理器验证技术研究

处理器结构的日益复杂使得对处理器功能进行有效验证变得越来越重要和关键。基于一款高效能计算协处理器ESCA,讨论了边界值验证、等价类验证和决策表验证等三类验证方法在ESCA处理器功能验证中的具体实现,并针对ESCA处理器中不同功能模块的基本特性提出了一种综合验证方法。实验结果表明,采用综合验证方法进行的ESCA处理器功能验证,不仅高效保证了验证案例集的生成,而且以较少的验证工作量实现了100%功能覆盖率,有效减少了ESCA处理器功能验证时间,提高了验证效率。

症状群研究进展

介绍症状群的定义及其研究的意义,对症状群研究方法及研究现状进行综述,指出目前的症状群研究大多局限于探索症状群的种类与构成,验证症状群管理有效性的干预性研究较少。

GPS恒定类的产品规范与认证应用

基于新一代产品几何技术规范(GPS)恒定类特征理论,提出GPS恒定类特征建模方法,以及零件特征模型结构与恒定类的映射关系。开发了试验性GPS应用系统,完成了圆度公差实例的规范及认证过程,验证了在产品设计中应用GPS标准的方法。

TPY级电流互感器暂态特性分析及参数校验计算

TPY级电流互感器凭借良好的暂态误差性能而广泛应用于高电压等级线路及大型发电机、变压器的继电保护中。针对工程设计阶段的二次参数校验计算,研究了TPY级电流互感器的暂态特性,分析了暂态过程中励磁电流的变化情况,并推导了单次及双次循环工作方式下的暂态面积系数公式。在此基础上,论述了基于等效二次极限电动势及最大瞬时误差的参数校验判据,同时提出了相应的校验步骤。依托驻马店±800 kV换流站工程,应用该参数校验方法对交流500 kV串中TPY级电流互感器进行了验证,为后续工程电流互感器的参数设计选型提供了理论依据。

乙类建筑抗震设计的建议

《建筑工程抗震设防分类标准》(GB50223-2008)和《关于学校、医院等人员密集场所建设工程抗震设防要求确定原则的通知》(中震防发[2009]49号)从不同角度对学校和医院等乙类建筑的抗震设防提出要求。通过抗震设计中地震作用计算的原理以及国内外规范抗震设计的方法的阐述,讨论在不同抗震设防烈度下何种方法对乙类建筑结构抗震能力的提高更为有效,并通过对混凝土框架和钢框架的实例分析和验证,提出设计建议。为规范的修订完善提供参考。

基于动作类的虚拟拆装过程运动建模仿真

针对装备拆装过程存在的拆装对象动作繁多,缺乏对各种零部件拆装动作的统一,不便于仿真实现的问题,提出维修拆装动作类对拆装运动进行描述,结合UML拆装执行基本拆装动作次数的不同,结合面向对象的思想提出了拆装动作类的概念,对拆装过程中具有相同动作次数的零部件做统一描述。利用UML建立拆装动作类的类图,结合状态机和拆装动作类建立拆装过程的运动模型。拆装仿真实例验证了动作类和拆装运动模型的可行性和实用性。