栅格编码量化（TCQ）在语音编码中的应用

栅格编码调制（ＴＣＭ）作为一种有效的数字调制技术，已经得到了广泛的应用。春在信源编码中的对偶－栅格编码量化（ＴＣＱ），也正在研究 。ＴＣＱ方法利用有限字母表的率失真理论，采用信号的集合扩展１分划及支路标注等概念，结合信号本身的特点，得到了一镁方误差性能很妇且计算量不复杂的压缩编码器。本文将ＴＣＱ量化编码方法用于语音编码、ＴＣＱ编码模拟系统，模拟结果表明重建语音具有较高的主、客观质量。     

命题时态逻辑的分划式扩充

在ＰＴＬ（ｐｒｏｐｏｓｉｔｉｏｎａｌ ｔｅｍｐｏｒａｌ ｌｏｇｉｃ）上加入一个Ｕ算子的自然拓广－２分划算子，便导出了Ｗｏｌｐｅｒ－Ｖａｒｄｉ－Ｓｉｓｔｌａ之ＥＴＬ（ｅｘｔｅｎｄ ＰＴＬ）的一个完全的子逻辑，它有更简洁的语法及公理系统、更好地判定算法等，是研究有限状态并发程序的一种理想的规范语言。     

光学计示值误差分析及调修技术研究

光学计是属于光学端度类的测量仪器,也是长度基准传递的计量标准器.本文主要通过光学计的工作原理及结构,分析了光学计的理论误差(非线性误差),从而得到了调修光学计示值误差的关键技术,即当仪器在±90μm处的示值误差为零时,仪器的最大理论误差最小,并总结了光学计示值误差的调修方法.     

Gödel系统中一类子代数上的广义重言式理论

将Gödel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于G同余的一个分划。     

读数显微镜的使用、校准与调整

<正>读数显微镜由于用途不同,其外形结构亦有所不同,本文着重谈谈单独使用的读数显微镜,如图1所示。一、仪器使用方法及注意事项将仪器置于被测物体上,使被测部分有均匀但不刺图1读数显微镜外形图     

多波段光轴平行度检校仪

本文介绍一种可以作为紫外——可见光——红外幅射目标源的仪器，阐述用大口径球面反射镜替代离轴非球面反射镜的动机及技术可行性，新颖的分划靶和可承受大负荷而又能灵便操作的受检产品支座等。