模态算子与全称量词－－蒙太古构造的一个模态逻辑公理系统

本介绍和评估了美国逻辑学家蒙太古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、伦理必须和全称量词。蒙太古最早作出这种在一综合框架下处理模态算子与全称量词的系统。对模态算子与量词的混用所造成的困难提供了一个解决方法。在蒙太古的模态语言S中，模态算子与量词的联合使用并不会造成美国逻辑学家蒯因所指出的那种困难。     

神经网络专家系统在试井解释中的应用

论述了应用专家系统和人工神经网络自动识别试井解释模型的新方法．首先应用人工智能对试井解释模型的压力导数图进行识别，建立了用专家系统构成模块式识别系统；然后应用人工神经网络实现试井解释模型识别；该系统能根据新的试井资料识别试井解释模型；最后，神经网络和专家系统相结合用于试井解释．油田实际试井数据的识别结果说明该方法是一种非常有效的识别方法，对不完全的，有噪声的试井数据也能有效地识别，识别准确率较其它方法都有较大提高     

子结构广义模态综合法在自行火炮动力学分析中的应用

提出一种子结构广义模态综合法运用于自行火炮动力学分析。将自行火炮的车体、炮塔、摇架、炮身后部视为刚体，它们之间为弹性连接；将炮身前部视为弹性体。刚体与弹性体的连接通过界面力和位移协调实现，这样得到一组由广义模态坐标表示的阶数不高的动力学方程，通过数值积分可得其数值解。运用该方法可方便地分析影响火炮射击精度的诸多因素。     

选定公差与配合对机件加工成本的影响

根据实际情况恰如其分地选择零件的加工精度和机件间的配合关系,对保证产品的质量和控制加工成本有着不可忽视的意义。笔者根据实践经验提出了正确选择公差与配合的原则。     

表面张力与丝网印刷精度

随着大规模集成电路的发展,高密度封装技术越来越受到人们的重视。厚膜金属化布线是封装的一个重要形式,提高封装密度要求减小布线宽度,提高丝网印刷精度,实现微细布线。 丝网印刷对厚膜浆料有着一对相互矛盾的要求,一方面从形成的厚膜和线条外观质量考虑,要求浆料具有好的流动性以消除线条上的丝网痕迹,得到表面和边缘光滑的布线;另一方面从线条分辨率考虑,希望提高浆料粘度,降低流动性,否则浆料易于向外扩展导致图形分辨率的降低,并造成线条的短路。目前实现微细布线广泛使用的方法是提高厚膜浆料的触变性,并加入表面活性剂改善浆料的流动性。有关丝网印刷精度和流变性的关系已有较多的研     

车床主轴系统精度对超声振动车削的影响

文章分析了超声振动车削时工件的装夹偏心和车床主轴的旋转精度对加工表面粗糙度的影响。     

金属平面变形抗力测定装置的改进

作者根据平面变形的特点，为尽可能精确地保证平面变形的条件，对测定平面变形抗力的装置进行了改进。该装置对测定过程中所出现的种种不利于精度的因素采取了相应的措施。实际测定证明，该装置的测定结果重复性好，准确性高。可用于测定钢、铜、铝等各种金属的平面变形抗力     

若干数据线性拟合方法分析

对等分三组平均法、分段最佳斜率平均法和线性最小二乘法这三种线性拟合方法所具有的共性和个性进行了探讨。通过一计算实例，分析了这三种方法所具有的拟合精度。研究表明，线性最小二乘法的精度高于其它两种方法，因此。在工程数据线性拟合时，宜选用线性最小二乘法。     

激光束质量评价中随机误差对测量精度的影响

以激光束矩量分析理论及光束质量因子的概念为基础，动用数理统计手段，导出了分析随机误差对测量精度影响的具体方法，将此方法实际应用于一假定激光束，通过计算机模拟仿真，得到了具体数据。     

基于专用芯片的高速实时FFT系统实现研究

研究了基于专用芯片的高速实时ＦＦＴ系统的点数和精度问题，分析了统一的ＦＦＴ算法与ＦＦＴ专用芯片的级联问题；定标算法与ＦＦＴ专用芯片的精度问题，提出了一种高速实时ＦＦＴ系统的实现方案和性能测试方法，并根据实测数据讨论了ＦＦＴ系统的精度。