检索结果-内蒙古大学图书馆

计算机系统应用 2014年第1期23卷 103-108页

作者：邵晨曦孙克律邵振中中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027 安徽江淮汽车股份有限公司合肥230022

过去多年来兰彻斯特方程已成为计算机作战仿真领域的标准方法,然而该类方法不能充分反映建模中相关变量内在的不确定性.鉴于此,提出了一种基于云定性仿真方法的定性兰彻斯特作战模型,该方法引入正态云的数字特征和云测度指标表示定性路... 详细信息

过去多年来兰彻斯特方程已成为计算机作战仿真领域的标准方法,然而该类方法不能充分反映建模中相关变量内在的不确定性.鉴于此,提出了一种基于云定性仿真方法的定性兰彻斯特作战模型,该方法引入正态云的数字特征和云测度指标表示定性路标值,并将云测度指标在约束集合中传播以提高仿真结果的准确性,不仅可以更准确地表征作战模型中相关变量的不确定性,而且扩充了作战应用的适用范围,尤其是在无法或无需对模型相关变量精确量化的情况下,仿真中涉及到如何表征这些不确定性的定性变量时,该方法具有一定优势.最后以经典历史战役为例验证了该方法的正确性与可行性.

关键词：兰彻斯特方程作战模型定性仿真云模型云测度

来源：评论

学校读者我要写书评

暂无评论

基于启发式搜索的IP数据流分类方法的研究

基于启发式搜索的IP数据流分类方法的研究

引用

2012中国计算机大会

作者：武飞曾凡平熊能邓超强董齐兴中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026

安徽省计算与通讯软件重点实验室，合肥230026基于应用层载荷特征的IP流分类技术的准确性较高，但是，当特征库庞大时遍历匹配特征库需要消耗大量的时间。鉴于此，提出一种将应用层载荷特征和启发式搜索相结合的IP数据流分类方法。通过... 详细信息

安徽省计算与通讯软件重点实验室，合肥230026基于应用层载荷特征的IP流分类技术的准确性较高，但是，当特征库庞大时遍历匹配特征库需要消耗大量的时间。鉴于此，提出一种将应用层载荷特征和启发式搜索相结合的IP数据流分类方法。通过从各种应用产生的数据包之间提取共同特征并以此共同特征建立启发式规则，根据启发式规则将特征库划分为多个特征子集，在数据包匹配过程中只需要根据启发式规则搜索匹配特定的特征子集，从而大大减少了对无关特征的匹配过程，使待匹配的特征子集具有更强的针对性、使得时间性能得到提高。对于部分应用采用以DNS为引导的方法来对数据包进行分类，该方法部分消除了基于载荷无法对加密数据进行识别的弊端。本文用C语言实现了该算法，并与开源软件17-filter算法进行了对比实验。实验结果表明：在离线状态下，本文提出的方法的分类速度是17-filter分类速度的6-10倍，总体识别准确性达到98％以上。

关键词：数据流分类启发式规则正则表达式 17-filter

来源：评论

学校读者我要写书评

暂无评论

程序不变量到断言的自动转换方法研究及其应用

程序不变量到断言的自动转换方法研究及其应用

引用

2012中国计算机大会

作者：邓超强曾凡平武飞熊能董齐兴中国科学技术大学计算机科学与技术学院合肥 230026 中国科学院软件研究所计算机科学国家重点实验室北京 100190 中国科学技术大学计算机科学与技术学院合肥 230026 中国科学院软件研究所计算机科学国家重点实验室北京 100190 安徽省计算与通讯软件重点实验室合肥 230026

程序不变量可以揭示程序的内部属性和动态执行情况，已经成功应用于软件测试用例的生成与约简。然而，每新增一个用例都要在整个测试用例集合上重新提取程序不变量，时间开销较大。本文提出一种基于正则表达式的将程序不变量自动转换为... 详细信息

程序不变量可以揭示程序的内部属性和动态执行情况，已经成功应用于软件测试用例的生成与约简。然而，每新增一个用例都要在整个测试用例集合上重新提取程序不变量，时间开销较大。本文提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法，并利用断言判断新用例是否冗余，仅当新用例非冗余时才提取程序不变量，从而大幅度减小时间开销。将这种基于断言的测试方法应用于回归测试，可以有效约简测试用例集合，识别程序改动所影响的元素，进而发现潜在的程序错误。实验结果表明，与其它测试用例选择方法相比，本文方法时间消耗小、测试用例集合约简率高、揭错能力强。

