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

模式识别与人工智能 1996年第3期9卷 209-212页

作者：田奕刘涛李国杰国家智能计算机研究开发中心北京100080

本文将可满足性问题(SAT)转化为一个优化问题,应用遗传算法来求解.为了提高遗传算法的求解效率,我们提出并采用了一种新的个体进化策略.这种个体进化策略不能用简单的爬山过程来概括,它允许个体进行多次爬山.在求解随机3-SAT问题时,这... 详细信息

本文将可满足性问题(SAT)转化为一个优化问题,应用遗传算法来求解.为了提高遗传算法的求解效率,我们提出并采用了一种新的个体进化策略.这种个体进化策略不能用简单的爬山过程来概括,它允许个体进行多次爬山.在求解随机3-SAT问题时,这种遗传算法表现了优于同类算法的良好性能.

关键词：遗传算法可满足性数理逻辑机器学习

来源：评论

学校读者我要写书评

暂无评论

目录服务和统一认证研究

引用

计算机工程与应用 1999年第9期35卷 26-28页

作者：冯国臻国家智能计算机研究开发中心北京100080

文章深入讨论了企业计算的重要课题目录服务及其相关国际标准LDAP和X.500，并对二者进行了比较，论述了目录服务是企业计算关键技术──统一认证服务的实现途径。此外，文中介绍了业界最优秀的目录服务产品和该理论在大型企业信息平台... 详细信息

文章深入讨论了企业计算的重要课题目录服务及其相关国际标准LDAP和X.500，并对二者进行了比较，论述了目录服务是企业计算关键技术──统一认证服务的实现途径。此外，文中介绍了业界最优秀的目录服务产品和该理论在大型企业信息平台研究设计中的应用。最后评述了LDAP与X.500对比的启示意义。

关键词：企业计算 LDAP X.500 目录服务统一认证

来源：评论

学校读者我要写书评

暂无评论

知识云及其在知识获取中的意义

引用

软件学报 1995年第3期6卷 179-185页

作者：曹存根中国科学院数学研究所国家智能计算机研究开发中心

如何有效地获取领域专家的知识一直被视为人工智能中的难题．本文的目的在于提出一种关于知识获取的基本观点，并以此观点为基础来研究知识获取问题．这个观点的基本内容是：象波尔的原于模型一样，在专家的知识周围有一些知识层．它们... 详细信息

如何有效地获取领域专家的知识一直被视为人工智能中的难题．本文的目的在于提出一种关于知识获取的基本观点，并以此观点为基础来研究知识获取问题．这个观点的基本内容是：象波尔的原于模型一样，在专家的知识周围有一些知识层．它们是认识和获取专家知识的突破口或入口．本文将这些知识层看成是知识云，同时将上述观点视作知识云假设．我们将讨论知识云的内涵，研究知识云假设的合理性，最后将阐述知识云这一概念在知识获取中的意义．

关键词：知识云知识获取人工智能

来源：评论

学校读者我要写书评

暂无评论

企业统一资源访问控制系统

引用

计算机工程与应用 2000年第6期36卷 6-8,24页

作者：冯国臻张剑国家智能计算机研究开发中心北京100080

整个企业范围的统一认证是企业信息化应用发展到今天的迫切要求，套用传统的访问控制方法不能满足此需求。该文提出企业统一访问控制系统的设计应该从研究企业行为入手；并在企业行为研究的基础上设计了一种基于企业行为树、角色化的访... 详细信息

整个企业范围的统一认证是企业信息化应用发展到今天的迫切要求，套用传统的访问控制方法不能满足此需求。该文提出企业统一访问控制系统的设计应该从研究企业行为入手；并在企业行为研究的基础上设计了一种基于企业行为树、角色化的访问控制方法，使得企业访问控制主体的计算复杂性由常规方法的O（n）降为O（1）。此外该系统很好地支持企业管理柔性化，保障用户权限规则的实施。

关键词：统一认证企业访问控制系统计算机

来源：评论

学校读者我要写书评

暂无评论

求解SAT问题的局部搜索算法及其平均时间复杂性分析

