SMV相关论文
车牌识别技术主要是以图像分割理论和图形识别理论为基础，通过对采集到的车牌图像进行预处理、车牌定位，并将车牌部分的图像截取后，进......
大豆花叶病毒（Soybean mosaic virus,SMV）导致的大豆花叶病对大豆的生产构成严重威胁。而近期研究发现,在我国南方多个地区,与SMV亲......
大豆花叶病毒(Soybean mosaic virus, SMV)是大豆的主要病原，感染大豆后出现叶片黄斑、卷曲和种粒斑驳等症状，从而影响大豆的正常生......
近年来,随着人类社会信息化进程的加快,语音压缩编码技术得到了迅猛发展,在综合业务数字通信网、卫星通信、移动通信、IP电话通信......
变速率语音编码算法是一种低比特率高质量的编码算法,它把人类语音通信时的特点和通信系统的状况考虑到语音信号编码的过程中,根据......
大豆品种感染ＳＭＶ后，感病植株各生育阶段（Ｒ１、Ｒ３、Ｒ５）单株可溶性总糖含量明显低于健株，叶片中总游离氨基酸含量明显增加。表明：ＳＭＶ的侵染抑制了大豆碳......
采用感斑驳品种合丰２５、丰收１２，抗斑驳品种东农８１－４３、铁６９１５（东农），在隔离网室内进行盆栽试验，于对生真叶期分别接种ＳＭＶ１号、３号株系，以未接种健株为对照，在......
【摘 要】IEC61850标准下的数字变电站是变电站自动化系统的研究方向。文章就数字化变电站中工程组网发展趋势及现有模式、过程层......
利用网络资源搭建分布式动漫渲染系统是提升渲染速度、克服动漫制作效率瓶颈的有效方式.分布式动漫渲染系统软件的健壮性和可用性......
管内外热量交换是石油、化工、食品等工业的许多工艺过程中都广泛存在的现象。在对管内强化传热研究的过程中,人们提出了无源强化......
Genetic Analysis and Molecular Mapping of Two SMV-Resistance Traits in Soybean: Adult-Plant Resistan
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
SMV是一个基于线性时态逻辑的符号化模型检验工具.本文利用SMV系统对典型的电子商务协议SET协议进行描述和验证,并得到SET协议的一......
特征特性：该品种平均生育期113天，株高77．9cm，单株有效荚数29．1个，百粒重19．2g。长叶、紫花、亚有限结荚习性。籽粒圆形，种皮黄色，淡脐。接......
UML是一种广泛使用的面向对象的可视化统一建模语言，但UML缺乏精确的语义描述，难以对UUL模型进行分析验证以判断设计规范是否满足目......
运用简单序列重复技术（SSR技术），采用改良的分离群体组群分析法（BSA法），对大豆品系中选95—5117（R）×HBI（S）的F。代重组自交系群体接种SM......
目的准确认识肠系膜上动脉(superior mesenter ic artery ,SMA)、肠系膜上静脉(superior mesenteric vein ,SMV) 横断面解剖,及其......
跨时钟城（ClockDomainCrossing，CDC）设计和验证是soC系统芯片设计的关键问题。讨论了异步FIFO的模型检验方法，利用模型检验工具SMV，建立......
形式化方法作为仿真方法的补充，为电路功能验证提供了新的途径。介绍了形式化验证方法之一，模型检验的理论基础和实现方法。介绍了分......
IEC61850-9-2过程总线上的信息可概括为＂只发不收（仅发布）＂、＂收发双向＂（发布/订阅）＂2类,针对大型变电站和中小型变电站信息流量的计算,在满......
通过对不同来源的3U0越限报警信号的可靠性、实时性进行对比分析,得出电磁型过电压继电器依旧是产生3U0越限报警信号的最可靠手段,......
模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规......
从语音编码器的编码原理出发分别介绍了CDMA的两种变速率语音编码标准——EVRC和SMV，并在此基础上进行了性能分析与比较，最后得出比......
数字电视硬盘机顶盒是一个逻辑复杂软件系统,因此,在逻辑模型设计阶段引入SMV工具分析其有限状态,就会从理论上保证了软件逻辑结构......
模型检验技术是开发高可信软硬件系统的重要途径。目前已经有许多成熟的模型检验工具，SMV就是其中一种常用的工具，可以进行同步或异......
电子商务协议的安全性是电子商务健康发展的关键.随着SET协议应用的日益广泛,其安全性受到了业界的极大关注.分析、寻找SET协议安......
针对数字化变电站自动化发展中存在的二次系统检测难点,提出了一种基于SMV和GOOSE基础设计的二次系统综合测试仪,介绍了测试仪的系......
通过2003。2005年对吉林省大豆新品种（系）大豆花叶病毒病的抗性鉴定，初步明确，吉林省新育成的大豆品种和后备材料较抗大豆花叶病毒病。......
针对数字化变电站二次回路连线信息调试，随着装置的61850模型的变化而需做大量重复性工作的问题，提出了基于SCD实现二次回路工程文件......
科尼SMV 4531TBE5正面吊于2018年1月正式交付并投入运行，现服务于港龙货柜服务有限公司（以下简称“港龙货柜”），目前已实现2 000 h零故......
对密码协议模型检测的方法作了理论上的研究,并用SMV检测工具给出了一个实际分析的例子。结果表明,利用符号模型检测方法分析并发......
大豆花叶病毒(Soybean Mosaic Virus,SMV)是一种在全球传播范围较广的病毒。目前大豆的一些SMV抗性相关的遗传连锁标记(QTL)在染色......
模型检验技术是开发高可信系统的重要途径。提出了一种基于定理证明的模型验证方法，并实现了工具验证。它以代数规约语言CafeOBJ描......
该文采用近世代数和时序逻辑的方法提出并描述了密码协议的形式化安全需求，并在AT模型的基础上加入信任和知识的非单调逻辑，建立了安......
该文基于SMV对新版本的互联网密钥交换协议(IKEv2)进行了分析。在对IKEv2协议进行形式建模．以及应用CTL对相应的安全性质进行形式描......
精确标识PNO要求一个对象实例既不能同时出现在多个库所，也不能在一个托肯中出现多次，SMV是一个功能强大的符号化模型检验工具．本文提......
介绍了变速率语音算法SMV的DSP实时实现技术。根据标准SMV的要求优化算法的定点C程序，减少占用空间，改善码本的搜索时间，最终在DM642......
以16个抗病品种和2个感病品种为试验材料，配制抗X感杂交组合，采用真叶期人工接种SMV鉴定Fl、F2植株抗性的方法，研究了抗病大豆品种对S......
基于模型的验证(Model-based Verification)方法在软件开发中,特别是安全性系统、复杂系统的开发中占有的地位越来越重要.MBV侧重......
各类作图群体中，重组自交系群体在植物遗传育种研究中具有其特殊重要的作用：（1）利用重组自交系群体构建遗传图谱可以检测到更紧密的连......
分析了来源于农杆菌介导的4个独立的大豆转化系的后代遗传特性。分别采用种子切片GUS染色方法和除草剂涂抹以及喷洒方法检测gus报......
对智能变电站过程层网络业务及数据流量分析,特别对智能变电站采样数据SMV数据流量进行了分析统计,分析了过程层组网结构环形网络......
随着我国社会经济的不断发展，数字化变电站逐渐得到了大力推广，但同时也出现了许多新的挑战和困难。数字化变电站SMV不同采集方式对......
SMV是一个基于线性时态逻辑的符号化模型检验工具.本文利用SMV对Needham-Schroeder公钥协议的简化版本进行了验证,发现了利用消息......
