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

南京大学学报（自然科学版） 2002年第1期38卷 74-82页

作者：朱华宇孙正兴王箭张福炎南京大学计算机软件新技术国家重点实验室南京大学多媒体技术研究所南京210093

基于对视频语义信息的 3个层次划分 ,提出了一个基于MPEG 7的视频数据模型 ,并运用扩展标记语言 (XML) ,以实例阐述了视频内容的视频对象、视频事件和视频元数据构造和描述方法 .所提出的方法能支持不同抽象层次上复杂语义关系的描述 ,... 详细信息

基于对视频语义信息的 3个层次划分 ,提出了一个基于MPEG 7的视频数据模型 ,并运用扩展标记语言 (XML) ,以实例阐述了视频内容的视频对象、视频事件和视频元数据构造和描述方法 .所提出的方法能支持不同抽象层次上复杂语义关系的描述 ,能够使用户更加灵活地访问数字视频库。

关键词：多媒体内容描述接口 MEPG-7 视频语义描述扩展标记语言 XML 数据模型视觉信息查询

来源：评论

学校读者我要写书评

暂无评论

基于联邦学习的边缘智能协同计算与隐私保护方法

引用

计算机集成制造系统 2021年第9期27卷 2604-2610页

作者：刘庆祥许小龙张旭云窦万春南京信息工程大学计算机与软件学院江苏南京210044 中国科学院计算技术研究所北京100190 麦考瑞大学计算机系澳大利亚悉尼NSW2109 计算机软件新技术国家重点实验室江苏南京210023

联邦学习中,终端将更新后的模型参数值,而不是原始数据传递至服务器,从而成为保障边缘计算中数据隐私安全的关键技术。因此,提出了基于联邦学习的边缘计算方法(FLBEC),在保护用户隐私的同时,减少终端参与联邦学习的开销。首先设计了基... 详细信息

联邦学习中,终端将更新后的模型参数值,而不是原始数据传递至服务器,从而成为保障边缘计算中数据隐私安全的关键技术。因此,提出了基于联邦学习的边缘计算方法(FLBEC),在保护用户隐私的同时,减少终端参与联邦学习的开销。首先设计了基于联邦学习的边缘计算系统架构,提出了隐私保护机制。分析了终端参与联邦学习时间和能耗,提出了研究的目标,即保护边缘计算中用户隐私,同时在保证精度的前提下,减少联邦学习时间和能耗。然后,从参与者选择、本地更新和全局聚合3个方面提出了改进后的联邦学习算法。最后通过对比实验验证了在FLBEC算法中,绝大多数终端在达到目标精度的前提下可以大幅度地降低联邦学习时间和能耗,从而减少联邦学习开销,表明了FLBEC算法的优越性。

关键词：联邦学习边缘计算隐私保护终端学习精度

来源：评论

学校读者我要写书评

暂无评论

中断驱动控制系统的有界模型检验技术

引用

软件学报 2015年第10期26卷 2485-2503页

作者：周筱羽顾斌赵建华杨孟飞计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调... 详细信息

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调度任务序列处理日常事务以及中断事件的后续工作.使用了带中断标记的时间自动机对中断事件和任务调度事件进行建模,并使用中断向量表和中断处理程序的伪代码模型共同描述中断的处理过程.控制变量将中断处理过程和系统任务相关联,中断处理程序可以设定某个控制变量,而系统任务则通过检查该控制变量来确定是否需要进行后续处理.对于这样的形式化模型,给出了检验关键时序性质的有界模型检验算法.该算法使用深度优先的方式遍历所有长度小于等于K的可行路径,并使用SMT Z3实现了对时间约束和规约的处理.

关键词：中断驱动系统有界模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

一种基于B样条的文字自由变形算法

引用

小型微型计算机系统 2000年第4期21卷 426-428页

作者：陆海东袁春风张阅辉南京大学多媒体计算技术研究所计算机软件新技术国家重点实验室南京210093

本文提出了一种以 B样条为基础的平面文字自由变形算法 .变形后文字的闭包是由若干 B样条围成的区域 .该算法通过 B样条对目标区域进行合理分割 ,实现了文字的均匀变形。

关键词： B样条文字变形算法图形处理

来源：评论

学校读者我要写书评

暂无评论

面向P2P系统的体系结构描述语言

引用

吉林大学学报（工学版） 2008年第5期38卷 1131-1135页

作者：孙知信杨熙宫婧南京邮电大学计算机技术研究所南京210003 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学数理学院南京210003

由于传统的描述语言并不是专门为P2P系统设计的,不能准确地描述P2P系统的体系结构,因此本文设计了一种面向P2P系统的描述语言P2P_ADL。该描述语言根据从共享资源管理,P2P网络规划与管理,P2P协议的编译与解释三个方面将P2P体系结构抽象... 详细信息

由于传统的描述语言并不是专门为P2P系统设计的,不能准确地描述P2P系统的体系结构,因此本文设计了一种面向P2P系统的描述语言P2P_ADL。该描述语言根据从共享资源管理,P2P网络规划与管理,P2P协议的编译与解释三个方面将P2P体系结构抽象为一个三层的体系结构模型,并在各层内赋予相应的可扩展机制,然后针对不同的体系结构层次及可扩展机制提供了相应的语义解释。文中通过实例分析,表明了P2P_ADL是一种为P2P系统专门设计的体系结构描述语言,能够准确地描述P2P系统的体系结构。

关键词：计算机系统结构 P2P软件体系结构体系结构描述语言 ADL

来源：评论

学校读者我要写书评

暂无评论

多Agent系统DOLTPI一Agent中的通信及其安全机制

引用

计算机应用与软件 2001年第8期18卷 35-37，53页

作者：黄建海王超潘金贵计算机软件新技术国家重点实验室南京大学多媒体计算机研究所南京210093

