基于m法线性有限元分析在桩基计算中的应用

针对目前各类有限元软件在工程设计中的应用已相当普遍,提出了通过有限元模型解决桩基的强度验算和水平位移的计算,不仅使桩的设计变得简单,而且还可在相当的精度内考虑桩基和上部结构的共同作用。     

Φ4.0m×60m回转窑辐射热的应用

水泥厂回转窑简体内砌筑了耐火砖隔热,但仍有部分热通过简体以辐射的形式散失到大气中,吸收利用这部分辐射热也是一项节能减排的举措.     

B737机务CBT系统建设方案的探讨

通过对AICC制订的CBT课件开发规范的探讨，阐述了CBT的基本概念和波音737飞机机务CBT的开发制作过程，以及利用Authorware开发软件制作多媒体课件的技术难点。     

TFM调制及其改进技术的研究

通过对TFM调制技术的研究,修正了其中预调制滤波器冲击响应波形g(f)在时间轴上的位置及其频谱G(w)的表达式.然后将TFM基带信号进行近似,即对TFM的相位路径进行进一步的控制,得到一个改进的TFM调制技术.改进后的TFM调制技术和原TFM调制技术相比,频带压缩能力提高了一倍,误码性能不变,但会出现3 dB的寄生调幅,需要提高发射机的发射功率.     

爆轰试验用新型射频连接器的结构设计

针对目前爆轰试验中使用的机械密封射频连接器存在的问题.设计了基于玻璃封接技术的新型密封射频连接器结构,并进行了射频反射补偿计算和强度分析.本项研究为爆轰条件下新型密封射频连接器的研制提供了设计依据.     

2，4-二氯苯乙酮合成工艺的研究

以间-二氯苯为原料,乙酸酐为酰化试剂,合成2,4-二氯苯乙酮.考察影响酰化反应的主要因素,结果表明最适宜的反应条件是:间-二氯苯:乙酸酐的摩尔比为2:1,缓慢滴加乙酸酐时温度保持在50℃左右(低于60℃),然后回流反应温度上升至90～95℃,搅拌并保持约2.5h,最终所得产品收率可达81.8%.     

A logical approach to program analysis

This paper describesMicroScope, a framework for developing analysis tools for Lisp programs. MicroScope uses a knowledge-intensive approach for program representation and analysis. The analysis tools share a common object oriented program database, and a common Prolog inference engine. The use of Prolog and a declarative representation for programs permits sharing of information, and provides high bandwidth communication between diverse analysis tools. It also supports program specification and debugging activities in the same framework. Extensions to Prolog to support analysis are described, and two tools, theCritic and theExpector, are presented.This work supported in part by Hewlett-Packard Company, the National Science foundation Under Grant Number MCS81-21750 and the Defense Advanced Research Projects Agency under contract number DAAK11-84-K-0017.