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

在多Agent系统中，个体Agent除了具有自治性、应激性、主动性外，还应当具有社会性以完成只有协作才能解决的问题．这种社会性要求Agent能及时响应其它Agent的服务请求，对自己的行为作出承诺．但是，有能力和意图并不一定有信心．本文从Agent的社会行为出发，为A-gent引入行为自信度的概念，并提出了理性Agent应当遵守的行为自信度修改规则．最后给出了一个动作委托算法，为设计具体的多Agent系统提供了一个可行的解决方案．

关键词：多Agent系统行为自信度动作集人工智能

来源：评论

学校读者我要写书评

暂无评论

离散时段演算的符号模型验证

引用

计算机学报 1998年第2期21卷 103-110页

作者：侯建民李宣东郑国梁南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

模型验证是对有限状态系统的一种形式化确认方法．近几年，模型验证方法已逐步扩展到实时系统应用中．为解决实时系统的模型验证问题，本文采用离散时段演算作为实时系统规格说明的形式语言，用时间自动机作为实时系统的实现模型，对模... 详细信息

模型验证是对有限状态系统的一种形式化确认方法．近几年，模型验证方法已逐步扩展到实时系统应用中．为解决实时系统的模型验证问题，本文采用离散时段演算作为实时系统规格说明的形式语言，用时间自动机作为实时系统的实现模型，对模型验证问题进行了细致的分析，并提出了一种具有实际应用价值的方法──商技术．该方法可以避免当多个时间自动机并行组合时可能产生的状态空间组合爆炸问题，同时还可以简化整个模型验证问题．

关键词：离散时段演算模型验证符号模型实时系统

来源：评论

学校读者我要写书评

暂无评论

True Type汉字字形编辑器的设计与实现

引用

计算机研究与发展 1998年第5期35卷 422-425页

作者：黄源王瑜张福炎南京大学多媒体计算机研究所南京大学计算机软件新技术国家重点实验室

文中介绍了一个适合汉字字形特点的、基于ＴｒｕｅＴｙｐｅ字形标准的汉字字形编辑器，包括该编辑器的设计思想、关键技术以及实现情况．

关键词：汉字字形字形编辑器 TrueType字形信息处理

来源：评论

学校读者我要写书评

暂无评论

一种基于ATM的支持并行处理的高速通信机制

引用

计算机学报 1998年第7期21卷 586-594页

作者：吴礼发谢立孙钟秀南京大学软件新技术国家重点实验室南京210093

随着高速网络（如ATM）的发展以及工作站性能的不断提高，工作站网络（NOW）作为～种新型的并行计算结构越来越受到人们的重视．传统的传输协议和报文传递系统不能充分利用高速网的传输能力．本文提出一种基于ATM的支持并行处理的高速... 详细信息

随着高速网络（如ATM）的发展以及工作站性能的不断提高，工作站网络（NOW）作为～种新型的并行计算结构越来越受到人们的重视．传统的传输协议和报文传递系统不能充分利用高速网的传输能力．本文提出一种基于ATM的支持并行处理的高速通信机制HPMPA．在HPMPA中，可靠的端一端传输协议HSTP为并行应用提供高速可靠的数据传输，而不可靠的端-端传输协议UTP则提供不可靠的高速数据报服务，以混合树结构（Hybrid-tree）为基础的各种群通信操作则为并行应用提供各种高性能的群通信服务．

关键词：工作站网络群通信 ATM

来源：评论

学校读者我要写书评

暂无评论

一种基于几何变换的高效的线裁剪新算法

引用

软件学报 1998年第10期9卷 728-733页

作者：汪灏泓吴锐迅蔡士杰南京大学计算机软件新技术国家重点实验室

线裁剪是计算机图形学的重要基础问题之一．在对现有的两种优秀算法作了分析之后提出一种利用简单几何变换，将裁剪问题简化为对两种基本情况的处理，并先后对被裁剪线段的首末端点作变换处理的新算法，有效地克服了上述两种方法中存在... 详细信息

线裁剪是计算机图形学的重要基础问题之一．在对现有的两种优秀算法作了分析之后提出一种利用简单几何变换，将裁剪问题简化为对两种基本情况的处理，并先后对被裁剪线段的首末端点作变换处理的新算法，有效地克服了上述两种方法中存在的调用函数多、基本情况处理复杂等弱点．理论分析和实例测试均表明，该算法优于当前国际最快的几种裁剪方法．

关键词：几何变换线裁剪算法计算机图形学

来源：评论

学校读者我要写书评

暂无评论

图纸扫描消蓝技术评价与改进算法

引用

计算机工程 1998年第11期24卷 34-37页

作者：邹荣金蔡士杰张福炎南京大学软件新技术国家重点实验室多媒体技术研究所南京210093

描述工程图纸识别技术中的扫描消蓝技术，对几种二值化方法进行了分析和评估、提出了非线性适应算法、微分函数的区域分割算法和基于逻辑分级技术的二值化算法。同时结合建筑结构图的自动识别进行了试验研究。未给出最佳处理方法，而是... 详细信息

描述工程图纸识别技术中的扫描消蓝技术，对几种二值化方法进行了分析和评估、提出了非线性适应算法、微分函数的区域分割算法和基于逻辑分级技术的二值化算法。同时结合建筑结构图的自动识别进行了试验研究。未给出最佳处理方法，而是指出对应不同类型退化的图纸。采用不同的方法或组合形式实现二值化。

关键词：图纸识别图纸消蓝图象处理建筑工程制图

来源：评论

学校读者我要写书评

暂无评论

JAVA新类库中的MVC结构以及通信实现方法

引用

小型微型计算机系统 1998年第12期19卷 72-75页

作者：陆继翔刘芳珠潘金贵南京大学多媒体计算机研究所计算机软件新技术国家重点实验室

Ｓｗｉｎｇ的组件是按照ＭＶＣ模型来构造的。本文介绍了Ｓｗｉｎｇ中ＭＶＣ结构及其通信实现方法。

关键词： Swing MVC 事件通知 Java语言类库

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：