检索结果-南通市图书馆

基于分层模版种子点的分水岭分割孤立性肺结节的方法

在线全文

学校读者我要写书评

暂无评论

清华大学学报（自然科学版） 2014年第7期54卷 910-916页

作者：赵涓涓纪国华强彦成树岗太原理工大学计算机科学与技术学院太原030024

针对肺部结节的分割问题,该文提出了一种基于分层模版种子点的分水岭分割方法。该方法在PET图像中采用基于SUV均值的分层次模版匹配算法检测出可疑区域,标记出分割种子点,同时在对应CT图像中使用改进的分水岭算法将可疑肺结节分割出来... 详细信息

针对肺部结节的分割问题,该文提出了一种基于分层模版种子点的分水岭分割方法。该方法在PET图像中采用基于SUV均值的分层次模版匹配算法检测出可疑区域,标记出分割种子点,同时在对应CT图像中使用改进的分水岭算法将可疑肺结节分割出来。将该方法与特征提取结合应用于肺结节的辅助诊断中。大量的实验结果表明:与当前单独采用CT或PET图像特征分割结果相比,该方法在确保真阳性以及分类准确性的基础上,极大降低了假阳性,从而表明了该方法在肺结节临床分割方面的有效性。

关键词：模版匹配算法种子点孤立性肺结节分水岭

在线全文

学校读者我要写书评

暂无评论

基于实时微内核的零拷贝通信协议

华中科技大学学报（自然科学版） 2007年第1期35卷 35-38页

作者：李胜利徐力张明虎华中科技大学计算机科学与技术学院湖北武汉430074

在分析现有零拷贝通信协议实现的基础上,提出了基于实时微内核的零拷贝通信协议RTZCP.针对不同的应用场景,RTZCP协议对单个数据包采用了传统的内存重映射方式来消除用户空间与内核空间之间的数据拷贝,而对于需要分片的大数据包,则采用R... 详细信息

在分析现有零拷贝通信协议实现的基础上,提出了基于实时微内核的零拷贝通信协议RTZCP.针对不同的应用场景,RTZCP协议对单个数据包采用了传统的内存重映射方式来消除用户空间与内核空间之间的数据拷贝,而对于需要分片的大数据包,则采用RMA(远程内存访问)方式来实现零拷贝通信的目的.设立了专门静态网络通信资源的分配管理机制,以及具有缓冲机制的通信接口技术来优化处理IP数据包的分片机制.测试结果表明,RTZCP协议能够在提供比传统网络通信协议更低的通信延时的情况下,充分地保证实时数据包的实时通信性能.

关键词：实时微内核零拷贝通信协议远程内存访问

在线全文

学校读者我要写书评

暂无评论

众包质量控制策略及评估算法研究

计算机学报 2013年第8期36卷 1636-1649页

作者：张志强逄居升谢晓芹周永哈尔滨工程大学计算机科学与技术学院哈尔滨150001

随着Internet技术的快速发展,众包作为一种灵活有效的解决问题方式,开始受到人们越来越多的关注.由于众包的自由松散组织模式,使得如何有效地控制任务完成质量,并将欺骗类型工作者识别出来,成为目前众包研究中一个急需解决的问题.文中... 详细信息

随着Internet技术的快速发展,众包作为一种灵活有效的解决问题方式,开始受到人们越来越多的关注.由于众包的自由松散组织模式,使得如何有效地控制任务完成质量,并将欺骗类型工作者识别出来,成为目前众包研究中一个急需解决的问题.文中基于对众包工作者提交结果的评估与分析,提出了一种阶段式的动态质量控制策略,同时给出了一个组合式众包结果质量评估方法框架.经过实际数据的测试,文中提出的质量控制策略和众包结果质量评估方法具有较好的效果.

关键词：众包服务分阶段质量控制检测点评估算法

在线全文

学校读者我要写书评

暂无评论

进化测试中循环体内标志变量移除方法

华中科技大学学报（自然科学版） 2009年第3期37卷 79-82页

作者：江胜卢炎生华中科技大学计算机科学与技术学院湖北武汉430074

研究了循环体内标志变量赋值对进化测试带来的影响.分析了传统方法的不足及标志变量(flag)存在的各种情况,如针对标志变量的多分支赋值、跳转语句(break)的使用以及存在嵌套循环等问题,提出了一种改进的循环体内部的flag移除算法.通过... 详细信息

研究了循环体内标志变量赋值对进化测试带来的影响.分析了传统方法的不足及标志变量(flag)存在的各种情况,如针对标志变量的多分支赋值、跳转语句(break)的使用以及存在嵌套循环等问题,提出了一种改进的循环体内部的flag移除算法.通过对源程序的插桩和转换,重新构造了利于搜索进展的适应度函数.实验结果表明该方法可提高进化测试效率,并以较小的代价成功生成测试用例.

关键词：软件测试结构性测试进化测试进化搜索标志变量适应度

在线全文

学校读者我要写书评

暂无评论

基于层次有序维的分组聚集算法

小型微型计算机系统 2010年第6期31卷 1133-1137页

作者：王生富张继福刘爱琴荀亚玲太原科技大学计算机科学与技术学院山西太原030024

在联机分析处理(OLAP)中,有效地维度模型对海量数据的即席复杂分组聚集查询起着关键的作用.在偏序和映射的基础上,通过定义层次有序维,提出一种基于层次有序维的分组聚集算法.该算法利用维属性之间的聚集关系,通过约束层次链中的元素次... 详细信息

