基于编码规则的中断数据访问冲突检测方法

针对“重复加锁解锁”和“volatile修饰符误用”两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺陷发生,并基于一个静态代码检查工具SpaceCCH进行了规则检测方法研究和实现.在实际星上软件上的实验结果表明,扩展的SpaceCCH能够高效、低误报、低漏报地发现规则违反,从而有效避免这两种的数据访问冲突问题.本文的贡献在于将一类复杂缺陷的检测转换为相应的编码规则及其检测.     

Precision motion control for electro-hydraulic axis systems under unknown time-variant parameters and disturbances

This article focuses on asymptotic precision motion control for electro-hydraulic axis systems under unknown time-variant parameters, mismatched and matched disturbances. Different from the traditional adaptive results that are applied to dispose of unknown constant parameters only, the unique feature is that an adaptive-gain nonlinear term is introduced into the control design to handle unknown time-variant parameters. Concurrently both mismatched and matched disturbances existing in electro-hy...     

网络化飞行器执行机构故障自适应容错控制

针对存在随机短时延和外部干扰的网络化飞行器执行机构故障问题,提出了一种自适应容错控制方法。首先利用扩张状态观测器(Extended State Observer, ESO)对系统不确定性进行估计,并构建了自抗扰控制器对不确定性进行补偿。在此基础上,设计了一种基于跟踪误差的自适应容错控制方法。当执行机构发生未知故障后执行机构指令能自适应逼近设计值,使得重构的控制系统精确跟踪参考模型。最后利用Lyapunov函数方法证明了闭环控制系统的有界稳定。数值仿真校验了所提方法的有效性。     

压力对离心式喷注器雾化特性影响的试验研究

针对不同入口压力对喷注器雾化特性的影响的问题,对某一双组元姿控推力器的离心式喷注器进行大气环境下不同入口压力的雾化试验.高速摄影试验对喷注器雾化形成过程进行了拍照与分析,PDA试验对喷注器稳态工作时的雾化特性进行了测量与分析,并对试验结果进行了拟合计算.试验结果表明该喷注器有良好的雾化性能,入口压力的增加使得喷雾场可以更加快速的形成和稳定,雾化锥角变大,雾化质量更好,但是变化趋势随压力增大而减缓;计算得到的关系式可预测该喷注器不同工况下液滴的索太尔平均直径,对喷注器优化设计有一定的指导意义.     

多刚体卫星转动惯量在轨辨识

惯量辨识需要精确的动力学特性,针对动力学特性不可忽略太阳电池阵转动这一状况,提出一种惯量辨识方法,用于卫星本体惯量和太阳电池阵惯量的联合辨识.在建立多刚体姿态动力学基础上,针对辨识变量的耦合特性,推导带约束的优化辨识模型,再利用约束最小二乘算法求解.最后通过仿真计算验证了辨识方法的可行性.     

竖直上升通道内微气泡湍流流动的数值模拟

为了提高气泡浓度分布预测精度,考虑流体和气泡之间的双向耦合作用,对竖直上升通道内含有微小气泡的湍流流动进行了数值模拟研究。采用直接数值模拟方法模拟流体流动,并用拉格朗日法跟踪气泡受流体和重力作用所产生的运动轨迹。气泡受力包括相间阻力、虚质量力、升力、壁面升力、压力梯度和重力等。数值模拟结果表明,通过加入壁面升力和采用双向耦合方法,可以较准确地预测气泡浓度分布和揭示气泡流动对流体湍流结构的影响。     

界面活性剂溶液内部结构和流变特性模拟

对在稳态剪切流下的一种稀疏界面活性剂溶液进行了布朗动力学数值模拟.棒状的界面活性剂胶束粒子被假定为由圆球线性连接而构成的刚性棒.本文引进了一种新的势作用模型来描述胶束粒子间的相互作用,利用Lennard-Jones势函数来描述棒端部球之间的相互作用,而采用软球势函数来描述棒内部球之间的相互作用.在低剪切率条件下,胶束粒子在端部相互连接而形成网状结构.随着剪切增大,网状构造遭到破坏,胶束粒子趋向与剪切流方向平行.这种溶液微结构随剪切率变化关系导致了溶液剪切粘度和第一正应力差系数的剪切稀化现象.此外,还考察了溶液浓度对剪切粘度和第一正应力差系数的影响.结果表明,剪切粘度和第一正应力差系数均随溶液粘度的增加而增加.     

基于“北斗”的低空空域通航飞机导航监视技术研究

针对目前ADS-B发射机定位信息主要取自GPS以及自身传输链路距离受限的问题,研究了基于"北斗"的ADS-B监视技术,在深入研究ADS-B报文协议的基础上,将"北斗"通信作为ADS-B传输链路的补充,研究了通航飞机的无缝导航监视技术,设计了基于"北斗"定位源的多网融合的机载监视终端系统。利用锐翔电动飞机RX1E和搭建的监视中心系统对机载终端的ADS-B和"北斗"传输进行测试验证,实验结果表明:数据传输链路实现了对低空空域通航飞机的广域监视,机载终端发送的飞行态势信息实现了监视中心对低空通航飞机的在线态势感知。研究结果为服务我国通航飞机作业安全以及提高低空空域管理的信息化水平提供了技术参考。     

高马赫数无人机概念设计的外形参数化建模

设计出一类推进系统与气动布局一体化的临近空间高马赫数(Ma=3.5)无人机概念方案。为了能对这类无人机概念方案进行快速设计与评估,需要建立一种精确的、简便的表达概念方案的参数化几何模型。应用形函数/类函数、拉格朗日插值多项式和B样条曲线方法,建立了一种能够精确描述该类无人机概念方案的数学模型。基于该数学模型,应用CATIA软件二次开发方法,用VB编程实现了无人机概念方案的三维外形的自动生成。选取双后掠机翼、单后掠机翼和准菱形机翼3种典型的高马赫数气动布局方案作为测试算例,测试结果表明所开发的VB程序能够快速且足够精确地创建高马赫数无人机概念方案的三维外形。     

利用有限元法分析涡流远场效应的能流通道

涡流远场检测的激励线圈和检测线圈相距较远,两线圈信号相位差对管内壁缺损和管外壁缺损具有相同的灵敏度。传统的涡流理论难以解释涡流远场现象。为了解释涡流远场现象,T.R.Schmidt提出了“能量通道说”,假设检测线圈中的信号是由从激励线圈附近向外穿过管壁再从检测线圈附近向内穿过管壁后的能量激发产生的。本文利用有限元法分析了铁磁性钢管内能量的可能传递途径,结果表明“能量通道说”中的假设是正确的。