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

2008全国软件与应用学术会议(NASAC'08)

作者：陆文徐锋吕建南京大学计算机软件新技术国家重点实验室江苏南京 210093 南京大学计算机软件研究所江苏南京 210093

目前的软件系统运行环境正朝着更加开放的方向发展,这种开放性对原有的软件开发技术,包括软件可靠性评估带来了重要的影响。传统的基于测试的方法和基于模拟的方法不再适用,而基于状态的方法虽然在一定程度上能适应开放环境,但仍然存在... 详细信息

目前的软件系统运行环境正朝着更加开放的方向发展,这种开放性对原有的软件开发技术,包括软件可靠性评估带来了重要的影响。传统的基于测试的方法和基于模拟的方法不再适用,而基于状态的方法虽然在一定程度上能适应开放环境,但仍然存在不足。一方面,这种方法无法处理带并行逻辑的系统,因而在适用范围上存在着局限;另一方面,它的计算复杂度仍然较高,不能很好的满足开放环境对可靠性评估性能的高要求;同时,它还缺乏对构成系统的组件的评估能力,无法充分满足开放环境下软件开发对可靠性信息的要求。为了解决这些问题,本文在基于状态的评估方法的基础上,提出了一种新型的可靠性评估方法,使得一部分带并行逻辑的系统可以被处理,并且极大的降低了计算所需的开销,同时,该方法还可以在计算可靠性的同时估算出组件对系统的影响,从而大大的增强了可靠性评估在软件开发中所起的作用。

关键词：软件可靠性开放环境体系结构软件开发

来源：评论

学校读者我要写书评

暂无评论

基于语义的地球物理信息检索模型研究

引用

物探化探计算技术 2014年第4期36卷 502-507页

作者：杨妮妮李文超刘海军辽宁石油化工大学抚顺113001 南京大学计算机软件新技术国家重点实验室南京210023 北京市轻纺机械机器视觉工程技术研究中心北京100176

针对网络上地球物理领域的信息资源复杂多样,而传统的信息检索方法在检索地球物理信息时结果比较片面这一问题,将本体技术与传统信息检索技术相结合,建立了一个基于语义的地球物理信息检索系统模型。研究了地球物理领域的本体特征,并设... 详细信息

针对网络上地球物理领域的信息资源复杂多样,而传统的信息检索方法在检索地球物理信息时结果比较片面这一问题,将本体技术与传统信息检索技术相结合,建立了一个基于语义的地球物理信息检索系统模型。研究了地球物理领域的本体特征,并设计建立了本体库;提出了计算地球物理领域本体的语义相似性方法,分析了地球物理爬虫的工作机制;最后编程实现了系统的主体功能,验证了系统模型设计的合理性、可行性。

关键词：地球物理信息语义本体信息检索

来源：评论

学校读者我要写书评

暂无评论

最大熵矢量量化及其在TMS320DM642上的实现

引用

数据采集与处理 2012年第6期27卷 639-645页

作者：汪全全王靖琰李勇平中国科学院上海应用物理研究所上海201800 复旦大学上海市智能信息处理重点实验室上海200433 阿卜杜拉国王科技大学计算机电气与数学科学工程系图瓦沙特阿拉伯239556900 南京大学计算机软件新技术国家重点实验室南京210093 湖南师范大学高性能计算与随机信息处理教育部重点实验室长沙410012

为了克服传统的矢量量化方法存在的信息损失量大及二次规划(Quadratic pragramming,QP)量化方法计算复杂度大等缺点,提出了一种新的量化方法——最大熵量化。这种量化方法一方面能将量化权值的熵最大化,从而确保在没有先验知识的情况下... 详细信息

为了克服传统的矢量量化方法存在的信息损失量大及二次规划(Quadratic pragramming,QP)量化方法计算复杂度大等缺点,提出了一种新的量化方法——最大熵量化。这种量化方法一方面能将量化权值的熵最大化,从而确保在没有先验知识的情况下不会造成太多量化误差;另一方面则考虑了矢量集合在时间空间上的分布关系。本文在TMS320DM642处理器上实现了这种算法,并进行了一系列的算法和程序层的优化。在基于图像的目标识别应用中的实验证明,最大熵矢量量化算法及其在TMS320DM642上的实现,不仅能提高识别的性能,而且能满足实时性的要求。

关键词：矢量量化最大熵 QP量化 0-1量化目标函数

来源：评论

学校读者我要写书评

暂无评论

基于熵值过滤和类质心优化的无监督域适应

引用

计算机科学 2024年第7期51卷 345-353页

作者：田青卢章虎杨宏南京信息工程大学软件学院南京210044 南京信息工程大学计算机学院、网络空间安全学院南京210044 南京信息工程大学数字取证教育部工程研究中心南京210044 南京大学计算机软件新技术国家重点实验室南京210023

无监督域适应作为机器学习领域的新兴研究方向之一,其主要利用源域监督信息来辅助无标记目标域的学习。截至目前,已有较多无监督域适应方法被提出,但在关系挖掘方面仍存在一些不足之处。具体来说,现有方法通常对目标域样本采取一致性处... 详细信息

无监督域适应作为机器学习领域的新兴研究方向之一,其主要利用源域监督信息来辅助无标记目标域的学习。截至目前,已有较多无监督域适应方法被提出,但在关系挖掘方面仍存在一些不足之处。具体来说,现有方法通常对目标域样本采取一致性处理策略,而忽略了目标域样本在关系挖掘中的差异性,因此文中提出了熵值过滤和类质心优化方法。所提方法利用生成对抗网络架构对目标域样本进行标记,利用所获伪标签计算样本熵值,并与所设阈值进行比较,从而进一步划分目标域样本。对于简单样本,分配伪标签;对于困难样本,该方法结合对比学习思想,利用源域和简单样本来学习更加鲁棒的分类器对困难样本分类,并进一步获得源和目标域的类质心。通过优化域间和实例对比对齐,来减小域间和域内的差异。最后,在3个标准数据集上与目前几种先进的领域自适应方法进行了对比实验,实验结果表明所提方法的性能均优于对比方法。

关键词：迁移学习无监督域适应对抗学习对比学习类质心优化

来源：评论

学校读者我要写书评

暂无评论

面向半监督聚类的最优间隔分布学习机

引用

中国科学：信息科学 2022年第1期52卷 86-98页

作者：张腾黎铭金海华中科技大学大数据技术与系统国家地方联合工程研究中心武汉430074 华中科技大学服务计算技术与系统教育部重点实验室武汉430074 华中科技大学集群与网格计算湖北省重点实验室武汉430074 华中科技大学计算机科学与技术学院武汉430074 南京大学计算机软件新技术国家重点实验室南京210023

基于间隔的聚类是一类经典的聚类算法,此类算法假设聚类结构能通过引入监督学习中的间隔来确定.即一个好的聚类结果,当以其簇标记作为类别标记进行监督学习时,所得分类器产生的关于间隔的目标物理量也同时达到最优.目前最为有效的间隔... 详细信息

基于间隔的聚类是一类经典的聚类算法,此类算法假设聚类结构能通过引入监督学习中的间隔来确定.即一个好的聚类结果,当以其簇标记作为类别标记进行监督学习时,所得分类器产生的关于间隔的目标物理量也同时达到最优.目前最为有效的间隔物理量是间隔分布,其基于最新的间隔理论,取得了比优化最小间隔更好的效果.然而在现实聚类任务中,我们往往还能获得一些额外的监督信息,例如两两样本之间的"必连"约束和"勿连"约束,此时优化间隔分布是否还有效尚未可知.对此,本文提出面向半监督聚类的最优间隔分布学习机(ODMSSC),对该问题进行初步探索. ODMSSC对应的形式化是一个混合整数规划,我们将其放松成一个鞍点问题,并提出一种高效的交替优化方法进行求解.最终通过真实数据集上的实验,我们验证了所提算法的有效性.

关键词：半监督聚类约束聚类最优间隔分布学习机间隔分布间隔

来源：评论

学校读者我要写书评

暂无评论

基于分布谓词检测的环境特性感知

基于分布谓词检测的环境特性感知

引用

中国计算机学会全国软件与应用学术会议(NASAC2009)

作者：黄宇余建平马晓星陶先平吕建南京大学软件新技术国家重点实验室，南京 210093 南京大学计算机软件研究所，南京 210093

准确感知并恰当应对环境及其变化是在开放环境下构建可信软件系统的关键问题之一。目前已有环境感知机制要么形式化程度较弱。难以支持自动、可靠的环境特性感知;要么过于复杂，导致其效率低下。同时，开放环境下环境设施间的交互往往... 详细信息

准确感知并恰当应对环境及其变化是在开放环境下构建可信软件系统的关键问题之一。目前已有环境感知机制要么形式化程度较弱。难以支持自动、可靠的环境特性感知;要么过于复杂，导致其效率低下。同时，开放环境下环境设施间的交互往往是异步的，基于“统一全局时钟”假设的传统技术难以感知开放环境的时序特性。针对上述问题，本文首先提出了一个开放环境特性描述框架。该框架可以便捷地、形式化地描述开放环境的各种特性，包括那些既有技术不能处理的时序特性;它引入了分布谓词检测技术，支持高效的环境特性感知机制的实现。其次，本文还开发了一个支持可信应用构建与运行的开放环境特性感知中间件平台，并通过详细的案例分析较全面地展示了如何基于所提出的环境特性描述框架与中间件平台，高效地感知环境特性，支持可信软件系统的构建。

关键词：分布谓词检测环境特性感知可信软件开放环境中间件平台

来源：评论

学校读者我要写书评

暂无评论

基于代理双向竞拍的弹性云资源调度方案

引用

计算机应用与软件 2024年第3期41卷 87-93页

作者：何望林果园中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教育部工程研究中心江苏徐州221116 南京大学计算机软件新技术国家重点实验室江苏南京210023

针对跨云平台的资源调度问题,提出一种基于代理双向竞拍的弹性资源调度方案。该方案在拍卖过程中引入交易延时排队影响因子,排队轮数越多,排队影响因子值越大,竞价提交优先级越高,同时根据服务等级协议判定不合规交易的惩罚金数额,以惩... 详细信息

针对跨云平台的资源调度问题,提出一种基于代理双向竞拍的弹性资源调度方案。该方案在拍卖过程中引入交易延时排队影响因子,排队轮数越多,排队影响因子值越大,竞价提交优先级越高,同时根据服务等级协议判定不合规交易的惩罚金数额,以惩罚金制度防范恶意竞拍交易的出现。每轮竞拍允许并发实现多项交易。仿真结果表明,该方案保证了竞拍成功率,并且与传统一次拍卖成交方案相比,其竞拍时间减少了0.32 s,同时能提高16%的用户收益与9%的资源提供商利益。

关键词：双向竞拍资源调度排队影响因子恶意竞拍

来源：评论

学校读者我要写书评

暂无评论

SpaceOS中若干全局性质的形式化描述和验证

引用

小型微型计算机系统 2019年第1期40卷 141-148页

作者：顾海博付明乔磊冯新宇中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学苏州研究院软件安全实验室江苏苏州215123 华为上海研究所2012实验室-OS内核实验室上海201206 北京控制工程研究所北京100190 南京大学计算机软件新技术国家重点实验室南京210023

SpaceOS是北京控制工程研究所自主研发的嵌入式实时操作系统,已被应用于探月工程、空间站等重大航天项目.SpaceOS作为底层系统软件,是影响航天任务成败的关键因素. SpaceOS在设计中提出了一些多个内核模块(如任务管理、调度、通信和时... 详细信息

SpaceOS是北京控制工程研究所自主研发的嵌入式实时操作系统,已被应用于探月工程、空间站等重大航天项目.SpaceOS作为底层系统软件,是影响航天任务成败的关键因素. SpaceOS在设计中提出了一些多个内核模块(如任务管理、调度、通信和时间管理等)相互协同过程中所需要满足的全局性质.本文扩展已有的操作系统验证框架支持全局性质的推理,为SpaceOS内核建立抽象模型,给出主要系统调用的抽象规范,并基于设计需求给出形式化定义描述若干全局性质,通过严格的数学证明保证SpaceOS在抽象设计层面上满足这些全局性质.所有工作都在证明助手Coq中完成.

关键词： SpaceOS 形式化验证全局性质操作系统内核 Coq

来源：评论

学校读者我要写书评

暂无评论

并发缺陷检测技术研究进展

引用

计算机科学 2019年第5期46卷 13-20页

作者：薄莉莉姜淑娟张艳梅王兴亚于巧中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心江苏徐州221116 南京大学计算机软件新技术国家重点实验室南京210093 江苏师范大学计算机科学与技术学院江苏徐州221116

多核时代的到来使得并发程序的设计备受人们关注。然而,并发程序的并发性和不确定性容易引发并发缺陷。因此,快速且有效地检测出这些并发缺陷尤为重要。首先,将目前常见的并发缺陷分为五大类(并发类型状态缺陷、死锁、数据竞争、原子性... 详细信息

多核时代的到来使得并发程序的设计备受人们关注。然而,并发程序的并发性和不确定性容易引发并发缺陷。因此,快速且有效地检测出这些并发缺陷尤为重要。首先,将目前常见的并发缺陷分为五大类(并发类型状态缺陷、死锁、数据竞争、原子性违背和顺序违背);随后,从软件运行的角度,将现有的并发缺陷检测技术分为静态分析、动态分析和动静结合分析,并对每一类进行详细的分析、比较和总结;接着,对并发缺陷检测技术的通用性进行分析和总结;最后,从通用准确的并发缺陷检测、软硬件相结合的并发缺陷检测、并发缺陷检测修复一体化、适用于松散内存模型的并发缺陷检测、安卓等其他应用平台的并发缺陷检测和分布式系统非确定性并发缺陷研究等方面,对并发缺陷检测技术的未来研究进行了探讨。

关键词：并发程序并发缺陷缺陷检测软件测试

来源：评论

学校读者我要写书评

暂无评论

基于边缘计算的视频监控框架

引用

计算机工程与设计 2019年第1期40卷 32-39页

作者：葛畅白光伟沈航宋来将南京工业大学计算机科学与技术学院江苏南京211816 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京邮电大学通信与网络技术国家工程研究中心江苏南京210003

为降低云平台视频监控系统视频传输时延、视频分析处理开销和存储成本,提出一种基于边缘计算的视频监控框架。根据边缘节点地理位置靠近视频源的特点,将监控视频流的分析预处理工作迁移到边缘节点完成;设计边缘节点帧过滤算法,通过对视... 详细信息

为降低云平台视频监控系统视频传输时延、视频分析处理开销和存储成本,提出一种基于边缘计算的视频监控框架。根据边缘节点地理位置靠近视频源的特点,将监控视频流的分析预处理工作迁移到边缘节点完成;设计边缘节点帧过滤算法,通过对视频流的目标识别,筛选出有效视频帧进行上传;在此基础上,设计边缘节点任务调度算法,提高视频流实时性和资源利用率。实验结果表明,该框架能够有效降低视频传输开销和视频分析处理开销。

关键词：边缘计算视频预处理视频监控目标识别帧过滤

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：