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

本文介绍了赋权诱导推理的基本概念及其求解算法复杂性研究的现状．诱导推理在人工智能领域有广泛的应用前景，但现有的求解算法都未能从根本上排除ＮＰ－难解性的困扰，本文考虑了其中一类子问题：二阶独立赋权诱导问题，并给出求其最优解的多项式时间算法．本文还对其它诱导问题进行了分析，给出Ｐ问题与ＮＰ问题的分界线．

关键词：诱导推理赋权诱导推理多项式时间算法算法

来源：评论

学校读者我要写书评

暂无评论

基于有向超图的参数代表示模型及其实现

引用

计算机学报 1997年第11期20卷 982-988页

作者：孟祥旭江嘉业刘慎权中国科学院计算技术研究所CAD开放实验室山东大学计算机科学系

本文提出了一种基于有向超图的参数化图形表示模型．它不仅能够表示图形的尺寸约束和几何约束，而且能够支持图形拓扑结构变化和工程设计约束的表示．在交互绘制图形对象的同时直接建立参数化图形约束模型．由于在图形构造的每一步都保... 详细信息

本文提出了一种基于有向超图的参数化图形表示模型．它不仅能够表示图形的尺寸约束和几何约束，而且能够支持图形拓扑结构变化和工程设计约束的表示．在交互绘制图形对象的同时直接建立参数化图形约束模型．由于在图形构造的每一步都保证约束的一致性，因此，不会出现过约束或欠约束的情况．经实践表明，该模型具有实用方便、高效可行的特点，适合于系列化产品的参数化ＣＡＤ系统建模和绘图．

关键词：参数化图形几何约束有向超图 cad 工程设计

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

异步协同的实现方法及应用

引用

小型微型计算机系统 1997年第9期18卷 15-18页

作者：马先林林宗楷郭玉钗中国科学院计算技术研究所CAD开放研究实验室石油大学(华东)计算机科学系

异步协同是群体重要的协同工作方式之一。本文以远程诊断为应用背景，论述了基于Ｅ－ＭＡＩＬ、基于ＥＤＢＭＳ、基于交互捕获和回放三种异步协同的实现方法。

关键词：异步协同远程诊断 CSCW 人机系统

来源：评论

学校读者我要写书评

暂无评论

基于数据库的支持群体工作cad软件的设计与实现

引用

计算机研究与发展 1997年第8期34卷 611-615页

作者：朱廷劭林守勋张汉义 Motorola-NCIC先进人机通讯技术联合实验室中国科学院计算技术研究所CAD开放实验室中国建筑科学研究院电子计算中心

目前ＣＡＤ系统多是面向单个设计者，而实际的设计工作往往由多个设计者协同完成．ＣＡＤ系统应该支持多个设计者协同工作以提高工作效率．作者采用在现有的ＣＡＤ系统中加入支持设计者协同工作的模块的方法．利用这种方法将ＢＩＣＡＤ... 详细信息

目前ＣＡＤ系统多是面向单个设计者，而实际的设计工作往往由多个设计者协同完成．ＣＡＤ系统应该支持多个设计者协同工作以提高工作效率．作者采用在现有的ＣＡＤ系统中加入支持设计者协同工作的模块的方法．利用这种方法将ＢＩＣＡＤ中的结构建模模块ＭＯＤＥＬ修改为ＣＷＭＯＤＥＬ，它可支持多个设计者协同工作并能缩短设计周期．实践证明这种方案是可行的．

关键词：结构建模协同工作数据库 cad

来源：评论

学校读者我要写书评

暂无评论

通信协议的实体行为描述语言CPEBSDL

引用

计算机研究与发展 2007年第11期44卷 1839-1848页

作者：范昊吴哲辉中国科学院计算技术研究所智能信息处理开放实验室山东科技大学信息科学与工程学院青岛266510

提出了一种通信协议的实体描述语言***语言是一种描述能力很强的语言,它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述,同以往的描述语言不同,CPEBSDL语言把协议实体之间复杂的交互行为看做是实体对协议中... 详细信息

提出了一种通信协议的实体描述语言***语言是一种描述能力很强的语言,它可以对协议实体的状态、行为及协议实体对资源的控制和访问进行形式化的描述,同以往的描述语言不同,CPEBSDL语言把协议实体之间复杂的交互行为看做是实体对协议中共同使用到的资源的控制和访问,从而简化了交互行为描述的复杂性,便于对协议进行分析和测试.给出CPEBSDL语言规则对应的上下文无关文法G(CPEBSDL),并给出了G(CPEBSDL)的乔姆斯基范式,在此基础上给出了一个判定协议行为的CPEBSDL语言描述是否合法的判定算法——CYK协议行为序列的合法性验证算法.作为一个实例,用CPEBSDL语言对ISDN数据链路层协议LAPD的链接过程进行了完整的描述,并给出了一个判定协议行为序列是否合法的例子.

关键词：通信协议描述语言交互行为实体 BSDL语言行为描述语言规则 CPE

来源：评论

学校读者我要写书评

暂无评论

VHDL语言分析器的设计与实现

引用

计算机学报 1994年第10期17卷 777-785页

作者：牛振东徐嵩杰刘明业北京理工大学ASIC研究所中国科学院计算技术研究所CAD开放实验室

ＶＨＤＬ高级综合系统是逻辑设计领域的热点，作为其前端的ＶＨＤＬ语言分析器是综合系统中其它各子系统（如综合，模拟等）的支撑，它生成ＶＨＤＬ源描述的中间格式并将此结果存入数据库供其它子系统引用．本文重点介绍基于ＶＨＤＬＩ... 详细信息

ＶＨＤＬ高级综合系统是逻辑设计领域的热点，作为其前端的ＶＨＤＬ语言分析器是综合系统中其它各子系统（如综合，模拟等）的支撑，它生成ＶＨＤＬ源描述的中间格式并将此结果存入数据库供其它子系统引用．本文重点介绍基于ＶＨＤＬＩＥＥＥ１０７６－１９８７全集的ＶＨＤＬ语言分析器的设计与实现技术，并给出了有关结果，该分析器通过了许多实例．

关键词： VHDL语言语言分析器逻辑设计

来源：评论

学校读者我要写书评

暂无评论

GMcadES的推理机设计

引用

计算机辅助设计与图形学学报 1990年第1期2卷 51-57页

作者：吴慧中鲁先宁华东工学院中国科学院计算技术研究所CAD开放研究实验室

GMcadES是我们研制的不依赖于特定领域的一个通用机械cad专家系统,该系统用PC-Scheme LISP语言编写,在IBM-PC微机上运行。本文论述了GMcadES中的一个基于框架和规则的推理机系统。它能够适时地进行正向、反向以及正反向混合推理。该系... 详细信息

GMcadES是我们研制的不依赖于特定领域的一个通用机械cad专家系统,该系统用PC-Scheme LISP语言编写,在IBM-PC微机上运行。本文论述了GMcadES中的一个基于框架和规则的推理机系统。它能够适时地进行正向、反向以及正反向混合推理。该系统采用了元级推理、目标级推理和黑板的结构,实现了它们和知识库之间的动态连接,使求解设计问题效率较高。推理过程中还可对参量数据进行维护和人工干预。

关键词：机械设计计算机专家系统 GMcadES

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：