DSA 2017:中国北京
可靠系统及其应用国际会议,DSA 2017,中国北京,2017年10月31日至11月2日。 电气与电子工程师协会 2017 ,国际标准图书编号 978-1-5386-3690-9 A.查克拉帕尼·拉奥 , A.劳夫 , 冈旺·达迪亚拉 , V.帕苏普列蒂 :
基于变异测试的形式化验证工具评估。 1-7 费关 , 石俊友 , 马晓东 , 崔伟伟 , 吴杰 :
一种基于k-最近邻的虚警识别方法。 8-12 王一飞 , 陈刚(音译) :
Coq中拉普拉斯变换的形式化。 13-21 海金记 , 宋晃(Song Huang) , 吴亚宁 , Zhanwei Hui公司 , 吕学伟 :
一种新的基于最大信息系数和自动聚类的属性选择方法。 22-28 王浩(Hao Wang) , 钟德铭(Deming Zhong) , 赵玉坤 , 孙睿(Rui Sun) :
基于多类危险因素的系统安全分析方法。 29-34 洪琳 , 赵东东 , 林俊然 , 木帅韩 , 景天 , 向建文 , 西安马 , 钟英寿 :
CVSSA:基于支持向量机和属性控制流图的固件跨体系结构漏洞搜索。 35-41 林俊然 , 陆丽萍 , 洪琳 , 木帅汉族 , 赵东东 , 向建文 , 于海国 , 西安马 :
四种固件漏洞同源性分析方法的实验研究。 42-50 张驰(Chi Zhang) , 马云云 , 王晓华 , 王瑞雪 :
基于Petri网的软件体系结构建模与可靠性评估。 51-56 林莉(Lin Li) , 姚莹莹 , 张晓林 :
基于混沌映射和DNA编码的明文相关选择性图像加密方案。 57-65 曾乐天 , 杨春晖 , 赵月龙 , 陈平 , 王强(Qiang Wang) :
一种新的窄带合成孔径雷达(SAR)成像算法测试方法。 66-72 良口 , 叶媛 , 孙建国 , 云林 :
基于移动云计算和SVM的癌症预测。 73-76 车宏明 , 林邹 , 刘秦云 , 马思聪 , 杨洪记 , 张驰(Chi Zhang) , 威廉·程昌楚 , 海颖琪 :
基于软件定义工作的可靠景区管理方法。 77-85 张涛(Tao Zhang) , 王晓丹 :
空间利用工程中FPGA软件的高可靠性测试。 86-91 张玉龙 , 王露露(Lulu Wang) , 博高 , 王立新 , 罗家军 , 韩正胜 :
基于失效物理的电力设备系统分析和PHM方法。 92-97 赵金龙 , 赵品旺(Pinwang Zhao) , 刘树林 , 刘岳(音) , 王秋芳 , 那娇 :
基于双谱LPP和PNN的故障识别方法。 98-102 雷松 , 李丽·郭 , 王慧萍 , 杨石龙 , 山津 , 段江永 , 徐乐乐 :
基于多元状态估计技术和自组织特征映射的空间有效载荷异常检测方法。 103-109 刘波(Bo Liu) , 张晓林 , 刘冰(Bing Liu) , 陈志 :
多种资源类型下雾服务的性能分析模型。 110-117 刘俊杰 , 高晓鹏 , 薄江 , 杨顺坤 , 张振宇 :
多核VxWorks应用程序的确定性重播。 118-125 柘溪瑶 , 张涛(Tao Zhang) , 王金波 :
基于时间抽象状态机的嵌入式系统测试数据自动生成。 126 马振伟 , 陈刚(音译) :
定理证明工具Coq中坐标变换的形式推导和验证。 127-136 李哲 , 钟德铭(Deming Zhong) , 孙睿(Rui Sun) , 王浩(Hao Wang) :
使用混合动力学理论扩展STPA方法。 137-142 吕学伟 , 宋晃(Song Huang) , 詹伟辉 , 海金记 , 单丽 :
基于变形关系的多路径测试用例生成。 143 尹丽(音) , 孙志安 , 汀汀江 :
基于混合模型的复杂装备系统软件可靠性测试套件生成方法。 144-154 吕坤(Lu Kong) , Bin Wang(王斌) , 山州 , 杨亚文 :
SoPC中嵌入式软件覆盖探测的一种新方法。 155 山州 , 张涛(Tao Zhang) , 杨亚文 :
基于动态激励模型的跨时钟域信号研究。 156 马云云 , 王金波 , 岳龙区 , 张涛(Tao Zhang) :
基于信号通路的高可靠性软件测试需求分析方法。 157 冯二强 , 郑军 :
基于失效模式的软件可靠性模型。 158-161 王安邦 , 李洪国 , 袁晨(音) , 王俊杰 , 宋元璋 :
基于LM-BP神经网络的软件质量综合评价。 162-167 雨花旗 , 刘文红 , 张伟翔 , 杨德恒 :
关于自动程序修复的评估指标。 168 宋晃 , 吴亚宁 , 海金记 , 白成祖 :
用于跨项目缺陷预测的三阶段缺陷预测模型。 169 魏伟 , 洪恩忠 , 曹素芝 :
基于分组交换的时频同步误差分析与校正。 170 王建民 , 王金波 , Bin Wang(王斌) :
基于灰色系统理论的电力系统故障诊断改进方法。 171 黄锦洲 , 胡哲坤 , 郑岱 :
基于流动态Bloom过滤器的在线社交网络关键词搜索。 172-177 郭杏林 , 阎云强 , 莲芝琪 , 张毅(音) , 陈全根 :
基于奇异值分解的改进证据冲突度量算法。 178 费力 , 刘白 , 狄鹏 , 龙里汤 :
船舶复杂系统综合测试诊断的可拓分析方法研究。 179
![](https://dblp.org/img/cog.dark.24x24.png)