检索结果-南通市图书馆

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

本市首创生态感知模型库“万象” 005

本市首创生态感知模型库“万象”

基于SCADE的FADEC软件通用基准模型库开发

北京日报

作者：骆倩雯

只需要拍张图上传，无论是植物还是动物，都可识别出来，准确率达85%以上。昨天是国际生物多样性日，记者从北京市生态保护新闻发布会上获悉，本市在全国率先建成生态综合感知模型库“万象”，目前可识别植物5800种、动物330种、鸟类121... 详细信息

只需要拍张图上传，无论是植物还是动物，都可识别出来，准确率达85%以上。昨天是国际生物多样性日，记者从北京市生态保护新闻发布会上获悉，本市在全国率先建成生态综合感知模型库“万象”，目前可识别植物5800种、动物330种、鸟类1216种、昆虫82种，显著提升了首都野生动植?

关键词：模型库感知模型识别树木

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

航空发动机 2022年第2期48卷 96-101页

作者：周彰毅张春朱理化黄浩李纪波中国航发控制系统研究所江苏无锡214063

在航空发动机全权限数字电子控制(FADEC)软件研制过程中,可重用基准模型库的开发和使用是提升软件研发效率和质量的重要技术手段。为了提升FADEC软件复用效率,加快软件研发进程和适航认证,在分析模型库相关指南和规范的基础上,结合工程... 详细信息

在航空发动机全权限数字电子控制(FADEC)软件研制过程中,可重用基准模型库的开发和使用是提升软件研发效率和质量的重要技术手段。为了提升FADEC软件复用效率,加快软件研发进程和适航认证,在分析模型库相关指南和规范的基础上,结合工程实际的需要,完成FADEC基准模型库的设计和验证,以三角函数类、方根类、滤波类和余度表决类4种典型类型为对象,通过泰勒定理、牛顿迭代和离散化等数学理论和自动控制理论进行机理分析,基于安全关键软件开发环境(SCADE)建模仿真工具完成模型库设计,通过对比仿真、模型测试和形式化验证方法等完成模型库验证。结果表明:该基准库支撑了多个FADEC软件项目的研制,其正确性和可靠性已在各项工程试验中得到反复检验,具有十分重要的工程价值,所提出的模型库设计和验证方法也具有一定的借鉴意义。

关键词：全权限数字电子控制基于模型开发安全关键软件开发环境模型库形式化验证航空发动机

在线全文

学校读者我要写书评

暂无评论

基于模型库的安卓恶意软件检测方法

计算机应用与软件 2022年第1期39卷 328-333,338页

作者：余东豪李涛武汉科技大学计算机科学与技术学院湖北省智能信息处理与工业实时系统重点实验室湖北武汉430065

单一算法生成的识别器普适性不足,对不同种群安卓软件进行识别产生的效果不稳定。针对这种情况,提出一种基于模型库的安卓恶意软件检测方法。通过Python程序进行爬虫与权限提取工作,得到应用的权限信息;使用SMO按照应用的权限信息分类... 详细信息

单一算法生成的识别器普适性不足,对不同种群安卓软件进行识别产生的效果不稳定。针对这种情况,提出一种基于模型库的安卓恶意软件检测方法。通过Python程序进行爬虫与权限提取工作,得到应用的权限信息;使用SMO按照应用的权限信息分类得到不同种群的数据;将应用的种群信息输入到模型库中,得到恶意检测结果,并根据结果对模型库进行演化,使模型库的检测能力不断增强。实验结果表明,对于相同数据集,演化后的模型库方法比一般算法准确率都有小幅提高;对于多种群数据集,模型库方法相比一般算法准确率提高约10百分点,说明模型库方法能有效对安卓恶意软件进行检测,并且模型库的演化使检测能力有增强效果。

关键词：安卓恶意软件检测模型库 SMO

0.15μm GaAs pHEMT工艺PDK及模型库技术研究

在线全文

学校读者我要写书评

暂无评论

0.15μm GaAs pHEMT工艺PDK及模型库技术研究

作者：贾古凯杭州电子科技大学

学位级别：硕士

随着射频集成电路设计需求不断提高以及应用场景的扩大,为了保证设计芯片可以实现预期功能,必须对半导体工艺制程和电路设计进行高度的优化和协同,工艺设计组件(Process Design Kit,PDK)作为两者间的接口,可以帮助在设计师和制造师之间... 详细信息

