论文部分内容阅读
几何传统证明自动生成的两层处理方法
【机 构】
：
中国科学院成都计算机应用研究所
【出 处】
：
中国科学院成都计算机应用研究所
【发表日期】
：
2000年期
其他文献
随着Internet的出现及普及、移动信息技术的发展,计算机软件运行的环境也开始从封闭、静态的环境逐步转换成一个开放、动态的环境中。环境对应用程序的影响越来越明显,尤其是
句法分析是连接词法分析和语义分析的桥梁,在自然语言处理中有着重要的意义。依存文法是句法中的一种,相比于短语结构文法,它直接刻画单词之间的依存关系,具有描述简洁、易于
该文基于计算机图形学、图象处理、图象变形以及计算机视觉领域的一些方法和技术,着重研究了一类复杂自然景物--树木的基于图象的造型技术.与传统的基于数学或生物学的树木造
该文主要涉及以下几个方面的内容:1.对人机界面的发展进行了回顾.概述了多通道用户界面的概念、特点、研究的主要问题及目前的研究现状.2.提出了多通道交互语言的概念.3.介绍
该文给出了现场总线的定义,介绍子现场总线的特点,简述了其发展现状;并对不同现场总线作了比较,就现场总线标准谈了自己的看法;论述了如何以CAN为基础上设计现场 总线控制系
人们正在开发的虚拟现实写作系统VREditor采用普通相机拍摄的图片,通过无缝缝合技术制作成360度全景图和物体电影,结合传统媒体制作成逼真度很高的虚拟现实系统,而且具有很强
现在，计算机软件界普遍认为软件复用思想是解决软件危机的主要出路。软件复用是在软件开发中避免重复劳动的的解决方案，出发点是应用系统的开发不再采用一切“从零开始”的模式
该课题研究的主要内容是通过分析面向对象数据模型及其关系实现机理,研究对象模型技术和空间数据存储技术,探讨对象模型在关系模式上的投影方法及其对关系实现系统效率的影响
该文介绍了一种在Windows平台下,基于对象的实时控制实现方法,主要解决了在Windows平台下,确保数据采集和控制的实时性以及系统运行的可靠性问题.运用OOP方法,对系统进行合理