【摘 要】
：
本文定义了一个多context逻辑结构(MCO)。MCO在几个方面推广了传统的一阶逻辑:每个context相关一个理论;context间存在outer关系;引入了模态词ist,公式ist(c,A)表示命题A在context c中为真;每个context可以有关于其内层context的元理论,…等等。我们还讨论了MCO逻辑程序的MCO谓词演算解释和MCO缺省解释。
论文部分内容阅读
本文定义了一个多context逻辑结构(MCO)。MCO在几个方面推广了传统的一阶逻辑:每个context相关一个理论;context间存在outer关系;引入了模态词ist,公式ist(c,A)表示命题A在context c中为真;每个context可以有关于其内层context的元理论,…等等。我们还讨论了MCO逻辑程序的MCO谓词演算解释和MCO缺省解释。
其他文献
该文将介绍几种常用可控整流电路晶闸管两端承受电压波形的数字计算机仿真。用Ｃ语言编制仿真软件，仿真图形清晰，使用方便，有实用价值。
本文着重论述了用通用MSI、LSI组件进行计算机辅助逻辑设计的意义和实现方法,并例举了两个实例。论述了作者开发的应用软件——逻辑CAD软件的突出特点,即:操作简便,输入方式符合日常惯例;数据结构新颖,运算速度快;具有丰富的图形编辑功能。
音频媒体在多媒体系统中起着非常重要的作用,但由于其存储需要巨大的空间,使得其应用受到了一定的限制。本文提出了一种基于分析的合成方法以便在多媒体系统中对非语言声音信号进行有效的存取。这种方法首先对非语言声音信号进行谐波分析,然后对所得到的时变振幅与频率等声音信号参数进行分段线性化。通过仅存储这些高度简化了的参数值,我们可以得到语音信号的一种非常简洁的表示。声音信号的重新合成使用简单的叠加方法。由于声
本文介绍了一个适用于经贸领域的行业EDI系统的设计及实现,对其总体结构及操作流程作了初步探讨,主要阐述了EDI通信包、EDI通信软件和EDI服务中心的设计。
快速原型技术是进行计算机应用开发的一种重要技术,但它需要有良好的工具支持。本文介绍了快速原型工具系统RPTS的设计与实现。
本文提出了一种基于空间填充曲线的半色调算法HABSFC(Halftoning Algorithm Based on Space-Filling Curves),用于中等分辨率激光打印机输出连续灰度图象。此算法的基本思想是使量化误差沿空间填充曲线的方向扩散。而且,为了提高输出质量,在此算法中还引入了打印模型以弥补打印机输出时所造成的失真。
本文在离散分形布朗增量随机场(DFBIR)的图象模型基础上,利用在图象处理中常用的金字塔技术,通过提取特性参数——H值和方差,并结合传统的聚类分割方法,实现了图象的快速分割。通过对自然背景中的人造物体进行分割实验,结果表明:这种快速算法不仅能得到较好的分割效果,而且可以将速度提高将近三分之一倍。
本文对AME造型过程的由二维带锥度构造三维实体所产生的误差进行了分析,并且尝试性地采用最小二乘法任意次方程拟合出误差曲线。在大量作图的基础上求解了圆、椭圆、圆弧拟合曲线构造实体过程中的最小二乘四次误差方程,绘制了误差曲线,采用误差补偿法,使误差减小了3～10倍,基本上能满足实体造型的需要。
对电站仿真器模型开发支撑系统(PSMSS)的研究,目的是为大型火力发电站培训仿真器的研制提供一个有效的模型开发工具。PSMSS系统由三个子系统组成:模块库管理系统、模型生成系统、模型试验系统。PSMSS系统支持用户进行模块开发、模型生成和仿真试验等方面的工作,有效地加快了电站仿真器的研制进程。
本文介绍了一种路基剖面图生成显示系统。该系统可在windows环境下实现路基剖面图的生成、显示、缩小(或还原)、局部放大和打印功能。