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

计算机科学 2013年第11期40卷 58-60,69页

作者：蒋峥峥高瞻顾翔陈翔南通大学计算机科学与技术学院南通226019 南京大学计算机软件新技术国家重点实验室南京210093

时延、丢包是影响远程触觉交互性能和用户体验的重要因素。以实时传输和真实再现力反馈数据为目的,提出了一种基于TCP/IP的实时力反馈数据传输方法,该方法通过时延处理和插值预处理降低网络通信过程中对远程触觉感知造成的不利影响实验... 详细信息

时延、丢包是影响远程触觉交互性能和用户体验的重要因素。以实时传输和真实再现力反馈数据为目的,提出了一种基于TCP/IP的实时力反馈数据传输方法,该方法通过时延处理和插值预处理降低网络通信过程中对远程触觉感知造成的不利影响实验结果证明,该方法有效地解决了远程触觉交互系统中实时力反馈的信息再现与信息交互问题,在远程医疗、远程教学、虚拟现实等领域具有重要的应用价值。

关键词：触觉交互远程协作力反馈 TCP IP 实时数据传输

来源：评论

学校读者我要写书评

暂无评论

微内核架构多线程机制的形式化设计研究

引用

计算机科学 2013年第4期40卷 136-141,163页

作者：钱振江卢亮黄皓南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 常熟理工学院计算机科学与工程学院常熟215500

微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式... 详细信息

微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式对微内核架构多线程和安全机制进行描述和设计,提出一个微内核线程分层对象语义模型,用以设计多线程机制的线程间通信、调度和互斥同步方案。在已实现和验证的微内核操作系统VTOS中对多线程功能和性能进行了测试,结果表明VTOS有效地实现了多线程机制,并具有很好的系统性能。

关键词：微内核多线程操作系统形式化描述形式化设计

来源：评论

学校读者我要写书评

暂无评论

具有概念漂移的P2P网络流量识别研究

引用

系统工程与电子技术 2013年第4期35卷 864-869页

作者：刘三民孙知信南京航空航天大学计算机科学与技术学院江苏南京210016 安徽工程大学计算机与信息学院安徽芜湖241000 南京邮电大学宽带无线通信与传感网技术教育部重点实验室江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对P2P网络流量产生过程中存在概念漂移现象,提出具有概念漂移检测功能的多分类器动态集成流量识别方案。该方案包括概念漂移检测和分类器动态集成两大模块,由卡方统计推断原理实现概念漂移检测模块功能,采用基分类器的性能优先淘汰策... 详细信息

针对P2P网络流量产生过程中存在概念漂移现象,提出具有概念漂移检测功能的多分类器动态集成流量识别方案。该方案包括概念漂移检测和分类器动态集成两大模块,由卡方统计推断原理实现概念漂移检测模块功能,采用基分类器的性能优先淘汰策略进行动态集成解决流量概念漂移发生后的识别问题。在以贝叶斯分类器、支持向量机、决策树作为基分类器,针对不同集成规模、数据块大小进行仿真实验,结果证明方案是可行的,模型的识别准确率达到82%以上。

关键词：概念漂移流量检测 P2P 卡方统计

来源：评论

学校读者我要写书评

暂无评论

面向远程触觉协作的虚拟针灸系统研究

引用

系统仿真学报 2013年第9期25卷 2085-2090页

作者：蒋峥峥高瞻顾翔陈翔王丹丹南通大学计算机科学与技术学院南通226019 南京大学计算机软件新技术国家重点实验室南京210093 南通市紫琅职业技术学院南通226002

设计了一个新颖的基于远程触觉协作的虚拟针灸系统。分析了针灸过程中针体与组织的相互作用力,建立力学模型模拟针体受力,设计插值处理和分频输出以实现力反馈数据的实时网络传输。设计仿真实例对系统中力学模型、插值计算和分频输出的... 详细信息

设计了一个新颖的基于远程触觉协作的虚拟针灸系统。分析了针灸过程中针体与组织的相互作用力,建立力学模型模拟针体受力,设计插值处理和分频输出以实现力反馈数据的实时网络传输。设计仿真实例对系统中力学模型、插值计算和分频输出的效果进行验证,实验结果表明:提出的力学模型与针灸现实相符,插值方法可以提高远程触觉协作中接收数据的完整性,时延小于专家推荐的经验值,系统能够提供感觉逼真、实时稳定的虚拟针灸远程教学与训练,为针灸教学提供了一种新的手段。

关键词：虚拟现实针灸触觉交互远程协作力反馈

来源：评论

学校读者我要写书评

暂无评论

无线网络链路质量感知的机会网络编码机制

引用

计算机科学 2013年第11期40卷 29-34页

作者：葛青白光伟沈航张芃曹磊南京工业大学计算机科学与技术系南京210009 南京理工大学高维信息智能感知与系统教育部重点实验室南京210094 南京大学计算机软件新技术国家重点实验室南京210093

现有的无线网络编码机制大多没有考虑无线链路质量对于通信性能的影响,导致网络吞吐量降低。针对这一问题,提出一种链路质量感知的机会网络编码机制(LONC)。该机制充分利用无线媒介的共享特性,将网络编码和机会转发技术相结合,通过期望... 详细信息

现有的无线网络编码机制大多没有考虑无线链路质量对于通信性能的影响,导致网络吞吐量降低。针对这一问题,提出一种链路质量感知的机会网络编码机制(LONC)。该机制充分利用无线媒介的共享特性,将网络编码和机会转发技术相结合,通过期望传输次数来计算数据包传输效用值,用于衡量数据包传输效率。在此基础上,根据效用值动态分配数据包调度优先级,使得高优先级的数据包有更高的概率获得转发机会,从而有利于提高网络吞吐量。仿真结果表明,LONC机制能够显著提高网络的吞吐量,在一定程度上保证了数据的可靠传输。

