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

小型微型计算机系统 2014年第6期35卷 1258-1264页

作者：王勇朝李兆鹏冯新宇中国科学技术大学计算机科学与技术学院合肥230026 中国科学科技大学苏州研究院软件安全实验室江苏苏州215123

在分离逻辑和C语言规范的基础上,设计一个C语言子集C3(C Code Certified)上的程序逻辑,其由操作语义、推导规则和可靠性证明组成.操作语义采用了小步的方式,为并发程序的验证留下了扩展的可能性.推导规则采用了扩展Hoare三元组的形式,... 详细信息

在分离逻辑和C语言规范的基础上,设计一个C语言子集C3(C Code Certified)上的程序逻辑,其由操作语义、推导规则和可靠性证明组成.操作语义采用了小步的方式,为并发程序的验证留下了扩展的可能性.推导规则采用了扩展Hoare三元组的形式,易于程序员的理解,支持了更多的C语言特征.证明可靠性需要在语义上定义推导规则,本文采用了广为接受的直接定义方式,本文可靠性的证明在Coq中实现,并提供了一份可以通过机器自动检查的证明,保证了逻辑的可信度.证明实例展示了程序逻辑的可用性,程序验证工具可以直接使用C3的推导规则,简化验证的过程.

关键词： C语言小步语义程序逻辑可靠性形式化验证

来源：评论

学校读者我要写书评

暂无评论

指针类型递归函数前后形状图的自动推断

引用

小型微型计算机系统 2014年第4期35卷 759-764页

作者：宋艳辉李兆鹏陈意云中国科学技术大学计算机科学与技术学院合肥230026 中国科学科技大学苏州研究院软件安全实验室江苏苏州215123

在一个基于形状图逻辑的自动程序验证原型系统上,设计与实现了指针类型递归函数前后形状图的自动推断方法.该方法类似于循环不变形状图的推断方法,区别在于它首先沿着函数的非递归路径,从函数入口的函数前形状图推断函数出口的函数后形... 详细信息

在一个基于形状图逻辑的自动程序验证原型系统上,设计与实现了指针类型递归函数前后形状图的自动推断方法.该方法类似于循环不变形状图的推断方法,区别在于它首先沿着函数的非递归路径,从函数入口的函数前形状图推断函数出口的函数后形状图的初值,然后沿着函数的递归路径对函数后形状图进行迭代求解.本文还设计了上述自动推断方法中需要用到的形状图之间蕴涵关系的判定方法.本文方法使得原型系统扩展到能够自动验证指针类型的递归函数.

关键词：程序验证形状图逻辑形状分析递归函数不变式的自动推断

来源：评论

学校读者我要写书评

暂无评论

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

引用

小型微型计算机系统 2012年第10期33卷 2153-2157页

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

基于应用层载荷特征的IP流分类技术的准确性较高,但是,当特征库庞大时遍历匹配特征库需要消耗大量的时间.鉴于此,提出一种将应用层载荷特征和启发式搜索相结合的IP数据流分类方法.通过从各种应用产生的数据包之间提取共同特征并以此共... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

变概率的随机测试

引用

小型微型计算机系统 2014年第2期35卷 319-323页

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

适应性随机测试是对随机测试低覆盖率和盲目性的一种改进.它的思想是通过尽量地使测试用例均匀地分布在整个测试域范围内,从而提高测试效率.研究显示,相比于常规的随机测试,适应性随机测试能够使用更少的测试用例来发现被测程序的第一... 详细信息

适应性随机测试是对随机测试低覆盖率和盲目性的一种改进.它的思想是通过尽量地使测试用例均匀地分布在整个测试域范围内,从而提高测试效率.研究显示,相比于常规的随机测试,适应性随机测试能够使用更少的测试用例来发现被测程序的第一个错误.但是,现有的适应性随机测试的实现方案的时间效率不高,在生成测试用例的过程中大量的计算将消耗大量的时间.针对已有适应性随机测试耗时的缺点,提出一种快速的适应性随机测试的实现方法.该方法主要是通过改变输入域空间内不同区域的测试用例生成的概率来实现测试用例的均匀分布.为最大限度地减少时间消耗,该方法每次只计算局部输入域空间内测试用例的生成概率.该方法理论上生成n个测试用例的时间消耗为O(n log n).实验显示,本文提出的方法只需很低的时间消耗就能生成大量的测试用例.

关键词：随机测试概率适应性随机测试二叉排序树

来源：评论

学校读者我要写书评

暂无评论

面向在线智慧学习的教育数据挖掘技术研究

引用

模式识别与人工智能 2018年第1期31卷 77-90页

作者：刘淇陈恩红朱天宇黄振亚吴润泽苏喻胡国平中国科学技术大学计算机科学与技术学院大数据分析与应用安徽省重点实验室合肥230027 科大讯飞股份有限公司合肥230088

