虞凡
- 作品数：8 被引量：35H指数：4
- 供职机构：西安交通大学电子与信息工程学院更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划陕西省科学技术研究发展计划项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 多智能体系统(MAS)在企业内部信用评估中的应用研究
- 2006年
- 研究、实现了企业内部信用评估多智能体系统IECRMAS(Inner-EnterpriseCreditRatingSystem)。与传统决策支持系统不同的是,IECRMAS不仅关注客体信息利用,而且研究了如何提高评估主体和评估团队的理性,以及促进共享团队形成的评估机制。基于MAS技术的信用评估系统具有分布式、半自治的、可观测的、可控的、可动态配置等特点。该系统的主要创新之处在于;⑴基于企业信用交易过程的信用评估流程规范化;⑵面向评估任务的评估主体动态分组和共享团队培育机制;⑶以Agent辅助评估师个人构成理性评估个体。IECRMAS在多家单位进行了应用,取得了良好的社会效益和经济效益。
- 虞凡覃征蔺楠贾晓琳
- 关键词：MULTI-AGENTSYSTEM信用评估
- 一个基于属性文法的分布式软件构架描述语言被引量：4
- 2006年
- 综合考虑当前各种软件构架描述方式的特点,结合分布式软件的特征,首先,提出并建立了一个以属性文法AG(attributed grammar)为基础的、基于构件的分布式软件构架描述语言DSADL(distributedsoftware architecture descriptionlanguage)及其自动生成模型,通过对属性文法的扩充,实现了用其描述构件的并行、同步、时序等特性;其次,借助于AG分析器和属性计算器,开发了基于DSADL的分布式软件构架开发集成环境原型,支持对分布式软件体系结构的图形化建模和ADL的自动生成,可方便地进行系统验证和分析·初步使用表明,DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计,从而提高系统的开发效率·
- 贾晓琳覃征何坚虞凡
- 关键词：属性文法分布式软件体系结构描述语言
- 一种基于时频域归一化二次谱的信号特征检测方法
- 2006年
- 针对传统的基于傅里叶变换的信号特征检测方法在频率域内没有考虑时间分辨率,而基于小波变换的方法对缓变信号特征检测困难等问题,提出了一种基于时频域归一化二次谱的信号特征检测新方法.该方法首先在频率域内对原始信号的振幅谱进行傅里叶变换,再将其归一化,获得归一化二次谱,这种二次谱的自变量具有时间量纲,它既能反映信号的频率特征,也能反映信号的时间特征.然后,基于二次谱进行特征检测,同时可采用补零或加窗等方法对数字信号进行处理,以防止频谱泄露,从而克服了单纯频谱分析的不足.针对大型杆件与石油管线传导信号的特征检测结果表明,所提方法能对被测物的完整性做出准确、有效的诊断.
- 虞凡覃征
- 关键词：时频域
- 基于XYZ/E规范的软件测试用例自动生成方法被引量：16
- 2005年
- 针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法。该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值。最后,通过一个实例验证了该方法的可行性。与传统方法相比,该方法既保证了软件测试用例的有效性,又减少了测试用例输出的计算工作量。
- 虞凡覃征贾晓琳何坚
- 关键词：测试用例生成XYZ/EPROLOG
- 软件体系结构动态特征建模与验证被引量：1
- 2005年
- 针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.首先根据体系结构层次模型扩展Pr/T网建立体系结构动态行为模型(DFM)并构造DFM的可达图,然后使用基于自动机理论的方法来验证模型的时态逻辑性质,最后通过对一个电子商务系统实例的并发控制机制建模和模型检测,验证了该方法的有效性.所提方法结合了Pr/T网和线性时序逻辑的优点,为进一步开展软件体系结构动态行为的分析、验证奠定了基础.
- 贾晓琳覃征何坚虞凡
- 关键词：软件体系结构线性时序逻辑
- 异构集成学习中的观察学习机制研究(英文)被引量：3
- 2006年
- 集成学习是提高分类精度的一种有效途径,已在许多领域显示出其优于单个分类器的良好性能。观察学习是一种基于社会学习理论的集成学习方法,以往对其研究集中于同构模式。在此提出了基于异构模式的观察学习策略,通过训练、观察、再训练三个阶段完成学习。在UCI标准数据集上对异构环境下的观察学习算法进行了实验研究。结果表明,该方法优于多数投票法和单个分类算法,其对弱分类器组成的分类器集合尤其有效。从偏差/方差分解的角度对观察学习提高分类性能的原因进行了论证,结果表明,观察学习算法既可以降低偏差,也可以降低方差。
- 虞凡杨利英覃征
- 关键词：社会学习理论分类器集成异构集成
- 从图像中快速检测直线的并行算法被引量：6
- 2006年
- 提出了一种在具有可扩展机群体系结构的通用超级并行机环境下的快速直线检测算法.采用最优域划分法将原图像进行N×N等面积划分,并映射到并行系统各节点的局部坐标下进行直线检测.通过先后两次在Hough变换的扫描过程中提前引入阈值作用,可有效减小计算的复杂度.同时证明了,划分后的子图像采用原阈值的1/(2N-1)进行检测,可满足原图像中的直线目标不丢失的要求.实验结果表明,所提算法具备高鲁棒性和强抗噪能力,能有效提升加速比,该比值的最大值可为25.320.
- 虞凡吴惠思覃征杨博
- 关键词：图像处理
- 基于体系结构描述的软件测试技术被引量：5
- 2005年
- 在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.
- 贾晓琳覃征何坚虞凡
- 关键词：体系结构软件测试
