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

软件学报 1998年第2期9卷 81-85页

作者：詹永照宋顺林佘江峰张建明江苏理工大学计算机科学系南京大学计算机软件新技术国家重点实验室

本文提出了一种分层设计的规则逻辑网格的脸部轮廓造型法，同时，以脸部动作编码系统ＦＡＣＳ（ｆａｃｉａｌａｃｔｉｏｎｃｏｄｉｎｇｓｙｓｔｅｍ）为依据，以脸部解剖学和生物力学特点为前提，提出了研制各种肌肉运动的调节器，通过... 详细信息

本文提出了一种分层设计的规则逻辑网格的脸部轮廓造型法，同时，以脸部动作编码系统ＦＡＣＳ（ｆａｃｉａｌａｃｔｉｏｎｃｏｄｉｎｇｓｙｓｔｅｍ）为依据，以脸部解剖学和生物力学特点为前提，提出了研制各种肌肉运动的调节器，通过合理使用和协调有关肌肉调节器产生相应的脸部表情的动画．

关键词：计算机图形学脸部造型肌肉调节器脸部动画

来源：评论

学校读者我要写书评

暂无评论

C++的一种并发扩充方案

引用

软件学报 1998年第8期9卷 586-591页

作者：陈家骏赵建华郑国梁南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

该文给出了一种对Ｃ＋＋进行并发扩充的方案．它基于这样的并发面向对象模型：系统由一组自治的并发对象构成，对象可以有一个体，一旦对象被创建，对象体就开始执行；对象间采用同步消息传递，允许对象内部的并发；对象的并发控制分散... 详细信息

该文给出了一种对Ｃ＋＋进行并发扩充的方案．它基于这样的并发面向对象模型：系统由一组自治的并发对象构成，对象可以有一个体，一旦对象被创建，对象体就开始执行；对象间采用同步消息传递，允许对象内部的并发；对象的并发控制分散在各方法的激励条件中．文章还给出了一种转换策略，把扩充的Ｃ＋＋描述转换成Ｃ＋＋描述，使之能被现有的Ｃ＋＋编译器识别．转换中利用了某些多任务操作系统（如Ｗｉｎｄｏｗｓ９５）所提供的多线程和同步设施．

关键词：面向对象并发扩充 C++语言程序设计语言

来源：评论

学校读者我要写书评

暂无评论

Knight:一个通用知识挖掘工具

引用

计算机研究与发展 1998年第4期35卷 338-343页

作者：陈栋徐洁磐南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

现有知识挖掘系统普遍存在通用性不好，发现方法单一的弱点．文中介绍了一个通用知识挖掘工具：Ｋｎｉｇｈｔ系统．Ｋｎｉｇｈｔ系统可以适应多个应用领域的不同要求，在知识发现流程中，引入了进化程序设计、信息论等新的思想方法．

关键词：遗传算法知识挖掘工具 Knight系统

来源：评论

学校读者我要写书评

暂无评论

一种用于网络计算的接口模型NCIM

引用

软件学报 1998年第11期9卷 851-856页

作者：赵振平杨培根南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

分析研究了当前网络计算的传统模型，指出了它们在服务资源表示中的不足，提出了新的接口模型，能够精确、全面地描述计算资源所提供的服务，以期增进计算机之间的交互，使之能够自动地发现并共享网络上的软件资源．

关键词：网络计算计算机网络接口模型 NCIM

来源：评论

学校读者我要写书评

暂无评论

可视化分布式程序设计中的任务信道描述模型

引用

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

作者：柳颖赵欣方斐谢立南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

利用可视化技术简化分布式应用的开发是目前的研究热点之一。要使用可视化技术，首先要解决如何描述一个分布式的应用。与传统顺序程序不同，分布式应用必须考虑到资源共享、通信与同步、复制、任务分配等等。本文提出了任务信道描述模... 详细信息

