地基不均匀沉降后的某框架结构安全性分析

由于某框架结构在施工过程中发生了明显的不均匀沉降,结构体可能存在安全隐患。为此,对该框架结构进行了现场检测,根据检测结果,应用大型有限元软件ANSYS对地基变形后的结构安全性进行分析,合理评价了结构性能,其工程经验可供参考。     

Context 的非单调推理

基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ,本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中,给出有关的定义和定理。     

度量空间的非标准特性(Ⅱ)

本文在文《度重空间的非标准特性（Ⅰ）》的基础上,用非标准分析方法刻划了度量空间上的全有界映射与紧映射的许多特性,并给出了一个赋范线性空间的维数有限的非标准特征。最后,在赋范线性空间中,通过弱拓扑性质的非标准刻划,简洁地证明了Ｅｂｅｒｌｅｉｎ－Ⅲ定理。     

基于超网络的作战体系建模方法

基于信息系统体系作战问题研究的基础是作战体系构建。在对作战体系进行网络化结构分析的基础上,重点考虑体系中各类实体及属性的复杂性,根据其网络拓扑特性,以超网络、超图理论为指导,建立了基于结构层和属性层相统一的超网络模型,并结合体系作战过程中的对抗规律,提出超网络模型相应的动态演化方式,最后通过案例建模验证了超网络作战体系构建模型的适应性及优势。     

气氧/煤油发动机水冷推力室壁热分析

针对气氧／煤油地面试验发动机的热防护问题，采用非定常三维壁温分布模型为主体的分析模型，对槽道式水冷推力室壁温特性进行了计算分析。燃气流与冷却水流采用一维流动模型计算。应用有限差分方法确定了燃气与室壁的换热热流、推力室壁温分布，给出了壁温随时间变化的规律，讨论了冷却水流量对壁温的影响。     

数字滤波法在主轴回转精度测试中的应用

机床主轴回转精度的测量是机械工程测试中的重要项目之一。本文提出一种数字式测量系统,用数字滤波技术成功地解决了模拟式测量方法中难以解决的一些技术难关,使测量精度达到0.1微米。     

激波灭火技术的初步研究

讨论了激波灭火技术的基本原理， 给出可行的研究路线。采用新型的计算效率较高的ＥＮＯ差分格式， 从非定常ＥＵＬＥＲ方程出发， 对近地爆炸波产生的流场进行数值模拟， 分析后认为控制爆炸波后风场是关键。     

基于HLA/RTI 的仿真系统设计

结合雷达电子对抗仿真实例，论述了基于ＨＬＡ／ＲＴＩ的分布交互式多机仿真系统的体系结构、底层通信网络、运行支持系统、仿真应用对象模型和仿真运行管理及其设计与实现问题。     

鼾症自动诊断及其算法的设计

鼾症是一种常见疾病,但其准确诊断往往要借助于必要的仪器设备。本文介绍一种鼾症的计算机全自动诊断的原理,建立了相应的数学模型和ＧＫＤ—４０５Ａ六导睡眠监测仪中诊断算法的设计以及临床应用情况。     

液体推进剂爆炸火球热传递参数的试验测量技术

介绍了液体推进剂爆炸火球的内部温度,辐射温升和辐射热流密度的试验测量方法,试验测量的计算机数据采集系统,并给出了５０ｋｇ,１００ｋｇ,３００ｋｇ液体推进剂（Ｎ２Ｏ４／ＵＤＭＨ）爆炸火球的热传递参数的部分测量结果。