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

计算机研究与发展 1998年第11期35卷 971-974页

作者：王文杰田启家史忠植中国科学院计算技术研究所智能计算机科学开放实验室

多主体系统是当前人工智能研究的一个热点．其中，关于知识和动作的推理是一个重要的课题，文中给出了一种知识表示框架，称为ＲＡＯ逻辑，用来对其它主体研究时表示概念和规则．我们从日常推理中抽象出了称为换位原理的规则（ＰＥＰ）... 详细信息

多主体系统是当前人工智能研究的一个热点．其中，关于知识和动作的推理是一个重要的课题，文中给出了一种知识表示框架，称为ＲＡＯ逻辑，用来对其它主体研究时表示概念和规则．我们从日常推理中抽象出了称为换位原理的规则（ＰＥＰ）．ＰＥＰ是ＲＡＯ的一条公理模式，并且作为主体研究其它主体的一个基本规则，它与知识逻辑中的分离规则和（Ｋ）公理具有相似的形式和作用．

关键词：多主体系统换位原理人工智能主体

来源：评论

学校读者我要写书评

暂无评论

工程数据库管理系统设计、实现的几个关键问题

引用

软件学报 1997年第3期8卷 183-189页

作者：顾宁林宗楷郭玉钗复旦大学计算机科学系中国科学院计算技术研究所CAD开放实验室

本文针对工程领域的特点，提出基于关系／网状的语义超图模型描述，以表达工程中不同语义类的多对多复杂对象关系；将该模型描述和表达的管理机制和基本数据在内存中统一管理和运行，使工程数据的存取效率大为提高；增加了大量通用和特... 详细信息

本文针对工程领域的特点，提出基于关系／网状的语义超图模型描述，以表达工程中不同语义类的多对多复杂对象关系；将该模型描述和表达的管理机制和基本数据在内存中统一管理和运行，使工程数据的存取效率大为提高；增加了大量通用和特殊功能，形成了功能更强、使用方便的Ｃ语言界面．

关键词：工程数据库数据模型管理系统 EDBMS

来源：评论

学校读者我要写书评

暂无评论

面向卷积神经网络的高能效比特稀疏加速器设计

引用

计算机辅助设计与图形学学报 2023年第7期35卷 1122-1131页

作者：肖航许浩博王颖李佳骏王郁杰韩银和中国科学院计算技术研究所智能计算机研究中心北京100190 中国科学院大学计算机科学与技术学院北京100049 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

为解决当前比特稀疏架构的性能瓶颈,提出高能效比特稀疏加速器设计.首先提出一种激活值编码方法和相应的电路来提高卷积神经网络的比特稀疏度,结合比特串行电路实时跳过激活值的零值比特来加速神经网络的计算;然后提出一种列共享同步机... 详细信息

为解决当前比特稀疏架构的性能瓶颈,提出高能效比特稀疏加速器设计.首先提出一种激活值编码方法和相应的电路来提高卷积神经网络的比特稀疏度,结合比特串行电路实时跳过激活值的零值比特来加速神经网络的计算;然后提出一种列共享同步机制,以解决比特稀疏架构的同步问题,并在较小的面积和功耗开销下大幅提高比特稀疏架构的计算性能.在SMIC 40 nm工艺和1 GHz频率下,评估不同的比特稀疏架构在卷积神经网络上的能效.实验结果表明,与非稀疏加速器VAA和比特稀疏加速器LS-PRA相比,所提出的加速器AS-PRA分别提高了544%和179%的能效.

关键词：卷积神经网络加速器比特稀疏编码与同步

来源：评论

学校读者我要写书评

暂无评论

SWEEP曲面中三种定位标架的分析比较

引用

计算机辅助设计与图形学学报 2001年第5期13卷 455-460页

作者：汪国平冯艺东董士海中国科学院计算技术研究所智能信息处理开放实验室北京100080 北京大学计算机科学技术系北京100871