引用

计算机学报 1997年第1期20卷 18-26页

作者：刘涛李国杰中国科学院计算技术研究所国家智能计算机研究开发中心

ＳＡＴ问题在人工智能、ＶＬＳＩ设计和计算理论等领域有着广泛的应用背景．近年来，局部搜索算法在求解ＳＡＴ问题时得到了巨大的成功．本文除提出了多种改进策略之外，还对一般局部搜索算法进行了平均时间复杂性分析．假设ＳＡＴ问题... 详细信息

ＳＡＴ问题在人工智能、ＶＬＳＩ设计和计算理论等领域有着广泛的应用背景．近年来，局部搜索算法在求解ＳＡＴ问题时得到了巨大的成功．本文除提出了多种改进策略之外，还对一般局部搜索算法进行了平均时间复杂性分析．假设ＳＡＴ问题中ＣＮＦ公式的子句数为ｎ，变量数为ｍ，每个子句长度为Ｌ，则局部搜索算法的平均时间复杂性分析结果为：当ｎ＜２Ｌｍ时，求解随机ＳＡＴ问题的算法复杂性为Ｏ（ｎＯ（１）Ｌ（１＋ｎ１＋ε／ｍ）），ε＞０，特别地，对于时的３－ＳＡＴ问题，算法复杂性为Ｏ（ｎ２（１＋ｎ１＋ε／ｍ））．当ｎｍ时，算法复杂性为Ｏ（ｎＬ）．

关键词： SAT问题局部搜索回溯算法平均时间复杂性

来源：评论

学校读者我要写书评

暂无评论

蛀洞路由机制及其芯片设计

引用

计算机学报 1997年第5期20卷 404-411页

作者：曾嵘董向军祝明发国家智能计算机研究开发中心中国科学院计算技术研究所

蛀洞路由技术是“曙光１０００”大规模并行计算机所采用的一项关键技术．本文讨论了蛀洞路由机制，详细介绍了“曙光１０００”的蛀洞路由算法、芯片结构设计，以及由该芯片构成的处理机互连网络．“曙光１０００”的稳定运行表明，该... 详细信息

蛀洞路由技术是“曙光１０００”大规模并行计算机所采用的一项关键技术．本文讨论了蛀洞路由机制，详细介绍了“曙光１０００”的蛀洞路由算法、芯片结构设计，以及由该芯片构成的处理机互连网络．“曙光１０００”的稳定运行表明，该芯片的逻辑功能正确，速度快，稳定可靠．

关键词：蛀洞机制路由器并行计算机芯片设计

来源：评论

学校读者我要写书评

暂无评论

Transputer网络上分布式组合搜索的效率

引用

中国科学院研究生院学报 1994年第1期11卷 104-111页

作者：孙凝晖李国杰国家智能计算机研究开发中心

Ｔｒａｎｓｐｕｔｅｒ网络是一种典型的消息传送型多处理机系统，无论是传统的数值计算，还是人工智能的动态非确定搜索问题，都可以得到加速处理。本文研究如何在Ｔｒａｎｓｐｕｔｅｒ网络上高效地实现分布式组合搜索。针对搜索的动态... 详细信息

Ｔｒａｎｓｐｕｔｅｒ网络是一种典型的消息传送型多处理机系统，无论是传统的数值计算，还是人工智能的动态非确定搜索问题，都可以得到加速处理。本文研究如何在Ｔｒａｎｓｐｕｔｅｒ网络上高效地实现分布式组合搜索。针对搜索的动态非确定性，我们提出一种异步通讯模式，以及Ｔｒａｎｓｐｕｔｅｒ上并行搜索的负载平衡算法。我们实现了最佳优先和启发式导向的深度优先两种策略的分布式分枝限界算法（Ｂｒａｎｃｈ－ａｎｄ－Ｂｏｕｎｄ），应用于求解旅行推销员问题（ＴＳＰ），在１６个Ｔｒａｎｓｐｕｔｅｒ上获得了较好的并行效率。

关键词： Transputer 分布式组合搜索算法