随着射频集成电路设计需求不断提高以及应用场景的扩大,为了保证设计芯片可以实现预期功能,必须对半导体工艺制程和电路设计进行高度的优化和协同,工艺设计组件(Process Design Kit,PDK)作为两者间的接口,可以帮助在设计师和制造师之间搭建高效的沟通桥梁,为集成电路设计提供必要的工具,是集成电路设计和制造的关键环节。集成电路和EDA的发展是我国目前的卡脖子问题,PDK作为集成电路设计与EDA工具之间的桥梁,可以推动两者间的相互发展。但国内对PDK技术的开发研究还尚有不足,一方面,商用PDK中包含晶圆代工厂的知识产权(IP)和半导体工艺信息,用户不可编辑修改;另一方面,PDK是由EDA专用脚本语言编写开发,不具有可移植性,即不可在不同EDA工具中使用,大大限制了国产EDA工具的发展。此外,随着半导体工艺制程不断演进,设计规则逐渐复杂,也对PDK开发提出了更高的要求,PDK质量验证结果关乎芯片性能,一套优异的PDK可以减少设计和制造过程中的错误。针对以上问题,本文的工作和创新如下:(1)详细讲述了PDK中每一组成部分在电路设计中的工作原理和作用,分析PDK应用环境以及不同EDA工具下的开发方式,针对其限制性,提出使用图形化编辑器和开源Tcl、Python脚本语言的PDK开发方法,相对于SKILL和AEL编程,本文所提出的PDK开发方式不仅具有较高的开发效率,而且可以实现在不同EDA工具之间的互操作性,开发的PDK可以在国产EDA工具中调用。(2)使用本文所提PDK开发方法,并基于国产EDA平台(华大九天Aether MW,Aether Micro Wave)完成了国内某代工厂0.15μm Ga As p HEMT工艺的整套PDK开发以及模型库的建立与集成工作,包括器件组件描述格式、技术文件、参数化单元、物理验证文件DRC、LVS开发,详细给出了开发步骤以及实际工程应用中的注意事项,其中,通过使用Tcl语言编写回调函数,解决了CDF参数输入值不符合工艺限制的问题,在各CDF参数之间建立了联系。实现了包括增强/耗尽型HEMT、单栅/双栅/三栅/四栅开关器件、二极管、MIM/Stack电容、薄膜电阻、圆形/方形电感、各种传输线、焊盘和背孔等9个器件类型的36个Pcell(Parameteried cell)单元。研究了PDK中模型库(以HEMT、电阻、电感、电容、传输线为例)的建立方法,完成了该工艺下模型的建立并集成到本文PDK中以便使用EDA软件进行仿真设计。(3)在PDK的验证中,传统的质量检查方法通常需要测试人员手动赋值CDF参数并建立相关测试用例,但测试用例难以覆盖所有器件结构,而且十分耗时,增加了设计周期。对此,本文提出采用脚本程序自动建立测试用例的PDK质量检查方法,考虑更多的Pcell结构,从而使验证结果具有代表性和准确性并提高了效率。在PDK质量检查后,将0.15μm Ga As p HEMT PDK在国产EDA工具中用于电路设计和仿真验证,即在华大九天Aether MW平台完成共源共栅单级低噪声放大器的原理图设计和仿真与版图的设计和验证,其结果表明本文PDK可以与国产EDA工具实现无缝衔接。此外,本文开发出相同工艺的ADS PDK,并在ADS中完成上述电路的设计与仿真,对比Aether MW中的仿真结果,说明本文PDK与模型库开发方式的准确性。

关键词： EDA PDK GaAs pHEMT Pcell 质量检查设计规则模型库

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于模型库的制导控制系统软件开发与应用

基于模型库的制导控制系统软件开发与应用

作者：邱天宇哈尔滨工业大学

学位级别：硕士

飞行器制导控制系统是飞行器的灵魂,其性能直接影响飞行器的制导精度和制导过程的抗干扰能力,而飞行器制导控制系统的设计离不开飞行器制导控制仿真软件的帮助。本文来自于飞行器制导控制仿真软件研发和使用中遇到的软件可维护性差、拓... 详细信息

