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

一种基于四变量模型的系统安全性建模与分析方法被引量：7: 1; 作者胡军石娇洁 +2 位作者程桢陈松王明明《计算机科学》 CSCD 北大核心 2016年第11期193-199,229,共8页; 近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义... 展开更多; 关键词四变量模型 AltaRica建模语言故障树分析 ARC; 在线阅读下载PDF 职称材料

我国城乡居民消费差异-基于四变量误差修正模型的实证分析被引量：2: 2; 作者汤清刘玉洁《广东农业科学》 CAS CSCD 北大核心 2011年第8期191-193,199,共4页; 利用中国1991—2008年时间序列数据,分析中国城镇和农村地区居民消费差异,所使用的分析方法包括ADF平稳性检验,协整检验以及四变量误差修正模型,Chow检验。分析结果表明,中国城镇和农村地区同时存在消费与收入的长期均衡关系,消费物价... 展开更多; 关键词居民消费居民收入四变量误差修正模型 CHOW检验; 在线阅读下载PDF 职称材料

大型冷却塔热力计算模型被引量：4: 3; 作者韩琴刘德有 +2 位作者陈负山齐慧卿焦诗元《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第5期591-595,共5页; 基于质量守恒和能量守恒原理,以出塔水温作为冷却塔冷却性能的评价指标,建立了大型冷却塔热力计算的湿差模型,并与目前常用的焓差模型以及四变量模型进行了比较,分析了不同模型的计算结果差异以及气象条件(如大气压力、干球温度及湿球温... 展开更多; 关键词大型冷却塔热力计算出塔水温湿差模型焓差模型四变量模型; 在线阅读下载PDF 职称材料

面向DO-178C的襟缝翼控制系统需求的形式化描述: 4; 作者战芸娇魏欧胡军《计算机科学》 CSCD 北大核心 2018年第4期196-202,共7页; DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于... 展开更多; 关键词 DO-178C SCR方法四变量模型机载软件 T-VEC; 在线阅读下载PDF 职称材料

题名一种基于四变量模型的系统安全性建模与分析方法被引量：7: 1; 作者胡军石娇洁程桢陈松王明明; 机构南京航空航天大学计算机科学与技术学院南京大学计算机软件新技术国家重点实验室; 出处《计算机科学》 CSCD 北大核心 2016年第11期193-199,229,共8页; 基金国家重点基础研究发展计划(973计划)(2014CB744903) 南京航空航天大学青年科技创新基金(NS2014098)资助; 文摘近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义研究构建二者之间的映射规则,以民用飞机中机轮刹车系统(Wheel Brake System,WBS)为例来说明整个验证过程,即首先利用四变量模型从系统的需求层次上对WBS进行需求分析并根据映射关系构建AltaRica模型,接着利用故障树分析方法对WBS进行安全性研究,最后基于AltaRica配套工具ARC对系统的安全性属性进行验证。验证结果表明了该方法在系统安全工程领域中的实用性。; 关键词四变量模型 AltaRica建模语言故障树分析 ARC; Keywords Four-variable model AltaRica modeling language Fault tree analysis ARC; 分类号 TP316.2 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名我国城乡居民消费差异-基于四变量误差修正模型的实证分析被引量：2: 2; 作者汤清刘玉洁; 机构华南理工大学工商管理学院; 出处《广东农业科学》 CAS CSCD 北大核心 2011年第8期191-193,199,共4页; 文摘利用中国1991—2008年时间序列数据,分析中国城镇和农村地区居民消费差异,所使用的分析方法包括ADF平稳性检验,协整检验以及四变量误差修正模型,Chow检验。分析结果表明,中国城镇和农村地区同时存在消费与收入的长期均衡关系,消费物价水平的上升及政府补贴政策对提高城乡居民收入弹性有间接的正向效应,其中对城镇居民收入弹性的正向效应大于农村居民,另外城乡居民的消费行为存在结构稳定性。; 关键词居民消费居民收入四变量误差修正模型 CHOW检验; Keywords individual consumption resident income error correction model of four variables Chow test; 分类号 F224.0 [经济管理—国民经济]; 在线阅读下载PDF 职称材料

题名大型冷却塔热力计算模型被引量：4: 3; 作者韩琴刘德有陈负山齐慧卿焦诗元; 机构河海大学水利水电工程学院国电机械设计研究院; 出处《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第5期591-595,共5页; 文摘基于质量守恒和能量守恒原理,以出塔水温作为冷却塔冷却性能的评价指标,建立了大型冷却塔热力计算的湿差模型,并与目前常用的焓差模型以及四变量模型进行了比较,分析了不同模型的计算结果差异以及气象条件(如大气压力、干球温度及湿球温度)、淋水面积和风速等参数对冷却塔出塔水温的影响.即随着干球温度及湿球温度的降低,或者在一定的范围内,淋水面积的增大,或者风速的增大,出塔水温均会降低.结果表明:湿差模型和焓差三阶模型是适用于大型或超大型冷却塔的热力计算模型,在大型冷却塔设计时,应特别重视循环冷却水系统冷端参数的综合优化分析.; 关键词大型冷却塔热力计算出塔水温湿差模型焓差模型四变量模型; Keywords large cooling tower thermal calculation outlet water temperature of cooling tower humidity difference model enthalpy difference model four-variable model; 分类号 TK123 [动力工程及工程热物理—工程热物理]; 在线阅读下载PDF 职称材料

题名面向DO-178C的襟缝翼控制系统需求的形式化描述: 4; 作者战芸娇魏欧胡军; 机构南京航空航天大学计算机科学与技术学院; 出处《计算机科学》 CSCD 北大核心 2018年第4期196-202,共7页; 基金国家自然科学基金项目(61170043) 国家重点基础研究发展计划(973)项目(2014CB744904) 航空科学基金项目(20155552047)资助; 文摘 DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于DO-178C,使用SCR方法对原飞机系统中的襟缝翼控制系统的需求文档进行形式化的需求描述,针对襟缝翼控制系统中的襟翼电机转速控制模块进行详细的案例分析,判断其是否满足DO-178C的相关验证指标。通过分析和验证,提出了SCR方法中的一些应用技巧。该工作可为SCR方法在机载软件系统中的应用提供依据。; 关键词 DO-178C SCR方法四变量模型机载软件 T-VEC; Keywords DO-178C SCR method Four-variable model Airborne software T-VEC; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种基于四变量模型的系统安全性建模与分析方法	胡军石娇洁程桢陈松王明明	《计算机科学》 CSCD 北大核心	2016	7	在线阅读下载PDF 职称材料
2	我国城乡居民消费差异-基于四变量误差修正模型的实证分析	汤清刘玉洁	《广东农业科学》 CAS CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
3	大型冷却塔热力计算模型	韩琴刘德有陈负山齐慧卿焦诗元	《河海大学学报（自然科学版）》 CAS CSCD 北大核心	2009	4	在线阅读下载PDF 职称材料
4	面向DO-178C的襟缝翼控制系统需求的形式化描述	战芸娇魏欧胡军	《计算机科学》 CSCD 北大核心	2018	0	在线阅读下载PDF 职称材料