论文部分内容阅读
我们提出并实现了几何信息搜索系统，它可用于找出所给几何图形的“所有”性质，记ＧＰ为一给定的几何谓词之集，ＬＭ为涉及ＧＰ中谓词的某些几何引理之集。若ＬＭ中的引理不引入新的几何元素，则用ＧＩＳＳ能找出所有能由ＬＭ中引理推出的身体性质。
基于前推法的几何信息搜索系统
【摘 要】
：
我们提出并实现了几何信息搜索系统，它可用于找出所给几何图形的“所有”性质，记ＧＰ为一给定的几何谓词之集，ＬＭ为涉及ＧＰ中谓词的某些几何引理之集。若ＬＭ中的引理不引入新的几何元素，则用ＧＩＳＳ能
【机 构】
：
广州师范大学教育软件研究所,中国科学院系统科学研究所
【出 处】
：
计算机学报
【发表日期】
：
1996年10期
【基金项目】
：
国家攀登计划项目基金,863国家高科技基金,美国国家科学基金
其他文献
转移因子（TF）是白细胞中有免疫活性的T淋巴细胞释放的一类低分子肽与核苷酸复合物，具有分子质量小、无热源、无免疫原性、无毒副作用、不引起过敏反应、不产生对抗抗体且可超越
由轮廓求形状是计算机视觉研究的一个重要问题．通常Ｏｃｃｌｕｄｉｎｇ轮廓线用来恢复三维表面朝向、高斯曲率的符号等局部性质．本文则直接利用Ｏｃｃｌｕｄｉｎｇ轮廓线全局地恢复二次曲面形状．我们证明了两幅视图轮廓包含的信息不足以重构二次曲面，三幅视图对于恢复二次曲面三维表面是充分而巨必要的．我们利用导出的不变量来建立二次曲面轮廓线在不同视图的对应关系．最后我们给出线性最小二乘重建算法以及实验结果．
本文提出了一种素域Ｚｐ（ｐ〉３）上椭圆曲线的构造方法，以获得椭圆曲线Ｅ／Ｚｐ，使得Ｅ（Ｚｐ）无平滑阶子群且其阶＃Ｅ（Ｚｐ）中含有多个大素因子。这类椭圆曲线可用于密码技术中各种需要合数阶群的情形。在这类椭圆曲
随着金秋季节而来的是一年一度的报刊发行大战。本刊无意卷进这种混战，却希望得到各位目前已经读到这份杂志的科技辅导员老师和同学们的协助，把本刊在新世纪第一年的发行订阅工
本文介绍了由清华大学ＣＡＤ中心等单位开发的集成化ＣＡＤ／ＣＡＭ支撑软件系统．该系统由六个模块组成．它们是用户接口、交互绘图、产品造型、分析与优化、数控加工和数据库管理．该系统采用国际标准ＳＴＥＰ作为产品数据表示和交换的中性机制，使用特征造型、变量化设计方法建立产品信息模型，并使产品信息贯穿于设计、装配、分析、工艺、制造等各个阶段，实现系统的集成．
收集近年来国内外有关宫角妊娠的相关文献进行分析,总结该疾病的诊治进展,宫角妊娠在临床上是一少见病,表现为停经、腹痛、阴道流血,借助B超辅助临床,宫腹腔镜可协助诊断。宫
本文介绍了一个基于重写方法的程序开发系统的设计和实现。该系统使用代数规范说明语言和扩展的函数式语言合成而形成的混合语言进行程序设计。系统将代数规范转换为合流的重
本文研究分布式多媒体数据库系统的分层体系结构，分析了多媒体数据的表现特征，强调分离出独立的多媒体数据表现模式层的必要性，给出了多媒体数据对象的概念描述，提出了在多媒体计
中国现代化已步入新阶段，新阶段要求新的发展观。新阶段和新发展观对产业政策提出了一系列新的要求。一、新阶段对产业政策的新要求（一）改革进入现代法治市场经济阶段要求产业政