检索结果-维普期刊中文期刊服务平台

基于模型的核电站操作员支持系统开发与测试被引量：1: 1; 作者侯东黄俊 +1 位作者王文全沈轶烨《上海交通大学学报》 EI CAS CSCD 北大核心 2018年第S1期46-52,共7页; 我国当前正在大力推广的第三代核电站具有经济性好、安全性高等特点,操作员支持系统作为第三代核电站的必配系统是提高核电站安全性的重要有效手段之一.核电系统越来越复杂,软件的占比越来越高、重要性也越来越突出,亟需探索能有效提高... 展开更多; 关键词基于模型的开发与验证核电站控制操作员支持系统; 在线阅读下载PDF 职称材料

人工智能在发动机控制开发中的应用及前景被引量：3: 2; 作者徐宏明周泉《汽车安全与节能学报》 CAS CSCD 北大核心 2021年第2期150-162,共13页; 电动化、智能化、网联化、共享化(CASE)是汽车技术发展的趋势。根据国际能源署(IEA)的预测,到2050年,以包括插电式混合动力在内的电动化汽车将占有市场产品97%的份额。越来越严苛并要求通过实际行驶条件下检测的排放法规也对先进发动机... 展开更多; 关键词发动机控制基于模型的开发人工智能(AI) 系统优化控制器标定; 在线阅读下载PDF 职称材料

一种面向嵌入式系统的多模型集中存储方法被引量：1: 3; 作者闫治鹏蔡兴泉 +1 位作者杨波吴际《北京航空航天大学学报》 EI CAS CSCD 北大核心 2021年第12期2414-2425,共12页; 随着软件安全性的重要性日益增长,使用模型驱动的方法进行软件开发越来越受到重视。针对目前存在跨域模型的集成障碍,提出了一种基于元建模技术提取多视角模型信息进行存储的方法,并详细阐述了针对AADL、SysML、Simulink三种建模语言设... 展开更多; 关键词软件模型基于模型的开发系统架构虚拟集成元建模建模语言; 在线阅读下载PDF 职称材料

嵌入式系统建模理论与方法被引量：3: 4; 作者陈付龙樊晓桠《计算机工程与应用》 CSCD 北大核心 2009年第13期8-12,33,共6页; 嵌入式系统建模是目前一个新的研究热点。利用建模的结果可大大减少系统的设计时间,提高系统的设计质量。介绍了嵌入式系统建模的最新理论和方法,对这些方法进行了分类和比较,探讨了嵌入式系统建模的理论和方法发展趋势。; 关键词嵌入式系统建模基于模型的开发形式化方法; 在线阅读下载PDF 职称材料

安全关键软件的需求递阶层次结构被引量：1: 5; 作者郭蕾褚文奎 +1 位作者田松张凤鸣《电光与控制》北大核心 2012年第6期53-57,共5页; 软件需求缺陷特别是关于系统安全性方面的需求缺陷已逐渐成为导致飞机等安全关键系统发生事故的主要根源。在基于模型的软件开发中,有效管理开发出来的软件需求将有助于解决这一问题。为避免软件需求的无序性导致软件需求缺陷特别是安... 展开更多; 关键词安全关键软件安全性需求层次分析法软件安全性基于模型的开发; 在线阅读下载PDF 职称材料

题名基于模型的核电站操作员支持系统开发与测试被引量：1: 1; 作者侯东黄俊王文全沈轶烨; 机构 ANSYS公司中国核动力研究设计院核反应堆系统设计技术重点实验室; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2018年第S1期46-52,共7页; 文摘我国当前正在大力推广的第三代核电站具有经济性好、安全性高等特点,操作员支持系统作为第三代核电站的必配系统是提高核电站安全性的重要有效手段之一.核电系统越来越复杂,软件的占比越来越高、重要性也越来越突出,亟需探索能有效提高软件质量和可靠性的开发方法.基于模型的软件开发与验证方法已经在各大高安全性行业得到了广泛应用,文中对基于该方法的软件开发与验证流程进行了概览性说明,对相关的核心技术进行了总结,并以核电站操作员支持系统的软件研制为例,对该方法在核电领域软件开发中的适用性进行了探索,结果表明该方法完全满足核电软件的最高安全性要求.; 关键词基于模型的开发与验证核电站控制操作员支持系统; Keywords model-based development and verification(MBDV) nuclear power plant control operator supporting system; 分类号 TM623 [电气工程—电力系统及自动化] TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名人工智能在发动机控制开发中的应用及前景被引量：3: 2; 作者徐宏明周泉; 机构伯明翰大学先进汽车技术研究中心; 出处《汽车安全与节能学报》 CAS CSCD 北大核心 2021年第2期150-162,共13页; 文摘电动化、智能化、网联化、共享化(CASE)是汽车技术发展的趋势。根据国际能源署(IEA)的预测,到2050年,以包括插电式混合动力在内的电动化汽车将占有市场产品97%的份额。越来越严苛并要求通过实际行驶条件下检测的排放法规也对先进发动机技术,特别是发动机控制技术提出了新挑战。该文围绕基于模型的发动机控制开发中的优化问题,从前馈控制优化、反馈控制优化和动力总成全局优化3个层面,分析了人工智能(AI)技术在上述开发场景中的应用案例,展望了人工智能在发动机控制开发中的前景。研究表明,人工智能技术能将推动发动机控制开发中的3个融合:一是以发动机数字孪生技术为代表的信息系统与物理系统融合;二是以发动机多场景智能优化技术为依托的机器学习系统与经典控制系统融合;三是以动力总成域控制技术为基础的多源系统信息融合。这些融合将推动发动机技术的进一步发展,助力实现近零碳排放。; 关键词发动机控制基于模型的开发人工智能(AI) 系统优化控制器标定; Keywords engine control model-based development artificial intelligence(AI) system optimization controller calibration; 分类号 TK421.5 [动力工程及工程热物理—动力机械及工程]; 在线阅读下载PDF 职称材料

