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     

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

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

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

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

β—BBO晶体的电光性能

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

应变In0.20 Ga0.80As／GaAs单量子阱结构的光谱研究

报道了用光致发光光谱，吸收光谱和光电流谱研究具有相同组伊阱宽，不同覆盖层厚度的应变Ｉｎ０．２０Ｇａ０．８０Ａｓ／ＧａＡｓ单量子阱结构的实验结果，结果理论计算，观察到ＧａＡｓ覆盖层厚度对单量子阱结构的材料质量，应力驰豫和发光淬灭机制的影响，确定了各样品应变值和导带不连续因子Ｑｃ，并讨论了这种结构发光机制。     

单通道字幕机实现多频道播出

通过单通道字幕机与视音频矩阵切换器配合使用，实现一台字幕机在多个频道分时播出功能。     

新产品——钢带增强聚乙烯螺旋波纹管

钢带增强聚乙烯螺旋波纹管是一种创新的埋地排水管,把钢材的高刚度、高强度和聚乙烯的柔韧、耐腐结合在一起,突出的优点是环刚度高和节约原材料.     

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

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

聚丙烯催化剂的研发进展

综述了用于丙烯聚合的Ziegler-Natta催化剂在给电子体技术及催化剂制备工艺等方面,茂金属催化剂在制备丙烯均聚物、丙烯共聚物及特殊聚丙烯等方面,非茂单活性中心催化剂在丙烯活性聚合、丙烯与极性单体共聚及水介质聚合等方面的研发进展;讨论了聚丙烯催化剂的前景。