在联机分析处理(OLAP)中,有效地维度模型对海量数据的即席复杂分组聚集查询起着关键的作用.在偏序和映射的基础上,通过定义层次有序维,提出一种基于层次有序维的分组聚集算法.该算法利用维属性之间的聚集关系,通过约束层次链中的元素次序,实现了分组聚集计算中多表连接转换为维范围的查询,提高了连接和聚集效率.最后,实验结果验证了该算法的有效性.

关键词：数据仓库维模型联机分析处理聚集查询多表连接

数字全息数据存储系统中的格雷映射等重调制码的设计

在线全文

学校读者我要写书评

暂无评论

电子学报 2003年第7期31卷 1015-1017页

作者：裴先登陈端荣谢长生华中科技大学计算机科学与技术学院湖北武汉430074

在数字全息数据存储系统的记录通道中 ,使用二进制映射等重调制码有利于信号的检测 .本文作者提出了 6:8格雷映射等重调制码的编码方案 ,将每 6比特数据视为一个格雷码字 ,而相应的等重码设计为具有 2单位距离特性 .当检测到的 8比特码... 详细信息

在数字全息数据存储系统的记录通道中 ,使用二进制映射等重调制码有利于信号的检测 .本文作者提出了 6:8格雷映射等重调制码的编码方案 ,将每 6比特数据视为一个格雷码字 ,而相应的等重码设计为具有 2单位距离特性 .当检测到的 8比特码字中发生一个 2码元交换错误时 ,该方案具有一定的容错能力 .误码性能的仿真结果表明 ,在系统的信噪比较低时 6:8格雷映射等重调制码优于

关键词：全息存储格雷码等重码调制码

在线全文

学校读者我要写书评

暂无评论

一种新的蠕虫检测和控制方法

华中科技大学学报（自然科学版） 2007年第3期35卷 38-41页

作者：李胜利王杰韩宗芬陶智飞华中科技大学计算机科学与技术学院湖北武汉430074

在分析网络蠕虫连接请求和网络正常连接请求差异的基础上,提出一种新的蠕虫检测和控制方法.该方法针对网络蠕虫攻击特定端口以及攻击地址发散的特性,采用基于端口的多工作集区分网络蠕虫连接请求和网络正常连接请求,在蠕虫控制中使用多... 详细信息

在分析网络蠕虫连接请求和网络正常连接请求差异的基础上,提出一种新的蠕虫检测和控制方法.该方法针对网络蠕虫攻击特定端口以及攻击地址发散的特性,采用基于端口的多工作集区分网络蠕虫连接请求和网络正常连接请求,在蠕虫控制中使用多延迟队列处理可疑连接请求,避免了不同端口流量之间的相互影响;针对网络正常连接请求的暂时突发特征,利用令牌桶控制多延迟队列的输出,缩短了正常连接请求在延迟队列中的停留时间.测试表明,在主机感染了蠕虫后,新方法将误报率从85%降低到12%,对正常连接请求的平均延迟时间从95.4 s降低到5.6 s.

关键词：蠕虫检测控制误报率延迟

在线全文

学校读者我要写书评

暂无评论

约束求解与定理证明专题前言

软件学报 2023年第8期34卷 3465-3466页

作者：蔡少伟陈振邦王戟詹博华赵永望中国科学院软件研究所北京100190 国防科技大学计算机学院湖南长沙410073 浙江大学计算机科学与技术学院浙江杭州310007

随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注.形式化方法使用严格的数学语言对计算机系统建模,并在计算机的辅助下验证系统的正确性.与测试不同,形式化方法可以完全排除某些类型的错误.约束求... 详细信息

随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注.形式化方法使用严格的数学语言对计算机系统建模,并在计算机的辅助下验证系统的正确性.与测试不同,形式化方法可以完全排除某些类型的错误.约束求解和定理证明是形式化方法中的两大关键技术.在约束求解方面,SAT和SMT求解器已经在学术界和工业界得到了广泛应用,比如SAT求解器用于EDA领域的等价性验证,SMT求解器用于程序验证和白盒模糊测试等.交互式定理证明通过人和计算机之间的交互完成证明,能够验证非常复杂的系统和性质,例如编译器和操作系统的正确性验证.约束求解与定理证明专题关注约束求解和定理证明的理论、技术、工具与应用,包括在EDA、符号执行、模型检测、程序分析与验证、系统安全等领域的应用.

关键词：形式化方法定理证明约束求解符号执行计算机系统模糊测试模型检测系统安全

在线全文

学校读者我要写书评

暂无评论

DM4中的多查询优化器

华中科技大学学报（自然科学版） 2005年第3期33卷 49-52页

作者：许向阳郭亚华中科技大学计算机科学与技术学院湖北武汉430074

在国产数据库管理系统DM4已有的查询优化器基础上 ,设计了一组公共操作识别和重组规则 ,分析了公共操作的代价 ,采用启发式公共操作搜索和计划树重组算法 ,实现了两阶段体系结构的多查询优化器 ,有效地利用了多查询间的公共操作 ,同时... 详细信息

在国产数据库管理系统DM4已有的查询优化器基础上 ,设计了一组公共操作识别和重组规则 ,分析了公共操作的代价 ,采用启发式公共操作搜索和计划树重组算法 ,实现了两阶段体系结构的多查询优化器 ,有效地利用了多查询间的公共操作 ,同时对算法复杂度分析证明了公共操作搜索策略对优化器性能的低影响性 .

关键词：多查询优化器公共操作两阶段体系结构