oalib

OALib Journal期刊

ISSN: 2333-9721

费用:99美元

投稿

时间不限

2016 ( 138 )

2015 ( 6055 )

2014 ( 6360 )

2013 ( 6556 )

自定义范围…

匹配条件: “赖祥伟” ,找到相关结果约89634条。
列表显示的所有文章,均可免费获取
第1页/共89634条
每页显示
基于消息序列的形式化面向对象软件测试技术
,张为群
计算机科学 , 2002,
Abstract: 本文分析了UML交互图和状态图中的消息提取机制,构造了使用形式化描述语言RAISE对UML图中提取的消息进行描述、规约和精华,最终生成测试用例的测试流程,提出了基于消息序列的面向对象软件自动测试方法,并且在此基础上提出了检测OO系统容错能力的测试用例构造方法。
粗合成纤维混凝土力学性能及纤维-混凝土界面粘结行为研究
建中,,董贺
工业建筑 , 2006, DOI: 10.13204/j.gyjz200611023
Abstract: 对3种粗合成纤维增强混凝土的抗压、抗弯强度进行研究并绘制了荷载-挠度曲线,采用日本JSCE方法计算纤维混凝土的抗弯韧性和抗弯韧性系数。通过拔出试验对纤维与混凝土基体的界面粘结性能进行研究,绘制拔出荷载-位移曲线,并对粗合成纤维增强混凝土的机理进行分析。结果表明,此类纤维与基体的界面粘结性能优异,对混凝土有明显的增强、增韧效果。
基于消息序列的形式化面向对象软件测试技术
张为群?
计算机科学 , 2002,
Abstract: 本文分析了uml交互图和状态图中的消息提取机制,构造了使用形式化描述语言raise对uml图中提取的消息进行描述、规约和精华,最终生成测试用例的测试流程,提出了基于消息序列的面向对象软件自动测试方法,并么在此基础上提出了检测oo系统容借能力的测试用例构造方法。
量子粒子群和相关性分析在心电特征选择中的应用
曹军,刘光远,
计算机科学 , 2012,
Abstract: 针对心电(ecg)信号情感识别中特征选择的问题,首先运用相关性分析方法,去除原始特征集中的高相关度特征,实现原始特征集的降维;其次,为了在降维后的特征空间中进行有效的特征选择,提出了一种改进的二进制量子粒子群算法(csbqpso)。实验结果表明,基于本算法结合fisher分类器建立的ecu信号情感识别系统能够对高兴、惊奇、厌恶、悲伤、愤怒和恐惧6种情感达到良好的识别效果。
Affective Recognition from Pulse Signal Using Correlation Analysis and Max-Min Ant Colony Algorithm
相关性分析和最大最小蚁群算法用于脉搏信号的情感识别

陈 红,刘光远,
计算机科学 , 2012,
Abstract: For the affective recognition from pulse signal, a new approach was presented, which combined correlation analysis and max-min ant colony algorithm. The effective feature subset which can identify the affective recognition model with better performance was found. Firstly, sequential backward sclection(SBS) was used for sorting the original fcalures. Secondly, the linear correlation coefficient was presented for calculating the correlation between features, and some features were removed which had greater correlation according to the result of sorting. Finally, max-min ant colony algorithm realized feature selection which searched for an optimal subset based on the compact feature subset, and combined with Fisher classifier to finish classification of six emotions which include happiness, surprise, disgust, grief, anger and fear. The experiments show that the proposed approach can find the more stable and effective feature subset from the original feature set,and establish effective affective recognition model.
随机森林算法在肌电的重要特征选择中的应用
张洪强,刘光远,
计算机科学 , 2013,
Abstract: 在肌电信号的情感识别问题中,如何从高维特征中找出起关键作用的特征,一直是情感识别的难题。使用随机森林算法,并依照其对特征的评价准则,来计算肌电信号的126个初始特征在不同情感模式分类中的贡献度。依照每个特征的重要程度,优先组合贡献度大的特征并将其用于情感的分类。实验数据验证了该方法的有效性。
面向可用性的软件认知过程建模与模式检查方法
邱玉辉 张为群?
计算机科学 , 2007,
Abstract: 软件可用性检查是满足用户体验,提高软件质量的重要方法之一。本文提出了使用markov随机过程模型建立了用户交互过程认知模型的基本方法,并在此基础上给出了一个严格的可用性模式检查过程和方法,帮助软件开发者重构用户交互过程,为改善软件系统的可用性特征提供了一种有效的手段。实践证明,该模型对不同类型用户具有很强的区分能力,能够有效地体现用户操作的概率特征,改善了传统可用性方法过分依赖可用性专家个人能力的缺陷,对于各种不同类型的软件系统具有较好的通用性特征。
相关性分析和最大最小蚁群算法用于脉搏信号的情感识别
陈 红,刘光远,
计算机科学 , 2012,
Abstract: 针对脉搏信号的情感识别问题,提出了一种相关性分析和最大最小蚁群算法相结合的方法,找出了对情感识别模型构建具有较好性能的稳定特征子集。首先将原始特征用序列后向选择(sbs)方法排序,然后利用线性相关系数分析法计算特征间的相关度,并根据排序结果去除部分相关度较大的特征,最后针对筛选后的特征子集用最大最小蚁群算法进行特征选择,并结合fisher分类器对高兴、惊奇、厌恶、悲伤、愤怒和恐惧6种情感进行分类。实验结果表明,该方法能在原始特征集合中找出更稳定有效的特征子集,从而建立起有效的情感识别模型。
Software Testing Model Based on Formal Method
形式化的软件测试模型研究

,张为群,邱玉辉,周彦晖
计算机科学 , 2004,
Abstract: 传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论。
薄层-紫外分光光度法测定两面针中氯化两面针碱的含量
,刘布鸣,蒋瑾华,,杨敏
中国中药杂志 , 1992,
Abstract: <正>两面针为我国南方地区常用中药,具有活血、行气、祛风、止痛和消肿的功能。用于风寒湿痺引起的胃痛、腹痛、跌打损伤所致的疼痛。近代因发现两面针具有良好的镇痛和抗癌作用,渐被广泛应用。我们用TLC-UV法测定两面针中氯化两面针碱的含量,为两面针药材及其产品的质量控制提供了科学依据。
第1页/共89634条
每页显示


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.