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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于可预测移动汇聚节点的无线传感网分簇算法研究

引用

计算机科学 2012年第6期39卷 89-92页

作者：章韵巨德文陈志扈罗全岳文静南京邮电大学计算机学院南京210003 江苏省无线传感网高技术研究重点实验室南京210003 南京大学计算机软件新技术国家重点实验室南京210093 宽带无线通信与传感网技术教育部重点实验室南京210003 苏州大学城市轨道交通学院苏州215104

在汇聚节点移动可预测情况下,提出一种无线传感网分簇算法。该算法将subsink节点引入到HEED分簇算法中,以较快感知移动路径变化,快速形成分簇拓扑;采用sink节点注册机制,实现汇聚节点移动过程中的信息交互。实例分析表明,该算法能快速... 详细信息

在汇聚节点移动可预测情况下,提出一种无线传感网分簇算法。该算法将subsink节点引入到HEED分簇算法中,以较快感知移动路径变化,快速形成分簇拓扑;采用sink节点注册机制,实现汇聚节点移动过程中的信息交互。实例分析表明,该算法能快速形成合理网络拓扑,延长无线传感网的生存期。

关键词：无线传感网移动sink 分簇算法

来源：评论

学校读者我要写书评

暂无评论

支持向量机方法预测七鳃鳗miRNA前体

引用

济南大学学报（自然科学版） 2015年第5期29卷 333-339页

作者：张洁李庆伟邹丽辽宁师范大学生命科学学院大连116081 辽宁师范大学七鳃鳗研究中心大连116081 辽宁师范大学计算机与信息技术学院大连116081 南京大学计算机软件新技术国家重点实验室南京210093

将七鳃鳗miRNA前体(pre-miRNA)序列的结构特征作为支持向量机工具Lib-SVM的输入向量,经Grid程序优化参数后,开发序列预测程序Lj-miRSVM,通过10倍交叉法验证,平均敏感性和特异性分别为95%和95.9%,准确率为95.8%,接收者操作特征曲线(ROC)... 详细信息

将七鳃鳗miRNA前体(pre-miRNA)序列的结构特征作为支持向量机工具Lib-SVM的输入向量,经Grid程序优化参数后,开发序列预测程序Lj-miRSVM,通过10倍交叉法验证,平均敏感性和特异性分别为95%和95.9%,准确率为95.8%,接收者操作特征曲线(ROC)下的面积比约为98.9%。用Lj-miRSVM预测其他20个物种的pre-miRNA,平均正确率为78.5%。

关键词：七鳃鳗支持向量机 miRNA前体预测 ROC曲线

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

支持多种并行计算模型的面向对象框架研究

引用

软件学报 1999年第3期10卷 270-270页

作者：吕建陆陪于大川 David L.Shang 南京大学计算机软件研究所计算机软件新技术国家重点实验室江苏南京 210093 Motorola公司软件系统研究实验室美国

为了支持并行程序设计, 几乎所有的程序设计语言均通过提供并行与同步通信机制来支持某一高级并行计算模型, 如Ada的语言任务与会合机制以及Java语言的线程和同步方法. 显然, 这样的程序设计语言仅能支持一种高级并行计算模型. 尽管单... 详细信息

为了支持并行程序设计, 几乎所有的程序设计语言均通过提供并行与同步通信机制来支持某一高级并行计算模型, 如Ada的语言任务与会合机制以及Java语言的线程和同步方法. 显然, 这样的程序设计语言仅能支持一种高级并行计算模型. 尽管单模型的途径对某些应用来说简单而有效, 但由于现实世界中的问题往往较为繁杂而难以完全用单一模型来解决. 文章采用面向对象的语言机制和框架技术来解决此问题. 通过分析现有各种语言中高级并行计算模型的共性, 提出了若干新的面向对象语言机制. 以此为基础, 提出了并行面向对象框架的概念, 并讨论用其表达和使用高级并行计算模型的方法. 结果是, 可在某种意义下将高级并行计算模型从语言中分离出来, 而单一语言可由多个并行框架加以支撑, 从而使得在单一面向对象语言中支持多种高级并行计算模型成为可能.

关键词：并行计算模型面向对象

来源：评论

学校读者我要写书评

暂无评论

局部方向三值模式纹理描述子

引用

计算机工程与设计 2015年第5期36卷 1260-1264,1303页

作者：刘海军南京大学计算机软件新技术国家重点实验室江苏南京210023 北京市轻纺机械机器视觉工程技术研究中心北京100176 北京经纬纺机新技术有限公司北京100176

为解决LDP算子运算速度较慢、对于有些模式无法精确区分等问题,提出局部方向三值模式纹理描述子。采用自适应阈值,对像素8个方向边缘响应进行三值编码,提取并统计正边缘模式和负边缘模式,联合起来构成局部方向三值模式,作为最终特征来... 详细信息

