Single axioms for odd exponent groups

With the aid of automated reasoning techniques, we show that all previously known short single axioms for odd exponent groups are special cases of one general schema. We also demonstrate how to convert the proofs generated by an automated reasoning system into proofs understandable by a human.Authors supported by NSF Grant DMS-9100665     

单层球面网壳地震反应特征分析

考虑不同矢跨比、荷载、跨度和支座刚度等多种因素的影响,对单层球面网壳在地震作用下的反应进行了较全面的研究,给出了其随各参数变化的规律,得出了在单层球面网壳抗震设计中起控制作用的是水平地震作用而不是竖向地震作用等有益的结论.此外本文还给出了由于阻尼比不同而需对引用现行抗震规范反应谱分析的网壳地震作用进行修正的建议.     

螺杆泵的检测方法及检测标准制定

螺杆泵检测是避免不合格螺杆泵下井、螺杆泵早期失效和提高螺杆泵使用寿命与采油效益的重要技术手段。重点介绍了模拟不同工况的螺杆泵工作特性检测系统及检测定子通径为10－60mm的定子衬套偏心度检测仪的组成及其检测方法和原理。针对大庆油田的实际情况，在进行大量室内和现场试验的基础上，制定了GLB120－27、GLB40－42和GLB500－14型螺杆泵的检测标准。检测技术及其标准实施以来见到了明显效果。     

往复式压缩机管道的防振设计

分析了往复式压缩机管道产生振动的原因及影响因素,提出解决管道振动的方法及对策。     

红外遥感用低温制冷器的进展

低温制冷器与红外探测器配套，是军事现代化、高新技术等急需发展的关键产品。国内研制技术也已接近国际先进水平，基本掌握了小型化、低振动、长寿命、细方形漆包线制作、间隙密封、消除电磁干扰等相关关键技术。本文列出了已研制过的直线电机谐振压缩机的主要技术性能。希望主管、用户、研制、生产各方通力合作，应用－改进－再应用－再改进，实现我国低温制冷器的产业化。     

测井数据实时采集与接口设计

介绍了一种采用改进型的ＣＬＳ３７００数控测井系统对微电阻率扫描仪数据采集与控制接口的设计及实现方法。基于ＣＬＳ３７００数控测井仪和ＦＭＳ仪采用８９Ｃ５１单片机设计出通信接口，解决了微电阻率方法。基于ＣＬＳ３７００数控测井仪和ＦＭＳ仪采用８９Ｃ５１单片机设备出通信接口电路，解决了微电阻主扫描仪现现场实时处理中的瓶颈问题。     

地面驱动单螺杆泵杆柱的组合设计

根据地面驱动单螺杆泵的工作特点，分析了传递动力的抽油杯柱受力状况，认为抽油杆柱受复合载荷的作用，在承受扭矩的同时承受较大的轴向力，给出了各种载荷的计算方法。由第四强度理论，提出了把抽油杯柱设计成两级杆柱的等强度组合设计方法，即先按要求及标准确定两级杆柱的直径和长度，然后扶强度条件进行校核。根据油田的实际情况，编制了抽油杆柱电算程序，并给出了设计训一算实例。     

β—BBO晶体的电光性能

用干涉法测量了β－ＢＢＯ晶体的电光系数：γ２２＝２．６，γ３３＝０．２３，γ３１＝０．２５，γ５１＝－３．５×１０－１２ｍ／Ｖ。结果表明如果在Ｙ方向加电场，Ｚ方向通光，β—ＢＢＯ晶体可能制作成有应用价值的光开关。     

煤气压缩机存在问题及改造措施

对煤气压缩机运行以来所存在的问题进行了分析，相继采取的改造措施及取得的效果作了探讨。重点阐述了油冷却器的改造。     

利用单片机实现的空气干燥器控制仪

为了满足不同生产实际的需要 ,介绍了利用单片机实现的空气干燥器控制仪的基本组成和工作原理 ,重点介绍了温度测量和A/D转换方法 ,进一步指出了提高测量准确度的途径。经实际应用表明 ,各项指标满足控制要求。