王昕
- 作品数:11 被引量:66H指数:4
- 供职机构:西安交通大学能源与动力工程学院环境工程系更多>>
- 发文基金:中国科学院西部之光基金国家重点实验室开放基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术环境科学与工程更多>>
- 基于测试剖面的软件可靠性测试数据生成技术被引量:1
- 2006年
- 为了生成自动飞行控制系统软件可靠性测试数据,建立了软件可靠性的测试剖面、环境剖面等概念,提出了基于任务剖面的测试剖面生成技术和由测试剖面生成测试数据的方法,即将输入数据分为系统模式数据和环境数据,并在任务剖面下分别形成系统模式剖面和环境剖面,最后将两种剖面合成为测试剖面;将环境数据分解为控制分量和随机分量,再利用仿真的方法生成控制分量,从而生成复杂关联的测试用环境数据.通过对飞机执行任务的软件测试表明,所提方法能更为准确地描述软件的实际使用情况,其描述方式与硬件可靠性试验较为类似,可作软硬件系统综合的可靠性试验的基础.
- 韩峰岩覃征王昕
- 关键词:测试剖面自动飞行控制系统
- 西安市大气PM_(10)中水溶性有机碳的季节变化及来源分析被引量:20
- 2010年
- 为了探讨西安市大气可吸入颗粒物(PM10,空气动力学当量直径≤10μm的悬浮颗粒物)中水溶性有机碳(WSOC)的浓度水平与季节变化,从2006年12月至2007年11月,分季节(每个季节选取1个月)采集了西安市大气PM10样品,并采用燃烧氧化-非分散红外吸收法测定了PM10中的水溶性有机碳,采用热-光碳分析仪测定了样品中的有机碳(OC)和元素碳(EC).结果显示,WSOC在春、夏、秋、冬季节的平均质量浓度分别为17.2、14.9、28.3、32.5μg/m3,具有明显的季节变化特征.WSOC占OC的质量比在夏季最高(83.7%)、冬季最低(53.3%).WSOC与OC和EC的相关性分析结果显示:WSOC与EC的相关性微弱,相关系数为0.22;WSOC与OC的相关性很强,相关系数高达0.86.进一步分析显示出WSOC与二次有机碳的相关性达到了0.87,表明西安市大气颗粒物中的WSOC主要是在大气中气-固二次转化形成的.
- 霍宗权沈振兴田晶曹军骥张琨王昕
- 关键词:PM10水溶性有机碳
- 一种考虑数据截尾的非参数软件可靠性模型被引量:2
- 2006年
- 通过分析数据截尾对软件可靠性模型的影响,建立了一种考虑数据截尾的非参数软件可靠性模型,为的是克服一般参数模型假设约束过紧的问题,并能在估计失效率的同时估计残存缺陷数.同时,提出了基于非参数统计的软件失效率单调下降性检验方法,在加权核函数估计中引入数据截尾率作为加权系数和优化参数,并用失效率单调下降约束下的加权核函数方法来估计失效率和残存缺陷数.模拟试验和实例分析表明,所提模型可以较好地处理截尾数据,给出残存缺陷数的合理估计,其失效率估计精度较高,不低于较好的传统模型.
- 韩峰岩覃征王昕
- 基于UML的软件可靠性测试用例生成的混合模型被引量:5
- 2007年
- 为了解决实时控制系统软件可靠性测试用例生成的问题,在分析操作剖面模型和Markov链模型的基础上,提出了一种基于UML的混合模型.该模型用操作剖面模型来定义使用用例,并将状态图嵌入其中以表述该用例的动态特性.通过平展状态图获得使用图,使用图按一定的概率迁移,从而获得用Markov链表示的使用模型,而操作剖面模型定义的使用用例集与Markov链表述的状态迁移模型可结合生成可靠性测试用例.通过雷达波束调度软件可靠性测试表明,按所提模型在各测试周期生成的测试用例集的框架稳定性比较好,测试用例极少出现重复现象,它综合了操作剖面模型和Markov链模型的优点,可用于开发实时控制系统的软件可靠性测试用例.
- 王昕覃征韩峰岩
- 关键词:测试用例操作剖面混合模型
- 西安市春、夏季大气降水的化学组成和来源分析被引量:17
- 2011年
- 为了探索西安市大气降水的水溶性化学组分浓度水平及来源,在春季和夏季采集了西安市降水样品,测定了样品中的水溶性无机离子和溶解性有机碳(DOC)的浓度,并对其来源进行了初步探讨.结果显示:春、夏季降水样品的平均pH值分别为5.85和5.83,表明西安市春、夏季降水酸度偏高,但尚未达到酸雨范畴;SO24-、Ca2+、NH+4和NO-3是降水中最主要的无机离子,在春季它们分别占总离子数的35.8%、28.2%、18%、9.1%,在夏季占总离子数的34%、25%、19%、8%.利用相关分析和富集因子法对降水中水溶性化学组分的来源进行了解析,结果表明,西安市春、夏季降水中水溶性化学组分主要来自燃煤、机动车尾气、建筑活动和生物质燃烧等人为因素.SO24-、NO-3当量比值变化揭示了机动车的快速增长、能源结构和燃烧方式的改变使得NO-3对降水酸度的贡献有相对增大的趋势.
- 田晶沈振兴张琨王昕曹军骥张婷
- 关键词:大气降水水溶性离子水溶性有机碳
- 计算机实时控制系统软硬件综合FMEA被引量:4
- 2003年
- 比照硬件失效模式影响分析FMEA技术(FMEA),分析了影响软件FMEA的因素,在对软件FMEA技术进行简要综述的同时,提出了一种适合于计算机实时控制系统的软硬件综合FMEA方法。工程应用表明,这种软硬件综合FMEA方法可用于计算机实时控制系统的设计过程,对提高系统的可靠性、安全性具有一定作用。
- 韩峰岩王昕
- 关键词:可靠性FMEASFMEA计算机实时控制系统
- 一种实用的嵌入式软件质量管理框架被引量:2
- 2006年
- 对与软件质量管理有关的主要标准进行了系统的分析,提出了适用于软硬件一体化质量管理的嵌入式软件质量管理框架的基本要求,开发了在ISO9000标准的基本框架下,吸收CMM、GJB2786、DO-178B等标准的优点而成的一个实用的嵌入式软件质量管理框架。通过在3个企业的试运行表明,该质量管理框架既能满足对软件质量管理的要求,又适用于软硬件一体化的质量管理,便于在已经通过ISO9000标准认证的企业应用。
- 韩峰岩王昕肖丽雯严少清
- 关键词:质量管理嵌入式系统
- 基于极速神经网络的协作过滤方法研究被引量:3
- 2011年
- 协作过滤是一种有效的个性化推荐技术,针对该技术随着用户和资源的增多,数据的高维稀疏特性严重导致推荐质量的下降和计算速度减慢的问题,研究并实现了一种基于极速神经网络的协作过滤方法。采用主成分分析解决数据高维稀疏性问题,采用极速神经网络技术解决计算速度慢的问题。实验结果表明,该方法具有良好的泛化性能和学习速度,能很好的满足个性化资源推荐的需求。
- 陈琳邓万宇王昕
- 关键词:主成分分析极速学习机用户兴趣模型
- 软件可靠性预测的小波分析方法被引量:2
- 2004年
- 软件可靠性预测对于软件可靠性评估以及软件工程项目的过程控制具有重要作用。本文提出的软件可靠性预测模型,通过小波分解将非平稳的软件可靠性随机序列分解成趋势项、周期项和一系列时间调制平稳随机序列,对趋势项和周期项按常规的预测方法进行预测,而时间调制平稳随机序列再用小波方法预测,最后合成得到软件可靠性预测。实例分析表明,本方法是可行的。
- 韩峰岩覃征王昕
- 关键词:可靠性小波变换时间序列
- 西安冬、夏季大气PM10及其化学组成的昼夜变化特征
- 为探讨西安大气颗粒物中水溶性离子及含碳组分的季节变化和昼夜变化特征及来源,于2006-12-20~2007-1-21(冬季)和2007-7-1~2007-8-1(夏季)连续采集大气可吸入颗粒物(PM10)样品,分析其中N...
- 刘丽沈振兴刘随心曹军骥李建军王昕
- 关键词:水溶性离子