关于平面空穴流动的截断误差减小方法(英文)

提出了一种新的截断误差减小方法。该方法是利用在粗网格 ( 2 h)上估算截断误差进而减小在原始网格( h)上的误差的迭代过程 ,最终目的是利用粗网格得出更精确的结果以及发展一种新的粗网格直接数值模拟方法     

Net110网吧安全审计管理系统的设计与实施

信息时代对公安管理系统提出了新的挑战，Net110网吧安全审计管理系统充分利用互联网络的技术特点，通过公安监察部门的电脑系统集中，统一和高效地管理在城区分散的网吧。本文着重阐述了系统设计的基本原理，并以南昌市公安局为例，介绍了从需求分析、系统设计到系统实施的建设全过程。     

均布压力作用各向异性矩形薄板大挠度问题

基于冯·卡门模型，选择中心挠度为摄动参数，利用摄动方法将正交异性矩形薄板大挠问题的非线性偏微分方程组逐级线性化，导出了各级摄动对应的几个线性偏微分方程组，然后再借助变分法求解，得到了均布载荷作用下正交异性矩形薄板的载荷-挠度曲线。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

一个飞机结构优化设计软件

本文根据有限元分析基础,研究薄壁结构在应力、位移、最小尺寸约束下结构最轻重量的优化设计问题。用Kuhn-Tucker(库恩-塔克)必要条件将多个位移约束简化为单一位移约束(称为最临界位移约束),建立位移约束下的优化设计准则.从而避免大批拉格朗日乘子的计算,并结合满应力优化设计准则,形成了在有效约束界面逐步逼近最优设计点的方法——包络法。用某型飞机后机身一段优化设计作为本文的实际应用,得到令人满意的结果。     

子波变换在实验流体力学中的应用

介绍了子波分析的历史、基本知识以及在实验流体力学方面的应用。讨论了子波变换在客观辨识湍流边界层相干结构方面的应用。作者用子波变换的方法提出了确定湍流边界层相干结构挥发时间尺度的能量最大准则，提取了相干结构对应的速度信号波形。用于波变换研究了湍流边界层脉动速度信号的局部奇异性行为，发现相干结构发生处脉动速度信号的局部奇异性指数为负值。     

疲劳裂纹扩展速率试验数据的可靠性分析模型

以指定ΔＫ下的ｄａ／ｄＮ服从对数正态分布为基础，提出３种ｄａ／ｄＮ试验数据统计处理方法；依据一组４０ＣｒＮｉＭｏ材料的ＣＴ试样的试验数据处理结果，对３方法进行了分析对比。     

低轨卫星面阵凝视成像技术研究

文章介绍了面阵凝视成像的工作原理及特点，阐述了低轨卫星对地观测凝视成像面临的像移问题及其解决措施，对像移补偿装置与二维指向机构的结合做了初步探讨。     

现代小卫星发展概述

为了区别早期发射的小型卫星，目前的小型卫星统称为现代小卫星。这种卫星在“沙漠惊雷”，“沙漠之狐”和北约空袭南联盟的战争中起到了异乎寻常的作用。简要分析了现代小卫星的概念、发展前提，发展趋势和模式等，并对发展小卫星提出了自己的见解。     

GPCM控制气动伺服系统的理论分析与实验研究

广义脉冲编码调制（ＧＰＣＭ）控制是针对脉冲编码调制（ＰＣＭ）控制气动系统中控制精度与控制范围、稳定性与快速性之间的矛盾而提出的。本文建立了ＧＰＣＭ控制气动伺服系统的数学模型，并进行了详细的仿真和实验研究，结果证明了该方法的有效性。