随着教育信息化进程的深入,学生在线学习数据得到不断积累,为数据驱动的教育评估和智能辅助教学提供良好条件.然而,已有的面向在线智慧学习的教育数据挖掘模型很难从海量、稀疏、高噪的数据中准确分析试题特征和学生学业水平,也较少考... 详细信息

随着教育信息化进程的深入,学生在线学习数据得到不断积累,为数据驱动的教育评估和智能辅助教学提供良好条件.然而,已有的面向在线智慧学习的教育数据挖掘模型很难从海量、稀疏、高噪的数据中准确分析试题特征和学生学业水平,也较少考虑学生及教师的个性化需求.文中针对上述问题开展若干面向在线智慧学习的教育数据挖掘技术研究工作,以教育学习所涉及的试题、学生、教师为对象,以个性化推荐等技术同教育领域知识相结合为手段,以提高学生学业水平为目标.具体介绍用于试题分析和检索的试题文本表征模型、基于认知诊断的个性化学习资源推荐方法、针对教师的教学建议和指导等方法,以及这些技术所依托的应用平台——科大讯飞在线教育系统"智学网".最后简单讨论面向在线智慧学习的教育数据挖掘技术未来可能的研究方向.

关键词：在线智慧学习教育评估认知诊断推荐系统

来源：评论

学校读者我要写书评

暂无评论

融合NetVLAD和全连接层的三元神经网络交叉视角场景图像定位

引用

遥感学报 2021年第5期25卷 1095-1107页

作者：薛朝辉周逸飏强永刚刘弋锋林晖河海大学地球科学与工程学院南京211100 中国科学技术大学计算机科学与技术学院合肥230026 中国电子科学研究院社会安全风险感知与防控大数据应用国家工程实验室北京100041

