应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

一种基于电子调节器调试设备的研制

通过对电子调节器状态限制系统工作原理的分析,研制了一种电子调节器调试设备.该设备可用于模拟发动机工作的不同大气条件,从而解决在大气温度高、大气压力低的状态下发动机起飞状态无法调节的问题.     

多层缝隙耦合贴片型频率选择表面研究

设计了一种基于缝隙耦合的贴片型频率选择表面（Frequency selective surfaces, FSS）,该FSS拥有窄带特性。分析了缝隙结构对FSS的频率响应的影响,提出 了一种具有极化稳定性和角度稳定性的双极化FSS单元。采用全波电磁仿真软件对其进行分 析,同时采用谱域法和周期性矩量法对该FSS进行了理论分析并得到解析解。通过将缝隙改 为十字缝隙实现双极化设计,仿真结果显示该结构具有极化稳定性和角度稳定性,并与理论 分析吻合,表明设计的正确性。     

用胞映射法分析双线性结构刚度的机翼颤振

将映射轨迹追踪技术引入基于空间Poincar啨截面的胞映射方法中 ,并定义初值分析空间 ,以适应分析高维动力系统运动类型初值域的需要。改进后胞空间中胞的数目大大减少 ,计算时间缩短 ,运动特征的确认更为准确。应用该方法研究扭转方向具有双线性结构刚度因素的机翼颤振问题 ,结果显示 ,初始条件对系统动力学行为有着很大的影响。当两段刚度之比小于某临界值时 ,随着机翼颤振速度增大 ,不同的初始条件会导致平衡点、极限环振动、复杂的周期运动、混沌和发散运动等不同的运动形式     

基于DCT中频域数字水印算法研究

提出了一种基于DCT的图像水印算法,该算法充分利用人眼视觉系统特性,把水印嵌入DCT中频域中。保证了水印的不可见性。并用高斯低通滤波攻击和椒盐噪声攻击对算法鲁棒性进行检测。实例分析结果表明该算法具有较好的鲁棒性和隐蔽性。     

二维任意域内基于节点的局部网格生成算法

凸域内基于节点的局部网格生成算法,克服了基于节点的有限元方法的网格生成可能产生的不一致性。将该基于节点的局部网格生成算法的适用范围拓展到二维任意域。另外,提出了通过使用约束Delaunay路径来划分任意域的区域划分算法,该算法使得在并行实现网格生成的过程中各处理器之间无需通信,从而大大提高了节点给定情形下有限元方法网格生成的并行效率。     

样本均值的随机加权逼近之必要条件

本证明了样本均值的随机加权统计量几乎处处有效的必要条件为EX^2<∞；若将“几乎处处”条件削弱为“依概率”，则必有X属于正态分布的吸收域。     

基于气动斜坡/燃气发生器的超燃燃烧室实验

为探索超燃冲压发动机燃烧室中的新的火焰稳定技术,提出了一种新型被动式燃料掺混增强技术—气动斜坡与燃气发生器组合燃料喷注技术,并在北航直联式超燃试验台对这种新型组合喷注器开展了超声速燃烧的试验研究。在模拟飞行马赫数5(燃烧室入口Ma=2),进行了冷流试验,获得了喷注器附近流场的纹影图像。本文设计了4种气动斜坡喷注单元,以乙烯为燃料,在约1kg/s试验气流中开展了多级喷注单元组合的超声速燃烧试验,在当量比0.78～1.22范围内实现了稳定的燃烧,经冲量分析法计算得到不同组合结构的燃烧效率为0.54～0.72。试验结果验证了这种新方案作为超然冲压发动机火焰稳定装置的可行性。