来源：评论

学校读者我要写书评

暂无评论

K/G:一种网格的使用模式体系结构及应用

引用

计算机研究与发展 2003年第12期40卷 1720-1724页

作者：杨宁李晓林周浩杰潘高峰中国科学院计算技术研究所国家智能计算机研究开发中心北京100080

传统的客户端/服务器模式通过请求/响应的数据交换方式为用户服务.网格系统的目的是让用户更加方便和高效地共享和使用广域的资源,这可能需要改变现有的计算机系统使用模式和评价方法.基于对网格的特性分析,提出一种K/G(grid key/grid)... 详细信息

传统的客户端/服务器模式通过请求/响应的数据交换方式为用户服务.网格系统的目的是让用户更加方便和高效地共享和使用广域的资源,这可能需要改变现有的计算机系统使用模式和评价方法.基于对网格的特性分析,提出一种K/G(grid key/grid)的网格使用模式体系结构,其关键特点是,用户将网格钥匙(grid key)接入连接网格的终端设备时,网格端的服务和数据实时地动态部署到网格终端为用户服务.还分析了这种使用模式体系结构如何体现网格的动态开放功能特征和高生产率服务的性能特征.

关键词：网格计算 K/G模式高生产率服务织女星网格

来源：评论

学校读者我要写书评

暂无评论

曙光2000超级计算机系统软件的设计

引用

计算机学报 2000年第1期23卷 9-20页

作者：孙凝晖徐志伟国家智能计算机研究开发中心北京100080 中国科学院计算技术研究所北京100080

曙光 2 0 0 0超级计算机系统采用可扩展机群体系结构 ,是通用的超级并行计算机 ,可支持科学与工程计算、网络服务和数据处理应用 .该文介绍了曙光 2 0 0 0系统软件设计采用的 SU MA技术路线 ,即在通信软件、可扩展文件系统和服务器聚集... 详细信息

曙光 2 0 0 0超级计算机系统采用可扩展机群体系结构 ,是通用的超级并行计算机 ,可支持科学与工程计算、网络服务和数据处理应用 .该文介绍了曙光 2 0 0 0系统软件设计采用的 SU MA技术路线 ,即在通信软件、可扩展文件系统和服务器聚集的设计上体现可扩展性 ,在可靠性设计和可修复性功能上体现高可用性 ,在单一控制点和系统的管理软件的设计上体现可管理性 ,在单一系统映像、集成化并行环境和傻瓜界面的设计上体现好用性 .文章详细阐述了系统软件的设计和关键技术 ,包括通信系统、COSMOS可扩展文件系统、管理软件和用户界面与工具 ,还对系统软件中存在的问题和改进方法进行了探讨 .

关键词：超级计算机系统软件可扩展性可管理性设计

来源：评论

学校读者我要写书评

暂无评论

访西蒙教授、纽威尔教授谈智能机

引用

计算机研究与发展 1991年第1期28卷 64-66页

作者：团体者国家智能计算机研究开发中心赴美考察组

1990年7月18日下午,国家智能计算机研究开发中心赴美国考察组一行四人访问了世界著名人工智能学者、美国卡内基梅农大学计算科学兼心理学教授霍尔伯特·西蒙(Herbert ***)和艾伦·纽威尔(Allen New-ell),分别与每位教授进行了... 详细信息

1990年7月18日下午,国家智能计算机研究开发中心赴美国考察组一行四人访问了世界著名人工智能学者、美国卡内基梅农大学计算科学兼心理学教授霍尔伯特·西蒙(Herbert ***)和艾伦·纽威尔(Allen New-ell),分别与每位教授进行了一小时的交谈。西蒙教授是1978年诺贝尔经济学奖的得主,并与纽威尔教授一起获1975年度图林奖(计算机科学领域最高奖)。纽威尔教授曾获得1989年国际人工智能会议最佳研究奖。兹将访

关键词：多处理机操作系统计算机系统非单调逻辑威尔智能机西蒙人工智能会议神经网搜索论启发式搜索情报处理机器翻译

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：