期刊文献+
共找到27篇文章
< 1 2 >
每页显示 20 50 100
软件可靠性测试充分性的多准则判定及应用 被引量:4
1
作者 刘剑豪 刘晓明 黄松 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2007年第9期129-132,共4页
在分析软件可靠性测试充分性特点的基础上,提出一种多准则充分性判定方法.依据运行剖面构造系统的使用模型,通过假设检验和贝叶斯推断确定测试用例数量,建立差异函数判断测试模型与使用模型的偏离,根据软件失效情况进行多轮次充分性判定... 在分析软件可靠性测试充分性特点的基础上,提出一种多准则充分性判定方法.依据运行剖面构造系统的使用模型,通过假设检验和贝叶斯推断确定测试用例数量,建立差异函数判断测试模型与使用模型的偏离,根据软件失效情况进行多轮次充分性判定,并使用贝叶斯方法积累测试信息,同时利用测试结果开展软件可靠性的评价与预测.实例分析表明,多准则充分性判定方法对可靠性测试用例集要求更加严格,使得根据该测试用例集的测试结果开展可靠性评价与预测更具可信性. 展开更多
关键词 软件可靠性 可靠性测试 测试充分性 多准则判定
下载PDF
构件软件的层次可靠性估计模型 被引量:3
2
作者 刘剑豪 刘晓明 +1 位作者 姚奕 黄松 《应用科学学报》 CAS CSCD 北大核心 2007年第2期171-176,共6页
可靠性是质量体系中最重要的特性之一,针对构件软件系统,利用相对独立的构件开发与系统开发的特点,从路径分析与基于运行剖面测试的思想出发,建立了分层的系统可靠性模型.模型可根据路径信息的层次和构件信息详细程度,调整到适当的粒度... 可靠性是质量体系中最重要的特性之一,针对构件软件系统,利用相对独立的构件开发与系统开发的特点,从路径分析与基于运行剖面测试的思想出发,建立了分层的系统可靠性模型.模型可根据路径信息的层次和构件信息详细程度,调整到适当的粒度层次.并通过统计测试试验数据给出了模型的实例应用,同时提出了提高可靠性估计准确性的方法. 展开更多
关键词 软件可靠性 层次模型 路径分析 运行剖面
下载PDF
成组缺陷纠正的通用指数类软件可靠性模型 被引量:3
3
作者 刘剑豪 刘晓明 +1 位作者 黄松 张晓峰 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第10期2764-2766,共3页
指数类软件可靠性模型是应用广泛的一类软件可靠性预测模型,其基本假设之一是缺陷一经发现立即纠正。该假设过于苛刻,与实际情况不符,影响了模型的应用和预测准确性。针对通用指数类软件可靠性模型,提出了成组缺陷纠正的指数类软件可靠... 指数类软件可靠性模型是应用广泛的一类软件可靠性预测模型,其基本假设之一是缺陷一经发现立即纠正。该假设过于苛刻,与实际情况不符,影响了模型的应用和预测准确性。针对通用指数类软件可靠性模型,提出了成组缺陷纠正的指数类软件可靠性模型。同时以指数类模型中的J-M模型为例,利用实际工程数据对成组缺陷纠正的J-M模型进行了验证。 展开更多
关键词 软件可靠性 软件可靠性模型 成组缺陷纠正 J-M模型
下载PDF
盐雾沉积层对天线罩板块透射性能的影响 被引量:4
4
作者 刘剑豪 傅文斌 苑立军 《空军雷达学院学报》 2003年第2期12-14,共3页
运用四端网络理论研究盐雾沉积层对A夹层天线罩板块电性能的影响,得到相应的功率透射系数和反射系数公式,并以某P/L波段雷达天线罩为例进行了计算机仿真.仿真结果表明,盐雾沉积层明显增大天线罩壁对雷达波的反射,形成的闪烁瓣会引起虚警... 运用四端网络理论研究盐雾沉积层对A夹层天线罩板块电性能的影响,得到相应的功率透射系数和反射系数公式,并以某P/L波段雷达天线罩为例进行了计算机仿真.仿真结果表明,盐雾沉积层明显增大天线罩壁对雷达波的反射,形成的闪烁瓣会引起虚警;而且盐雾沉积层的吸收损耗会降低罩壁透射,形成雷达的附加盲区. 展开更多
关键词 雷达天线罩 L波段 盐雾 透射系数 闪烁 盲区 仿真结果 反射系数 公式 网络理论
下载PDF
一些低损耗介质圆柱双站RCS的矩量法分析
5
作者 刘剑豪 傅文斌 周健 《武汉理工大学学报》 CAS CSCD 2002年第10期4-6,16,共4页
用矩量法对一些用于天线罩、电磁兼容设计的低损耗介电材料填充的无限长介质圆柱在 TM波照射下的双站RCS进行了数值计算。仿真结果表明 ,相对于设计要求而言 ,低介电常数低损耗材料仍存在较明显的散射。散射与圆柱的电直径 ka0 的关系是... 用矩量法对一些用于天线罩、电磁兼容设计的低损耗介电材料填充的无限长介质圆柱在 TM波照射下的双站RCS进行了数值计算。仿真结果表明 ,相对于设计要求而言 ,低介电常数低损耗材料仍存在较明显的散射。散射与圆柱的电直径 ka0 的关系是 :ka0 较小时介电常数的实部 ε′起主要作用 ,ka0 较大时介电常数的实部和虚部共同起作用。散射与双站角的关系是 :双站角为 0时散射最强 ,随着双站角的增大散射迅速减弱。 展开更多
关键词 低损耗介电材料 雷达散射截面 RCS 矩量法 MOM
下载PDF
有耗介质圆柱双站RCS分析及比较
6
作者 刘剑豪 傅文斌 董文峰 《空军雷达学院学报》 2002年第2期20-22,共3页
对于不同的复介电常数,给出了有耗介质圆柱双站RCS的矩量法解,并与解析法进行了比较.仿真结果表明:圆柱谐振区的散射最强;介质的介电损耗因子代表了介质的吸波性能;不同频率的入射波,截面分割单元的电长度影响矩量法的计算精度.
关键词 RCS 矩量法 同频 仿真结果 谐振 散射 介质 圆柱 因子 入射波
下载PDF
基于锈胀开裂的预应力锚杆(索)使用寿命预测研究 被引量:11
7
作者 邓东平 李亮 +1 位作者 赵炼恒 刘剑豪 《岩土工程学报》 EI CAS CSCD 北大核心 2014年第8期1464-1472,共9页
锚杆(索)腐蚀后其体积发生膨胀并形成锈胀力,而锈胀力的增大可导致外围注浆体开裂,从而加速锚杆(索)的腐蚀,故可以此时的锈蚀量作为预测锚杆(索)使用寿命的判别条件。当对外围注浆体进行受力分析时,采用平面应变情况下的圆孔模型弹性理... 锚杆(索)腐蚀后其体积发生膨胀并形成锈胀力,而锈胀力的增大可导致外围注浆体开裂,从而加速锚杆(索)的腐蚀,故可以此时的锈蚀量作为预测锚杆(索)使用寿命的判别条件。当对外围注浆体进行受力分析时,采用平面应变情况下的圆孔模型弹性理论计算注浆体开裂时的极限锈胀力,并以锚杆(索)与外围注浆体接触面的变形协调条件来计算极限锈胀力时的锚杆(索)锈蚀量。同时,比例参数λ被采用来考虑岩土体对锚固体的约束作用,且将是否考虑注浆体内部裂缝影响作为2种方法计算锈胀力作用下的注浆体变形。然后,将参数选取在一定范围内经曲线拟合得极限锈胀力及对应锚杆(索)锈蚀量的简单表达式,进而根据2种不同适用条件下的锚杆(索)锈蚀速率计算式对锚杆(索)的使用寿命进行预测和分析。经算例对比验证了本文方法的可行性,并对锚杆(索)使用寿命的影响因素进行了参数分析,可知:1不考虑注浆体内部裂缝影响而计算得的锚杆(索)锈蚀量值偏于保守;2外围岩土对注浆体的约束作用对锚杆(索)的使用寿命有积极影响;3铁锈体积膨胀率n对锚杆(索)的使用寿命影响微小,而注浆体泊松比μc和保护层厚度c越大则锚杆(索)的使用寿命越长。 展开更多
关键词 锚杆(索) 外围注浆体 锈胀力 锈蚀量 锈蚀速率 使用寿命
下载PDF
蜕变关系形式化描述与分解技术 被引量:3
8
作者 惠战伟 黄松 +1 位作者 李辉 刘剑豪 《计算机工程与设计》 北大核心 2016年第2期405-412,共8页
蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与... 蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变测试正确性理论基础,提出一种蜕变关系形式化定义与描述方法,对蜕变关系的取值进行分析;分析蜕变关系与失效之间的联系,基于形式化定义提出一种蜕变关系分解技术。通过两个实例验证了该描述与分解技术的有效性。 展开更多
关键词 蜕变关系 蜕变测试 测试判定 形式化描述模型 分解模型
下载PDF
一种新的相控阵雷达旁瓣混和干扰策略 被引量:5
9
作者 赵国林 刘剑豪 韩俊 《中国电子科学研究院学报》 北大核心 2015年第6期607-612,共6页
为从旁瓣对新体制相控阵雷达进行更加有效的干扰,提高干扰资源利用率,本文提出了一种相控阵雷达旁瓣混和干扰策略。论文首先对混和干扰策略进行了描述,给出了干扰策略的运用原则和相关参数的计算方法,随后从数学上证明了干扰的有效性,... 为从旁瓣对新体制相控阵雷达进行更加有效的干扰,提高干扰资源利用率,本文提出了一种相控阵雷达旁瓣混和干扰策略。论文首先对混和干扰策略进行了描述,给出了干扰策略的运用原则和相关参数的计算方法,随后从数学上证明了干扰的有效性,最后结合三种特定场景通过仿真实验证明了干扰的有效性。该策略将现有方位饱和干扰同卷积干扰进行有效融合,并同时具备二者的优点,较现有相控阵雷达旁瓣干扰方法而言更加灵活高效。 展开更多
关键词 混和干扰 卷积干扰 分布式干扰 相控阵雷达 旁瓣干扰
下载PDF
iBGP与集中式路由收敛时间分析 被引量:2
10
作者 胡乔林 赵国林 +1 位作者 刘剑豪 石子言 《计算机科学》 CSCD 北大核心 2015年第S1期266-270,共5页
iBGP传播单条最佳路径的机制不能保证多样性路径及协议的正确性,且其路径探索会增加收敛时间,导致域间扰动。通过对分布式iBGP和集中式路由控制平台RCP的收敛时间进行详细分析,得出了iBGP路由协议收敛时间的理论上限值。通过实验证明了... iBGP传播单条最佳路径的机制不能保证多样性路径及协议的正确性,且其路径探索会增加收敛时间,导致域间扰动。通过对分布式iBGP和集中式路由控制平台RCP的收敛时间进行详细分析,得出了iBGP路由协议收敛时间的理论上限值。通过实验证明了理论分析的正确性,集中式路由控制平台可有效降低收敛时间和域间扰动。 展开更多
关键词 iBGP 瞬时失效 路由控制平台 域间扰动 收敛时间分析
下载PDF
一种基于蜕变关系的测试与失效测试用例定位模型 被引量:1
11
作者 惠战伟 黄松 +1 位作者 张婷婷 刘剑豪 《计算机科学》 CSCD 北大核心 2016年第10期57-62,共6页
针对传统的蜕变测试模型MTM存在的局限性,提出了一种基于蜕变关系的测试模型MRTM。首先通过对比分析,指出了MRTM的适用范围等特点;其次,针对MTM和MRTM都面临的失效测试用例难以确定的难题,提出了一种基于可疑度计算的蜕变测试失效测试... 针对传统的蜕变测试模型MTM存在的局限性,提出了一种基于蜕变关系的测试模型MRTM。首先通过对比分析,指出了MRTM的适用范围等特点;其次,针对MTM和MRTM都面临的失效测试用例难以确定的难题,提出了一种基于可疑度计算的蜕变测试失效测试用例定位方法 FTCL-MT。FTCL-MT作为对已有测试模型的补充,能够在蜕变关系不满足的情况下实现精确定位失效测试用例,从而能够为现有的故障定位技术提供支持。最后,通过实验验证了FTCL-MT方法的有效性。 展开更多
关键词 蜕变关系 测试模型 蜕变测试 失效测试用例
下载PDF
Selective reduction of carbon dioxide to carbon monoxide over Au/CeO_2 catalyst and identification of reaction intermediate 被引量:1
12
作者 朱晓兵 曲新 +4 位作者 李小松 刘景林 刘剑豪 朱斌 石川 《Chinese Journal of Catalysis》 SCIE EI CAS CSCD 北大核心 2016年第12期2053-2058,共6页
CO2 selective reduction to CO with H2 over a CeO2-supported nano-Au catalyst at atmospheric pres- sure was investigated. A high CO2 conversion, approaching the thermodynamic equilibrium value, and nearly 100% CO selec... CO2 selective reduction to CO with H2 over a CeO2-supported nano-Au catalyst at atmospheric pres- sure was investigated. A high CO2 conversion, approaching the thermodynamic equilibrium value, and nearly 100% CO selectivity were obtained. The surface formate intermediates generated during the reverse water-gas shift reaction at 400 ℃ were identified using in situ diffuse-reflectance infra- red Fourier-transform spectroscopy. The formate consumption to give CO and H20, determined using mass spectrometry, indicated that the reaction proceeded via an associative formate mecha- nism; this contributes to the high Au/CeO2 catalytic activity at low temperatures. 展开更多
关键词 CO2 reductionAu/CeO2 catalystCarbon monoxide Formate intermediate In situ DRIFT spectroscopy
下载PDF
空气源电化学连续分离制氧(Ⅰ):单池性能优化
13
作者 朱晓兵 张建辉 +3 位作者 李小松 刘景林 刘剑豪 金灿 《化工学报》 EI CAS CSCD 北大核心 2016年第5期2022-2032,共11页
随着工业化进程高速发展,尤其受近期"雾霾"的影响,大气环境质量越来越受重视。空气中氧气补给是提高空气质量的关键方法之一。相对于传统制氧技术(如空气物理分离法、化学法以及水电解法等),空气源电化学连续分离制纯氧技术... 随着工业化进程高速发展,尤其受近期"雾霾"的影响,大气环境质量越来越受重视。空气中氧气补给是提高空气质量的关键方法之一。相对于传统制氧技术(如空气物理分离法、化学法以及水电解法等),空气源电化学连续分离制纯氧技术具有空气源分离制纯氧、能量效率高、连续运行、环境友好、安静、易规模放大等特点,可实现室内外场合应用。该技术的关键部件是质子交换膜燃料电池和固体聚合物电解质电解池(简称燃料电池和电解池)。分别考察了其单池操作条件对性能的影响,如燃料电池的操作温度、相对湿度、气体利用率和压强,以及电解池的供水方式、循环水流速、操作温度等。测试了燃料电池单池极化曲线、电化学交流阻抗谱,并计算了膜电导率和活化能。对极化曲线进行拟合得出塔菲尔(Tafel)斜率、氧还原反应交换电流密度i0以及传质影响参数m、n等基本动力学参数。结果表明,氢空燃料电池单池最优化条件为:常压条件下,操作温度为60℃,峰值功率密度可达0.42 W·cm^(-2),膜面电阻为77 m?·cm^2,膜电导率为41.4 m S·cm^(-1)。Tafel斜率受温度影响较小,在120 m V·dec^(-1)左右,但受相对湿度影响较大。相对湿度对单池性能影响显著。电解池单池最优化操作条件为:操作温度对性能影响较大且最佳为65℃,膜面电阻为1.08?·cm^2,膜电导率为11.7 m S·cm^(-1)。循环水流速对性能影响较小。供水方式的优劣次序为两极供水≈阳极供水>阴极供水。在上述实验条件下,燃料电池中Nafion&#174;211膜和电解池中Nafion&#174;115膜的活化能计算值分别为3.75和4.61 k J·mol^(-1)。基于燃料电池和电解池的单池电化学性能优化,研究结果可为后续的制氧机系统中电池堆的实施提供实验依据。 展开更多
关键词 制氧 质子交换膜燃料电池 固体聚合物电解质电解池 电化学 分离 优化
下载PDF
一些大损耗介质填充圆柱双站RCS的矩量法分析(英文)
14
作者 董文峰 傅文斌 +1 位作者 刘剑豪 周健 《吉首大学学报(自然科学版)》 CAS 2002年第2期3-6,14,共5页
用矩量法对一些用于雷达隐身技术和微波暗室设计的大损耗介电材料填充的无限长介质圆柱在TM波照射下的双站RCS进行了数值计算 .仿真结果表明 ,大介电常数低损耗材料散射较弱 .当ka0 较小时 ,填充介质的电参数对散射的影响较明显 ,且随... 用矩量法对一些用于雷达隐身技术和微波暗室设计的大损耗介电材料填充的无限长介质圆柱在TM波照射下的双站RCS进行了数值计算 .仿真结果表明 ,大介电常数低损耗材料散射较弱 .当ka0 较小时 ,填充介质的电参数对散射的影响较明显 ,且随双站角增大缓慢减少 ;当ka0 较大时 ,填充介质的电参数对散射的影响不明显 。 展开更多
关键词 大损耗介质 填充 圆柱双站RCS 大损耗介电材料 雷达散射截面 矩量法 散射能量
下载PDF
Maxwell方程的浮动角标表示
15
作者 傅文斌 刘剑豪 《常德师范学院学报(自然科学版)》 2003年第2期8-11,共4页
借助于Kroneckerδ函数和Levi -Cevita三阶张量符号 ,讨论矢量和张量的浮动角标表示及其运算法则 .进而给出Maxwell方程和一些复杂媒质 ,如双各向同性、各向异性、双各向异性媒质的本构关系的浮动角标形式 。
关键词 麦克斯韦方程 MAXWELL方程 浮动角标 本构关系 复杂媒质 电磁场 微分形式 积分形式
下载PDF
面向android手机的涉密短信监控与分析系统的设计与实现
16
作者 石子言 赵国林 刘剑豪 《电脑知识与技术》 2014年第12X期8664-8665,共2页
当今手机短信不仅给人们带来了方便,同时也带来了安全隐患,主要安全问题体现在手机使用者安全防范意识不强,短信内容涉及一些安全敏感信息,如企业内部资料信息,政府保密资料等。该文主要介绍了一个面向android手机的涉密短信监控与分析... 当今手机短信不仅给人们带来了方便,同时也带来了安全隐患,主要安全问题体现在手机使用者安全防范意识不强,短信内容涉及一些安全敏感信息,如企业内部资料信息,政府保密资料等。该文主要介绍了一个面向android手机的涉密短信监控与分析系统的设计与实现,该系统采用了一种积极主动的防御思想,构建了由手机客户端的短信安全监测子系统和服务端的涉密短信监控与分析子系统构成的短信监控和分析平台,如何对手机短信的发送情况进行有效的监控和管理,实现高效访问是本文的研究重点。 展开更多
关键词 ANDROID 手机短息 保密安全
下载PDF
国内外无人机蜂群研究现状综述 被引量:38
17
作者 焦士俊 王冰切 +2 位作者 刘剑豪 刘锐 周栋栋 《航天电子对抗》 2019年第1期61-64,共4页
无人机蜂群作战正在从概念走向雏形。介绍了无人机蜂群的发展背景、国内外研究现状和目前面临的关键技术挑战,为无人机蜂群的发展提供参考。
关键词 无人机蜂群 研究现状 关键技术
下载PDF
反无人机蜂群作战效能评估 被引量:10
18
作者 焦士俊 刘锐 +1 位作者 刘剑豪 王冰切 《舰船电子对抗》 2019年第4期27-32,共6页
根据目前的反无人机作战手段,构建了反无人机蜂群作战效能评估模型,并利用模糊层次分析法,研究了有效评估反无人机蜂群作战方案的方法,根据战场情况,实时为指挥员提供最优的作战方案,提高指挥效率。
关键词 无人机蜂群 作战方案 效能评估
下载PDF
雷达探测“蜂群”无人机作战效能评估 被引量:6
19
作者 焦士俊 刘锐 +1 位作者 王冰切 刘剑豪 《舰船电子对抗》 2019年第1期38-41,共4页
针对雷达探测无人机"蜂群"定量评估难的问题,基于模糊层次分析法,构建了雷达探测效果评估模型,创新了雷达探测"蜂群"无人机评测流程,形成了一套简便可行的区分不同雷达对"蜂群"无人机探测效能的定量评估... 针对雷达探测无人机"蜂群"定量评估难的问题,基于模糊层次分析法,构建了雷达探测效果评估模型,创新了雷达探测"蜂群"无人机评测流程,形成了一套简便可行的区分不同雷达对"蜂群"无人机探测效能的定量评估方法。 展开更多
关键词 雷达 “蜂群”无人机 效能评估
下载PDF
基于AT45DB041B存储器的手持数据接收系统设计 被引量:1
20
作者 张光宇 吴敏波 刘剑豪 《信息化纵横》 2009年第17期8-11,共4页
针对海表气象参数的存储,设计了基于AT89LV52和AT45DB041B的手持数据接收存储器系统。详细阐述了系统硬件组成和软件设计,给出了单片机与AT45DB041B的SPI接口电路、程序流程图及部分程序代码。该系统具有存储容量大、数据保存非易失性... 针对海表气象参数的存储,设计了基于AT89LV52和AT45DB041B的手持数据接收存储器系统。详细阐述了系统硬件组成和软件设计,给出了单片机与AT45DB041B的SPI接口电路、程序流程图及部分程序代码。该系统具有存储容量大、数据保存非易失性等特点。 展开更多
关键词 AT45DB041B 存储器 手持接收系统 单片机
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部