在基于 SWEEP的几何造型中 ,一个基本的问题是运动路径上活动标架的确定 ,尤其对于运动路径是空间曲线的情形 ,它直接影响到所生成 SWEEP曲面的形状控制 ;在其它应用中 ,也直接影响到运动物体的形状和姿态的调整 .到目前为止 ,已经有几... 详细信息

在基于 SWEEP的几何造型中 ,一个基本的问题是运动路径上活动标架的确定 ,尤其对于运动路径是空间曲线的情形 ,它直接影响到所生成 SWEEP曲面的形状控制 ;在其它应用中 ,也直接影响到运动物体的形状和姿态的调整 .到目前为止 ,已经有几种活动标架的确定方法 ,但它们对路径曲线的要求和所生成的 SWEEP曲面的形状效果是不同的 .文中比较了三种不同的活动标架 ,用实例说明了这些标架之间的差别 ,并在实用系统中实现 .

关键词： SWEEP曲面几何造型 CAGD 活动标架定位

来源：评论

学校读者我要写书评

暂无评论

交替互补定位器及其用于双模比较冗余结构的差错定位

引用

计算机研究与发展 2001年第6期38卷 754-764页

作者：江建慧同济大学计算机科学与工程系中国科学院计算技术研究所CAD开放实验室北京100080 复旦大学计算机科学与工程系上海200433

双模比较冗余结构是一种广泛应用的低成本容错结构 .当两个冗余模块之一发生故障时 ,比较器将给出差错检测指示输出 ,该输出既可以按中断信号形式通知系统作出相应的差错处理 ,也可以按硬件信号形式直接用于终止系统工作或启动重构 ,目... 详细信息

双模比较冗余结构是一种广泛应用的低成本容错结构 .当两个冗余模块之一发生故障时 ,比较器将给出差错检测指示输出 ,该输出既可以按中断信号形式通知系统作出相应的差错处理 ,也可以按硬件信号形式直接用于终止系统工作或启动重构 ,目的是防止故障冗余结构给出错误输出 ,或者确保系统能够提供连续的服务 .这种冗余结构的缺点是比较器不能确切指明故障模块 ,并因此而需要较大的时间开销来完成系统重构和恢复操作 .为解决这一问题 ,提出了一种具有并发输出差错定位功能的双模比较冗余结构 .其中单个冗余模块的输出是一个交替矢量 ,两个冗余模块的输出形成了一个交替互补矢量 ,该矢量送入一个交替互补定位器 .在正常输入情况下 ,根据定位器的输出就可以确定冗余系统是无差错的、还是冗余模块或定位器本身存在故障 .交替互补定位器由 D型触发器和通用门电路构成 ,它被证明为是一个完全故障定位的定位器 .由于所提出的双模比较冗余结构是基于时间冗余原理工作的 ,因此它适用于对速度要求不是非常苛刻的容错系统 .

关键词：并发差错定位交替互补定位器双模比较冗余结构容错计算机

来源：评论

学校读者我要写书评

暂无评论

三维计算机动画中人体建模方法的研究

引用

软件学报 1995年第5期6卷 311-315页

作者：宋顺林詹永照薛安荣伏劲松中国科学院计算技术研究所CAD开放实验室江苏理工大学计算机科学系

人体建模是计算机人体动画中的基础问题．本文给出了以多面体组合来建立粗略人体，用多面体细分割来逼近真实人体曲面的方法，并在建模中考虑了人体的动态特性，为建立人体动画模型创造了条件．

关键词：三维计算机动画人体建模

来源：评论

学校读者我要写书评

暂无评论

一种基于主特征的几何空间模糊推理方法

引用

计算机研究与发展 2001年第12期38卷 1466-1474页

作者：李辉张宁许卓群史忠植北京大学计算机科学与技术系北京100871 中国科学院计算技术研究所智能信息处理开放实验室北京100080

