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

Web数据库技术综述

引用

计算机应用 1998年第10期18卷 1-4页

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

本文全面介绍了Ｗｅｂ数据库技术、产品，并对它们进行了对比和点评。此外，文中对该领域中两项易于认识不清的问题提出来进行了专门说明，并分析了该技术的行业发展状况。

关键词： Web 数据库中间件公共网关接口 Internt网

来源：评论

学校读者我要写书评

暂无评论

预测结果的一种计算方法

引用

计算机科学 1993年第5期20卷 48-51页

作者：张师超国算智能计算机研究开发中心

1.引言预测是人类专家经验知识在生产实践中的综合运用,是决策的依据。决策的好坏可决定一个厂矿企业或者一个国家的前途和命运,因此,预测有着重要的实际意义。目前,多数预测的建模是基于概率学的,硬性地将预测问题归为简明严谨的数学模... 详细信息

1.引言预测是人类专家经验知识在生产实践中的综合运用,是决策的依据。决策的好坏可决定一个厂矿企业或者一个国家的前途和命运,因此,预测有着重要的实际意义。目前,多数预测的建模是基于概率学的,硬性地将预测问题归为简明严谨的数学模型,尽管在某些特定条件下可行,但其实效件和可行性也难以保证。它有如下弱点: ·预测时使用方程的有效性依赖于对这些方程的扩展假设是否正确。例如,正态分布随机变量。

关键词：预测计算方法

来源：评论

学校读者我要写书评

暂无评论

曙光一号共享存储并行计算机

引用

高技术通讯 1994年第6期4卷 34-37页

作者：陈鸿安刘金水李国杰国家智能计算机研究开发中心

曙光一号共享存储并行计算机陈鸿安，刘金水，李国杰（国家智能计算机研究开发中心北京１０００８０）由国家智能计算机研究开发中心研制成功的曙光一号共享存储多处理机系统是一个支持大规模事务处理、数据处理和科学计算应用开发的通... 详细信息

曙光一号共享存储并行计算机陈鸿安，刘金水，李国杰（国家智能计算机研究开发中心北京１０００８０）由国家智能计算机研究开发中心研制成功的曙光一号共享存储多处理机系统是一个支持大规模事务处理、数据处理和科学计算应用开发的通用并行计算平台。系统设计的主要目标...

关键词：计算机并行计算机存储

来源：评论

学校读者我要写书评

暂无评论

分布式文件系统中Cache一致性的验证

引用

计算机学报 1999年第5期22卷 460-466页

作者：王建勇祝明发国家智能计算机研究与开发中心中国科学院计算技术研究所

基于信念逻辑，分析了曙光超级服务器单一映象文件系统中所采用的基于目录的无效使能Ｃａｃｈｅ一致性协议．首先介绍了Ｃａｃｈｅ一致性协议的目标，并为之建立了系统模型及逻辑，然后以基于目录的无效使能协议为例演示了运用信念逻辑... 详细信息

基于信念逻辑，分析了曙光超级服务器单一映象文件系统中所采用的基于目录的无效使能Ｃａｃｈｅ一致性协议．首先介绍了Ｃａｃｈｅ一致性协议的目标，并为之建立了系统模型及逻辑，然后以基于目录的无效使能协议为例演示了运用信念逻辑对Ｃａｃｈｅ一致性进行正确性证明的过程．

关键词： Cache 一致性分布式文件系统 UNIX 操作系统

来源：评论

学校读者我要写书评

暂无评论

基于整数规划的几何因果定性推理建模和求解

引用

计算机学报 1997年第12期20卷 1095-1104页

作者：葛建新杨莉浙江大学CAD&CG国家重点实验室国家智能计算机研究开发中心

因果定性推理是一种通过分析、描述物理系统行为和关系的约束、找出系统内部各个成分之间的因果结构的推理方法，本文提出了一种基于整数规划的几何因果定性分析模型和算法．该方法在产品设计中有广泛的应用，利用这个模型和算法可以较... 详细信息

因果定性推理是一种通过分析、描述物理系统行为和关系的约束、找出系统内部各个成分之间的因果结构的推理方法，本文提出了一种基于整数规划的几何因果定性分析模型和算法．该方法在产品设计中有广泛的应用，利用这个模型和算法可以较好地解决参数化设计中的几何推理问题，还可以用作概念设计的工具，用于完成复杂系统设计任务的划分以及定序、设计变量之间相互依赖关系分析等工作．算法具有约束处理能力强、应用范围广、求解效率和稳定性好以及支持欠约束和多解问题等优点．

关键词：因果推理几何推理整数规划建模 CAD

来源：评论

学校读者我要写书评

暂无评论

参数化设计中的动态约束迭代及静态因果分析技术

引用

计算机学报 1997年第4期20卷 305-314页

作者：葛建新杨莉浙江大学CAD&CG国家重点实验室国家智能计算机研究开发中心

参数化设计以其强有力的草图设计和图纸尺寸驱动功能已成为实现产品的初步设计、系列设计以及变异式设计的核心技术．本文提出了解决参数化设计的动态约束迭代法以及静态因果分析法，其中动态约束迭代法通过迭代不断对约束进行求精从而... 详细信息

参数化设计以其强有力的草图设计和图纸尺寸驱动功能已成为实现产品的初步设计、系列设计以及变异式设计的核心技术．本文提出了解决参数化设计的动态约束迭代法以及静态因果分析法，其中动态约束迭代法通过迭代不断对约束进行求精从而最终使整个系统中的所有约束都得到满足，而静态因果分析法则通过分析约束以及被约束对象之间的关系将反映几何对象求解次序的因果关系直接计算出来．这两种参数化设计算法克服了现有参数化方法在功能、效率以及可靠性等方面存在的问题，因而能够较好地应用到实际系统中去．

关键词：参数化设计约束迭代因果分析 CAD

来源：评论

学校读者我要写书评

暂无评论

我国高性能计算机产业化的途径──“曙光一号”并行机的启示