飞行器制导控制系统是飞行器的灵魂,其性能直接影响飞行器的制导精度和制导过程的抗干扰能力,而飞行器制导控制系统的设计离不开飞行器制导控制仿真软件的帮助。本文来自于飞行器制导控制仿真软件研发和使用中遇到的软件可维护性差、拓展能力有限和兼容性差等实际工程问题。本文主要工作内容是设计和开发基于模型库的飞行器制导控制仿真软件,对软件的源代码保密,并对软件兼容性、软件拓展性和软件模块化等设计过程中遇到的一些关键问题加以研究,研究结果可为飞行器制导控制仿真软件的设计和开发提供指导和参考。在软件的架构和流程设计中,首先给出基于C/S模型的飞行器制导控制软件总体架构,以基于LabVIEW开发的图形界面进程为客户端,以基于专用仿真软件开发的进程为服务端,并基于MVC模式设计了图形界面的软件架构和两个进程的软件运行流程;随后,针对两个软件之间的通讯问题,设计了LabVIEW与专用仿真软件的交互方式设计。在图形界面软件的设计中,首先给出本文设计的飞行器制导控制软件的主界面;随后详细介绍了工程管理和数据管理模块,最后对目标参数、飞行器参数、气动参数、导引参数、控制参数、目标机动参数、导引阶段、控制方法和仿真方式设置功能进行了详细介绍。在模型库的设计中,首先进行了目标运动的建模、飞行器运动姿态的建模以及二者相对运动的建模,为后续姿态控制方法的设计打下基础;随后详细介绍了本文涉及的各个姿态控制方法的基本原理,与模型相结合给出制导控制系统的整体模型;最后阐述了模块化的原理及实现。最后对开发的飞行器制导控制仿真软件进行成果展示,针对兼容性和拓展性进行了实验,应用本文设计的制导控制系统仿真软件分别对模型库中三个应用实例进行拦截过程的仿真,验证软件的基本功能、兼容性和拓展性。

关键词：制导控制仿真 LabVIEW 专用仿真软件模型库

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

模型库技术在核化事故危害预测中的应用研究

核电子学与探测技术 2004年第6期24卷 741-744页

作者：曾琼张利萍于鲁平何江华北京理工大学计算机科学与工程系北京100081 防化研究院

针对核化事故危害预测模型多环节、多模型、模型间具有继承性的特点,以核化事故中放射性物质及有害化学品大气扩散模型为重点,应用面向对象方法建立模型基本体系,并在此基础上论述了基于决策支持的核化事故危害预测模型库系统的设计和... 详细信息

针对核化事故危害预测模型多环节、多模型、模型间具有继承性的特点,以核化事故中放射性物质及有害化学品大气扩散模型为重点,应用面向对象方法建立模型基本体系,并在此基础上论述了基于决策支持的核化事故危害预测模型库系统的设计和实现技术。

关键词：模型库多模型面向对象方法建立模型决策支持实现技术继承性核化应用研究事故

在线全文

学校读者我要写书评

暂无评论

基于灰色理论的变形智能预测模型库研究

岩土力学 2011年第10期32卷 3119-3124页

作者：李恒凯刘传立江西理工大学建筑与测绘工程学院江西赣州341000

针对传统GM(1,1)模型在变形预测中精度不高和适应性不强的问题,将传统GM(1,1)模型从多个角度进行改进,并将传统模型及其改进模型进行集成,建立了预测模型库。利用灰色评价模型对模型库的预测结果进行评价,从而实现智能预测,并利用编程... 详细信息

针对传统GM(1,1)模型在变形预测中精度不高和适应性不强的问题,将传统GM(1,1)模型从多个角度进行改进,并将传统模型及其改进模型进行集成,建立了预测模型库。利用灰色评价模型对模型库的预测结果进行评价,从而实现智能预测,并利用编程语言对模型库和评价模型进行了程序实现。最后利用盘古山钨矿变形数据对该模型库进行检验,结果表明,该模型库能根据不同特点数据,智能化地得到最佳预测结果,具有重要的应用价值。

关键词：灰色理论模型库变形智能预测 GM(1,1)模型

高低温环模系统MATLAB仿真模型库搭建技巧

在线全文

学校读者我要写书评

暂无评论

系统仿真学报 2005年第11期17卷 2624-2628页

作者：董素君李宏伟熊伟王浚北京航空航天大学航空科学与工程学院北京100083 中国白城兵器试验中心吉林137001 中国核工业计算机应用研究所北京100037

专业仿真模型库是利用MATLAB/SIMULINK交互式模块化建模环境进行系统仿真研究的基础。以系统仿真研究为目的,以单个设备为基本单元,以合理简化的动态模型为基础,以MS-Function函数及封装模块为基本方法,同时综合利用数字积分变量、Memor... 详细信息

专业仿真模型库是利用MATLAB/SIMULINK交互式模块化建模环境进行系统仿真研究的基础。以系统仿真研究为目的,以单个设备为基本单元,以合理简化的动态模型为基础,以MS-Function函数及封装模块为基本方法,同时综合利用数字积分变量、Memory模块、函数数柄、全局变量及封装界面等设计技巧,搭建了高低温环模系统MATLAB仿真模型库。应用实例显示所建高低温环境模拟系统仿真模型库具有结构合理、模型齐全、通用性强及使用方便等特点,并易于推广应用到其它工热系统。

关键词：仿真模型库环模系统 MATLAB