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

计算机科学 2002年第9期29卷 21-25页

作者：许建峰胡宁宁朱晴波胡宁谢立南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

1 引言基于不同的应用背景与假设,人们已对分布式实时仿真系统中任务间的同步问题进行了大量研究,其主要思想是将系统看成一个离散事件的集合,事件之间存在某种相互依赖的关系,执行时遵循一定的时序约定,在不破坏这种约定的前提下,尽可... 详细信息

1 引言基于不同的应用背景与假设,人们已对分布式实时仿真系统中任务间的同步问题进行了大量研究,其主要思想是将系统看成一个离散事件的集合,事件之间存在某种相互依赖的关系,执行时遵循一定的时序约定,在不破坏这种约定的前提下,尽可能提高系统的并行度.

关键词：分布式实时仿真系统同步模型 PN 计算机仿真实体组模型

来源：评论

学校读者我要写书评

暂无评论

实时协同编辑系统的结构及关键技术

引用

计算机工程 2002年第6期28卷 99-101页

作者：毛启容詹永照毕明江苏理工大学计算机科学与通信工程学院南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件新技术国家重点实验室

以实时性、分布式为重点,提出了实时协同编辑系统(RECES)的具体结构,并对实现该RECES所涉及到的乐观锁机制、多级协同感知、角色控制、容错性等关键技术进行了介绍。这些技术在RECES中收到了很好的效果。

关键词：实时协同编辑系统结构乐观锁机制多级协同感知角色控制 Internet

来源：评论

学校读者我要写书评

暂无评论

小波图像编码中阶梯型量化的研究

引用

小型微型计算机系统 2002年第9期23卷 1136-1140页

作者：潘迅宇潘树陆南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

本文利用原始图像在不同频率区域能量分布不同的特点 ,通过对小波变换系数的研究 ,提出了一种对图像的小波分解系数进行阶梯型量化的有效方法 ,并结合不同类型的图像给出了具有代表性的量化方案。

关键词：小波变换图像压缩阶梯型量化图像编码计算机

来源：评论

学校读者我要写书评

暂无评论

面向Web的信息收集工具的设计与开发

引用

计算机应用研究 2002年第6期19卷 144-147页

作者：潘春华常敏武港山南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

随着互联网的发展以及网上信息的日益丰富 ,传统的信息处理已经延伸到互联网领域。在对互联网上的信息进行处理时 ,常常要将分布在互联网各处的Web页面下载到本地供进一步处理 ;这便是所讨论的Web页面收集工具的核心功能。该页面收集系... 详细信息

随着互联网的发展以及网上信息的日益丰富 ,传统的信息处理已经延伸到互联网领域。在对互联网上的信息进行处理时 ,常常要将分布在互联网各处的Web页面下载到本地供进一步处理 ;这便是所讨论的Web页面收集工具的核心功能。该页面收集系统在综合使用Web页面间的链接关系和页面内容的基础上 ,增加了多层次的页面过滤模块 ,可用来收集特定领域内的Web页面 ;同时可采用多机并行收集的方法提高页面收集的效率 ;采用大型数据库存放元收集信息 ,并对收集到的页面进行压缩 ,能够支持海量数据的收集 ;动态更新机制的实施使得下载到本地的页面信息能够得到及时的更新。

关键词： Web 信息收集工具设计页面收集信息处理网络爬虫万维网 Internet

来源：评论

学校读者我要写书评

暂无评论

蚁群算法求解连续空间优化问题的一种方法

引用

软件学报 2002年第12期13卷 2317-2323页

作者：陈崚沈洁秦玲扬州大学计算机科学与工程系南京大学计算机软件新技术国家重点实验室江苏南京210093

针对蚁群算法不太适合求解连续性优化问题的缺陷,提出用蚁群算法求解连续空间优化问题的一种方法.该方法将解空间划分成若干子域,在蚁群算法的每一次迭代中,首先根据信息量求出解所在的子域,然后在该子域内已有的解中确定解的具体值.以... 详细信息

针对蚁群算法不太适合求解连续性优化问题的缺陷,提出用蚁群算法求解连续空间优化问题的一种方法.该方法将解空间划分成若干子域,在蚁群算法的每一次迭代中,首先根据信息量求出解所在的子域,然后在该子域内已有的解中确定解的具体值.以非线性规划问题为例所进行的计算结果表明,该方法比使用模拟退火算法、遗传算法具有更好的收敛速度.

关键词：蚁群算法连续空间优化问题非线性规划模拟进化算法

来源：评论

学校读者我要写书评

暂无评论

基于拥塞控制与RS编码的自适应有效Internet视频传输

引用

