TSP及其操作语义模型研究

在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.     

低速凤洞均匀抽吸地板系统

在KD－03低速风洞中研制了一种附面层可人为地控制的均匀抽吸地板系统。在不同来流速度和不同抽吸系数条件下，对均匀抽吸地板上附面层速度分布进行了实验研究。实验结果与理论计算结果一致。在该地板上的高速列车模型风洞实验的结果与国外同类模型在移动带地板上的实验结果一致。利用均匀抽吸地板可有效地消除阻面层的影响，从而提高模型风洞实验气动力的试验精度。     

液体火箭发动机碳/碳复合材料喷管烧蚀分析

对液体火箭发动机碳／碳复合材料喷管的烧蚀过程进行研究。理论模型包括固相和气相守恒方程。气相湍流反应边界层流动应用质量加权平均控制方程分析，喷管壁温分布由非稳态传热方程进行数值计算获得。分析了推进剂混合比、液膜冷却量、燃烧室压力、壁面材料的密度对烧蚀速率的影响。     

激波对密度间断层干扰及界面效应的数值模拟

运动激波在密度间断层传播时 ,引起密度分界面的变形 ,相应激波形状发生改变。以高密度层为例 ,采用TVD格式模拟这一过程 ,并与半解析解比较分析 ,初步讨论了激波对高密度层干扰作用引起高密度层的上扬和高密度层内激波与壁面的反射现象     

预处理方法求解低马赫数流场的边界条件

通过求解预处理后的二维可压缩Euler方程 ,数值试验了常见的三种进口边界条件的提法及其对稳定性和收敛性的影响。数值试验结果表明 ,预处理后 ,在低马赫数时基于黎曼不变量的边界条件为反射边界条件 ,而另两种边界条件为无反射边界条件     

SPH数值模拟中固壁边界的一种处理方法

在光滑粒子流体动力学 (SPH)数值模拟中尝试了一种处理固壁边界的边界力方法 ,给出了一种新的边界力形式。利用SPH方法及边界力方法对水坝坍塌和涌波进入静止水塘这两个自由表面流动问题作了数值模拟。数值模拟结果表明 ,在SPH计算中使用本文所给边界力处理固壁是行之有效的     

基于状态变换的同步时序电路测试生成

详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。     

凹槽构型对平板气层减阻影响试验分析

通过平板凹槽喷气减阻模型试验,研究了航速和气流量等因素对平板气层减阻规律的影响,并利用水下摄像系统对不同凹槽构型内的气层形态进行了观测。试验结果表明:不喷气时凹槽的存在会使平板的阻力增加;喷气可以有效减小平板阻力,存在饱和气流量;饱和气流量随着槽深的增加而减小,饱和气流量下平板的绝对减阻率随航速的增加而降低;设置凹槽构型是保持平板下表面气层稳定性的有效措施,合适的凹槽构型可以明显改善平板底部喷气流场,提高平板喷气减阻效果;在Fr为0.119时,饱和气流量下平板的绝对减阻率可以达到40%以上。     

基于定时Petri网的舰艇保障能力仿真与评估

舰艇保障是一种主要依赖后勤技术装备的专业化后勤,也是涉及并行、冲突,并受资源、装配时间等限制的复杂离散事件过程。借助定时Petri网强大的描述能力标记过程中的各种动态行为,在此基础上对包括后勤装备在内的后勤实体、保障任务、保障活动等进行建模,采用编码、转换等手段实现舰艇保障过程仿真,并使用仿真结果对后勤保障能力进行"定量计算"为主的分析评估。     

平板湍流边界层内气泡流流动实验研究

在低湍流度水槽里 ,利用片光源显示了平板气液两相湍流边界层内气泡流的流场结构 ,研究了平板安装位置、来流速度、喷气方式等参数对湍流边界层内气泡流的影响 .利用激光测速技术测量了平板水平放置时气泡流最外缘处的水平速度及厚度 .结果表明 :平板喷气减阻的原因在于喷气改变了平板湍流边界层的流动结构 ,抑制了湍流