为解决LDP算子运算速度较慢、对于有些模式无法精确区分等问题,提出局部方向三值模式纹理描述子。采用自适应阈值,对像素8个方向边缘响应进行三值编码,提取并统计正边缘模式和负边缘模式,联合起来构成局部方向三值模式,作为最终特征来描述图像。在Brodatz数据集和CUReT数据集上将该模式与传统的LBP、LDP、FLDP、LTP算法进行对比实验,对比结果表明,与LDP算法相比,该模式在上述两个数据集上的分类准确率分别提高了5.42%和8.43%,运算速度提高了8倍以上;与LBP、FLDP、FTP相比,该模式也有明显优势。

关键词：纹理特征纹理描述子局部方向模式局部三值模式纹理分类

来源：评论

学校读者我要写书评

暂无评论

基于改进随机森林算法的钓鱼网站检测方法研究

引用

微电子学与计算机 2019年第4期36卷 43-46,51页

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

为了更准确快捷的对钓鱼网站进行识别,提出了一种基于改进随机森林算法的钓鱼网站检测方法.该方法挖掘钓鱼网页特征之间潜在的关联规则,并对数据集进行分区,以此区分特征数据的重要程度并计算权重以及数据选取的比例,选取数据后对数据... 详细信息

为了更准确快捷的对钓鱼网站进行识别,提出了一种基于改进随机森林算法的钓鱼网站检测方法.该方法挖掘钓鱼网页特征之间潜在的关联规则,并对数据集进行分区,以此区分特征数据的重要程度并计算权重以及数据选取的比例,选取数据后对数据空间进行相应的集合化与剪辑以此优化森林的建立,并根据建立的森林达到对钓鱼网站检测识别的目的.最终实验说明,该方法对钓鱼网站的检测识别具有很好的效果和效率.

关键词：钓鱼检测关联规则特征分区数据空间

来源：评论

学校读者我要写书评

暂无评论

CMM过程支持系统中对过程改变多策略支持的研究

CMM过程支持系统中对过程改变多策略支持的研究

引用

2003'全国软件与应用学术会议

作者：胡昊林向宇杨玫吕建南京大学计算机软件研究所(江苏南京) 南京大学软件新技术国家重点实验室(江苏南京) 南京大学计算机软件研究所(江苏南京)

实践证明,企业在实施CMM时,过程改进这样的宏观目标是通过从微观上成功地完成项目来实现的.因此,自动实施CMM的过程支持系统应该具有灵活的支持过程动态改变的能力,以利于适应多变的项目环境,而过程改变的情况比较复杂,单一策略的采用... 详细信息

实践证明,企业在实施CMM时,过程改进这样的宏观目标是通过从微观上成功地完成项目来实现的.因此,自动实施CMM的过程支持系统应该具有灵活的支持过程动态改变的能力,以利于适应多变的项目环境,而过程改变的情况比较复杂,单一策略的采用既增加了模型的复杂性,又不利于系统充分利用已有的底层支持技术.鉴于此,本文介绍了一种多策略过程动态改变支持机制.该机制可用于基于CMM的过程支持系统工程中,有效提高基于CMM的过程管理系统在过程改变支撑方面的灵活性和实用性.

关键词：过程支持系统能力成熟度模型过程模型过程改进过程改变软件工程

来源：评论

学校读者我要写书评

暂无评论

多Agent系统的上下文感知增强

多Agent系统的上下文感知增强

引用

第四届中国Agent理论与应用学术会议

作者：马骏陶先平朱怀宏吕建南京大学计算机软件新技术国家重点实验室江苏省南京市 210093 南京大学计算机软件研究所江苏省南京市 210093

现如今多agent 系统(MAS)被广泛用于开发各种应用系统。当前 “开放、动态、难控”的计算平台要求软件系统能够依据系统自身及其环境状态信息及其改变动态的调节自身的行为，即具备一定的“上下文感知能力”。然而，现有工作并未就如何... 详细信息

现如今多agent 系统(MAS)被广泛用于开发各种应用系统。当前 “开放、动态、难控”的计算平台要求软件系统能够依据系统自身及其环境状态信息及其改变动态的调节自身的行为，即具备一定的“上下文感知能力”。然而，现有工作并未就如何向既有的MAS 应用系统引入上下文感知能力提出有效的解决方案。本文依照关注分离原则，结合面向上下文程序设计技术(COP)、反射技术(Reflection)以及代码植入技术(Code Instrumentation)，提出了一套MAS 系统上下文感知增强框架和底层支撑技术。开发人员可以在既有应用源码不可得的情况下，自动将指定agent 类型转换为(扩展为)具有上下文感知能力的agent 类型;此外，利用底层运行支撑环境，系统管理员可以在系统运行时刻动态的调整指定agent 的上下文感知行为。

关键词：软件agent 多agent 系统上下文感知程序设计软件方法学

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：