中国科学（E辑） 2002年第3期32卷 425-432页

作者：黄伟红张福炎孙正兴南京大学软件新技术国家重点实验室计算机科学与技术系南京210093

提出一种自适应拥塞控制与自适应RS（reed-solomon）编码差错修复相结合的有效Internet视频传输新方案.针对Internet共享信道的QoS波动特性而设计的一个带有速率控制参数可调的自适应拥塞控制机制的视频流协议AVSP,使视频传输具有对网... 详细信息

提出一种自适应拥塞控制与自适应RS（reed-solomon）编码差错修复相结合的有效Internet视频传输新方案.针对Internet共享信道的QoS波动特性而设计的一个带有速率控制参数可调的自适应拥塞控制机制的视频流协议AVSP,使视频传输具有对网络状况波动的快速反应特性和一定的TCP友好性.在不增加系统总带宽的前提下,与拥塞控制相结合的可变参数自适应RS编码MPEG视频传输差错修复,有效地增强了Internet分组丢失差错环境下视频传输的鲁棒性.

关键词： Internet 视频传输拥塞控制 RS编码差错修复自适应视频流协议视频编码

来源：评论

学校读者我要写书评

暂无评论

精化演算支撑工具的分析

引用

计算机应用与软件 2002年第2期19卷 1-5,53页

作者：王云峰庞军查鸣杨朝晖郑国梁南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必要的。在分析现有的精化工具的基础上,我们提出了一个用于软件形式化开发的精化工具RT(RefinementTool),... 详细信息

利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必要的。在分析现有的精化工具的基础上,我们提出了一个用于软件形式化开发的精化工具RT(RefinementTool),对精化工具进行了需求分析和功能分析。在精化工具的设计中,分析了精化工具的设计目标、总体结构、精化与证明的表示方法、用户界面和工具的扩充性等问题,通过对精化和证明的表示方法的分析,提出了一种精化与证明的表示相结合的方法。

关键词：形式方法精化演算支撑工具软件工具计算机

来源：评论

学校读者我要写书评

暂无评论

一种SVM增量学习算法

引用

南京大学学报（自然科学版） 2002年第2期38卷 152-157页

作者：萧嵘王继成孙正兴张福炎南京大学软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

分析了SVM理论中SV(支持向量 )集的特点 ,给出一种SVM增量学习算法 .通过在增量学习中使用SV集与训练样本集的分类等价性 ,使得新的增量训练无需在整个训练样本空间进行 .理论分析和实验结果表明。

关键词： SVM增量学习算法支持向量机分类机器学习增量训练 SV集训练样本集

来源：评论

学校读者我要写书评

暂无评论

MVC模型在构造用户接口中的应用

引用

计算机应用与软件 2002年第7期19卷 3-4,64页

作者：刘芳珠潘亦潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

图形用户接口(GUI)是应用软件的重要组成部分。使用模型-视图-控制(MVC)的面向对象模型不仅可以提高设计效率,而且还能使其对不同的运行平台有自适应性。本文主要论述面向对象的用户接口模型MVC的结构及其原理,并以一个实例阐述在具体... 详细信息

图形用户接口(GUI)是应用软件的重要组成部分。使用模型-视图-控制(MVC)的面向对象模型不仅可以提高设计效率,而且还能使其对不同的运行平台有自适应性。本文主要论述面向对象的用户接口模型MVC的结构及其原理,并以一个实例阐述在具体的软件设计中如何实现MVC模型。

关键词： MVC模型用户接口事件收听者列表组件图形用户接口类库图形用户接口软件设计

来源：评论

学校读者我要写书评

暂无评论

多Agent多问题协商模型

引用

软件学报 2002年第8期13卷 1637-1643页

作者：王立春陈世福南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

在多agent环境中,协商是多agent系统能够成功运转的关键.根据参与协商agent的数目和协商问题的数目,多agent环境中的协商可以分为双边-单问题协商、双边-多问题协商、多边-单问题协商、多边-多问题协商.前3种协商是多边-多问题协商在不... 详细信息

在多agent环境中,协商是多agent系统能够成功运转的关键.根据参与协商agent的数目和协商问题的数目,多agent环境中的协商可以分为双边-单问题协商、双边-多问题协商、多边-单问题协商、多边-多问题协商.前3种协商是多边-多问题协商在不同维上的简化.利用协商-协商过程-协商线程的概念建立了一个多边-多问题协商模型MMN(multi-agent multi-issue negotiation).该模型通过提供一个灵活的协商协议支持多agent环境中的不同协商形式,并且支持agent在协商过程中的学习.

关键词：多agent系统多问题协商协商协议人工智能

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：