虞凡

作品数：8被引量：18H指数：3
导出分析报告
供职机构：西安交通大学电子与信息工程学院更多>>
发文主题：测试用例生成XYZ/EPROLOG自动生成方法软件测试用例更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机研究与发展》《计算机工程》《微电子学与计算机》《西安交通大学学报》更多>>
所获基金：国家重点基础研究发展计划国家高技术研究发展计划陕西省科学技术研究发展计划项目国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
从图像中快速检测直线的并行算法被引量：5
《西安交通大学学报》2006年第12期1370-1373,1387,共5页虞凡 吴惠思 覃征 杨博 
国家重点基础研究计划资助项目(2004CB719401)
提出了一种在具有可扩展机群体系结构的通用超级并行机环境下的快速直线检测算法.采用最优域划分法将原图像进行N×N等面积划分,并映射到并行系统各节点的局部坐标下进行直线检测.通过先后两次在Hough变换的扫描过程中提前引入阈值作用...
关键词：并行算法 图像处理 直线检测 
一种基于时频域归一化二次谱的信号特征检测方法
《西安交通大学学报》2006年第10期1107-1110,共4页虞凡 覃征 
国家自然科学基金资助项目(60542004)
针对传统的基于傅里叶变换的信号特征检测方法在频率域内没有考虑时间分辨率,而基于小波变换的方法对缓变信号特征检测困难等问题,提出了一种基于时频域归一化二次谱的信号特征检测新方法.该方法首先在频率域内对原始信号的振幅谱进行...
关键词：信号特征检测 时频域 归一化二次谱 
异构集成学习中的观察学习机制研究(英文)被引量：3
《广西师范大学学报（自然科学版）》2006年第4期54-57,共4页虞凡 杨利英 覃征 
Major State Basic Research Development Program of China (973 Program) (2004CB719401)
集成学习是提高分类精度的一种有效途径,已在许多领域显示出其优于单个分类器的良好性能。观察学习是一种基于社会学习理论的集成学习方法,以往对其研究集中于同构模式。在此提出了基于异构模式的观察学习策略,通过训练、观察、再训练...
关键词：观察学习 社会学习理论 分类器集成 异构集成 
多智能体系统(MAS)在企业内部信用评估中的应用研究
《微电子学与计算机》2006年第5期1-4,共4页虞凡 覃征 蔺楠 贾晓琳 
国家高技术研究发展计划项目(2003AA412020);陕西省"十五"科技发展项目(2000K08-G12)
研究、实现了企业内部信用评估多智能体系统IECRMAS(Inner-EnterpriseCreditRatingSystem)。与传统决策支持系统不同的是,IECRMAS不仅关注客体信息利用,而且研究了如何提高评估主体和评估团队的理性,以及促进共享团队形成的评估机制。基...
关键词：MULTI-AGENT SYSTEM 信用评估 
一个基于属性文法的分布式软件构架描述语言被引量：3
《计算机研究与发展》2006年第1期54-60,共7页贾晓琳 覃征 何坚 虞凡 
国家"九七三"重点基础研究发展规化基金项目(2004CB719401)
综合考虑当前各种软件构架描述方式的特点,结合分布式软件的特征,首先,提出并建立了一个以属性文法AG(attributed grammar)为基础的、基于构件的分布式软件构架描述语言DSADL(distributedsoftware architecture descriptionlanguage)及...
关键词：软件构架 属性文法 分布式软件 体系结构描述语言 
基于XYZ/E规范的软件测试用例自动生成方法被引量：4
《计算机工程》2005年第19期76-78,共3页虞凡 覃征 贾晓琳 何坚 
国防"十五"预研项目
针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法。该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程...
关键词：测试用例生成 软件规范 XYZ/E PROLOG 边界值测试 
基于体系结构描述的软件测试技术被引量：3
《西安交通大学学报》2005年第8期808-811,884,共5页贾晓琳 覃征 何坚 虞凡 
国家高技术研究发展计划资助项目(2003AA41202020);陕西省科技发展计划"十五"攻关资助项目(2000K08-G12).
在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图....
关键词：软件结构描述语言 体系结构 软件测试 
软件体系结构动态特征建模与验证
《西安交通大学学报》2005年第4期347-350,355,共5页贾晓琳 覃征 何坚 虞凡 
国家高技术研究发展计划资助项目(2003AA412020);陕西省科技发展计划"十五"攻关资助项目(2000K08 G12).
针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.首先根据体系结构层次模型扩展Pr/T网建立体系结构动...
关键词：软件体系结构 谓词/变迁网 线性时序逻辑 模型验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部