研究场景图像的地理定位问题在室外定位、目标搜寻、军事侦察等领域具有重要意义。针对街景影像与鸟瞰影像之间的交叉视角场景图像匹配与定位问题,本文提出了一种融合可训练局部聚集描述子向量Net VLAD(Net Vector of locally aggregate... 详细信息

研究场景图像的地理定位问题在室外定位、目标搜寻、军事侦察等领域具有重要意义。针对街景影像与鸟瞰影像之间的交叉视角场景图像匹配与定位问题,本文提出了一种融合可训练局部聚集描述子向量Net VLAD(Net Vector of locally aggregated descriptors)和全连接层的三元神经网络(Triplet Network)定位方法(Tri-Net VLAD)。三元神经网络由三组卷积神经网络CNN(Convolutional Neural Networks)构成,能同时处理3张影像,通过增大不匹配像对间的距离,减小匹配像对间的距离,实现图像检索与匹配;Net VLAD和全连接层的融合可以加强特征间的关联性。本文将CNN提取的局部卷积特征分别通过Net VLAD层和全连接层得到全局描述符与特征向量,并将二者融合,有效地提升了局部特征间的关联性,并保留了不同局部特征之间的差异性,提升了模型的定位精度;改进了DBL loss(Distance-based layer loss),通过加入参数λ增强函数判别困难样本的能力,在提升模型的收敛速度和稳定性的同时也提升了模型的定位精度。在美国Vo and Hays公开数据集上的实验结果表明,Tri-Net VLAD取得了优于MCVPlaces、Triplet e DBL-Net和CVM-Net等现有方法的定位精度,在测试集上的精度高于63%。

关键词：交叉视角场景图像匹配与定位三元神经网络 Net VLAD CNN(Convolutional Neural Networks)

来源：评论

学校读者我要写书评

暂无评论

基于模糊测度的知识关联性建模方法

引用

模式识别与人工智能 2022年第2期35卷 95-105页

作者：张所娟黄松余晓晗陈恩红中国人民解放军陆军工程大学指挥控制工程学院南京210007 中国科学技术大学计算机科学与技术学院大数据分析与应用安徽省重点实验室合肥230027

在教学应用场景中,知识之间的关联性广受关注,但现有研究通常偏重两两知识点之间关系的建模,忽视知识集合中复杂的关联关系,导致研究结果出现偏差.因此,文中引入模糊测度对知识集合进行量化度量,并在此基础上提出基于模糊测度的知识关... 详细信息

在教学应用场景中,知识之间的关联性广受关注,但现有研究通常偏重两两知识点之间关系的建模,忽视知识集合中复杂的关联关系,导致研究结果出现偏差.因此,文中引入模糊测度对知识集合进行量化度量,并在此基础上提出基于模糊测度的知识关联性建模方法.首先,基于认知心理学理论,分析知识间存在的三种不同关系,并利用模糊测度建模知识间的关联性,通过实际教学场景论证方法的实用性.然后,在模糊测度建模的基础上,从知识关联性的视角讨论知识的重要度和交互指标.最后,研究知识关联性在认知诊断中的应用.真实数据集上的实验证实知识关联性对认知诊断的影响,不仅有效提升预测精度,也提供更好的可解释性.

关键词：知识关联性模糊测度认知诊断知识集合知识交互

来源：评论

学校读者我要写书评

暂无评论

融合知识交互关系的认知诊断深度模型

引用

模式识别与人工智能 2023年第1期36卷 22-33页

作者：张所娟余晓晗陈恩红沈双宏郑雨黄松中国人民解放军陆军工程大学指挥控制工程学院南京210007 中国科学技术大学计算机科学与技术学院大数据分析与应用安徽省重点实验室合肥230027

认知诊断是基于学习数据挖掘学习者潜在认知状态的一种智能评测技术.当前大多数认知诊断模型将学习任务中的知识视为同等重要,未考虑知识间的交互关系,从而影响诊断的准确性,同时也缺乏可解释性.针对上述问题,文中提出融合知识交互关系... 详细信息

认知诊断是基于学习数据挖掘学习者潜在认知状态的一种智能评测技术.当前大多数认知诊断模型将学习任务中的知识视为同等重要,未考虑知识间的交互关系,从而影响诊断的准确性,同时也缺乏可解释性.针对上述问题,文中提出融合知识交互关系的认知诊断深度模型,实现学习者认知状态与知识权重的统一表达.同时,实现基于Choquet积分的理想作答反应计算算法.最后提出模糊测度的深度神经网络,预测学习者的作答表现.大量实验表明,文中模型不仅取得较好的预测结果,还能为预测结果提供知识交互层面的解释,具有一定的优越性.

关键词：认知诊断知识交互模糊积分知识权重

来源：评论

学校读者我要写书评

暂无评论

基于手机通话网络的人类交互行为分析

引用

计算机科学与探索 2018年第5期12卷 777-784页

作者：李凯张锡哲申毓佩陈恩红中国科学技术大学计算机科学与技术学院合肥230022 大数据分析与应用安徽省重点实验室合肥230022 东北大学计算机科学与工程学院沈阳110819

移动通信行为是社会生活的重要组成部分,手机通话网络是一种重要的社交网络,深入分析手机通信网络的拓扑特征对认识社交网络和人类行为特性具有重要的意义。基于复杂网络相关理论,提出了多重时变通信网络模型,在此基础上,对一个手机通... 详细信息

移动通信行为是社会生活的重要组成部分,手机通话网络是一种重要的社交网络,深入分析手机通信网络的拓扑特征对认识社交网络和人类行为特性具有重要的意义。基于复杂网络相关理论,提出了多重时变通信网络模型,在此基础上,对一个手机通信数据集进行分析挖掘,得到了人类动力学角度的行为模式。首先构建了手机通话网络,然后从群体和个体两个尺度对网络度分布、度演化、通话时长、呼叫间隔等指标进行了研究,发现网络整体上呈现明显的无标度特征,个体行为与节点度密切相关,而群体度演化过程则显示了特定地区社会生活特征,相关结果对于社会网络分析和人类行为动力学研究具有重要的意义。

关键词：人类动力学手机通信特征挖掘复杂网络拓扑分析

来源：评论

学校读者我要写书评

暂无评论

面向等几何分析的几何计算

引用

计算机辅助设计与图形学学报 2015年第4期27卷 570-581页

作者：徐岗李新黄章进吴梦蔺宏伟杭州电子科技大学计算机学院杭州310018 中国科学技术大学数学科学学院合肥230026 中国科学技术大学计算机科学与技术学院合肥230027 合肥工业大学数学学院合肥230009 浙江大学数学系杭州310058 浙江大学CAD&CG国家重点实验室杭州310058

等几何分析方法是一种直接基于CAD模型的精确几何表示进行物理性能仿真分析的新方法.文中从几何计算的视角出发,对等几何分析方法的基本框架,以及面向等几何分析的几何设计与计算的相关工作进行了介绍,重点介绍适合分析的计算域参数化... 详细信息

等几何分析方法是一种直接基于CAD模型的精确几何表示进行物理性能仿真分析的新方法.文中从几何计算的视角出发,对等几何分析方法的基本框架,以及面向等几何分析的几何设计与计算的相关工作进行了介绍,重点介绍适合分析的计算域参数化、适合分析的新型样条理论、等几何配点法、面向等几何分析的并行计算等4个方向的研究进展.最后对需要进一步深入研究的关键问题进行了探讨.

关键词：等几何分析几何计算计算域参数化适合分析样条等几何配点法并行计算

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：