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

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

负载CuO/Cl活性炭的气态汞脱除特性

为了解CuO/Cl负载对活性炭吸附剂汞脱除特性的影响,开展了利用HCI,Cu(NO_3)_2·3H_2O,Cu(NO_3)_2·3H_2O混合NH_4Cl溶液3种浸渍负栽处理方法获得的活性炭吸附材料汞脱除性能实验研究.汞吸附实验在实验室规模的固态吸附刺汞吸附效能测定系统上进行.结果表明,3种负载改性的活性炭对单质汞的吸附能力均高于原始活性炭,且所获得的汞吸附能力从低到高依次为AC-CuO,AC-HCl,AC-CuO(Cl).活性炭负载CuO/Cl可以使吸附反应器出口处烟气中含有40%以上的二价汞,吸附能力的提高可归因于CuO对活性炭表面汞氧化的催化作用.温度提高有利于催化氧化过程,实际运行工况的最佳温度区间为370～470K.随着SO2浓度的升高,汞吸附能力明显降低.     

基于在线频率估计的自适应反馈主动隔振技术

针对自适应前馈控制方法的缺点,提出一种周期性振动主动控制的自适应反馈控制方法.利用误差信号恢复振动干扰信号,采用级联陷波器估计信号中周期性分量的频率,并在估计频率处为控制器构造参考信号;控制器的参数则根据Lyapunov稳定性原理进行调整.仿真和主动隔振试验结果表明:频率估计方法在不同信噪比情况下均具有较好的估计精度;主动控制方法在振动频率处的隔振效果明显,隔振量可达16?dB以上,且控制器的参数收敛速度较快.     

昆虫翅膀图像特征的亚像素级提取方法

昆虫翅脉、翅脉交点及翅膀边缘是昆虫翅膀运动变形三维重构的主要依据.通过分析这三种特征的图像特点,对于翅脉中心,采用Hessian矩阵求出灰度极值点方向,并用二次曲线拟合该方向的灰度变化,通过确定该曲线极值点位置来提取亚象素翅脉中心;然后通过求灰度图像的梯度,在其梯度变化方向求极值点的方法提取翅膀边缘特征;此外根据翅脉方向变化的连续性提出了邻域角度约束方法确定翅脉交叉点,从而最终提取到亚像素级的翅膀边缘、翅脉及交叉点等特征.实际应用证明该方法是较为有效的.     

SMARC变形控制及神经网络建模

在复合材料层板中偏离中性层的位置铺设镍钛形状记忆合金丝,然后通电加热镍钛丝,使其在形状回复过程中产生巨大的回复力,从而使层板结构发生弯曲变形.由于形状记忆合金的非线性以及合成的智能材料结构的应力、应变分布和形状变化规律都非常复杂,尝试引入人工神经网络来建立以可控参量(电流强度)为输入变量、易测参量(稳态挠度)为输出变量的模型,所建模型的预测数据与实验数据之间符合得较好,相对误差小于9%.      

一种新颖超磁致伸缩作动器的隔振模型

根据超磁致伸缩材料的本构方程分析了超磁致伸缩作动器输出位移的组成,以此为根据建立了基于超磁致伸缩作动器的单层单自由度隔振平台数学模型.该模型以平台在激振力作用下产生的振动位移为系统干扰输入;根据此模型分析了基于超磁致伸缩作动器的隔振原理;在频域内推导出了系统隔振能力与激振力频率及作动器最大输出位移之间的数学关系,然后在时域内采用自适应LMS(Least Mean Square)算法在Matalb环境下进行仿真.仿真结果与理论分析均表明,隔振平台的隔振能力与激振力频率的平方以及作动器最大输出位移成正比,从而为合理设计隔振平台用超磁致伸缩作动器提供了理论依据.该模型不仅可用于分析基于磁致伸缩作动器的隔振原理,对其它作动器的隔振原理也适用.      

航空结构件加工变形仿真关键技术

对航空结构件铣削加工变形仿真的关键技术进行了深入研究.编制残余应力施加通用程序,建立包含有初始残余应力的加工变形有限元预测模型;由于铣削加工,毛坯体变为薄壁工件,在进行有限元仿真过程中,提出体-壳单元与实体单元的混合单元建模方法,以提高计算效率及便于后续研究;针对工件与工作台单面约束的接触作用及其它工程中的类似单面约束问题,提出将工件视为弹性体,工作台视为刚性体,转化为接触方式进行纯压缩边界条件的模拟,对某典型工件进行了有限元仿真并与模态试验结果对比,验证了其有效性和准确性;基于生死单元技术进行材料去除模拟.通过上述关键技术的理论研究及应用,实现了航空结构件加工变形过程的有限元仿真.      

空间矢量和单周控制三相航空有源电力滤波器

提出了一种新型三相航空有源电力滤波器的控制方法.按照空间矢量 的方法,将三相母线交流电压划分为6个区间,在每个区间,建立单周控制模型.这种基 于空间矢量和单周控制的控制器只需要1个带复位的积分器、3个比较器、2个触发器、1 个双八路多路复用器和一些线性器件.在每个区间有1个桥臂工作在低频状态,另外2个 桥臂工作在高频状态.采用这种控制器的有源电力滤波器具有简单、可靠、鲁棒性好、控制 精度高、效率高等优点.在分析、建模的基础上进行了仿真和试验研究.仿真与试验结果证 明,采用这种控制方式的三相有源电力滤波器能够动态地对电流谐波和无功进行有效补偿, 从而验证了这种控制方法的正确性和可行性.      

有源周期性结构控制电磁波反射波束指向研究

提出有源反射的概念.利用如光带隙电磁结晶结构、高阻抗结构等周期性结构的带隙特性和 阻抗特性,通过在类似高阻抗表面的周期性金属单元表面铺设有源器件--变容二极管,控 制周期性结构的性能,建立有源周期性结构,影响入射电磁波的传播特性,实现对反射波束 的指向的有源控制和有效改变.仿真实验证明采用单层或双层有源周期性结构表面,可以有 效控制反射波束的相位和角度指向.     

池内过冷核沸腾表面活化核心密度的研究

为研究在过冷沸腾条件下的加热表面的活化核心密度尺度分布是否具有分形特征,运用核态沸腾换热机理模型对不同过冷度下的4种不锈钢换热表面的活化核心密度进行了预测.结果表明:对于特定的沸腾表面,过冷度不影响活化核心密度曲线的形式,预测曲线与作者提出的加热表面活化核心密度的分形描述相一致,从而进一步证明了该结论具有普遍性.