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

基于马尔科夫链的软件故障分类预测模型被引量：13: 1; 作者易锦罗峋 +2 位作者凹建勋杨光宇罗平《中国科学院大学学报（中英文）》 CAS CSCD 北大核心 2013年第4期562-567,共6页; 传统的软件可靠性模型一般未考虑故障的危害严重程度对软件失效的影响.然而在很多研究(如软件可信性研究)中,不仅要考虑软件的失效率、故障总数与失效间隔时间等,同时也要考虑故障的危害严重程度对软件可信性的影响.为解决上述问题,提... 展开更多; 关键词软件可靠性马尔科夫链严重程度软件可信性; 在线阅读下载PDF 职称材料

基于社会学信任理论的软件可信性概念模型被引量：4: 2; 作者杨曦罗平贾古丽《电子学报》 EI CAS CSCD 北大核心 2019年第11期2344-2353,共10页; 可信性作为软件的一种复杂的高复合概念,几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上,论证了这些定义所涉范围彼此矛盾且不相容,进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信&q... 展开更多; 关键词软件可信性信任理论 STM STCM 可靠性安全性; 在线阅读下载PDF 职称材料

一种求解认知难题的模型检测方法被引量：5: 3; 作者骆翔宇苏开乐顾明《计算机学报》 EI CSCD 北大核心 2010年第3期406-414,共9页; 用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于搜索认知难题的所有解,而且可以... 展开更多; 关键词模型检测 OBDD 公告逻辑时态认知逻辑和与积难题; 在线阅读下载PDF 职称材料

基于MANET可用性的信任度量模型被引量：5: 4; 作者赵曦滨游之洋赵志峰《通信学报》 EI CSCD 北大核心 2010年第3期82-88,共7页; 提出并设计了基于可用性的信任度量模型(ABTEM,availability based trust evalua tion model),在此基础上可以构建多种针对可用性的安全服务。网络模拟实验的结果证明,将ABTEM应用于DSR路由协议时,在路由层能够成功地根据其恶意行为发... 展开更多; 关键词 MANET 可用性信任度量 DSR协议; 在线阅读下载PDF 职称材料

医学可视化中利用形状特征设计传递函数被引量：6: 5; 作者彭艺陈莉《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第1期78-84,共7页; 传递函数设计是医学可视化中一种困难却行之有效的方法.传递函数能高亮显示人体内的重要部位,为医生诊断疾病带来便捷.通过对目前传递函数设计方法中研究较少的形状特征进行研究,提出了基于形状特征的传递函数,利用三维不变矩、分形特... 展开更多; 关键词形状分割传递函数体绘制可视化; 在线阅读下载PDF 职称材料

基于二维直方图图像智能分割的体绘制传递函数设计被引量：5: 6; 作者孙思远陈莉廖鸿森《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2014年第10期1583-1592,共10页; 为了增强传递函数的特征区分能力并简化交互模式,提出一种基于二维直方图图像分割和特征度量差异性分析的渐进式体绘制传递函数设计方法.通过渐进式地用不同的特征组成传递函数对目标区域进行逐步求精地分离,并在每次分离时采用面向数... 展开更多; 关键词体绘制传递函数特征评估图像分割; 在线阅读下载PDF 职称材料

大规模、时变数据的体绘制与特征追踪被引量：2: 7; 作者彭艺陈莉雍俊海《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2013年第11期1614-1622,1634,共10页; 近年来,随着科学数据的快速增长,海量时变数据的分析成为了亟待科学家解决的难题.作为科学可视化领域的一类基本方法,体绘制与特征追踪能够很好地辅助科学家理解数据.文中针对科学数据大规模、时变、异构的特点,从大规模数据的实时体绘... 展开更多; 关键词大规模时变数据体绘制特征追踪; 在线阅读下载PDF 职称材料

基于样例图像的颜色传输函数设计被引量：1: 8; 作者吴敏陈莉陈伟锋《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2015年第2期296-304,共9页; 体绘制是颜色混合的过程,用户很难通过直接编辑颜色传输函数来得到期望的颜色混合效果.为了能更直观地为体绘制图像设置颜色,提出一种基于样例图像的颜色传输函数设计方法.首先使用颜色迁移方法,基于样例图像对初始体绘制图像进行颜色迁... 展开更多; 关键词体绘制颜色传输函数样例图像; 在线阅读下载PDF 职称材料

