期刊文献+
共找到220篇文章
< 1 2 11 >
每页显示 20 50 100
基于Taq-Man探针的多重qPCR检测DuCV·DEV·NGPV方法的建立与应用 被引量:1
1
作者 杨孟豪 李丽湲 +3 位作者 肖雅清 刘霞 刘永夏 孟凯 《安徽农业科学》 CAS 2024年第22期178-182,共5页
[目的]建立一种快速、特异的鸭圆环病毒(DuCV)、鸭肠炎病毒(DEV)、新型鹅细小病毒(NGPV)的多重荧光定量PCR方法。[方法]针对DuCV、DEV、NGPV的基因保守区域序列,设计合成3对特异性引物及3种荧光基团标记的Taq-Man探针。构建重组质粒标准... [目的]建立一种快速、特异的鸭圆环病毒(DuCV)、鸭肠炎病毒(DEV)、新型鹅细小病毒(NGPV)的多重荧光定量PCR方法。[方法]针对DuCV、DEV、NGPV的基因保守区域序列,设计合成3对特异性引物及3种荧光基团标记的Taq-Man探针。构建重组质粒标准品,优化反应条件。建立针对DuCV、DEV、NGPV的多重荧光定量PCR检测方法。[结果]该方法能同时鉴别检测DuCV、DEV、NGPV,并且与其他常见鸭病毒病不发生交叉反应。对DuCV、DEV、NGPV最低检出限均为2.5×10^(1)copies/μL。该方法重复性好,组间和组内试验变异系数低于1.0%。用该方法检测150份临床样本,结果显示,DuCV、DEV、NGPV的阳性率分别为32.0%(48份)、23.3%(35份)和18.7%(28份),DuCV和DEV混合感染率为4.6%(7份),DuCV和NGPV混合感染率为8.6%(13份),总阳性率为87.3%(131份),未检出DEV和NGPV混合感染的结果。与常规PCR检测方法比较,阳性符合率为100%。[结论]该研究建立的基于Taq-Man探针的多重荧光定量PCR方法能够同时、快速、定量检测DuCV、DEV、NGPV。较普通PCR更敏感,实用性更强,有效避免了多次检测耗时长、费用高的问题,为DuCV、DEV、NGPV的监测和防控提供了有效可靠的检测技术。 展开更多
关键词 鸭圆环病毒 鸭肠炎病毒 新型鹅细小病毒 Taq-Man探针 荧光定量PCR
在线阅读 下载PDF
DEVS研究进展及其对建模与仿真学科建立的作用 被引量:22
2
作者 邱晓刚 段伟 《系统仿真学报》 CAS CSCD 北大核心 2009年第21期6697-6704,6709,共9页
DEVS作为一种系统建模与仿真的模块化、层次化和形式化描述机制,可用于描述离散、连续以及连续和离散事件构成的混合系统。DEVS从一般系统理论出发,提供的形式化描述可进行数学分析,以此为基础可推动建模与仿真方法和技术的发展,支持建... DEVS作为一种系统建模与仿真的模块化、层次化和形式化描述机制,可用于描述离散、连续以及连续和离散事件构成的混合系统。DEVS从一般系统理论出发,提供的形式化描述可进行数学分析,以此为基础可推动建模与仿真方法和技术的发展,支持建模与仿真学科理论和方法体系的建立。概述了DEVS的思路和描述方式,从中归纳了其特点,分析了其实质。对国际上研究的情况进行综述,包括概况、类型、研究方向、工具和国内研究情况。探讨了通过DEVS研究来促进我国建模与仿真学科理论体系建立、仿真教学知识体系形成、仿真技术研究等问题。 展开更多
关键词 devS 建模与仿真 学科 仿真标准 仿真工具
原文传递
基于HLA和DEVS的综合保障分布式仿真的研究 被引量:4
3
作者 范文慧 肖田元 +1 位作者 郭斌 熊光楞 《系统仿真学报》 CAS CSCD 北大核心 2006年第z2期300-303,共4页
由于现有基于HLA分布仿真方法在开放性和可扩展性方面存在不足,不能满足大规模综合保障仿真的需要,因此,在分析了分布DEVS仿真方法的基础上,提出了一种基于HLA和DEVS的综合保障分布仿真框架,实现了DEVS的建模优势与HLA分布仿真能力有机... 由于现有基于HLA分布仿真方法在开放性和可扩展性方面存在不足,不能满足大规模综合保障仿真的需要,因此,在分析了分布DEVS仿真方法的基础上,提出了一种基于HLA和DEVS的综合保障分布仿真框架,实现了DEVS的建模优势与HLA分布仿真能力有机结合,为综合保障仿真平台的规划、设计、实施和运行提供了一个通用的参考结构。 展开更多
关键词 分布式仿真 HLA devS 综合保障
在线阅读 下载PDF
DEVS的面向对象可视化建模 被引量:5
4
作者 刘忠 邓苏 +1 位作者 沙基昌 张维明 《计算机仿真》 CSCD 2001年第1期15-18,共4页
DEVS是对离散事件系统的一种形式化描述。该文在DEVS中引入面向对象的方法 ,并采用UML(UnifiedModelingLan guage)对它进行可视化建模。文中提出了基于DEVS的面向对象的一种建模规则和基于UML的可视化建模思想和方法 。
关键词 devS 面向对象 可视化模建 离散事件系统 系统仿真
在线阅读 下载PDF
基于DEVS的防空作战模型可重用性研究 被引量:4
5
作者 胡睿 张国春 柳少军 《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期30-33,共4页
仿真模型重用是当前仿真领域的热点问题,其在工程领域的实现能够极大提高开发效益。鉴于各类现代防空作战行动中的相似性,采用DEVS方法为其建立分层耦合的离散事件模型(DEM),在事件驱动层面对各类应用情景中的模型状态转移做了统一的、... 仿真模型重用是当前仿真领域的热点问题,其在工程领域的实现能够极大提高开发效益。鉴于各类现代防空作战行动中的相似性,采用DEVS方法为其建立分层耦合的离散事件模型(DEM),在事件驱动层面对各类应用情景中的模型状态转移做了统一的、规范的描述,并针对不同的应用情景引入行为模型(BM)建模,在行为表示层面上描述模型状态转移的具体算法,最后设计了BM和DEM结合的动态链接方式,给出仿真程序组成示例,实现了从事件驱动层到行为表示层的模型重用。 展开更多
关键词 devS 防空作战 模型重用 离散事件模型 行为模型
原文传递
离散事件系统规范DEVS研究 被引量:12
6
作者 唐俊 张明清 刘建峰 《计算机仿真》 CSCD 2004年第6期62-64,59,共4页
离散事件系统是一类常见的系统 ,如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容。离散事件系统规范DEVS是一种离散事件系统形式化描述方法 ,它具有层次化和模块化的特点 ,利用该方法可对复杂的离散事件系统进行建模、... 离散事件系统是一类常见的系统 ,如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容。离散事件系统规范DEVS是一种离散事件系统形式化描述方法 ,它具有层次化和模块化的特点 ,利用该方法可对复杂的离散事件系统进行建模、设计、分析和仿真。该文详细介绍了DEVS基本模型和耦合模型 ,给出了DEVS在耦合运算下的封闭性构造证明 ,并提出了一种具有嵌套层次结构的DEVS耦合模型实现算法 。 展开更多
关键词 离散事件系统规范 形式化描述 封闭性 devS模型 仿真系统
在线阅读 下载PDF
基于DEVS理论的指控系统建模与分析 被引量:3
7
作者 李昕龙 向毛 《系统仿真学报》 CAS CSCD 北大核心 2015年第8期1708-1714,共7页
对DEVS(Discrete Event System Specifications)理论在指控系统建模中的应用作全面的论述,通过对DEVS理论的数学模型进行介绍,分析利用DEVS理论建立指挥控制系统模型的原理,研究能力需求指标对仿真过程的影响,并以一个营级指挥控制系统... 对DEVS(Discrete Event System Specifications)理论在指控系统建模中的应用作全面的论述,通过对DEVS理论的数学模型进行介绍,分析利用DEVS理论建立指挥控制系统模型的原理,研究能力需求指标对仿真过程的影响,并以一个营级指挥控制系统的DEVS模型的建模过程与方法为例介绍研究成果。 展开更多
关键词 devS 指控建模 能力需求 计算机生成兵力
原文传递
DEVS在IDEF0模型验证中的应用 被引量:1
8
作者 张耀鸿 易先清 +1 位作者 廖晓林 吕翔 《小型微型计算机系统》 CSCD 北大核心 2012年第9期1924-1927,共4页
IDEF0方法是结构化系统分析的重要方法,但IDEF0模型是静态的功能模型,不包含运行机制,不便于进行动态分析,导致对模型的验证较为困难.本文建立了IDEF0模型的形式化描述,并对IDEF0模型进行了扩展,提出IDEF0模型到离散事件系统规范(DEVS)... IDEF0方法是结构化系统分析的重要方法,但IDEF0模型是静态的功能模型,不包含运行机制,不便于进行动态分析,导致对模型的验证较为困难.本文建立了IDEF0模型的形式化描述,并对IDEF0模型进行了扩展,提出IDEF0模型到离散事件系统规范(DEVS)模型的转化方法,通过DEVS的仿真运行来对IDEF0模型进行分析和验证.该方法实现了IDEF0方法中系统分析与模型验证的有效衔接,具有扩展性和灵活性,为IDEF0模型的验证提供了支持. 展开更多
关键词 仿真 模型验证 IDEF0 devS
在线阅读 下载PDF
基于MDA的DEVS/SMP2变换模型研究 被引量:1
9
作者 王维平 雷永林 李群 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第22期6033-6038,共6页
SMP2是在欧航局内成功应用的仿真模型重用标准,DEVS是最具代表性的设计层仿真模型表示规范。研究DEVS到SMP2的映射与变换对于模型重用的实现具有重大意义。提出了基于MDA的变换方法论,给出了SMP2元模型的MOF兼容性改造方案,设计了基于MO... SMP2是在欧航局内成功应用的仿真模型重用标准,DEVS是最具代表性的设计层仿真模型表示规范。研究DEVS到SMP2的映射与变换对于模型重用的实现具有重大意义。提出了基于MDA的变换方法论,给出了SMP2元模型的MOF兼容性改造方案,设计了基于MOF的DEVS元模型,搭建了DEVS元模型与SMP2元模型之间的映射关系,基于关系层QVT规范描述了该映射关系从而形成了DEVS与SMP2之间的变换模型,讨论了该变换模型的应用方案与下一步的工作。 展开更多
关键词 devS MDA SMP2 模型变换 QVT 仿真模型重用
原文传递
面向可组合的基于混合DEVS的鱼雷仿真本体(英文) 被引量:2
10
作者 张建春 康凤举 《系统仿真学报》 CAS CSCD 北大核心 2014年第10期2232-2238,共7页
作为一种混合系统,鱼雷是连续系统和离散系统的结合体。而鱼雷仿真贯穿于包括需求分析、设计、效能评估、模拟训练的全生命周期。针对以往仿真开发过程中缺乏共同认可的知识,提出了一种改进的混合DEVS形式化建模方法并定义了混合原子模... 作为一种混合系统,鱼雷是连续系统和离散系统的结合体。而鱼雷仿真贯穿于包括需求分析、设计、效能评估、模拟训练的全生命周期。针对以往仿真开发过程中缺乏共同认可的知识,提出了一种改进的混合DEVS形式化建模方法并定义了混合原子模型和混合耦合模型,在此基础上给出了鱼雷各原子模型和耦合模型的描述。构建了基于混合DEVS的鱼雷仿真本体,其顶层实体包括仿真对象、仿真序列、仿真算法、模型类、函数、参数、时间、状态、事件和仿真记录。以空投鱼雷为例,通过参照鱼雷仿真本体改造了传统的仿真模型。仿真结果表明所建立的本体能有效表示鱼雷仿真领域知识和正确指导其模型开发。 展开更多
关键词 鱼雷 混合devS 本体 仿真 混合系统
原文传递
用Virtools Dev实现化学三维世界 被引量:4
11
作者 王清华 宗小明 《化学教育》 CAS 2006年第9期45-47,共3页
描述了用Virtools Dev设计灵活、交互的化学三维世界。在化学教学中,可形象地模拟晶体与分子结构、化学反应、生产设备的结构与原理、虚拟化学实验室等,这种逼真的三维虚拟环境将极大地提高教学效率。
关键词 VIRTOOLS dev行为模块 三维 模型
在线阅读 下载PDF
改进社会化互动的疏散系统Cell-DEVS建模与仿真 被引量:1
12
作者 王岩红 王霞 王少伟 《系统仿真学报》 CAS CSCD 北大核心 2018年第8期2928-2941,共14页
针对应急疏散行为受社会化属性驱动而表现出不确定性、互动关系复杂等特征,基于Cell-DEVS语言构建人员疏散系统仿真模型,模型在强化描述行人运动能力的基础上,引入环境熟悉程度、个体视野、沟通与引导及速率区块等社会化互动因素,旨在... 针对应急疏散行为受社会化属性驱动而表现出不确定性、互动关系复杂等特征,基于Cell-DEVS语言构建人员疏散系统仿真模型,模型在强化描述行人运动能力的基础上,引入环境熟悉程度、个体视野、沟通与引导及速率区块等社会化互动因素,旨在优化模型算法,完善个体与环境,个体之间互动关系的描述。RESTful web service远程仿真结果进一步证实了社会化互动的存在,提升了模型对疏散系统的描述能力,仿真结果更为可信。进一步显示了模型驱动理论与计算机仿真技术在建筑设计、应急方案制定、公共安全与危机管理等领域的先进性与可行性。 展开更多
关键词 应急疏散 社会化互动 Cell-devS模型 RESTful远程仿真
原文传递
华数DevOps建设之路 被引量:2
13
作者 文太益 《广播电视信息》 2017年第10期107-110,共4页
随着Docker的兴起,DevOps的落地成为现实,华数通过桌面云、容器云、持续集成等一系列的建设,将华数原有Dev VS Ops模式变更为DevOps模式更快、更高效,有效推动华数的快速发展。
关键词 桌面云 容器云 持续集成 devOps dev VS OPS
在线阅读 下载PDF
基于DEVS^(++)的智能变电站过程层网络仿真 被引量:1
14
作者 张学军 燕美玲 +2 位作者 田俊梅 冀一鸣 张涛 《太原理工大学学报》 CAS 北大核心 2018年第1期140-146,共7页
通过介绍离散事件系统规范(DEVS)及仿真程序库DEVS++,并以过程层网络数据链路层发送器Atomic模型为例,说明了基于DEVS++开发仿真程序的主要方法,然后通过对不同组成、结构和带宽情况下过程层子网仿真试验,揭示了过程层网络的一些特性,... 通过介绍离散事件系统规范(DEVS)及仿真程序库DEVS++,并以过程层网络数据链路层发送器Atomic模型为例,说明了基于DEVS++开发仿真程序的主要方法,然后通过对不同组成、结构和带宽情况下过程层子网仿真试验,揭示了过程层网络的一些特性,验证了模型的正确性和方法的可行性。 展开更多
关键词 离散事件系统规范(devS) devS^++ 智能变电站 过程层网络 建模与仿真
在线阅读 下载PDF
基于DEVS建模的动态数据驱动林火蔓延模型
15
作者 周国雄 尹克佳 陈爱斌 《系统仿真学报》 CAS CSCD 北大核心 2018年第10期3642-3647,共6页
针对林火行为具有突发性强、处置救助比较困难、破坏性大等特点,将动态数据系统和离散事件系统规范模型相结合,提出了一种基于DEVS建模的动态数据驱动林火蔓延模型。动态数据系统需要通过计算机软件及各环境下数据特点进行交互来实现,... 针对林火行为具有突发性强、处置救助比较困难、破坏性大等特点,将动态数据系统和离散事件系统规范模型相结合,提出了一种基于DEVS建模的动态数据驱动林火蔓延模型。动态数据系统需要通过计算机软件及各环境下数据特点进行交互来实现,特点是数据灵活真实。DEVS支持面向对象建模,可以使系统的建模与仿真趋于模块化、层次化和形式化。该模型是根据动态数据系统和离散事件系统规范模型在林火蔓延模拟应用中各自的结构特点,并结合系统试验区用户的具体功能需求而构建的。将该模型应用于某山场发生的一起森林火灾模拟过程中,具有高度的真实相似性。 展开更多
关键词 林火蔓延 devS建模 动态数据系统 林火模型修正
原文传递
DEVS++程序库及应用 被引量:1
16
作者 燕美玲 张学军 《电气自动化》 2018年第6期4-6,97,共4页
离散事件系统规范(DEVS)是描述离散事件系统形式化的方法,提供了层次化、模块化的描述机制,便于对复杂系统进行建模、设计、分析和仿真。DEVS++是采用C++语言实现DEVS机制的开源程序库,提供模型的基类,可直接继承或派生,减少大量程序的... 离散事件系统规范(DEVS)是描述离散事件系统形式化的方法,提供了层次化、模块化的描述机制,便于对复杂系统进行建模、设计、分析和仿真。DEVS++是采用C++语言实现DEVS机制的开源程序库,提供模型的基类,可直接继承或派生,减少大量程序的编制,便于二次开发。介绍了DEVS的建模思想及DEVS++程序库,以智能变电站过程层网络为例,搭建部分网络设备的模型,通过构建简单网络说明DEVS++在离散事件系统中的应用。 展开更多
关键词 离散事件系统规范(devS) devS++ 程序库 继承与派生 建模与仿真
在线阅读 下载PDF
基于DEVS的作战指挥行为建模研究 被引量:8
17
作者 李京 王子明 李冬 《兵工自动化》 2014年第8期11-15,共5页
针对传统计算机兵力生成(computer generated force,CGF)建模所使用的经典人工智能编程语言存在的不足,提出一种基于离散事件系统(discrete event system specification,DEVS)的作战指挥行为建模方法。从DEVS原子模型和耦合的DEVS模型对... 针对传统计算机兵力生成(computer generated force,CGF)建模所使用的经典人工智能编程语言存在的不足,提出一种基于离散事件系统(discrete event system specification,DEVS)的作战指挥行为建模方法。从DEVS原子模型和耦合的DEVS模型对DEVS做规范介绍,统一、规范描述指挥主体的生理和心理因素如何影响作战指挥行为,建立一种包含评估模块、压力模块和行为模块的作战指挥行为模型。结果表明:该模型能很好地将指挥主体的压力和自身生理状况融入到作战指挥行为中,能较为合理地反映出在紧张对抗环境中指挥主体的实际指挥行为。 展开更多
关键词 devS 作战指挥行为 指挥决策
在线阅读 下载PDF
应用Dev-C++集成开发软件制作电脑三维动画辅助化学教学
18
作者 唐铁鑫 刘燕 《卫生职业教育》 2009年第21期41-42,共2页
为形象说明某概念和理念,化学基础、药物化学等课程中经常使用立体结构的平面视像。以Dev—C++集成开发软件为手段,使用C++编程语言,利用OpenGL图形库,制作用于化学基础、药物化学等课程教学的电脑三维动画是一种低成本、效果... 为形象说明某概念和理念,化学基础、药物化学等课程中经常使用立体结构的平面视像。以Dev—C++集成开发软件为手段,使用C++编程语言,利用OpenGL图形库,制作用于化学基础、药物化学等课程教学的电脑三维动画是一种低成本、效果好的方法。 展开更多
关键词 化学教学 三维动画 dev—C++集成开发软件 OPENGL图形库
在线阅读 下载PDF
基于DEVS原子模型的智能体离散仿真构建方法 被引量:3
19
作者 王霄汉 张霖 +2 位作者 赖李媛君 谢堃钰 胡听春 《系统仿真学报》 CAS CSCD 北大核心 2022年第2期191-200,共10页
智能体由于自身交互行为与学习行为的复杂性,难以直接被建模和仿真。针对智能体离散仿真中的常见问题,借助DEVS(discrete event system specification)原子模型的事件转移机制表示智能体的交互与学习过程,通过对智能体交互模式、多状态... 智能体由于自身交互行为与学习行为的复杂性,难以直接被建模和仿真。针对智能体离散仿真中的常见问题,借助DEVS(discrete event system specification)原子模型的事件转移机制表示智能体的交互与学习过程,通过对智能体交互模式、多状态外部事件转移控制、端口连接模式、以及强化学习事件转移表示等原子模型下智能体建模技术的介绍,给出了基于DEVS原子模型的智能体离散仿真构建方法。在网格世界与倒立摆2个环境中进行仿真验证,实验结果证明了提出方法在构建智能体交互行为和学习行为的可行性和有效性。 展开更多
关键词 智能体 devS 离散仿真 强化学习 状态转移 原子模型
原文传递
基于DEVS的交通事故主动预防系统模型构建 被引量:1
20
作者 金会庆 周瑞 +1 位作者 王江波 张树林 《公路交通科技》 CAS CSCD 北大核心 2018年第12期110-117,共8页
为了实现交通事故预防的两种突破:即从群体预防行为到个体预防行为的突破和从事后预防到事前预防的突破,提出交通事故主动预防系统概念,突破传统事故预防的局限性,进一步提升事故预防成效。交通事故主动预防系统是指交通参与者出于自我... 为了实现交通事故预防的两种突破:即从群体预防行为到个体预防行为的突破和从事后预防到事前预防的突破,提出交通事故主动预防系统概念,突破传统事故预防的局限性,进一步提升事故预防成效。交通事故主动预防系统是指交通参与者出于自我需求,将正确的交通行为规范渗透到潜意识并自发地执行以防止交通事故发生的应对措施,主体是人(交通参与者),其核心是人的安全意识和安全行为两个维度。从行为学视角依据交通事故与人的交通行为的关联度属性将交通参与者简化为非驾驶群体(行人集群、乘客集群)和驾驶群体(无事故驾驶人集群、事故驾驶人集群),具体对应的主动预防技术分别为:学龄前儿童交通安全认知系统、中小学生交通安全教育互动系统、安全驾驶行为在线训练及矫正系统、危险驾驶体验系统4个技术功能模块,采用DEVS分层递阶建模法,将各子系统模块之间的信息流整合,结合系统模型内部的耦合机制,构建主动预防系统形式化模型,并结合实际典型案例对系统模型进行验证试验,结果证明系统模型的输出结果与实际调查数据基本吻合,该模型可以为实际应用提供一定的指导与参考。 展开更多
关键词 交通工程 交通事故 数学模型 主动预防 devS建模 交通安全
原文传递
上一页 1 2 11 下一页 到第
使用帮助 返回顶部