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

软件学报 2014年第2期25卷 419-438页

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系上海200237 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 上海应用技术学院计算机科学与信息工程系上海200235

以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系... 详细信息

以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系统的基本组件进行建模,根据组件间关系形成能耗模型,以刻画系统的执行流程和能耗属性.最后,利用CTL描述系统性质,并借助Petri网的操作语义来验证方法的正确性和有效性.具体实例应用及实验结果表明:该方法能够有效地降低分布式实时系统的能耗,正确描述能耗自适应调整过程,简化建模和分析过程,对开发具有低能耗DES具有重要的理论意义和实用价值.

关键词：分布式嵌入式系统多Agent 能耗自适应 Petri网

来源：评论

学校读者我要写书评

暂无评论

一种基于AADL的IMA系统配置信息的正确性检测方法

引用

南京航空航天大学学报 2014年第6期46卷 920-930页

作者：胡军马金晶袁翔刘雪南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC65... 详细信息

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。

关键词：软件可靠性测试综合模块化航电系统 ARINC653配置信息 AADL REAL OSATE

来源：评论

学校读者我要写书评

暂无评论

传感器网络中过滤机制下高效top-k查询处理技术

引用

小型微型计算机系统 2014年第1期35卷 44-49页

作者：张慧郑吉平韩秋廷南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

如何能量高效的进行top-k查询处理是无线传感器网络领域中的一个重要课题.节点设置过滤窗口可以避免与top-k查询无关的数据上传到汇聚节点或者基站,因而大大减少传感器网络的通信量,节省传感器节点能量.然而,已有算法如FILA、DAFM,基站... 详细信息

如何能量高效的进行top-k查询处理是无线传感器网络领域中的一个重要课题.节点设置过滤窗口可以避免与top-k查询无关的数据上传到汇聚节点或者基站,因而大大减少传感器网络的通信量,节省传感器节点能量.然而,已有算法如FILA、DAFM,基站到传感器节点的过滤窗口更新中仍然存在很大开销.提出一种基于预测信息更新窗口的top-k查询算法FAPU,该算法根据历史数据采用ARIMA时间序列预测模型对接下来s个时刻的传感器数据进行预测,根据预测信息进行多步窗口更新的代价评估,避免不必要的窗口更新,从而减小窗口更新的能量消耗.实验结果表明在确保top-k查询准确性的同时,本文所提出的FAPU算法与已有算法相比更加能量有效.

关键词：无线传感器网络 top-k Filter-based Monitoring Approach(FILA) 时间序列 AutoRegressive Integrated Moving Average (ARIMA)

来源：评论

学校读者我要写书评

暂无评论

一种基于操作表达式模型的关键软件安全性验证方法研究

引用

小型微型计算机系统 2014年第7期35卷 1578-1584页

作者：曲长亮胡军徐丙凤黄志球南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

目前在安全关键领域,软件系统的安全性分析与验证已经成为软件工程研究中的热点问题,本文工作给出一种基于镜像理论中操作表达式模型的关键软件安全性的验证方法.设计了从操作表达式模型到其分析树的自动转换方法;采用镜像理论的语义公... 详细信息

目前在安全关键领域,软件系统的安全性分析与验证已经成为软件工程研究中的热点问题,本文工作给出一种基于镜像理论中操作表达式模型的关键软件安全性的验证方法.设计了从操作表达式模型到其分析树的自动转换方法;采用镜像理论的语义公理、定理及计算规则对分析树节点进行语义谓词计算,从而得到完整的附有语义谓词的语义树;使用镜像理论的定理证明规则验证语义树中各节点需要满足的安全性质规约;还给出了相应的原型工具和验证实例分析;此方法已在航空航天领域得到实际应用.

关键词：软件分析安全性验证操作表达式镜像理论语义树

来源：评论

学校读者我要写书评

暂无评论

黎曼流形上非线性凸规划最优性条件的研究

引用

计算机科学 2014年第2期41卷 95-98页