利用可视化技术简化分布式应用的开发是目前的研究热点之一。要使用可视化技术，首先要解决如何描述一个分布式的应用。与传统顺序程序不同，分布式应用必须考虑到资源共享、通信与同步、复制、任务分配等等。本文提出了任务信道描述模型，讨论了如何在该模型中描述分布式应用的上述特征，着重探讨通信与同步的描述问题，给出了若干不同类型的应用描述实例。

关键词：分布式程序设计可视化技术任务信道模型

来源：评论

学校读者我要写书评

暂无评论

面向Agent软件工程(Ⅰ):Agent计算、编程风范与语言设计

引用

计算机科学 1998年第3期25卷 1-7页

作者：樊晓聪徐殿祥侯建民陈冠岭郑国梁南京大学计算机科学技术系计算机软件新技术国家重点实验室南京210093

Agent技术源于人工智能,现已融入主流计算机的各个领域。

关键词：软件工程人工智能 Agent 计算编程风范

来源：评论

学校读者我要写书评

暂无评论

面向对象逻辑语言LKO的类型系统

引用

计算机研究与发展 1998年第3期35卷 246-250页

作者：徐殿祥郑国梁南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统．在谓词声明中，类型由有序的构子构造而成．子句中变量类型由类型推理决定．对象类型由方法声明决定，独立于继承，便于代码复用．它可作为基类型参与项类型构造．

关键词：面向对象程序设计类型逻辑语言 LKO语言

来源：评论

学校读者我要写书评

暂无评论

Agent规范与编程语言SPLAW的语法和语义

引用

计算机学报 1998年第8期21卷 682-693页

作者：樊晓聪徐殿祥候建民郑国梁南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

本文描述了Agent规范与编程语言SPLAW的语法，为SPLAW中的各种语言成分提供了操作语义，并基于标记转换系统给出Agent性质的证明规则．由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML，使遵循同一标准的Agent之间能进行... 详细信息

本文描述了Agent规范与编程语言SPLAW的语法，为SPLAW中的各种语言成分提供了操作语义，并基于标记转换系统给出Agent性质的证明规则．由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML，使遵循同一标准的Agent之间能进行协作问题求解．SPLAW首次为Agent提供继承支持，使其可以实现具有面向对象特征的多线程系统．SPLAW屏弃了为语言引入内部模态词的缺陷，试图从外部为Agent赋予信念、愿望、意念等心智状态，有助于统一Agent的理论研究和实际系统设计．

关键词： AOP Agent规范 SPLAW语言编程语言

来源：评论

学校读者我要写书评

暂无评论

基于OSI参考模型的一致性测试理论和方法

引用

计算机工程 1998年第6期24卷 15-17页

作者：毛迪林丛锁高传善复旦大学计算机科学系上海200433 南京大学计算机软件新技术国家重点实验室南京210093

以TP4运输层协议为例，阐述了OSI一致性测试的理论和方法。在对OSI一致性测试和TP4协议进行简介的基础上，给出了在TCP／IP环境中实现OSITP4协议一致性协同测试的关键技术和方法。

关键词：一致性测试 OSI 参考模型 TCP/IP协议

来源：评论

学校读者我要写书评

暂无评论

非一致线性递推计算到多处理机上的分解

引用

计算机学报 1998年第S1期21卷 46-51页

作者：张德富陈崚南京大学计算机软件新技术国家重点实验室南京210093 扬州大学师范学院计算机科学系扬州225002

对于一致线性递推计算（ULR）进行独立分解、使它分解为若干可独立计算的独立集，从而分配到具有分布式存储器的多处理机上去并行执行，已有许多很好的方法．本文则提出了几种对非一致线性递推计算（NLR）独立分解的方法，可将NLR分解... 详细信息

对于一致线性递推计算（ULR）进行独立分解、使它分解为若干可独立计算的独立集，从而分配到具有分布式存储器的多处理机上去并行执行，已有许多很好的方法．本文则提出了几种对非一致线性递推计算（NLR）独立分解的方法，可将NLR分解成由一个或多个子平面、或由网状格点构成的独立集．本文还给出应用各种方法的充要条件．

关键词：并行处理多处理机递推计算

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：