LALR(1)分析器快速生成

根据LR(0)自动机的构造理论及Deremer和Pennello的LALR(1)向前看符号集计算公式,提出求解公式中的lookback关系和includes关系的高效算法. 研究过程表明,LR(0)项目集闭包计算和项目集的查找是LR(0)分析器构造过程中的主要性能瓶颈.对这两个计算过程给出了高效的数据结构和算法设计,实现了LALR(1)分析器的快速生成.系统实现及实验数据表明,LALR(1)分析器的生成速度超过了自由软件基金会的LALR(1)分析器生成器Bison.      

月面巡视探测器动力学建模

动力学模型是研究星球探测车运动的基础。以某月面巡视探测器原理样机为背景,建立了其动力学模型,并进行了数值仿真分析。在说明月壤机械特性的基础上,结合地面车辆力学的知识,分析了松散月壤上刚性车轮的受力,考虑了主动驱动和被动驱动的情形,利用数学拟合的方法得到了满足工程要求的简化模型。在一定假设条件下,以牛顿欧拉法建立了三自由度整车动力学模型,建模时同时考虑了驱动和转向的相互影响。最后,数值仿真结果定性地验证了月面巡视探测器动力学模型的正确性。     

大密度变化非连续介质气体流场的数值仿真

针对大密度变化非连续介质气体流场的仿真难题,实现了分区可变时间步长方法,为了保证宏观物理量通量在界面上连续,针对穿过两个时间步长不相等的区之间的界面的分子执行剩余时间缩放处理。提出了一种高效的分区界面和壁面处理算法,将每个界面设定为只属于一个区,将跨过多个区的壁面分解成分别只属于一个区的多个壁面,并规定仿真分子只能与本区的界面和壁面相互作用。对喷管流场的模拟表明,此方法可以大大提高计算效率。     

频率选择表面传输特性的温度循环效应

根据国家军用标准GJB 150-86对不同涂层材料和加工工艺的频率选择表面(FSS,Frequency Selective Surfaces)进行了温度循环的环境模拟试验,通过比较温度循环前后FSS的谐振频率、传输损耗、频带宽度和入射角稳定性等传输特性的差异,考察FSS在温度循环条件下的性能稳定性.结果表明,温度循环对不同材料和工艺的FSS的传输性能有较大影响,主要表现在FSS的传输损耗和频带宽度两方面.不同FSS在经过温度循环后,谐振频率下的传输损耗增大0.5~3倍,入射角越大增大的幅度越大;频带宽度增加50%~70%,不同的FSS增加的幅度不同.而对谐振频率和入射角稳定性的影响根据不同的FSS而不同,但对二者的影响都不明显.与简单振子FSS相比,组合振子FSS的传输性能受温度循环的影响较大.      

高精度光纤陀螺高带宽信号检测方案

研究兼顾静态性能和力学环境适应性的信号检测方案是高精度光纤陀螺实用化的迫切要求.分析了高精度光纤陀螺全数字闭环信号检测过程,推导了系统的闭环传递函数.一般的基频调制使检测系统的采样周期长、带宽低,反馈不能很好地补偿因力学环境产生的高频噪声信号,会破坏系统闭环,产生较大的动态误差.设计了三倍频调制/解调数字闭环信号检测方案,使采样周期是基频调制方案的1/3,有效提高了系统带宽.两种方案的力学环境实验和静态实验结果对比说明,三倍频方案明显提高了高精度光纤陀螺的力学环境适应性,同时静态性能不受影响,能够满足实际应用的要求.      

低强度超声波改善微生物燃料电池产电效能

微生物燃料电池(MFCs,Microbial Fuel Cells)可在处理有机废水的同时获得电能,但生物体系缓慢的电子传递速率是其发展的瓶颈.为了寻求提高MFCs工作效率的途径,建立了2个有效容积为1.5L,电极面积160cm2的单室MFCs,设置为超声波强化反应器和对照反应器,进行对比试验.结果表明,采用强度为0.2W/cm2、频率33kHz、超声间隔为83h的超声波对反应器辐照10min,在反应后期(运行2880h后)MFCs与对照反应器相比最大功率密度提高了6%,一个运行周期产生的总电量增加了46.5%;设置超声的反应器库仑效率(CE,Coulombic Efficiency)比对照反应器提高了25.7%.超声波强化反应器中水的pH值最小值比对照pH值最小值低0.2,超声波辐照的反应器氧化还原电位(ORP,Oxidation Reduction Potential) 最小值低于对照反应器ORP最小值34.8mV. 2个反应器3000min对化学需氧量(COD,Chemical Oxygen Demand)的净化效率都达到72.9%,超声波对COD去除贡献不明显,并从低强度超声波对微生物作用的过程方面分析了上述现象.      

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

基于Lyapunov方法的双臂空间机器人避障碍分级非完整运动规划

以Lyapunov方法为基础,讨论了载体姿态与位置均不受控制的双臂空间机器人系统的避障碍分级非完整运动规划问题.该方法充分利用系统的非完整动力学性质,以系统动量矩守恒关系及运动Jacobi关系为基础,建立控制设计所需的系统状态方程及控制输出方程;并在Lyapunov函数的选取上采用两级采取方式,即初级Lyapunov函数确保双臂空间机器人的两个末端抓手从初始位置运动到指定的终点位置,次级Lyapunov函数则确保两个末端抓手避开工作空间中的障碍区域;两级合成则使双臂空间机器人的两个末端抓手既实现了指定的位置移动又避开了障碍区域.系统数值仿真,证明了方法的有效性.      

毛细泵环路系统运行特性的数值研究

给出了描述毛细泵环路(CPL)系统运行特性的非稳态模型,并运用该模型模拟了系统的启动过程,考察了储液罐中温度波动以及蒸发器上热负荷的突然改变对系统稳定性的影响;从数值模拟的角度更好地预测和分析CPL系统运行的过程和特点,该模型的数值结果与实验现象和实验数据相比有较好的一致性。通过该模型还可以进一步揭示CPL系统运行过程中启动困难、储液罐温度不能波动过大以及热流密度突然改变引起系统失效等内在原因,为设计出性能优良的CPL系统提供了理论依据。     

氮气分配器设计及其在模拟器中的应用

在风扇换热器组件冷却方案的基础上,提出氮气分配器通风冷却方案并进行合理设计。两种方案下模拟器的流场和温度场数值模拟比较表明氮气分配器方案下发热部件冷却效果更好,该设计方案能使模拟器内部温度保持在各部件正常工作的温度范围里,氮气最大温差控制在设计目标内,对微波布线提供了重要的参考依据。