作者：邹丽温欣林彬辽宁师范大学计算机与信息技术学院大连116081 南京大学计算机软件新技术国家重点实验室南京210093

利用黎曼流形上Lipschitz函数的Penot广义方向导数和Clarke广义梯度,得到了黎曼流形上凸函数的判别,并得到了黎曼流形上凸规划极小点的充分条件,给出了黎曼流形上的等式约束优化问题、不等式约束优化问题及带有等式和不等式约束的优化... 详细信息

利用黎曼流形上Lipschitz函数的Penot广义方向导数和Clarke广义梯度,得到了黎曼流形上凸函数的判别,并得到了黎曼流形上凸规划极小点的充分条件,给出了黎曼流形上的等式约束优化问题、不等式约束优化问题及带有等式和不等式约束的优化问题的Lagrange定理、Lagrange充分条件、Kuhn-Tucker定理及极小点充分条件。

关键词：黎曼流形凸函数最优性条件广义梯度

来源：评论

学校读者我要写书评

暂无评论

基于衣片网格局部变形的服装多样性研究

引用

计算机应用研究 2014年第12期31卷 3848-3850,3854页

作者：吕佳佳侯进张平西南交通大学信息科学与技术学院成都610031 南京大学计算机软件新技术国家重点实验室南京210093

针对服装建模过程中,需要反复修改衣片来获得令人满意的虚拟服装模型以及计算复杂度高的问题,提出一种基于多控制点的衣片网格局部变形方法。该方法首先建立衣片网格模型,然后利用Open GL的选择模式移动服装关键点,进而得到边界控制点,... 详细信息

针对服装建模过程中,需要反复修改衣片来获得令人满意的虚拟服装模型以及计算复杂度高的问题,提出一种基于多控制点的衣片网格局部变形方法。该方法首先建立衣片网格模型,然后利用Open GL的选择模式移动服装关键点,进而得到边界控制点,利用控制点对衣片网格模型进行局部变形,最后对衣片建立受力模型,通过虚拟缝合、碰撞检测以及纹理映射建立三维服装模型,展现服装整体效果,得到多样的服装模型。实验结果表明,由于在算法中不需要重新网络化,故具有较低的计算代价,同时也使得到的服装模型更加多样化。

关键词：服装多样性网格局部变形多控制点衣片建模服装建模

来源：评论

学校读者我要写书评

暂无评论

基于头皮层特征点的三维头发重用方法

引用

计算机应用 2014年第10期34卷 3000-3003,3028页

作者：刘海舟侯进西南交通大学信息科学与技术学院成都610031 计算机软件新技术国家重点实验室(南京大学) 南京210093

针对在三维头发模型重用过程中,三维头发贴合到不同的人头模型时可能会出现的错位或大小不匹配的问题,提出一种基于头皮层特征点的三维头发重用方法。首先,根据模型文件的数据存储结构,分离出头发模型的头皮层,并提取特征点;其次,结合... 详细信息

针对在三维头发模型重用过程中,三维头发贴合到不同的人头模型时可能会出现的错位或大小不匹配的问题,提出一种基于头皮层特征点的三维头发重用方法。首先,根据模型文件的数据存储结构,分离出头发模型的头皮层,并提取特征点;其次,结合二维平面图像人脸检测方法,对目标三维人头模型的发根范围进行了特征点提取;然后,根据两个模型的特征点计算出的平移量与缩放系数,对头发模型整体进行了平移与缩放操作;最后,单独对头皮层和人头模型的贴合进行处理。最终能够使三维头发适应目标人头模型,保证头发造型信息无丢失,而且头皮层与人头模型达到了紧密贴合的效果。实验结果表明,该方法能够有效地提高三维头发模型的重用性,并且不受头发模型个性部分和分布区域等限制。

关键词：头发重用性头皮层发根范围特征点提取 3DS文件

来源：评论

学校读者我要写书评

暂无评论

面向Windows操作系统的内存取证技术研究

引用

计算机工程 2014年第8期40卷 310-317页

