视频压缩中运动估计块匹配算法研究

首先介绍了视频压缩系统，并在此基础上阐述了运动估计块匹配算法，分别介绍了块匹配的基本原理、提高运动估计效率的几个关键技术，分析了传统的基于块的运动估计块匹配算法和后来改进的匹配算法的性能，同时在分析MPEG-4特性的基础上，阐述了未来的运动估计匹配算法的发展趋势。     

The Solution of Scholz's Problem

Def. The natural n is called a satisfiable number of a(in first order logic)formula α if α has a model of cardinality n. Def.The set M is called a finite spectrum if M is the set of all the satis-fiable numbers of a certain formula of first order logic.     

ON THE REASONING EXPRESSIONS AND THE NATURE OF DEDUCTION RULES

Reasoning expressions are those which express the reaasoning procedure by means ofonly deduction rules and the initial formulas(axioms or assumptions)without the helpof any intermediate results.They express the procedure systematically,completely andconcisely.The deduction rules are mappings from formulas(premises)to formula(conclusion).The elementary rules are certain propositional connectives(but notnecessarily truth functions)while the higher rules are certain quantifiers.Besides,thedetachment rule is an inverse of the connective implication,and is itself the kernel ofdeduction method;while another inverse of implication(i.e.the suggestion rule)is thekernel of induction method.     

电子电位器与VCA

电子电位器在电子设备中应用越来越广泛。其最大特点是可通过改变直流电压远距离控制放大器的的交流、直流放大倍数。本文介绍几种通用电子电位器IC和可用作电子电位器的VCA(电压控制放大器)IC。     

MD机的基本工作原理

磁光盘(MD)机是92年秋天才问世的一种新型数字音频设备。MD是英文Mini Disk的缩写。它是一种可作高速随机存取可作录音的小型音盘。MD机的特点可以归纳为下面几个方面:(1)与CD机类似是一种高速随机存取的数字音频装置。(2)所使用的盘分重放专用光盘和可作录音的磁光盘两种。两种盘均可在任意一台MD机上使用。盘的直径较小为64mm。(3)具有能对磁光盘进行录音的记录系统。(4)采用了声音压缩技术,最长录放时间为74分钟。(5)机内使用了大容量半导体存贮器,大大地改善了该机的抗震性能。     

概括原理及其消除——一个完备的逻辑演算

无论集合论、λ换位演算、组合逻辑及逻辑(谓词演算)都由于无限制地使用概括原理而导致悖论,因而不能不对概括原理给以限制;然而加以限制以后又近于人工做作而不够自然,而且也变得复杂得多。本文指出,可以在一切方面用代入运算代替概括过程,从而概括原理可以根本废除,废除概括原理以后,不仅不会产生新的高级函词高级算子,而公理与推理过程也简洁得多,不受任何人工约定的限制。这样我们便得到一个既非常简洁又确实很完备的逻辑谓词演算,足以作为整个数学的基础。     

多值函数与复变函数

<正> 函数的特点在于单值。所谓由集合X到集合Y的函数是指,在X与Y的元素之间建立了一个多一对应,使得对于X中任一值X在Y中有且只有一值y与之对应(但不同的x可以对应于相同的y),如果同一的x可以对应于不同的y,人们便不使用函数的名词而使用对应(多多对应)或关系了。因此严格说来,函数应只限于单值函数,不应有多值函数。     

有穷模态系统的基本系统

<正> 引论本文是继作者前文“具有有穷个模态外的模态系统”(以后省称“前文”)而作的,但同时又是自足的;为此,我们把模态数列的基本性质(见§1)以及求加强系统的方法(见§3)重述一遍,这样,读者可以不靠前文而完全很順利地阅读本文.除这两处以外,本文基本上又与前文沒有重复,这样,有好些需要详释或需与其它部门相联系的地方(例如,模     

关于Epimenides悖论

古昔相传下来的Epimenides悖论是: Epimenides(克里特岛人)说:凡克里特岛人都说谎。 人们很快便发现从这句话并不能严格地推出矛盾,于是便作种种修改。最有名的是: (1)现在我说一句假话(Eubulides)。 (2)(再添附下列“事实”):而克里特岛人其余的活的确都是谎话(Russell)。     

模型计算机的简单介绍

数学中的计算过程很显然地分为两大类--机械性小的和机械性大的.前者例如几何定理的证明.要证明一条几何定理,我们很难说第一步应该怎样做,第二步又应该怎样做;如果要添辅助线,我们更难说要添加怎样的辅助线,可以说,下手的方法很难预先确定,只能就题论题.至于三角学及代数学的习题则不然,大体上(当然并非完全如此)是有一定准则的,有了问题到手,各人的计算步骤大致是差不多的.因此,对初学者说来,都觉得三角代数容易些,