本文介绍了一个基于Internet的信息检索多Agent系统DOLTRI-Agent内多个Agent间的通信框架及其安全机制.主要论述各个Agent间相互通信所采用的通信语言,通信协议以及信息交换和相互合作的方法,在此基础上提出了一种多Agent系统的安全通... 详细信息

本文介绍了一个基于Internet的信息检索多Agent系统DOLTRI-Agent内多个Agent间的通信框架及其安全机制.主要论述各个Agent间相互通信所采用的通信语言,通信协议以及信息交换和相互合作的方法,在此基础上提出了一种多Agent系统的安全通信模型.

关键词：多Agent KQML Facilitator 安全

来源：评论

学校读者我要写书评

暂无评论

一种基于图像的雪景模拟算法

引用

系统仿真学报 2009年第2期21卷 621-624页

作者：殷海明乐光学李永刚嘉兴学院计算机应用研究所嘉兴314001 湖南大学计算机通信学院长沙410082 计算机软件新技术国家重点实验室南京大学南京310092

针对传统的天气模拟算法过程复杂的情况,提出了一种完全基于图像的雪景模拟算法。算法以一幅雪景参考图像和一幅目标图像作为输入,先通过雪色模型提取参考图像中的雪色区域;然后根据参考图像的数据,对目标图像进行数据调整和颜色传输实... 详细信息

针对传统的天气模拟算法过程复杂的情况,提出了一种完全基于图像的雪景模拟算法。算法以一幅雪景参考图像和一幅目标图像作为输入,先通过雪色模型提取参考图像中的雪色区域;然后根据参考图像的数据,对目标图像进行数据调整和颜色传输实现对目标图像的雪景模拟。实验结果表明算法能取得较好的模拟质量且速度快。

关键词：雪景模拟雪色模型数据调整颜色传输

来源：评论

学校读者我要写书评

暂无评论

基于Linux的蓝牙系统核心协议栈的设计与实现

引用

计算机应用与软件 2003年第7期20卷 11-13,F003页

作者：王沛于航潘金贵南京大学计算机软件新技术国家重点实验室多媒体计算机研究所南京210093

本文设计与实现的基于Linux平台的Bluetooth核心协议栈主要由四个模块组成 :服务发现协议SDP模块 ,逻辑链路控制与适配协议L2CAP模块 ,串行线路模拟协议RFCOMM模块和主机控制接口HCI模块。在本核心协议栈的设计过程中 ,始终将提高整个... 详细信息

本文设计与实现的基于Linux平台的Bluetooth核心协议栈主要由四个模块组成 :服务发现协议SDP模块 ,逻辑链路控制与适配协议L2CAP模块 ,串行线路模拟协议RFCOMM模块和主机控制接口HCI模块。在本核心协议栈的设计过程中 ,始终将提高整个协议栈的执行效率作为第一目标。为提高协议栈的效率 ,对协议栈进行了设计优化 ,采用了状态自动机、散列技术、缓冲机制、开放式平台。

关键词：通信协议 TCP/IP协议协议栈设计蓝牙系统 Linux 状态自动机

来源：评论

学校读者我要写书评

暂无评论

基于体系结构能耗建模的CPS软件可信性评估方法

引用

电子学报 2013年第11期41卷 2270-2275页

作者：张广泉张侃祝义周航苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室江苏南京210093 中国科学院软件研究所计算机科学国家重点实验室北京100190 江苏师范大学计算机科学与技术学院江苏徐州221116 南京航空航天大学民航学院江苏南京210016

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构... 详细信息

信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导,对CPS软件体系结构能耗进行建模,分析和评估能耗对CPS软件可信性的影响,可以在设计阶段发现其体系结构能耗设计缺陷,并重新设计软件体系结构,从而有效提高CPS软件可信性.基于此,首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型,并分析了影响CPS软件可信性的能耗问题;针对这些问题,将分析得到的能耗数据作为建立可信性指标模型的基础,提出了基于能耗指标模型的CPS可信性评估方法;最后通过实例建模和分析,进一步说明该方法的有效性.

关键词：信息物理融合系统软件可信性评估可信性指标模型能耗建模

来源：评论

学校读者我要写书评

暂无评论

基于词袋绑定的问句新特征自动生成

引用

北京理工大学学报 2012年第6期32卷 590-595页

作者：杨思春高超戴新宇陈家骏杨思国南京大学计算机软件新技术国家重点实验室江苏南京210093 安徽工业大学计算机学院安徽马鞍山243002 滁州学院计算机系安徽滁州239000 安徽省大型工程软件工程研究中心安徽合肥233000

针对中文问句分类缺乏丰富的句法语义特征,提出一种基于词袋绑定的问句新特征自动生成方法.在词袋(BOW)、词性(POS)和词义(WS)等基本特征的基础上,通过将词性、词义等与词袋分别进行绑定,自动获取一类新的问句特征即词袋绑定特征.采用SV... 详细信息

针对中文问句分类缺乏丰富的句法语义特征,提出一种基于词袋绑定的问句新特征自动生成方法.在词袋(BOW)、词性(POS)和词义(WS)等基本特征的基础上,通过将词性、词义等与词袋分别进行绑定,自动获取一类新的问句特征即词袋绑定特征.采用SVM分类器在哈工大中文问句集上实验,结果表明与原来单个的POS、WS等基本特征相比,对应的W/POS、W/WS等词袋绑定特征在分类精度上均获得了显著的提升;而且对这些词袋绑定特征进行启发式组合以后,在77个小类问题类别的总体分类精度达到82.333%,取得了较好的分类效果.说明在基本特征基础上借助词袋绑定操作进一步构造问句新特征的方法简单而有效.

关键词：问答系统问句分类特征提取词袋绑定

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：