作者：钱勤董步云唐哲伏晓茅兵江苏省高级人民法院技术处南京210093 南京大学软件学院南京210093 南京大学计算机软件新技术国家重点实验室南京210093

传统的计算机取证方法收集被攻击的计算机磁盘等能持久化保存数据的介质。但是随着磁盘存储能力的提升以及数据加密等技术的发展,使用原来针对硬盘的取证方法获取数据进行分析变得越来越困难。对计算机的取证开始采用其他数据源,包括计... 详细信息

传统的计算机取证方法收集被攻击的计算机磁盘等能持久化保存数据的介质。但是随着磁盘存储能力的提升以及数据加密等技术的发展,使用原来针对硬盘的取证方法获取数据进行分析变得越来越困难。对计算机的取证开始采用其他数据源,包括计算机内存中易失性的信息。对Windows操作系统的主要内存获取、分析方法以及内存取证过程进行介绍,采用分析和对比的手段对每种方法的特点、优势和不足进行比较,得出比较结果并给出计算机犯罪内存取证领域未来需要研究的方向。

关键词：网络犯罪计算机取证内存取证内存获取内存分析易失性信息内存取证过程

来源：评论

学校读者我要写书评

暂无评论

一种基于A_Kohonen算法的恶意代码自动分类机制

引用

计算机科学 2014年第8期41卷 178-182页

作者：徐小龙熊婧夷王新珩王汝传南京邮电大学计算机学院南京210003 南京大学计算机软件新技术国家重点实验室南京210046 西苏格兰大学计算机学院

目前海量的恶意代码报告已经成为基于云安全的反病毒网络系统的巨大负担。使用高效、科学的分类方法对大量涌现的已知或未知的恶意代码及其变种进行自动分类处理是快速应对恶意代码的基本前提。为了实现对恶意代码的自动分类,首先对解... 详细信息

目前海量的恶意代码报告已经成为基于云安全的反病毒网络系统的巨大负担。使用高效、科学的分类方法对大量涌现的已知或未知的恶意代码及其变种进行自动分类处理是快速应对恶意代码的基本前提。为了实现对恶意代码的自动分类,首先对解决聚类问题的经典无监督神经网络模型Kohonen算法进行改进,提出一种新的、引入部分监督学习过程的神经网络模型A_Kohonen算法;然后基于A_Kohonen算法实现对各种恶意代码的自动分类机制,从而为反病毒专家对恶意代码进一步细化与分析处理提供有效支持。实验分析表明,基于A_Kohonen算法的恶意代码自动分类机制能够有效、准确地初步分类恶意代码。

关键词：恶意代码报告分类反病毒神经网络信息安全

来源：评论

学校读者我要写书评

暂无评论

基于Cloud-P2P网络平台的泛知识云模型

引用

计算机应用研究 2014年第2期31卷 408-411,416页

作者：徐小龙李硕顾厉淼王新珩南京邮电大学计算机学院南京210003 南京大学计算机软件新技术国家重点实验室南京210046 西苏格兰大学计算机学院

提出一种云计算与对等计算融合模型Cloud-P2P,并基于Cloud-P2P构建一种新颖的泛知识云系统,将网络中的各类文献、知识信息有序地组织在一起;充分考虑网络边缘节点上可以利用的资源,在保障用户使用体验的前提下,将用户提交的知识索取任... 详细信息

提出一种云计算与对等计算融合模型Cloud-P2P,并基于Cloud-P2P构建一种新颖的泛知识云系统,将网络中的各类文献、知识信息有序地组织在一起;充分考虑网络边缘节点上可以利用的资源,在保障用户使用体验的前提下,将用户提交的知识索取任务从网络中心的服务器端迁移到网络边缘的客户端。为进一步改善用户的使用体验,提出一种动态的复合自适应QoS保障机制,通过综合区分用户与资源类型,并设定服务器负载阈值,解决传统知识系统中存在的高峰阶段服务器性能瓶颈的难题,从而达到提高系统中用户整体普遍满意度的目标。

关键词：对等计算云计算知识共享服务质量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：