题名一种面向嵌入式系统的多模型集中存储方法被引量：1: 3; 作者闫治鹏蔡兴泉杨波吴际; 机构北方工业大学信息学院北京林业大学信息学院北京航空航天大学计算机学院; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2021年第12期2414-2425,共12页; 基金国家自然科学基金(61502011) 中央高校基本科研业务费专项资金(BLX202003)。; 文摘随着软件安全性的重要性日益增长,使用模型驱动的方法进行软件开发越来越受到重视。针对目前存在跨域模型的集成障碍,提出了一种基于元建模技术提取多视角模型信息进行存储的方法,并详细阐述了针对AADL、SysML、Simulink三种建模语言设计的建模元素解析、集成描述文件生成的方法框架。实验结果表明:按照所提方法实现的模型仓库能够准确提取出不同视角模型间的集成相关信息,在能够正确存储、查询的条件下,实现的元素数量覆盖率均在90%以上。; 关键词软件模型基于模型的开发系统架构虚拟集成元建模建模语言; Keywords software model model-based design system architecture virtual integration meta-modeling modeling language; 分类号 V221.3 [航空宇航科学与技术—飞行器设计] TB553 [理学—声学]; 在线阅读下载PDF 职称材料

题名嵌入式系统建模理论与方法被引量：3: 4; 作者陈付龙樊晓桠; 机构安徽师范大学计算机科学与技术系西北工业大学计算机学院; 出处《计算机工程与应用》 CSCD 北大核心 2009年第13期8-12,33,共6页; 基金国家自然科学基金No.60773223 No.60736012 安徽省高校青年教师科研资助计划(No.2008jq1057)~~; 文摘嵌入式系统建模是目前一个新的研究热点。利用建模的结果可大大减少系统的设计时间,提高系统的设计质量。介绍了嵌入式系统建模的最新理论和方法,对这些方法进行了分类和比较,探讨了嵌入式系统建模的理论和方法发展趋势。; 关键词嵌入式系统建模基于模型的开发形式化方法; Keywords embedded system modeling model-based development formal method; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名安全关键软件的需求递阶层次结构被引量：1: 5; 作者郭蕾褚文奎田松张凤鸣; 机构空军装备研究院航空研究所空军工程大学工程学院; 出处《电光与控制》北大核心 2012年第6期53-57,共5页; 基金国家自然科学基金(61172083) 总装国防预研基金(9140A17020307JB3201); 文摘软件需求缺陷特别是关于系统安全性方面的需求缺陷已逐渐成为导致飞机等安全关键系统发生事故的主要根源。在基于模型的软件开发中,有效管理开发出来的软件需求将有助于解决这一问题。为避免软件需求的无序性导致软件需求缺陷特别是安全性需求缺陷的生成,在借鉴层次分析法的有关思想基础上,提出了层次化管理安全关键软件需求的思路,构建了安全关键软件的需求递阶层次结构。该结构按照目的、准则、方案三层将软件需求有序组织在一起,不仅明确表达了不同层次软件需求之间的关系,有助于保证软件需求的一致性、可溯性,而且说明了软件安全性需求与危险场景之间的关系,有助于预防安全性需求缺陷,从而可以有效规避软件安全性问题。; 关键词安全关键软件安全性需求层次分析法软件安全性基于模型的开发; Keywords safety-critical software safety requirement Analytic Hierarchy Process （AHP） software safety Model-Based Development （MBD）; 分类号 V21 [航空宇航科学与技术—航空宇航推进理论与工程] TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于模型的核电站操作员支持系统开发与测试	侯东黄俊王文全沈轶烨	《上海交通大学学报》 EI CAS CSCD 北大核心	2018	1	在线阅读下载PDF 职称材料
2	人工智能在发动机控制开发中的应用及前景	徐宏明周泉	《汽车安全与节能学报》 CAS CSCD 北大核心	2021	3	在线阅读下载PDF 职称材料
3	一种面向嵌入式系统的多模型集中存储方法	闫治鹏蔡兴泉杨波吴际	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2021	1	在线阅读下载PDF 职称材料
4	嵌入式系统建模理论与方法	陈付龙樊晓桠	《计算机工程与应用》 CSCD 北大核心	2009	3	在线阅读下载PDF 职称材料
5	安全关键软件的需求递阶层次结构	郭蕾褚文奎田松张凤鸣	《电光与控制》北大核心	2012	1	在线阅读下载PDF 职称材料