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

软件学报 2024年

作者：袁斌任家俊陈群锦明张驰邹德清金海华中科技大学计算机科学与技术学院大数据技术与系统国家地方联合工程研究中心(华中科技大学) 服务计算技术与系统教育部重点实验室(华中科技大学) 湖北省大数据安全工程技术研究中心(华中科技大学) 分布式系统安全湖北省重点实验室(华中科技大学) 华中科技大学网络空间安全学院金银湖实验室嵩山实验室深圳华中科技大学研究院集群与网格计算湖北省重点实验室(华中科技大学)

模糊测试技术能够自动化挖掘软件当中的漏洞,然而目前针对网络协议的模糊测试工具对于协议实现内部状态空间探索有限,导致覆盖率较低.有限状态机技术能够对网络协议实现进行全方位建模,以深入了解网络协议实现的系统行为和内部状态空间... 详细信息

模糊测试技术能够自动化挖掘软件当中的漏洞,然而目前针对网络协议的模糊测试工具对于协议实现内部状态空间探索有限,导致覆盖率较低.有限状态机技术能够对网络协议实现进行全方位建模,以深入了解网络协议实现的系统行为和内部状态空间.将有限状态机技术和模糊测试技术相结合,提出一种基于有限状态机引导的网络协议模糊测试方法.以广泛使用的TLS协议为研究对象,利用有限状态机学习来对于TLS协议实现进行建模,用来反映协议内部状态空间及其系统行为.随后,基于有限状态机对于TLS协议模糊测试进行引导,使模糊测试的深度更深、覆盖代码更广.为此,实现一个原型系统SNETFuzzer,并且通过一系列对比实验发现SNETFuzzer在覆盖率等重要指标中优于已有工作. SNETFuzzer在实验中成功发现多个漏洞,其中包含两个新漏洞,证明了其实用性和有效性.

关键词：软件测试模糊测试网络协议有限状态机

来源：评论

学校读者我要写书评

暂无评论

CRM4G App Engine:基于CRM4G的应用开发托管平台

引用

广西大学学报（自然科学版） 2011年第A01期36卷 206-209页

作者：唐黎翔徐骁麟吴松石宣化华中科技大学服务计算技术与系统教育部重点实验室暨集群与网格计算湖北省重点实验室湖北武汉430074

