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晶体的电光性能

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

APPLICATION OF THE POLYMERASE CHAIN REACTION TO THE RAPID ANALYSIS OF BREWERY YEAST STRAINS

The rapid discrimination of closely-related Saccharomyces cerevisiae strains can pose a significant problem to breweries, in particular where closely related strains are being used simultaneously to manufacture different products. In this study, two PCR approaches have been examined to assess their usefulness for the discrimination of brewery ale and lager yeast strains. PCR using arbitrary primers (RAPD PCR) was found unsuitable for such an application since the DNA profiles generated from brewery strains were generally found to be identical, due presumably to the close genetic relatedness of these yeasts. In contrast, PCR using δ sequence primers could rapidly differentiate between many ale and lager strains and characteristic profiles for these were generated. This method could also be applied directly to yeasts isolated from brewery worts or from active dried yeast preparations. Results of such analyses were available within the working day.     

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

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

聚丙烯催化剂的研发进展

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

负载化非茂单活性中心催化剂乙烯聚合的研究

在硅胶上负载了双(N-环己基-3-叔丁基水杨醛亚胺基)二氯化锆配合物,得到负载化非茂单活性中心催化剂。该催化剂用于乙烯聚合,考察了配合物用量、共聚单体1-己烯用量、聚合温度、聚合压力、聚合时间、三乙基铝用量对乙烯聚合性能的影响及对聚合物的相对分子质量、相对分子质量分布、熔体流动指数和密度的影响。实验结果表明,负载化非茂单活性中心催化剂保持了原均相催化剂的乙烯聚合性能;该催化剂在淤浆聚合工艺中聚合平稳,所得聚合物的颗粒形态良好。     

两相电流互感器配电网零序电流构造方法

中性点非直接接地配电网大多只安装A，C两相电流互感器（TA），而现有单相接地故障选线方法基本都以零序电流为基础实现。如何在两相TA配电网中准确检测并隔离接地故障线路，成为长期困扰实际运行的技术难题。通过对暂态电流的频域和时域分析，找出B相暂态电流与A，C相暂态电流的对应关系，提出在A相和C相接地时由A相和C相暂态电流构造B相暂态电流，进而得到较精确零序电流的方法。通过大量仿真实验验证了所提出的构造方法的正确性。零序电流的成功构造为实现两相TA配电网单相接地故障选线提供了基础。