题名基于马尔科夫链的软件故障分类预测模型被引量：13: 1; 作者易锦罗峋凹建勋杨光宇罗平; 机构中国信息安全测评中心香港科技大学中国人民解放军清华大学软件学院信息系统安全教育部重点实验室; 出处《中国科学院大学学报（中英文）》 CAS CSCD 北大核心 2013年第4期562-567,共6页; 基金国家自然科学基金重点项目(90818021 9071803)资助; 文摘传统的软件可靠性模型一般未考虑故障的危害严重程度对软件失效的影响.然而在很多研究(如软件可信性研究)中,不仅要考虑软件的失效率、故障总数与失效间隔时间等,同时也要考虑故障的危害严重程度对软件可信性的影响.为解决上述问题,提出一种基于马尔科夫链的预测方法,用以预测软件未来发生故障的种类,即预测软件未来发生故障的危害严重程度.这种分类预测方法可以更加全面地描述由软件故障引起的失效问题.; 关键词软件可靠性马尔科夫链严重程度软件可信性; Keywords software reliability Markov chain severity software trustworthiness; 分类号 TP311 [自动化与计算机技术—计算机软件与理论] TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于社会学信任理论的软件可信性概念模型被引量：4: 2; 作者杨曦罗平贾古丽; 机构清华大学软件学院信息系统安全教育部重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2019年第11期2344-2353,共10页; 基金国家自然科学基金重点项目(No.90818021) 核高基重大专项(No.2012zx01039-004-46) 国家发改委信息安全专项(No.2012-1424); 文摘可信性作为软件的一种复杂的高复合概念,几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上,论证了这些定义所涉范围彼此矛盾且不相容,进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信"一词源于社会学,所以应该从社会学的信任理论出发来探讨软件可信性的本质.本文在上百篇经典社会学信任理论文献上构建出信任体系模型STM,并与软件的信任体系进行了对比和映射,提出基于社会学信任理论的软件可信性概念模型STCM.在STM和STCM的基础上给出软件可信性概念模型的定义系统.最后通过度量评估实验验证了模型是可行的、有效的,为软件可信性的发展提供了新的研究方向.; 关键词软件可信性信任理论 STM STCM 可靠性安全性; Keywords software trustworthiness trust-theory STM STCM reliability security; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种求解认知难题的模型检测方法被引量：5: 3; 作者骆翔宇苏开乐顾明; 机构清华大学软件学院信息系统安全教育部重点实验室桂林电子科技大学计算机与控制学院北京大学信息科学技术学院; 出处《计算机学报》 EI CSCD 北大核心 2010年第3期406-414,共9页; 基金国家自然科学基金重点项目(90718039) 国家"九七三"重点基础研究发展规划项目基金(2010CB328103) +3 种基金国家自然科学基金(60763004) 中国博士后科学基金(20090450389)资助; 文摘用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于搜索认知难题的所有解,而且可以验证相关的时态认知性质,这一特性是当前认知逻辑模型检测工具MCK、MCMAS和DEMO不能完全支持的.作者采用OBDD开发了相关的符号化模型检测工具MCTK并对和与积难题进行建模和验证,实验结果说明了文中方法的正确性和高效性.; 关键词模型检测 OBDD 公告逻辑时态认知逻辑和与积难题; Keywords model checking ordered binary decision diagram public announcement logic temporal epistemic logics sum and product riddle; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于MANET可用性的信任度量模型被引量：5: 4; 作者赵曦滨游之洋赵志峰; 机构清华大学软件学院信息系统安全教育部重点实验室清华大学计算机科学与技术系镇江船艇学院计算机教研室; 出处《通信学报》 EI CSCD 北大核心 2010年第3期82-88,共7页; 基金国家重点基础研究发展计划("973"计划)基金资助项目(2010CB328000) 国家高技术研究发展计划("863"计划)基金资助项目(2007AA040701-1)~~; 文摘提出并设计了基于可用性的信任度量模型(ABTEM,availability based trust evalua tion model),在此基础上可以构建多种针对可用性的安全服务。网络模拟实验的结果证明,将ABTEM应用于DSR路由协议时,在路由层能够成功地根据其恶意行为发现网络中的恶意节点,并且进一步孤立这些恶意节点,从而避免网络继续受到恶意节点的侵害,显著提高了MANET系统的可用性。; 关键词 MANET 可用性信任度量 DSR协议; Keywords mobile ad hoc network availability trust evaluation DSR protocols; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名医学可视化中利用形状特征设计传递函数被引量：6: 5; 作者彭艺陈莉; 机构清华大学软件学院计算机图形学与辅助设计研究所清华大学软件学院信息系统安全教育部重点实验室清华大学信息科学与技术国家实验室; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第1期78-84,共7页; 基金国家"八六三"高技术研究发展计划(2010AA186002 2007AA040401) +2 种基金国家自然科学基金(60773143 91015008) 中日国际合作项目(51021140004); 文摘传递函数设计是医学可视化中一种困难却行之有效的方法.传递函数能高亮显示人体内的重要部位,为医生诊断疾病带来便捷.通过对目前传递函数设计方法中研究较少的形状特征进行研究,提出了基于形状特征的传递函数,利用三维不变矩、分形特征、线状特征等多种形状特征突出显示用户感兴趣的具有相同形状的结构.最后用一些医学数据集进行测试,证明了文中方法的高效性和便捷性.; 关键词形状分割传递函数体绘制可视化; Keywords shape segmentation transfer function volume rendering visualization; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于二维直方图图像智能分割的体绘制传递函数设计被引量：5: 6; 作者孙思远陈莉廖鸿森; 机构清华大学软件学院计算机图形学与辅助设计研究所清华大学软件学院信息系统安全教育部重点实验室; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2014年第10期1583-1592,共10页; 基金国家自然科学基金(61272225 91315302 +2 种基金 60773143) 国家"九七三"重点基础研究发展计划项目(2010CB328001); 文摘为了增强传递函数的特征区分能力并简化交互模式,提出一种基于二维直方图图像分割和特征度量差异性分析的渐进式体绘制传递函数设计方法.通过渐进式地用不同的特征组成传递函数对目标区域进行逐步求精地分离,并在每次分离时采用面向数据分类的特征空间度量差异性的评估方法智能指导二维传递函数数值特征的选取.使用这一系列二维传递函数对目标区域进行多次分离,得到目标区域精确的分离结果;再利用此结果突出目标区域的显示,增强可视化效果.由于该方法借鉴了前人建立在对二维直方图图像进行normalized cut分割和层次聚类的交互方式,使得二维直方图的交互也非常简单便捷.实验结果表明,文中方法是有效的.; 关键词体绘制传递函数特征评估图像分割; Keywords volume rendering transfer function feature evaluation image segmentation; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名大规模、时变数据的体绘制与特征追踪被引量：2: 7; 作者彭艺陈莉雍俊海; 机构清华大学计算机科学与技术系清华大学软件学院计算机图形学与辅助设计研究所清华大学软件学院信息系统安全教育部重点实验室清华大学清华大学信息科学与技术国家实验室; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2013年第11期1614-1622,1634,共10页; 基金国家自然科学基金(61272225,51261120376,91315302) 国家“八六三”高技术研究发展计划(2012AA041606,2012AA040902) +1 种基金国家重大专项(2011ZX02403); 文摘近年来,随着科学数据的快速增长,海量时变数据的分析成为了亟待科学家解决的难题.作为科学可视化领域的一类基本方法,体绘制与特征追踪能够很好地辅助科学家理解数据.文中针对科学数据大规模、时变、异构的特点,从大规模数据的实时体绘制,以及时变、异构数据的特征追踪两个方面对现有的研究工作进行了梳理,分别从不同的角度对相关的方法进行了分类和汇总.最后,对科学可视化领域未来的研究方向进行了展望.; 关键词大规模时变数据体绘制特征追踪; Keywords large-scale time-varying data volume rendering feature tracking; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于样例图像的颜色传输函数设计被引量：1: 8; 作者吴敏陈莉陈伟锋; 机构清华大学软件学院计算机图形学与辅助设计研究所清华大学软件学院信息系统安全教育部重点实验室浙江财经大学信息学院; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2015年第2期296-304,共9页; 基金国家自然科学基金(61272225 91315302 +2 种基金 60773143) 国家"九七三"重点基础研究发展计划项目(2010CB328001); 文摘体绘制是颜色混合的过程,用户很难通过直接编辑颜色传输函数来得到期望的颜色混合效果.为了能更直观地为体绘制图像设置颜色,提出一种基于样例图像的颜色传输函数设计方法.首先使用颜色迁移方法,基于样例图像对初始体绘制图像进行颜色迁移,使得迁移后的体绘制图像与样例图像有类似的着色风格;然后还原体绘制的颜色混合过程,使用最优化的框架将迁移后的体绘制图像反推到三维建立颜色传输函数,在该颜色传输函数下的绘制结果与样例图像尽可能保持一致,样例图像可以是任意符合用户期望颜色效果的图像.与传统的传输函数设计方法相比,文中方法利用了已有图像资源和人类对图像的感知能力,更简单直观,易于使用,且该方法是有效的.; 关键词体绘制颜色传输函数样例图像; Keywords volume rendering color transfer function example-based; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于马尔科夫链的软件故障分类预测模型	易锦罗峋凹建勋杨光宇罗平	《中国科学院大学学报（中英文）》 CAS CSCD 北大核心	2013	13	在线阅读下载PDF 职称材料
2	基于社会学信任理论的软件可信性概念模型	杨曦罗平贾古丽	《电子学报》 EI CAS CSCD 北大核心	2019	4	在线阅读下载PDF 职称材料
3	一种求解认知难题的模型检测方法	骆翔宇苏开乐顾明	《计算机学报》 EI CSCD 北大核心	2010	5	在线阅读下载PDF 职称材料
4	基于MANET可用性的信任度量模型	赵曦滨游之洋赵志峰	《通信学报》 EI CSCD 北大核心	2010	5	在线阅读下载PDF 职称材料
5	医学可视化中利用形状特征设计传递函数	彭艺陈莉	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2011	6	在线阅读下载PDF 职称材料
6	基于二维直方图图像智能分割的体绘制传递函数设计	孙思远陈莉廖鸿森	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2014	5	在线阅读下载PDF 职称材料
7	大规模、时变数据的体绘制与特征追踪	彭艺陈莉雍俊海	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2013	2	在线阅读下载PDF 职称材料
8	基于样例图像的颜色传输函数设计	吴敏陈莉陈伟锋	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2015	1	在线阅读下载PDF 职称材料