关键词：程序不变量断言回归测试错误识别测试用例集合约简

来源：评论

学校读者我要写书评

暂无评论

基于HXDSP的众核虚拟平台设计

基于HXDSP的众核虚拟平台设计

引用

第二十四届计算机工程与工艺年会暨第十届微处理器技术论坛

作者：蔡恒雨郑启龙宁成明中国科学技术大学计算机科学与技术学院合肥 230026 高性能计算安徽省重点实验室合肥 230026

随着数字信号处理技术的快速发展，通信、雷达、信号处理等领域的算法复杂度日益增大，单核数字信号处理器(DSP)已经无法满足计算能力和存储资源需求.在此背景下，使用国产双核处理器魂芯数字信号处理器(HXDSP)，设计多核的HXDSP虚拟平... 详细信息

随着数字信号处理技术的快速发展，通信、雷达、信号处理等领域的算法复杂度日益增大，单核数字信号处理器(DSP)已经无法满足计算能力和存储资源需求.在此背景下，使用国产双核处理器魂芯数字信号处理器(HXDSP)，设计多核的HXDSP虚拟平台，实现单板卡和多板卡仿真平台，提供计算能力更高的分布式计算系统具有重要意义.HXDSP众核虚拟平台采用SystemC语言进行设计，实现了 RapidIO数据交换协议和Ethernet数据交换协议，实现多HXDSP芯片之间的数据传输和通信，并设计存储器模块扩展虚拟平台的存储空间.通过实验验证本文设计的RapidIO和Ethernet数据交换模型，其数据传输速率符合相关协议标准的规定，同时可以对各HXDSP芯片的执行进行一定的同步控制.HXDSP众核虚拟平台的设计，为实际硬件系统的设计和生产，提供了一定的指导意义.

关键词： HXDSP 虚拟平台 SystemC RapidIO Ethernet 同步控制

来源：评论

学校读者我要写书评

暂无评论

导向定位测序数据的甲基化序列比对算法优化

导向定位测序数据的甲基化序列比对算法优化

引用

第一届RISC-V技术及生态研讨会

作者：刘梦雅徐云中国科学技术大学计算机科学与技术学院合肥 230027 安徽省高性能计算重点实验室合肥 230026

导向定位测序(GPS)是一种全基因组DNA甲基化检测的新测序技术，产生的测序数据具有成本低、没有序列偏好等优势。目前，甲基化分析中最重要的一步是将其测序产生的序列比对到参考基因组上。但是，现有导向定位测序的方法使用Smith-Water... 详细信息

导向定位测序(GPS)是一种全基因组DNA甲基化检测的新测序技术，产生的测序数据具有成本低、没有序列偏好等优势。目前，甲基化分析中最重要的一步是将其测序产生的序列比对到参考基因组上。但是，现有导向定位测序的方法使用Smith-Waterman进行局部序列比对，时间消耗过大且容易对序列比对位置产生误判。因此，提出一种导向定位测序数据的改进比对算法，该算法利用其双端测序的优势，先用甲基化序列端数据进行序列比对，对多位置匹配的序列再利用常规数据端数据进行比对位置确定。实验结果表明：本文方法和现有方法的准确率相当，而具有更高的唯一比对比率，时间性能有3倍以上的提升。

关键词：甲基化导向定位测序亚硫酸氢盐测序序列比对相似性

来源：评论

学校读者我要写书评

暂无评论

混合式无线mesh网络中信道分配算法研究

混合式无线mesh网络中信道分配算法研究

引用

第二届全国智能信息处理学术会议

作者：毕坤顾乃杰任开新董万利中国科学技术大学计算机科学技术系安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027 西南科技大学计算机科学与技术学院四川绵阳621010

目前混合式信道分配算法未考虑节点数据传输量差异,从而导致信道负载不均,针对该问题,提出了负载平衡的分布式信道分配算法--LBCA.该算法通过分布式构建节点冲突图,使同一冲突域中数据量较大的接口卡优先选择负载较小的信道,从而较好平... 详细信息

