软件验证相关论文
热工水力瞬态分析软件TRANTH用于分析核电厂安全性,其中,考虑了两区质量守恒和能量守恒的关键模型之一稳压器模型可对稳压器安全阀......
在机载大规模复杂软件验证过程中,开展结构覆盖活动时,需要选择既高效又能满足实际项目工程需要的方法.在总结了传统结构覆盖方法......
随着软件的发展,软件的安全问题已经受到了工业界的关注和担忧。软件验证正是其中一种可以检查软件安全的方法。近年来,由于对软件......
为解决统一建模语言(UML,unified modeling language)模型与源代码一致性检测缺少动态分析的问题,讨论了一种基于有限状态机(FSM,f......
信息化社会中人们对软件可信性的要求越来越高，传统的测试技术已经不能充分保证系统的安全性，基于模型的形式化验证技术成为解决此类......
目的研究严寒地区沈阳市、长春市、哈尔滨市3个城市超低能耗建筑的负荷特性。方法以沈阳建筑大学超低能耗示范建筑为例,运用DeST软......
危害会妨碍保护功能的执行,使核电厂处于不安全状态。软件验证中的危害分析能够探究和识别一般设计评审和测试中无法识别的潜在危......
对建筑外门窗抗风压强度、挠度的计算,相关国家标准给出了理论算法和近似简化算法。本文通过理论分析及软件验证的方式就两种算法......
研究了ＣＭＯＳ反相器在低电压低功率模拟系统中的应用，基于对传统ＣＭＯＳ反相器电路的分析，提出了新颖的一阶低通、高通和全通ＣＭＯＳ滤波器，它具有工作电压......
在原有截割头基础上,利用相似理论设计出一种相似结构,以获得新的设计方案。通过参数设定,量纲分析得到截割头结构设计的相似准则,......
应中国航空无线电电子研究所（ＣＡＲＥＲＩ）邀请，美国航空无线电技术委员会（ＲＴＣＡ）主席戴维·瓦特鲁斯先生于 ２０００年５月 １０日－１３日专程来上海对ＣＡＲＥＲＩ进行访问．访问期间，戴维......
介绍了增强型InGaP/AlGaAs/InGaAs PHEMT小信号等效电路中元件参数值的提取方法,并利用IC-CAP软件EEHEMT1模型提取了参数.利用ADS......
利用场匹配法得到了类磁控管结构的色散关系以及场函数表达式的同时,利用高频电磁场分析软件验证了所得结果正确性,并改变结构参数......
目的 HTO是治疗膝关节炎有效的方法,良好的术前计划是HTO成功的重要保证,我们通过对miniaci法进行改良优化,使得术前计划更精......
随着计算机软件的不断发展,尤其是数据库软件和Web用字符串在软件程序中扮演的角色日益重要。与此同时,针对字符串的程序分析－字符......
随着嫦娥三号、暗物质粒子探测卫星以及世界首颗量子科学实验卫星“墨子号”的成功发射,我国的空间探测技术取得了巨大进步。与此......
软件已经成为国防建设与国计民生的重要组成部分,如何提高软件的正确性、可靠性和安全性是计算机软件领域面临的重要挑战。Clarke......
随着在航空器和发动机上所用的机载系统和设备对软件的使用迅速增加，为满足适航性要求，航空无线电技术委员会(RTCA)制定了DO-178B标......
在国民经济与国防现代化建设中,计算机软件在日常生活中的应用越来越普及,软件可靠性问题日趋受到人们的重视,尤其对于一些安全关......
功耗侧信道攻击,通过使用统计分析技术推断出加密算法中的密钥,已成为物理网络设备的一个巨大威胁。随机掩码是一种被广泛使用的用......
期刊
本文在我国1979-2006年通货膨胀率与城镇登记失业率数据基础上,利用SPSS软件验证菲利普斯曲线在中国的有效性,得出我国通货膨胀率......
在一些高中物理教辅资料中经常看到这样的题目:两个互成角度的共点力F_1和F_2,夹角为θ,它们的合力F随θ变化的关系如图1所示,则这......
连杆运动不干涉是八连杆机械压力机杆系设计的重要约束条件。拉延速度和加速度直接影响八杆机械压力机性能。提出了八连杆机械压力......
目前文献中对于组织变革理论的研究多集中在理论层面,且大多探讨其与相关结果变量的关系,而对工作压力与组织变革之间关系的研究成......
为获得二向不均等地应力场中圆形冻结壁的受力变形规律,考虑开挖卸载工况,建立了冻结壁与围岩相互作用弹性力学模型,推导并用有限......
针对等静压设备的预应力钢丝缠绕缸体结构的缠绕方法、强度和稳定性理论,定义了一种基于等剪应力缠绕的预应力大型结构轻量化设计......
软件验证和确认(V&V)对保证软件质量具有重要意义,合理高效的V&V策略可以事半功倍。本文提出了用于反应堆堆芯计算分析的三维蒙特......
本文设计了一种10MHz带有可动电极结构的RF MEMS方块谐振器.首先根据机械类比的方法,给出了谐振器的机械参数模型,然后建立了谐振......
陈健1987年毕业于西安交通大学计算机系软件专业,获硕士学位.后就职于北京电子六所。1989年赴澳大利亚昆士兰大学信息与计算机系......
陈健1987年毕业于西安交通大学计算机系软件专业,获硕士学位,后就职于北京电子六所。1989年赴澳大利亚昆士兰大学信息与计算机系......
本文首先通过分析车辆的动力性，根据驱动电机特性，制定出了以油门开度和换挡车速为参数的两参数换挡规律。应用cruise仿真软件对本文......
建立了包括光伏、钒电池储能和能量管理系统的典型微电网结构,给出了基于钒电池储能的微电网并网运行控制策略,分析了钒电池建模、......
美国暖通工程师协会发布的ASHRAE-140标准通过一套标准测试案例,对建筑能耗模拟软件的计算性能进行认证.目前国际主流的建筑能耗模......
本文对常规的CPC 及其吸收器的形式做了总结，并依据无光学损失的V 槽型CPC 设计方法，建立了6 倍聚光比CPC，并通过光学模拟软件验证了......
针对雷达寻的复合制导系统控制的特点,提出一种有效的视频半实物仿真方法。详细介绍了导引头目标回波及杂波的视频信号模拟方法和......
降压收集极应用于行波管，其物理实质是电子在电场中运动，其核心任务保证电子回流足够小的前提下，尽力提高效率。本文介绍了电子的空间......
软件评测是软件产品质量与可靠性保证的重要手段,是软件验证与确认技术不可缺少的组成部分.软件测试是通过测试来发现问题,改进问......
以一款视频图像定标器为研究对象,提出了一种适用于大规模数字集成电路的软件功能性验证平台,详细阐述了平台的结构、平台中测试向......
该文介绍了我国数据广播标准中的数据轮播规范,主要论述了数据轮播中的数据封装过程,井设计软件实现了发送端数据文件的封装,生成......
文章介绍了一个应用于C波段接收机射频前端的射频滤波器,以及利用耦合微带线设计射频滤波器的过程,最后利用ADS仿真软件验证了所设......
本文运用刚度等效理论,推导出了音叉式陀螺仪敏感模态谐振频率的计算公式,并借助有限元分析软件验证该公式的正确性,最后分析了几......
