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

小型微型计算机系统 2000年第2期21卷 120-123页

作者：王运翔金志权谢立南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

ＣＯＮＥＴＶ２．０是国产微内核操作系统ＣＯＳＩＸＶ２．０上实现的ＴＣＰ／ＩＰ协议簇的网络系统软件，采用了面向对象的多线程网络协议实现环境．这种网络协议为构造和组合网络协议提供了一个精确的体系结构，同时具有各种协议实现... 详细信息

ＣＯＮＥＴＶ２．０是国产微内核操作系统ＣＯＳＩＸＶ２．０上实现的ＴＣＰ／ＩＰ协议簇的网络系统软件，采用了面向对象的多线程网络协议实现环境．这种网络协议为构造和组合网络协议提供了一个精确的体系结构，同时具有各种协议实现支持例程，使得开发的网络协议结构性好、性能高、可扩展．本文简述了ＣＯＮＥＴＶ２．０网络协议实现环境的体系结构及其支持的例程，给出了实现ＴＣＰ协议的总体设计，讨论了实现中的重要细节．

关键词：网络软件 TCP协议 CONETV2.0 网络协议

来源：评论

学校读者我要写书评

暂无评论

基于源代码静态分析的C++0x泛型概念抽取

引用

计算机学报 2009年第9期32卷 1792-1803页

作者：陈林徐宝文东南大学计算机科学与工程学院南京210096 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性,有必要识别C++遗产代码中的泛型概念,并... 详细信息

使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性,有必要识别C++遗产代码中的泛型概念,并通过重构得到符合C++0x标准的代码.文中提出了一种基于代码静态分析的泛型概念自动识别方法,通过对泛型程序中类型参数的使用分析,从遗产代码中提取有效表达式约束和关联类型约束,进而推导出泛型概念.将该方法应用于C++标准模板库STL,可以识别出STL算法中绝大部分潜在的泛型概念,表明该方法有助于识别遗产代码中的泛型概念.

关键词：泛型程序设计软件重构泛型概念 C++0x 约束分析

来源：评论

学校读者我要写书评

暂无评论

一种基于不变量的从工作流网到PERT图的转换方法

引用

电子学报 2008年第5期36卷 893-898页

作者：葛季栋胡昊吕建计算机软件新技术国家重点实验室(南京大学) 南京大学计算机科学与技术系江苏南京210093 南京大学软件学院江苏南京210093

工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模... 详细信息

工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期,而在传统的项目进度计划中,PERT图是一种成熟的技术,为此,本文在工作流网的基础上增加了时间的概念,基于LMST-不变量的分解技术,提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法,由此达到估算工作流过程模型的进度与工期的目的.

关键词：工作流 Petri网过程建模合理性不变量 PERT图

来源：评论

学校读者我要写书评

暂无评论

一种支持NC++语言的多目通信机制(NCMCAST)

引用

小型微型计算机系统 2000年第8期21卷 847-850页

作者：吴迎红胡宁顾庆谢立陈道蓄南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

分布式处理要求分布式系统提供可靠高效的通信手段 .本文在分析了分布式系统对多目通信机制要求的基础上 ,设计并实现了一个支持面向对象的分布式程序设计语言 NC++的多目通信机制 NCMCAST.实验证明 NCM-CAST向 NC++提供了可靠、保序的... 详细信息

分布式处理要求分布式系统提供可靠高效的通信手段 .本文在分析了分布式系统对多目通信机制要求的基础上 ,设计并实现了一个支持面向对象的分布式程序设计语言 NC++的多目通信机制 NCMCAST.实验证明 NCM-CAST向 NC++提供了可靠、保序的多目通信机制 .

关键词： NC++语言多目通信机制程序设计语言面向对象

来源：评论

学校读者我要写书评

暂无评论

基于面向对象的多线程机制的互联网层协议实现

引用

小型微型计算机系统 2000年第2期21卷 116-119页

作者：龙晓晖金志权谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

ＣＯＮＥＴ２．０由于采用了先进的面向对象的多线程机制，因而具有良好的易扩充性和易重构性．本文着重阐述面向对象的多线程机制在互联网层协议的实现，讨论实现中的重要细节．

关键词：互联网层协议面向对象多线程机制 TCP/IP协议

来源：评论

学校读者我要写书评

暂无评论

基于选择机制的实体间最信任路径发现方法

引用

北京工业大学学报 2010年第5期36卷 679-684页

作者：周国强曾庆凯南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093 南京邮电大学计算机学院南京210003

提出了一种基于选择机制的实体间最信任路径发现算法.该算法采用动态规划思想,同时利用乘关系特点和信息反馈,在计算信任路径过程中可过滤掉无关路径,解决了恶意实体干扰问题、信任路径数目爆炸问题以及回路问题.仿真结果显示,本算法能... 详细信息

提出了一种基于选择机制的实体间最信任路径发现算法.该算法采用动态规划思想,同时利用乘关系特点和信息反馈,在计算信任路径过程中可过滤掉无关路径,解决了恶意实体干扰问题、信任路径数目爆炸问题以及回路问题.仿真结果显示,本算法能有效隔离恶意实体,同时具有通信量小,收敛性好的优点.

