中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

地球的编年史

地质年代表也在与时俱进。我们来探寻一下它所诉说的故事，和它自己的故事。     

波音飞机装配工艺流程数据的来源与流动

论述了在先进的波音飞机制造业中装配工艺流程数据的来源以及这些数据在装配流程工艺设计过程中的应用和转化，同时给出了波音飞机装配工艺流程中流程结点的划分思路和方法，强调了单一产品数据源在飞机制造中的基础地位。     

先进制造模式中的数字签名技术

重点讨论了数字签名技术在先进制造模式中的应用，提出了一种基于多表替代加密的数字签名新方法。实际使用表明，新方法能很好地满足先进制造模式的需要。     

检定S型热电偶数据处理浅析

从S型热电偶热电动势与温度的高次函数关系等背景入手,对检定S型热电偶所需的数据处理进行了浅析,探讨了数据处理的实现方式,剖析了S型热电偶检定分度与实际应用之间的联系.     

基于FPGA的M位并行分布式算法的FIR滤波器设计

介绍基于查找表结构的分布式算法的基本原理,提出M位并行分布式算法的实现方法。以2位并行分布式算法结构的FIR滤波器设计为例,在Altera Cyclone系列芯片上实现32阶12位FIR滤波器,并对其性能和资源占用进行分析。     

褐矮星：失败的恒星

1962年，美国航空航天局戈达德研究所的科学家谢夫·库马尔开始琢磨这样一个问题：一颗恒星究竟可以小到什么程度，他的计算表明，当恒星小到一定程度时，它们的质量便不足以启动和维持氢的核聚变，从而无法成为一颗合格的恒星。通常情况下，如果恒星的质量达到13个木星的质量，就可以燃烧氘，但氘所释放的能量十分微弱，所以这类恒星燃烧的时间往往很短，只是一颗“失败的恒星”。     

精密加工与精密测量技术的发展

从精密加工技术的范畴出发，介绍了精密加工技术的方法和特点。根据精密测量技术与精密加工技术的相互关系，从精密加工的角度着重介绍了精密测量技术的发展，特别是对几种常见的微／纳米级精密测量仪器进行了简单介绍。最后，根据精密加工技术和精密测量技术在发展中存在的问题，分别提出了精密加工技术和精密测量技术的发展设想。     

过载表安装在减振仪表上的指示特性

分析、计算了过载表安装在减振仪表板上所引起的原理误差，指出这项误差一般很小，实际上并不构成问题，说明过载表的这种安装方式是允许的。