关键词：无线网络编码链路质量感知机会转发动态优先级

来源：评论

学校读者我要写书评

暂无评论

微内核架构文件系统的形式化设计与验证方法研究

引用

小型微型计算机系统 2013年第10期34卷 2261-2266页

作者：钱振江唐洪英李康杰黄皓宋方敏常熟理工学院计算机科学与工程学院江苏苏州215500 南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 伦敦大学国王学院

文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语... 详细信息

文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语义和系统状态转换,分析和归纳文件系统的功能正确性断言.以实现的微内核安全操作系统(Verified Trusted Operating System,VTOS)为例,阐述在Isabelle/HOL定理证明器环境中构建状态自动机模型的方法,并对VTOS文件系统的形式化设计和功能正确性断言进行一致性验证,结果显示,VTOS文件系统的设计和实现符合预期的正确性规格说明.

关键词：文件系统微内核架构形式化设计形式化验证正确性断言 Isabelle HOL

来源：评论

学校读者我要写书评

暂无评论

基于网络编码的802.11 DCF信道接入机制

引用

计算机工程 2013年第8期39卷 147-152页

作者：金铃白光伟沈航曹磊南京工业大学计算机科学与技术系南京210009 南京大学计算机软件新技术国家重点实验室南京210093 南京理工大学计算机科学与技术学院南京210094

提出一种基于网络编码的802.11 DCF信道接入机制(NCA-DCF)。采用冲突避免的主动确认策略,使相应节点形成编码意识,通过编码包的机会转发,提高数据包传输效率,结合无线网络编码的特性,运用马尔科夫链模型对NCA-DCF进行数学建模。分析结... 详细信息

提出一种基于网络编码的802.11 DCF信道接入机制(NCA-DCF)。采用冲突避免的主动确认策略,使相应节点形成编码意识,通过编码包的机会转发,提高数据包传输效率,结合无线网络编码的特性,运用马尔科夫链模型对NCA-DCF进行数学建模。分析结果表明,与传统的DCF信道接入机制相比,NCA-DCF不仅可以避免节点发送分组的碰撞,有效提高信道利用率,而且能够明显提高全网吞吐量。

关键词：多跳无线网络网络编码信道接入机制主动确认机会转发马尔科夫链

来源：评论

学校读者我要写书评

暂无评论

多跳无线网络启发式网络编码协议研究

引用

小型微型计算机系统 2013年第6期34卷 1248-1252页

作者：李懿雯陶雯白光伟曹磊南京工业大学计算机科学与技术系南京210009 南京大学计算机软件新技术国家重点实验室南京210093 江苏教育学院数学与信息技术学院南京210013

当前许多研究表明,在多跳无线网络中,网络编码技术可以显著提高网络通信性能.首先深入分析研究现有的机会网络编码机制及存在的问题,在此基础上,提出一种通用启发式网络编码协议(GHNC).该协议包含机会转发节点选举、吞吐量计算和动态调... 详细信息

当前许多研究表明,在多跳无线网络中,网络编码技术可以显著提高网络通信性能.首先深入分析研究现有的机会网络编码机制及存在的问题,在此基础上,提出一种通用启发式网络编码协议(GHNC).该协议包含机会转发节点选举、吞吐量计算和动态调整三个过程.其核心思想是:根据网络状况的变化,采用启发式方法自主地改变参与竞争转发节点的个数,以最大化网络吞吐量.另外,考虑到多跳无线网络的动态变化特性以及对服务质量的需求,分别提出动态启发式网络编码协议(DHNC)和快速启发式网络编码协议(FHNC).仿真结果表明,GHNC、DHNC以及FHNC能够快速适应网络环境的变化,显著提高网络性能.

关键词：多跳无线网络网络编码机会转发启发式方法

来源：评论

学校读者我要写书评

暂无评论

先秦词汇的时代特征自动获取及文献时代的自动判定

引用

中文信息学报 2013年第5期27卷 107-113页

作者：刘浏李斌曲维光陈小荷南京师范大学语言信息科技研究中心江苏南京210097 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京师范大学计算机科学与技术学院江苏南京210097

词汇的时代特征能反应词汇在一个时代发展变化的规律。该文将先秦分为前春秋、春秋和战国三个时代,获取并研究这三个时代的时代独有词、时代特征词及时代发源词。该文提出两种自动判断先秦文献时代的方法,分别基于向量相似度和朴素贝叶... 详细信息

词汇的时代特征能反应词汇在一个时代发展变化的规律。该文将先秦分为前春秋、春秋和战国三个时代,获取并研究这三个时代的时代独有词、时代特征词及时代发源词。该文提出两种自动判断先秦文献时代的方法,分别基于向量相似度和朴素贝叶斯分类器,在25种先秦文献上后者的分类性能更稳定。最后该文使用朴素贝叶斯分类器验证了《列子》并非成书于先秦。

关键词：先秦词汇时代向量空间模型朴素贝叶斯分类器

来源：评论

学校读者我要写书评

暂无评论

CWMT2013机器翻译评测技术报告

CWMT2013机器翻译评测技术报告

引用

第九届全国机器翻译研讨会

作者：黄书剑软件新技术国家重点实验室(南京大学)南京大学计算机科学与技术系

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：