目前混合式信道分配算法未考虑节点数据传输量差异,从而导致信道负载不均,针对该问题,提出了负载平衡的分布式信道分配算法--LBCA.该算法通过分布式构建节点冲突图,使同一冲突域中数据量较大的接口卡优先选择负载较小的信道,从而较好平衡了信道负载.理论分析表明,LBCA算法以趋近1的概率在O(log n)轮内结束,n为网络固定接口卡数目;模拟实验表明,在网络负载达到80％以上时,对信道数目不大于6的网络,LBCA算法的网络吞吐率与目前同类算法相比提升10％以上.

关键词：无线mesh网络混合式信道分配负载平衡冲突图数据传输

来源：评论

学校读者我要写书评

暂无评论

自适应人脸多区域分析的视频心率检测

引用

计算机系统应用 2022年第10期31卷 175-183页

作者：陈宇杨学志方帅李龙伟王定良合肥工业大学计算机与信息学院合肥230009 工业安全与应急技术安徽省重点实验室合肥230009 合肥工业大学软件学院合肥230009 中国科学技术大学附属第一医院合肥230036

心率是衡量人体心血管健康状况和情绪压力的重要生理参数.然而,基于视频的非接触式心率检测技术在真实场景中,会由于人脸运动和光照变化等导致检测准确性的降低.为了解决上述问题,考虑到心率检测算法中感兴趣区域(region of interest,R... 详细信息

心率是衡量人体心血管健康状况和情绪压力的重要生理参数.然而,基于视频的非接触式心率检测技术在真实场景中,会由于人脸运动和光照变化等导致检测准确性的降低.为了解决上述问题,考虑到心率检测算法中感兴趣区域(region of interest,ROI)的选取与检测准确度高度相关.故提出一种自适应超像素分割多区域综合分析的心率检测新方法.首先利用人脸检测和追踪算法,裁切获得人脸图像;之后采用自适应超像素分割算法将ROI划分成互不重叠的子块;再通过色度特征提取构建各子块原始血液容积脉搏矩阵;最后对脉搏矩阵使用多指标综合分析并挑选出最佳区域进行心率估计.实验结果表明,通过自适应超像素分割和多区域分析优选可以有效提升心率检测准确性.在静止状态下和运动干扰条件下准确性分别达到99.1%和95.6%,光照干扰条件下准确性相对传统方法最高提升8.2%.增强了真实场景下心率检测的鲁棒性.

关键词：视频成像技术自适应分割多区域分析心率检测

来源：评论

学校读者我要写书评

暂无评论

基于GPU异构平台的第一性原理计算软件加速

基于GPU异构平台的第一性原理计算软件加速

引用

2013全国高性能计算学术年会

作者：赵慰赵永华刘晓辉何力新中国科学院计算机网络信息中心超级计算中心北京市 100190 中国科学院大学北京市 100049 中国科学院计算机网络信息中心超级计算中心北京市 100190 中国科学技术大学量子信息重点实验室安徽省合肥市 230026

第一性原理计算软件在密度泛函理论的发展中起着重要作用.相比平面波方法,局域轨道法更适合处理大规模多体问题.随着问题规模的不断增大和计算机计算能力的提升,软件的并行加速成为一个重要课题.在继续增加CPU处理器数量已经无法明显提... 详细信息

第一性原理计算软件在密度泛函理论的发展中起着重要作用.相比平面波方法,局域轨道法更适合处理大规模多体问题.随着问题规模的不断增大和计算机计算能力的提升,软件的并行加速成为一个重要课题.在继续增加CPU处理器数量已经无法明显提升程序性能的情况下,MPI结合CUDA、MIC等众核架构实现的异构并行成为一个新的解决方案.在中国科学技术大学量子信息实验室第一性原理计算软件的基础上,使用MPI+OpenMP+CUDA三级并行对局域轨道法第一性原理计算进行加速,单GPU测试取得了约15倍的加速比,多GPU测试也取得了相应的加速比.测试结果同时验证了使用GPU计算可以保证计算精度.

关键词：计算软件加速性能第一性原理图形处理器异构平台局域轨道法

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：