搜索结果: 1-15 共查到“验证方法”相关记录64条 . 查询时间(0.265 秒)
江西农业大学专利:一种毛竹基因功能验证方法
江西农业大学 毛竹 基因功能 验证方法
2024/4/2
本发明提供了一种毛竹基因功能验证方法,属于基因功能验证技术领域。本发明首先构建毛竹VIGS体系,再利用真空渗透侵染转入毛竹中,不仅实现目标基因的沉默而且避免了因异源表达对目标基因功能验证的不准确性。本发明的方法有利于了解毛竹的地下茎形成、初生增粗生长、快速高生长、长开花周期等复杂生长发育调控过程,为相关功能基因的验证提供技术支持,同时为深入研究毛竹生理代谢、生长发育、分子育种等提供理论基础。
中国科学院微电子研究所专利:标准单元库版图设计规则检查验证方法
中国科学院微电子研究所 专利 标准单元库 版图设计规则
2023/7/10
华龙一号包络功率形状验证方法研究
包络功率形状 堆芯功率能力 验证方法
2021/2/26
堆芯功率分布可用径向功率分布和轴向功率分布分别描述,功率分布对堆芯偏离泡核沸腾(DNB)具有较高的重要性。核电厂在运行过程及事故过程中可能出现的功率分布各不相同,为有效简化热工水力设计及事故分析所需的功率形状,根据事故过程中功率分布的变化程度以及核电厂保护系统特性,将事故分析所需的极限功率形状分类包络。根据华龙一号的保护系统设置,以堆芯功率能力分析方法为基础,介绍了华龙一号工况Ⅰ包络功率形状和参考...
基于实验设计的抗PD-1/PD-L1单抗报告基因抗体依赖细胞介导的细胞毒效应生物学活性优化及验证方法的建立
实验设计 抗PD-1/PD-L1单抗 单克隆抗体 抗体依赖细胞介导的细胞毒性作用 生物学活性 报告基因 优化 验证
2020/9/10
利用实验设计(design of experiment,DOE)建立抗程序性死亡因子1(programmed cell death 1,PD-1)及其配体(programmed cell death-ligand 1,PD-L1)单抗基于报告基因的抗体依赖细胞介导的细胞毒效应(antibody-dependent cell-mediated cytotoxicity, ADCC)生物学活性优化及验...
胸中段食管癌容积调强放疗计划的验证方法
胸中段食管癌 容积调强放疗 剂量验证 摆位误差
2020/6/11
探讨胸中段食管癌在容积调强放疗(VMAT)中剂量与位置验证的方法。 方法:随机挑选10例胸中段食管癌病例在Varian Eclipse 10.0计划系统(TPS)中制定VMAT计划,使用IBA Compass 3.0剂量验证系统进行剂量测量,然后与TPS计划数据进行比较,分析靶区(PTV、CTV与GTV)与危及器官受照剂量和体积参数的差异,并得到其γ通过率。应用锥形束CT(CBCT)验证放疗前摆位...
基于灰色关联度分析的电磁环境逼真度验证方法
灰关联度分析 电磁环境 逼真度 模型验证
2019/11/27
提出了一种基于电磁环境逼真度的宏观评估方法,把电磁环境逼真度评估的问题转化为基于灰关联度的图像相似度度量问题,较好地解决了逼真度评估过程中的不确定问题。针对典型的陆空复杂电磁环境仿真场景,计算频域、时域和空域等多维度指标,和电磁环境监测数据进行逼真度计算比对,分析计算重点战场区域的电磁环境实际构建效果,通过计算实例分析了逼真度评估的过程。
为了解决考虑不确定性时仿真系统动态输出验证问题,提出一种基于数据特征的仿真系统动态输出验证方法。首先在给出数据特征度量模型集概念的基础上,定义了形状、位置、频谱3方面的差异特征度量模型;然后分别构建仿真系统输出和参考输出的标准序列,建立仿真系统和参考系统动态输出的数据特征矩阵;再者,应用基于核密度估计的改进贝叶斯因子法实现仿真系统动态输出统计特性的一致性度量,从而完成动态输出的验证;最后,通过实例...
由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证的方法.在汇编层利用非确定性自动机对系统进行形式化建模,并使用Hoare三元组描述模块接口函数的前后置条件,作为函数正确性的定义.以实现的VSOS(Verified Secure Operating System)内存管理模块为例,在Isabelle/HOL定理证明器环境中对建...
航空发动机限寿件批准寿命适航验证方法
安全寿命 批准寿命 适航验证
2015/5/12
以传统的安全寿命法为基础,研究了航空发动机限寿件批准寿命适航验证流程和审定要素.以限寿件适航要求和咨询通告符合性方法为指导,借鉴航空发动机通用规范对关键件的定寿管理方法,从计算分析验证和试验验证给出限寿件批准寿命适航符合性验证的流程和方法.以典型的民用航空发动机为例研究了限寿件的判定准则.从限寿件结构危险点的判定方法、载荷谱的处理和应力分析给出了限寿件批准寿命计算分析验证的关键技术;从试验条件、试...
基于概率策略逻辑的VANET信息广播模型定量验证方法研究
VANET 定量验证 基于角色的概率系统 概率策略逻辑
2017/1/6
VANET网络中信息的发送和接收具有随机性和不确定性,IEEE 802.11p广播协议无法适应VANET网络拓扑动态变化,于是研究者们根据不同环境中的具体应用需求提出了各种VANET广播协议,如何对新提出的协议的性能以及可靠性进行分析与验证是一个关键性问题.自动化的定量验证技术能够针对系统需要满足的多个性质进行分析,并给出满足需求的最大或者最小概率.然而研究人员在进行定量验证过程中使用的PTCL、...
铁路联锁系统设计通常采用梯形逻辑进行建模。为了实现对铁路联锁系统进行形式化验证的目的,根据梯形逻辑的状态变迁语义,将梯形逻辑表示的联锁系统模型转换成模型检测工具NuSMV的语言,并将铁路联锁系统的安全需求表示为计算树逻辑(CTL),最后实现基于NuSMV的铁路联锁系统设计模型的形式化验证。