虚拟资源管理平台(CRM4G)是部署于高性能网格主节点和校园网格之上,对计算资源进行管理的基础软件平台,主要实现了计算资源、存储资源的虚拟化,使得网格用户以及网格应用能够以服务的形式透明地访问计算和存储资源。CRM4G应用开发平台(C... 详细信息

虚拟资源管理平台(CRM4G)是部署于高性能网格主节点和校园网格之上,对计算资源进行管理的基础软件平台,主要实现了计算资源、存储资源的虚拟化,使得网格用户以及网格应用能够以服务的形式透明地访问计算和存储资源。CRM4G应用开发平台(CRM4G App Engine)通过利用CRM4G所提供的虚拟资源API,数据资源API,虚拟机批量部署和海量虚拟机监控功能,为用户提供了一个完整高效的应用开发环境。平台主要实现了以下几个功能:在线Web应用开发和测试环境,多用户协作开发,应用代码托管,应用自动化部署,自动扩容,版本管理等。CRM4G App Engine为Web应用开发者提供了方便友好、易操作的开发环境,完整的应用测试环境,以及高效的应用部署运行环境,达到了方便和简化用户的应用开发的目的。

关键词：云计算应用开发应用测试应用托管

来源：评论

学校读者我要写书评

暂无评论

基于变参数模型的锂电池荷电状态观测方法（英文）

引用

控制理论与应用 2019年第3期36卷 443-452页

作者：许元武吴肖龙陈明渊蒋建华邓忠华付晓薇李曦华中科技大学人工智能与自动化学院图像信息处理与智能控制教育部重点实验室湖北武汉430074 武汉科技大学计算机科学与技术学院智能信息处理与实时工业系统湖北省重点实验室湖北武汉430065 深圳华中科技大学研究院广东深圳518057

锂电池荷电状态(SOC)观测技术作为电池管理系统(BMS)的关键技术,在维持电池系统设备安全高效运作、延长电池组整体生命周期等方面均起着不可或缺的作用.本文以改善锂电池荷电状态的观测结果为目的,对锂离子电池荷电状态的观测方法进行... 详细信息

锂电池荷电状态(SOC)观测技术作为电池管理系统(BMS)的关键技术,在维持电池系统设备安全高效运作、延长电池组整体生命周期等方面均起着不可或缺的作用.本文以改善锂电池荷电状态的观测结果为目的,对锂离子电池荷电状态的观测方法进行了研究,基于二阶变参数锂电池模型,设计了一种有效的改善SOC观测精度的方法.首先,根据SOC的定义,建立了安时积分估计(AH),通过引入二阶变参数锂电池模型建立扩展卡尔曼滤波估计器(EKF),然后结合Takagi-Sugeno模糊模型原理,设计Takagi-Sugeno和EKF联合估计器(TS–EKF).最后,在Simulink仿真平台上验证了SOC观测方法的准确性和实用性.结果表明,本文所设计的Takagi-Sugeno和EKF联合估计器可以改善SOC观测精度.

关键词：荷电状态估计二阶变参数锂电池模型扩展卡尔曼滤波估计器 Takagi-Sugeno模糊 Takagi-Sugeno和EKF联合估计器

来源：评论

学校读者我要写书评

暂无评论

FS-Net:面向时序知识图谱推理的频次统计网络

引用

软件学报 2023年第10期34卷 4518-4532页

作者：刘康正赵峰金海大数据技术与系统国家地方联合工程研究中心湖北武汉430074 服务计算技术与系统教育部重点实验室湖北武汉430074 集群与网格计算湖北省重点实验室湖北武汉430074 华中科技大学计算机科学与技术学院湖北武汉430074

时序知识图谱推理吸引了研究人员的极大关注.现有的时序知识图谱推理技术通过建模历史信息取得了巨大的进步.但是,时变性问题和不可见实体(关系)问题仍然是阻碍时序知识图谱推理模型性能进一步提升的两大挑战;而且由于需要对历史子图序... 详细信息

时序知识图谱推理吸引了研究人员的极大关注.现有的时序知识图谱推理技术通过建模历史信息取得了巨大的进步.但是,时变性问题和不可见实体(关系)问题仍然是阻碍时序知识图谱推理模型性能进一步提升的两大挑战;而且由于需要对历史子图序列的结构信息和时间依赖信息进行建模,传统的基于嵌入的方法往往在训练和预测过程中具有较高的时间消耗,这极大地限制了推理模型在现实场景中的应用.针对以上困境,提出了一个用于时序知识图谱推理的频次统计网络,FS-Net.一方面,FS-Net不断基于最新的短期历史的事实频次统计,动态地为变化的时间戳上的预测生成时变的得分;另一方面,FS-Net基于当前时间戳上的事实频次统计,为预测补充历史不可见实体(关系);特别地,FS-Net不需要进行训练,而且具有极高的时间效率.在两个时序知识图谱基准数据集上的大量实验,表明了FS-Net相较于基准模型的巨大提升.

关键词：时序知识图谱事实频次统计时变性不可见信息

来源：评论

学校读者我要写书评

暂无评论

FJoin:一种基于FPGA的流连接并行加速器

引用

中国科学：信息科学 2022年第2期52卷 314-333页

作者：林力韬陈汉华金海华中科技大学计算机科学与技术学院大数据技术与系统国家地方联合工程研究中心服务计算技术与系统教育部重点实验室集群与网格计算湖北省重点实验室武汉430074

流连接广泛应用于提取多源流数据之间的关键信息,是大数据处理的重要支撑技术.但连接两条大数据流时大规模的连接谓词计算,使其易成为性能瓶颈.为提高处理性能,流连接系统常采用并行和分布式两种方式扩展.然而,采用多核并行的流连接系... 详细信息

流连接广泛应用于提取多源流数据之间的关键信息,是大数据处理的重要支撑技术.但连接两条大数据流时大规模的连接谓词计算,使其易成为性能瓶颈.为提高处理性能,流连接系统常采用并行和分布式两种方式扩展.然而,采用多核并行的流连接系统的扩展性受到CPU核数限制,无法应对大规模数据流.采用分布式扩展的流连接系统由于引入分布式框架运行的开销,导致硬件处理效率严重下降.为实现高效大规模扩展,本文提出一种利用FPGA加速器外设向上扩展的流连接系统FJoin.加速器可进行高并行的流动连接,载入多个流元组后,连接窗口中的数据流经一次即可完成所有连接计算.对于逻辑容易在FPGA实现的连接谓词,通过大量基本连接单元串联构成深度连接流水线,实现大规模并行.通过主机CPU和FPGA设备协同进行连接控制,将连续的流连接计算划分为独立的小批量任务,高效地保证并行化流连接的完整性.在装备FPGA加速卡的平台实现了FJoin,基于大规模真实数据集的测试结果表明,对比部署在40个节点集群上的目前最好的分布式流连接系统,本文提出的流连接加速器FJoin可在单一FPGA加速卡上将连接计算速度提升16倍,达到5倍的系统吞吐,且时延满足实时流处理要求.

关键词：流连接 FPGA 流处理硬件加速并行计算

来源：评论

学校读者我要写书评

暂无评论

基于IntelXscale的嵌入式音频系统的研究与实现

引用

微计算机信息 2006年第5Z期22卷 11-13页

作者：凌杰曹强武汉华中科技大学信息存储系统教育部重点实验室 430074

文章讨论了基于IntelPXA270微处理器的开发平台上使用TSC2101控制芯片完成音频控制系统的软硬件设计,以及在WindowsCE操作系统中的驱动程序的开发。在音频驱动程序设计中综合使用了DMA、双缓存区等技术以提高系统性能,满足音频实时性的... 详细信息

文章讨论了基于IntelPXA270微处理器的开发平台上使用TSC2101控制芯片完成音频控制系统的软硬件设计,以及在WindowsCE操作系统中的驱动程序的开发。在音频驱动程序设计中综合使用了DMA、双缓存区等技术以提高系统性能,满足音频实时性的要求,同时还保证音频数据的不丢失。

关键词： DMA Windows CE I2S总线双缓存区

来源：评论

学校读者我要写书评

暂无评论

计算机本科专业教学改革趋势及其启示——兼谈华中科技大学计算机科学与技术学院的教改经验

引用

高等工程教育研究 2014年第5期62卷 180-186页

作者：陆枫金海华中科技大学计算机科学与技术学院并行计算所华中科技大学计算机科学与技术学院服务计算技术与系统教育部重点实验室华中科技大学计算机科学与技术学院

本文在总结国内外教学改革趋势的基础上,结合华中科技大学计算机科学与技术学院教学改革的实践,就我国计算机专业本科教学改革提出如下建议:要具有全球化的视野,借鉴CS2013等国内外改革经验,依托高校不同的学科背景和学科优势,明确培养... 详细信息

本文在总结国内外教学改革趋势的基础上,结合华中科技大学计算机科学与技术学院教学改革的实践,就我国计算机专业本科教学改革提出如下建议:要具有全球化的视野,借鉴CS2013等国内外改革经验,依托高校不同的学科背景和学科优势,明确培养目标,以系统观精炼课程体系,从沉淀学科理论基础的角度改革课程内容,着力培养学生的实践动手能力,强调养成学生良好的学科思维直觉和专业技术素养,以应对未来的发展变革,培养具有国际竞争力的新型计算机学科人才。

关键词： CS2013 计算机本科教学改革教学内容课程体系

来源：评论

学校读者我要写书评

暂无评论

固态盘测试系统的设计与实现

引用

计算机研究与发展 2014年第S1期51卷 142-147页

作者：李思思吴非胡迪青夏峰武汉国家光电实验室(华中科技大学) 武汉430074 信息存储系统教育部重点实验室(华中科技大学) 武汉430074 华中科技大学计算机科学与技术学院武汉430074 武汉迅存科技有限公司武汉430074

固态盘(solid-state disk,SSD)以其高性能、高可靠性等优点在存储系统中快速发展,与此同时人们对固态盘性能的关注度也大大提高,如何准确地测试和评估固态盘开始成为固态盘制造厂商和消费人群共同关心的问题.在这种需求环境下,设计并实... 详细信息

固态盘(solid-state disk,SSD)以其高性能、高可靠性等优点在存储系统中快速发展,与此同时人们对固态盘性能的关注度也大大提高,如何准确地测试和评估固态盘开始成为固态盘制造厂商和消费人群共同关心的问题.在这种需求环境下,设计并实现了一个高效、可靠、自动化、操作方便的固态盘测试系统.测试系统分为测试机和服务器2部分,测试人员通过登录服务器来操作测试机并对测试机上批量的固态盘进行测试.测试系统支持对固态盘进行4种类型的测试:性能测试、MBI测试、掉电测试、功耗测试,全面评估固态盘性能,并生成评估报告.

关键词：固态盘硬盘测试评估服务器脚本

来源：评论

学校读者我要写书评

暂无评论

基于程序分析的大数据应用内存预估方法

引用

中国科学：信息科学 2020年第8期50卷 1178-1196页

作者：胡振宇石宣化柯志祥金海王斐华中科技大学计算机科学与技术学院大数据技术与系统国家地方联合工程研究中心服务计算技术与系统教育部重点实验室武汉430074

基于内存计算模型的分布式数据处理系统,如Flink和Spark,经常遭受严重的内存压力,尤其在平台内存资源紧张,且被多个用户或组织共享情况下,内存资源竞争进一步加剧.用户应用被分配的内存空间不足,会在运行期间产生严重的垃圾回收(garbage... 详细信息

基于内存计算模型的分布式数据处理系统,如Flink和Spark,经常遭受严重的内存压力,尤其在平台内存资源紧张,且被多个用户或组织共享情况下,内存资源竞争进一步加剧.用户应用被分配的内存空间不足,会在运行期间产生严重的垃圾回收(garbage collect,GC)开销,而分配过量的内存会导致平台资源的浪费.因此平台中如何为用户应用配置合适的内存成为关键问题.通过研究分析发现,平台上的多个应用会多次共同处理某个特定的数据集,且应用对数据的处理逻辑具有相似性,如图计算和机器学习应用;大数据应用框架的算子API和用户自定义方法(UDF)与数据处理逻辑有着密切的关系,继而影响运行时内存的使用.基于该发现,本文提出了一种预估新提交应用的合理内存阈值的方法.该方法利用程序分析与历史应用处理数据特征分析,基于kTree判断与历史应用的数据路径的相似性来预估新应用的合理内存阈值,并在Spark系统上实现该方法.通过一系列实验评估预估的准确性和性能收益,实验结果表明本方法预估大数据应用的结果与真实合理内存阈值的误差比例低至4%,预估过程所产生的开销与应用运行时间相比可以忽略不计,平台上数据处理应用整体执行时间减少至56%.

关键词：内存管理生命周期代码诊断数据处理系统分布式系统

来源：评论

学校读者我要写书评

暂无评论

基于LMI的滑翔式飞行器鲁棒H_∞时滞控制

引用

系统工程与电子技术 2011年第9期33卷 2060-2065页

作者：李传锋王志燊王永骥刘磊华中科技大学控制科学与工程系湖北武汉430074 洛阳理工学院计算机与信息工程系河南洛阳471023 华中科技大学图像信息处理与智能控制教育部重点实验室湖北武汉430074

滑翔式飞行器是一类存在参数不确定性和外部扰动的非线性系统,研究了该类对象的鲁棒H∞控制问题。采用对原系统方程部分线性化的方法,得到滑翔式飞行器的状态空间描述形式。在系统中的非线性部分满足Lipschitz条件约束下,考虑舵机特性... 详细信息

滑翔式飞行器是一类存在参数不确定性和外部扰动的非线性系统,研究了该类对象的鲁棒H∞控制问题。采用对原系统方程部分线性化的方法,得到滑翔式飞行器的状态空间描述形式。在系统中的非线性部分满足Lipschitz条件约束下,考虑舵机特性等引起的时滞,利用Lyapunov稳定性理论,得到了系统鲁棒H∞控制器存在的充分条件。通过求解线性矩阵不等式(linear matrix inequality,LMI)的可行解问题,得到H∞控制器的参数化表达式。仿真结果表明,当存在参数不确定以及外部扰动时,系统能够保持较强的鲁棒稳定性,同时设计的控制器对干扰有较好的抑制作用。

关键词：非线性系统滑翔式飞行器鲁棒H∞时滞控制线性矩阵不等式 Lyapunov函数

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：