在几何空间中关于几何体之间不确定关系的推理是空间推理技术的主要研究方向 .首先 ,提出了空间几何体的特征与主特征的概念 ,并证明了几何体特征之间的关系与几何体之间的基本关系的等价性 ;其次 ,引入了相邻、平行、从属、同线、线性... 详细信息

在几何空间中关于几何体之间不确定关系的推理是空间推理技术的主要研究方向 .首先 ,提出了空间几何体的特征与主特征的概念 ,并证明了几何体特征之间的关系与几何体之间的基本关系的等价性 ;其次 ,引入了相邻、平行、从属、同线、线性等空间关系来描述空间几何体主特征之间的关系 ,并且将这几种空间关系通过隶属度函数模糊化 ;最后 ,基于主特征之间的空间关系 ,提出了一种进行空间模糊推理的方法 ,并给出了相应的应用实例 ,表明了所提出的方法是有效的、可行的 .

关键词：几何空间推理主特征空间模糊系统空间模糊推理人工智能

来源：评论

学校读者我要写书评

暂无评论

约束满足问题求解途径之比较与分析

引用

计算机科学 1998年第1期25卷 8-12页

作者：陈源史忠植中国科学院计算技术研究所智能计算机科学开放实验室北京100080

本文从逻辑、自动机理论、代数方法、连接主义框架和遗传算法的角度深入地探讨了CSP问题的不同表示框架和求解风范,详细分析和讨论了不同表示和求解方法的特点以及它们之间的内在联系和可能的结合。

关键词：线性规划遗传算法 NP问题约束满足问题

来源：评论

学校读者我要写书评

暂无评论

Petri网的进程网系统

引用

计算机学报 2002年第12期25卷 1308-1315页

作者：曾庆田吴哲辉中国科学院计算技术研究所智能开放实验室山东科技大学计算机科学与技术系泰安271019 山东科技大学计算机科学与技术系

提出了 Petri网的进程网系统的概念 .一个 Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的网系统 ,它可以很好地描述原网... 详细信息

提出了 Petri网的进程网系统的概念 .一个 Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的网系统 ,它可以很好地描述原网系统的进程行为 .文中讨论了求取任意 Petri网的基本进程段的算法 ,该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的 ,文中还给出了通过网结构来描述各个基本进程段之间关系的方法 ,从而求出一个 Petri网的进程网系统 .

关键词： Petri网进程网系统基本进程段可重复向量受迭可重复向量特征可达树

来源：评论

学校读者我要写书评

暂无评论

辐射度技术用于随机分维几何面的全局光照计算

引用

计算机学报 1995年第5期18卷 321-329页

作者：吴恩华中国科学院软件研究所计算机科学开放实验室中国科学院计算技术研究所CAD开放实验室

分维几何为模拟自然形体和景物提供了十分卓越的工具．然而，分维几何的造型是一个无限细分的随机造型过程，这就为分维几何的绘制带来了极大的困难．到目前为止．只有某些特殊的光线跟踪技术能够用于绘制分维几何曲面，主要产生高光效... 详细信息

分维几何为模拟自然形体和景物提供了十分卓越的工具．然而，分维几何的造型是一个无限细分的随机造型过程，这就为分维几何的绘制带来了极大的困难．到目前为止．只有某些特殊的光线跟踪技术能够用于绘制分维几何曲面，主要产生高光效果．本文首次提出了用于绘制分维曲面的辐射度技术．该技术将漫反射的计算与随机分维造型紧密结合起来，使逐步求精的辐射度技术自然地融合于分维曲面生成的求精过程中．该技术的关键是解决分维曲面细分的辐射度能量再分布问题．本文给出了其能量再分布算法，并成功地实现了分维几何面的辐射度技术．其示例的测试结果说明，该方法具有良好的效率．该技术的实现增强了辐射度图形表达真实感的能力并且提高了辐射度技术的实用性．

关键词：辐射度分维几何全局光照计算机绘图

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：