关键词：信任网络信任路径路径爆炸恶意实体

来源：评论

学校读者我要写书评

暂无评论

一种新的网络故障诊断方法——FTFD

引用

计算机研究与发展 2005年第11期42卷 1928-1933页

作者：李千目许满武杨云张宏刘凤玉南京大学计算机软件新技术国家重点实验室南京210003 南京理工大学计算机科学与技术系南京210094

通过对网络状态和故障指标进行形式化分析,提出一种基于模糊事件的故障检测方法(FTFD),该方法通过建立状态检测函数,能将比较复杂、模糊性强的网络故障问题用精确的数学转换方法来解决,从而获得比较精确的结果·应用FTFD诊断网络故... 详细信息

通过对网络状态和故障指标进行形式化分析,提出一种基于模糊事件的故障检测方法(FTFD),该方法通过建立状态检测函数,能将比较复杂、模糊性强的网络故障问题用精确的数学转换方法来解决,从而获得比较精确的结果·应用FTFD诊断网络故障不仅能有效降低漏报率和误报率,而且使实时故障诊断成为可能·原型系统证实了该方法的可行性,获得了在实时环境中网络故障诊断的技术效果·

关键词：网络故障诊断模糊事件实时检测

来源：评论

学校读者我要写书评

暂无评论

基于激光扫描测距和视频图像处理的集卡定位方法

引用

系统仿真学报 2009年第15期21卷 4873-4878页

作者：王继堂孔婷李俊潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

利用基于激光扫描测距与视频图像处理相结合的方法检测港口集装箱卡车位置,排除了环境变化的干扰,提高了定位精度,并且通过图形处理计算集装箱体之间的距离和夹角,准确的指导集装箱卡车停车以及预调双吊具的状态,从而加快装卸速度,提高... 详细信息

利用基于激光扫描测距与视频图像处理相结合的方法检测港口集装箱卡车位置,排除了环境变化的干扰,提高了定位精度,并且通过图形处理计算集装箱体之间的距离和夹角,准确的指导集装箱卡车停车以及预调双吊具的状态,从而加快装卸速度,提高了运行效率。

关键词：摄像机标定 OpenCV 激光测距偏移角箱体识别

来源：评论

学校读者我要写书评

暂无评论

VPM:列存储系统中基于带值路径的物化技术

引用

计算机研究与发展 2012年第10期49卷 2086-2094页

作者：丁祥武余文兵刘国华东华大学计算机科学与技术学院上海201620 计算机软件新技术国家重点实验室(南京大学) 南京210093

物化是列存储数据仓库查询中必不可少的操作,物化策略和物化技术直接影响到查询执行的性能,因此设计一种适应于列存储系统的物化策略和相关技术尤为重要.针对延迟物化可能重复读取数据块的缺陷,提出了基于带值路径的物化技术,简称VPM.首... 详细信息

物化是列存储数据仓库查询中必不可少的操作,物化策略和物化技术直接影响到查询执行的性能,因此设计一种适应于列存储系统的物化策略和相关技术尤为重要.针对延迟物化可能重复读取数据块的缺陷,提出了基于带值路径的物化技术,简称VPM.首先,定义了一个描述物理执行中间结果的结构——传递块,该结构将用于重构的位置信息与实际列值相分离.在此基础上,对于给定的物理查询树,根据其操作节点是否需要某一列的值进行路径标记,生成自扫描节点或抽值节点到最终需要这些节点的引用列的祖先节点之间的路径,即带值路径.将起始节点引用列的列值保存在传递块的列值区中,并在向查询树的上层操作节点传输过程中不断对其过滤.对带值路径中的其他列仅保存其位置信息.在查询执行时,除了路径起始节点要从磁盘读取数据外,其他节点直接从传递块中获得相应的列值,有效地减少了查询处理过程的I/O开销,提高了查询的执行性能.最后在DWMS上使用TPC-H中针对数据仓库的基准数据集SSBM进行实验,验证了基于带值路径物化技术的有效性.

关键词：列存储物化传递块带值路径 VPM

来源：评论

学校读者我要写书评

暂无评论

虚拟网络马拉松系统通信协议及关键技术研究

引用

系统仿真学报 2010年第9期22卷 2125-2130页

作者：欧阳婷婷苏绍勇卢威潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

虽然分布式虚拟环境及其各种技术已发展成熟,但其在电子竞技领域的应用尚不多见。将分布式虚拟环境技术应用到电子竞技领域的"虚拟网络马拉松"系统中,描述了虚拟化电子竞技系统的特点和通信协议设计准则,讨论了相关的一些关... 详细信息

虽然分布式虚拟环境及其各种技术已发展成熟,但其在电子竞技领域的应用尚不多见。将分布式虚拟环境技术应用到电子竞技领域的"虚拟网络马拉松"系统中,描述了虚拟化电子竞技系统的特点和通信协议设计准则,讨论了相关的一些关键技术的实现,包括标准性、公平性、通信开销和自愈合性,在此基础上设计并实现了虚拟网络马拉松系统网络通信协议VNMCP。

关键词：分布式虚拟环境电子竞技网络通信协议虚拟网络马拉松

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：