高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

2009年  第35卷  第3期

  上一期 | 下一期 
显示方式:
论文
极地科考小型无人飞行器
雷旭升, 王 挺, 梁建宏, 王田苗
2009, 35(3): 267-271.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (513KB) 1068
摘要:
针对小型无人飞行器在极地科考中的抗风扰动问题,通过神经网络改进卡尔曼滤波算法,提高小型无人飞行器对环境的适应性.基于小型无人飞行器自身状态信息与误差信息,在线调整系统的量测噪声和估计参数,提高信息融合精度;利用矢量域方法构建轨迹跟踪控制算法,基于目标航迹在线调整航向,提高小型无人飞行器在顺风、逆风、转弯的飞行品质和压航线精度.经过大量的仿真试验、实际飞行试验验证了方法的有效性,改进的卡尔曼滤波算法可以提供长时高精度信息,小型无人飞行器可以在野外6级风源扰动的情况下,实现稳定飞行,平均误差不超过10m.小型无人飞行器在南极实地科考中得到成功应用.
能量旁路超燃冲压发动机可行性分析
郑小梅, 徐大军, 蔡国飙
2009, 35(3): 272-275.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (129KB) 1792
摘要:
使用准一维模型对磁流体能量旁路超燃冲压发动机MPCE(Magneto-Plasma-Chemical Engine)进行了性能计算.考察了理想和非理想的超燃冲压发动机应用磁流体MHD(magnetohydrodynamics)能量旁路的效果,对于理想的超燃冲压发动机应用MHD反而会使发动机的性能降低;对于非理想的超燃冲压发动机,MHD的作用使发动机的比冲增加.考虑发动机工作的工程限制条件对超燃冲压发动机和MPCE的性能进行了比较,结果表明应用MHD可以扩大超燃冲压发动机的工作范围,在非设计马赫数下提高发动机的性能.计算了负载系数、通道压力系数等重要的设计参数对MPCE性能的影响,结果显示优化参数设置可以使发动机比冲增加,但是同时又会受到工程条件的限制.
旋转附加力对方通道内流动与换热的影响机理
刘传凯, 丁水汀, 陶 智
2009, 35(3): 276-279.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (449KB) 880
摘要:
在雷诺数为25000,旋转数为0~0.24,温度比为0~0.22的范围内,数值模拟了旋转光滑径向出流通道的内流动与换热分布,分析了哥氏力与离心浮升力对旋转管流的耦合作用机理.计算结果表明,切向哥氏力推动了通道截面内的双涡二次流,径向哥氏力则使得近侧壁流体加速和中心流体减速.离心浮升力对流动与换热的作用效果与哥氏力场的分布密切相关.换热计算结果从定性趋势上吻合公开文献中的实验现象,反映了旋转附加力的基本影响规律.
纳卫星微槽道冷却系统在轨动态热特性分析
刘 佳, 李运泽, 王 浚
2009, 35(3): 280-283.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (390KB) 1085
摘要:
针对纳卫星热流密度不断升高的发展趋势,介绍了一种基于微机电技术(MEMS,Micro Electro Mechanical Systems)的泵驱动单相流微槽道冷却系统.通过合理分析与简化,应用集总参数法建立了能够反映受控对象及冷却装置动态特性的温度响应模型;运用数值方法仿真计算了某纳卫星在轨飞行中受空间外热流影响下的外部散热面和内部电子设备温度的变化规律.仿真结果表明:应用MEMS技术的微槽道冷却系统可以满足高热流密度的纳卫星热系统的冷却需求;空间外热流相对于星体内部热功率的变化,对纳卫星散热面温度的影响较小;该建模方法和求解算法对分析计算纳卫星的温度动态特性是简便、合理的,并为进一步深入研究纳卫星热控制、热管理理论与技术奠定了理论研究及工程应用基础.
基于网络建模与仿真
李晓汀, 丁 凡, 熊华钢
2009, 35(3): 284-287.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (324KB) 1444
摘要:
为分析控制器局域网(Controller Area Network, CAN)协议,评价CAN网络性能,提出在OPNET网络仿真环境中CAN网络模型的建模方法.采用网络层次化建模方法构建节点模型.介质访问控制(Medium Access Control, MAC)子层中设计MAC、错误处理和帧间空间模块,保证系统结构清晰.通过进程设计,MAC模块中实现了网络实时性模型;错误处理模块中实现了连续错误下网络不可用模型.定义和编辑链路及数据帧模型.根据实例模型进行网络模型的配置和仿真.仿真结果与实例测试结果一致,验证了网络模型的有效性.通过分析具体网络仿真环境下的仿真结果,对CAN网络性能进行了讨论.该模型提供了独立可编辑的节点模型,链路模型和数据帧模型,可实现灵活的网络配置,用于不同网络拓扑分析.
涡旋微槽内的单相强迫对流换热性能实验
席有民, 余建祖, 谢永奇, 高红霞
2009, 35(3): 288-291.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (409KB) 884
摘要:
以体积浓度30%的乙二醇水溶液为工质,采用定热流加热方式,对槽宽0.3mm的4个深度不同的矩形截面涡旋微槽试件的换热性能进行了实验研究.试件所用材料为紫铜,每个试件上分布6个涡旋微槽.实验测量了不同工质流量,不同加热功率下涡旋微槽的换热性能,分析了微槽结构、工质流速对其换热性能的影响,拟合得到相应的换热实验关联式.与平直微槽的换热性能进行了对比,结果表明涡旋微槽散热器的换热性能优于平直微槽散热器.
组合导航信息融合算法
赵净净, 王艳东
2009, 35(3): 292-295.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (227KB) 997
摘要:
为了解决INS/SMNS(Inertial Navigation System /Scene Matching Navigation System)组合导航系统信息融合时涉及到的时间对准、多速率滤波、不等间隔以及量测滞后等问题,根据INS/SMNS组合导航主要应用于末制导段以及Kalman滤波与观测值的关系,提出了采用外推法进行时间对准、变周期离散化进行不等间隔多速率滤波、使用计算机软件消除量测滞后的解决方案.对比分析了常规Kalman滤波、消除量测滞后Kalman滤波以及方案的滤波精度.仿真结果表明设计的方案具有较高的滤波精度.
直升机旋翼试验台动力学分析及建模
薛亮儒, 王少萍
2009, 35(3): 296-299.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (402KB) 1191
摘要:
直升机旋翼动平衡试验台是一种主要的直升机旋翼测试设备之一,对试验台进行动力学分析和建模可以提高试验台的控制精度和试验的效果.在分析试验台结构和功能的基础上,简化了桨叶变距拉杆的载荷,通过对自动倾斜器的受力分析,得出了旋翼系统的动态模型.通过对液压系统和旋翼系统的联合仿真,分析了系统在旋翼姿态变化时的动态响应和交互耦合影响,初步了解了系统在各种不同负载特性下的响应,为试验台的姿态调节、激振的精度提高和进行理论研究提供基础,并为地面旋翼试验台系统的设计和控制提供依据.
实现机群虚拟化的方法
彭近兵, 龙 翔, 肖利民
2009, 35(3): 300-303.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (142KB) 1250
摘要:
机群是一类重要的并行计算机体系结构,成本低廉,可扩展性强,但编程复杂,管理难度大.利用虚拟化技术可以将机群抽象成具有共享内存特征的虚拟机,支持共享内存的编程模式,从而克服机群的不足.当前,在该领域有少量探索性的研究成果,但都不能支持对称多处理机(SMP,Symmetric Multiprocessor)机群虚拟化.本文提出一种新颖的虚拟化SMP机群的方法,即利用硬件虚拟化技术,在操作系统(OS,Operating System)之下构建分布式虚拟机监视器(DVMM,Distributed Virtual Machine Monitor),通过DVMM对机群的资源进行感知、整合、虚拟化和呈现,使SMP机群对OS呈现为一台具有共享内存特征的虚拟机;通过DVMM与OS配合,实现在虚拟机上透明地运行并行应用软件.
基于功率取样的光纤光源平均波长控制技术
杨远洪, 申 彤, 赵冠成
2009, 35(3): 304-307.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (361KB) 1051
摘要:
为提高宽谱光纤光源温度稳定性,对平均波长温度稳定性进行了分析;对不同泵浦功率下输出光的平均波长与输出功率的变化进行了仿真和实验研究,揭示了宽谱光纤光源平均波长与输出功率的相关性;提出并实现了一种基于数学模型的平均波长控制技术.从光源输出取出小部分功率作为反馈信号,通过调整泵浦激光器电流实现了中心波长的精确控制.对研制的样机进行了实际测试,结果表明控制方案是可行的,在－45~70℃的温度范围内,宽谱光纤光源的平均波长稳定性达到0.3×10-6℃-1.
高超声速飞行器热载荷计算及影响因素分析
张利珍, 王晓明, 董素君, 王 浚
2009, 35(3): 308-312.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (438KB) 1073
摘要:
对吸热式热防护系统和液氮为冷源的高超声速飞行器热控系统,分别采用辐射热平衡法和双层集总参数法,建立了隔热层和舱内温度场的热力学模型,实现了气动加热、隔热层导热及舱内温度场等各传热环节的解耦.在此基础上,按照X-34验证机的飞行剖面对高超声速飞行器电子设备舱热载荷进行了计算,并分析了隔热层厚度、舱内冷却气体流速及液氮量对舱内温度和电子设备温度的影响.结果表明,该方法对热传递过程各环节响应特性能够较准确的分析,在工程方案初步设计阶段具有重要的应用价值.
形构形微通道流动换热特性的数值分析
徐国强, 王 梦, 吴 宏, 陶 智
2009, 35(3): 313-317.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (362KB) 1223
摘要:
针对矩形芯片提出了Y形构形微通道的芯片内部冷却结构,通过三维数值计算比较了Y形构形微通道与传统直微通道中的流体层流流动和换热特性,并对Y形构形微通道的重要结构参数进行了优化.研究表明:在相同对流换热面积和水利直径的条件下,Y形构形微通道具有比直微通道更高的传热效率和更低的进出口压降,可以满足高热负荷需求.在研究范围内通道级数为3级、分叉角度为60°、分支个数为2时,散热器的综合换热性能最好.以上结论为Y形构形微通道的结构设计提供了重要依据.
低密度闭孔金属泡沫压缩屈服行为的数值模拟
卢子兴, 张家雷
2009, 35(3): 318-321.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (615KB) 1159
摘要:
对低密度闭孔金属泡沫的变形过程进行数值模拟是研究泡沫材料力学及失效行为的重要手段.基于Kelvin多倍胞体模型和有限元方法数值模拟了低密度闭孔泡沫铝的压缩变形的过程,给出了压缩变形曲线并确定了压缩屈服强度.在计算过程中,考虑了材料非线性和几何非线性效应以及胞体倍数对应力-应变关系的影响,并采用理想弹-塑性和线性强化弹-塑性两种材料本构关系来考察其对于泡沫铝非线性压缩力学行为的影响.结果表明,有限元计算的结果与一些文献的理论工作有较好的一致性,但是比实验值偏大.
基于二阶滑模的导弹控制系统设计
陈 洁, 顾文锦, 周绍磊
2009, 35(3): 322-325.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (354KB) 1335
摘要:
过载控制是近年来导弹控制律设计领域出现的一种新的非线性控制方法,引起越来越多的重视,但是在采用过载控制方法对侧滑转弯(STT, Skid-To-Turn)超音速巡航导弹纵向回路控制系统设计过程中,由于过载输出与舵偏输入之间存在非最小相位现象,导致系统零动态不稳定.提出用输出重定义将系统状态进行转换的思路,利用内部状态在平衡态时应具有的响应作为其期望参考轨迹,将输出跟踪转化为状态跟踪,以保证系统的零动态稳定.采用二阶滑模设计控制律,消除了一阶滑模所固有的颤振现象,用Lyapunov函数确定出控制器参数,保证了对系统输出的跟踪.鉴于攻角不易精确测量而导致了系统状态不完全可测,控制律设计过程中设计了攻角观测器解决了上述问题.系统仿真研究表明,根据上述方法设计的系统具有比较理想的稳定性和鲁棒性,同时具有更好的动态性能.
基于对偶原理的二子样划船补偿算法
余 杨, 张洪钺
2009, 35(3): 326-329.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (113KB) 1225
摘要:
划船补偿算法一般以典型划船运动为基础,利用最优化理论来进行推导.圆锥补偿算法不仅可利用最优化理论,还可利用Goodman-Robinson理论进行推导.利用对偶原理,将Goodman-Robinson理论下得到的二子样修正圆锥补偿算法推广至划船补偿算法设计中,得到一种改进的二子样划船补偿算法.在典型划船运动条件下,对得到的划船补偿算法进行了数字仿真,并与二子样优化划船补偿算法进行了对比研究.仿真结果表明,此改进二子样划船补偿算法能提高速度更新精度.
多机多窗口优化调度问题的模型与算法
刘 伟, 孟 新, 郑建华
2009, 35(3): 330-333.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (290KB) 1033
摘要:
最小化完工费用且具有多个时间窗口的多机调度问题,一直是组合优化领域的一个研究难点.首先给出描述问题的2种模型:整数规划IP(Integer Programming)模型,约束规划CP(Constraint Programming)模型.通过对IP模型和CP模型各自缺点的讨论,引出一个新的模型——混合IP-CP模型,重点讨论了该混合模型的求解方法,给出一个模型求解的启发式算法,经测试表明新模型和算法能极大地提高问题求解效率,为解决此类大规模优化调度问题提供了方法.
中单纯形优化的误匹配检测
杨 勇, 王可东
2009, 35(3): 334-337.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (169KB) 1104
摘要:
在迭代最近等值点ICCP(Iterative Closest Contour Point)算法的地形辅助导航中,利用单纯形优化方法实现对最优航迹的估计,但在匹配中往往得到的只是局部最优解,导致误匹配发生,严重时导致匹配发散.以ICCP算法为研究对象,研究并建立了ICCP方法的误匹配判断准则,以减小误匹配误差的影响和提高匹配精度.利用概率数据关联建立ICCP算法的误匹配判断准则,仿真结果表明,与无误匹配方法匹配结果相比,提高了其收敛性和精度;与 M/N 方法相比,降低了误匹配概率的30%,提高了导航的精度和算法的稳定性.
电动静液作动器框图建模与控制
康荣杰, 焦宗夏, 王少萍
2009, 35(3): 338-341.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (448KB) 2058
摘要:
功率电传作动系统是未来飞行控制的发展方向,它取消了传统的中央液压油源.电动静液作动器是功率电传系统的执行机构,在作动器端把电能转化为局部液压能,兼具传统液压系统和直接电力驱动作动器的优点.根据其元部件数学方程,建立非线性框图子模型,构造了一种定排量变转速电动静液作动器,完善了补油回路和摩擦特性的描述.通过考察作动器稳定性、静态刚度和动态性能指标,对单环比例、积分、微分(PID,Proportion Integration Differentiation)、多环PID、全状态反馈控制等方法进行了设计及比较分析.仿真结果表明,结合动态压力反馈策略的全状态反馈控制器能有效改善系统的动、静态性能.
基于投影寻踪的高光谱图像异常检测并行算法
王 维, 赵慧洁, 董 超
2009, 35(3): 342-346.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (293KB) 873
摘要:
投影寻踪方法能有效提取数据中的非高斯结构凸显异常信息,但在求解最优投影方向时存在计算量大、运行时间长的问题,为提高处理效率,提出一种机群环境下的并行算法.选用偏度和峰度组合作为投影指标,将所有像素光谱作为特定投影方向集依次搜索,求解最优投影方向.在并行计算各候选方向投影指标时,分割图像数据分布存储于各机群结点,数据子块朝候选方向并行投影后,将指标计算式变形分解,使各结点在指标计算过程中所需数据均为本地数据,解决数据局部性问题,并采用一种"轮流作主"的机制提高算法负载均衡程度.利用实用型模块化高光谱仪数据在机群系统上进行测试,达到了较好的加速效果,表明该并行算法具有良好的并行性能.
基于柔性平面靶标的摄像机现场标定方法
余明浪, 魏振忠, 孙军华
2009, 35(3): 347-350.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (183KB) 1531
摘要:
提出一种摄像机现场柔性平面靶标标定方法.该方法仅需在平面靶标上设置少量空间三维坐标已知特征点.在这些特征点中,任意共线的特征点可以确定一条直线,因此可以确定若干条直线.根据在透视投影变换下,直线和直线的交点均为不变量的性质,可获得除已知特征点之外的大量标定特征点用于摄像机标定.基于误差传播理论,对标定点的不确定度进行了详细分析.采用研制的尺寸为100mm×100mm,加工精度为0.01mm的柔性平面靶标,对摄像机进行了现场标定实验,获得了0.032mm的标定精度.
采用欧拉两相流法对翼型表面霜冰的数值模拟
张 强, 曹义华, 李 栋
2009, 35(3): 351-355.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (408KB) 2244
摘要:
基于欧拉两相流理论提出一种翼型表面霜冰的数值模拟方法.采用同位网格上的SIMPLE (Semi-Implicit Method for Pressure Linked Equations) 算法求解空气控制方程;提出一种可穿透型壁面边界模拟水滴对翼型表面的撞击,通过求解过冷水滴的控制方程得到翼型表面的水滴收集特性;利用冰层时间推进法模拟积冰过程,使用积冰法向生长假设生成积冰外形.对NACA 0012翼型在0°和4°迎角下的积冰情况进行了研究,冰形预测结果与实验结果一致.通过对结冰翼面的压力分布进行分析,表明积冰对翼型气动性能会产生不利影响.
格式中不同类型熵修正性能分析
周 禹, 阎 超
2009, 35(3): 356-360.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (337KB) 2702
摘要:
针对Roe格式中较为流行的3类熵修正:Muller型、Harten-Yee型和Harten-Hyman型熵修正,从理论分析入手, 辅以Euler方程为控制方程的激波管问题,前台阶流动和运动激波的双马赫反射3个数值实验,对不同熵修正的性能做了深入研究,得出如下结论: Muller型和Harten-Yee型熵修正方法作用于激波和非物理的膨胀激波2种情况:激波情况下引入的数值耗散,能根本改善"Carbuncle"现象,膨胀激波时其数值粘性也足以使膨胀激波得以耗散;而类Harten-Hyman型熵修正只对膨胀过程起修正作用,对激波情况无效,不能改善"Carbuncle"现象,该类熵修正的数值粘性较小,不足以使膨胀过程正确求解;直接采用 δ 值代替特征值的特征值修正方法效果好于传统的特征值修正方法.
细水雾喷头喷射压力影响灭火性能的实验
杨立军, 富庆飞, 王向东, 廖圣洁
2009, 35(3): 361-365.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (537KB) 1433
摘要:
为了研究细水雾喷头在不同喷射压力情况下针对油盘火的灭火效果,采用正庚烷为火灾燃料,在4.6m×3.3m×4m(长×宽×高)的空间内,针对同一型号的细水雾喷头在不同喷射压力下进行了灭火实验,在实验过程中采用热电偶树和气体分析仪对火焰温度及火场氧浓度进行了测量,得到了不同喷射压力下细水雾灭火的影响规律,为细水雾灭火设计、检验标准制定及细水雾灭火产品的开发提供了相应的实验依据.
余度捷联惯导系统连续自动标定技术
芦佳振, 张春熹, 祝露峰
2009, 35(3): 366-370.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (382KB) 1029
摘要:
以余度捷联惯导系统为研究对象,提出了一种新的连续自动标定技术.从惯导系统误差模型出发,推导了这种连续自动标定技术的原理方程,指出在特殊旋转路径下由系统导航解算输出的速度误差将包含惯性器件误差的相关信息.依据惯性器件误差逐级分离的观点,设计了标定旋转路径.在设计的转台连续旋转轨迹下,利用卡尔曼滤波器可以获得全部常值误差项的精确估计.通过构建余度捷联系统标定仿真平台验证了这种技术的有效性.仿真结果表明,与传统的多位置翻滚标定方法相比,该技术标定精度高,操作简单易行,具有较好的工程应用价值.
轮式腿型机器人的越障分析与仿真
陈殿生, 黄 宇, 王田苗
2009, 35(3): 371-375.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (420KB) 1778
摘要:
为了提高地面移动机器人的地面适应性和越障能力,通过模仿昆虫的腿形,在移动机器人机械本体上设计了一种轮式腿结构.同时选择了轮式腿结构布局的最优方案,提高了机器人运动的平稳性.针对该种结构在非结构环境中的越障性能进行了相关的分析,从理论上分析了具有轮式腿结构的机器人具有很强的越障能力和越障平稳性.并用ADAMS (Automatic Dynamic Analysis of Mechanical Systems) 对该机器人进行了运动学的仿真,仿真结果表明具有轮式腿结构的机器人具有较强的越障能力,可以翻越高度为轮式腿半径1.2倍的垂直障碍,验证了机构的可行性和越障原理的正确性,为轮式腿型机器人的进一步研究提供了理论基础和依据.
集合论泛逻辑悖论
杜国平, 王洪光, 李 娜, 朱梧槚
2009, 35(3): 376-379.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (260KB) 1041
摘要:
对于一类 n(2≤n≤n) 值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统 UL 1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.
基于两种扫描方式的雷达探鸟系统
陈唯实, 宁焕生, 李 敬, 毛 峡
2009, 35(3): 380-383.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (404KB) 3242
摘要:
介绍了雷达探鸟系统的研究现状,包括以鸟击危害咨询系统为代表的大型雷达探鸟系统和以Accipiter为代表的机场雷达探鸟系统.基于X波段海事雷达搭建了"雷达探鸟实验系统",分别验证了其在水平和垂直两种扫描方式下探鸟的可行性.本系统在两种扫描方式下采集的两组探鸟雷达图像序列,分别由飞鸟目标提取算法进行处理.经过背景差分、噪声抑制、目标信息提取和数据融合,将鸟情信息从原始雷达图像中提取出来,并将其与卫星地图或高度坐标系相融合,融合图像直观地反映了探测区域内飞鸟目标的分布情况.最后,对国内外雷达探鸟系统的性能作了比较分析.
电容式微加速度计闭环检测电路
宋 星, 房建成, 盛 蔚
2009, 35(3): 384-388.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (453KB) 2245
摘要:
针对硅微惯性器件中的微小差分电容检测,提出了一种应用于三明治结构差分电容式微机械加速度计的闭环检测电路.通过等电势屏蔽法,相干解调技术和增加激励信号对称性等技术屏蔽杂散电容,抑制了电路噪声和共模误差,提高了检测电路的微弱信号辨识能力;静电力平衡闭环检测克服了开环输出信号的非线性缺陷,实现了高线性度、高分辨率的电容检测.设计的闭环检测电路具有电路简单、线性度好、抗干扰性强和易于集成的特点.实验结果表明,加速度计量程可达±15g,电容分辨率可达10-16F.
板料激光弯曲过程的数值模拟
王秀凤, 郭晓丽, 陈光南, Jurgen Silvanus
2009, 35(3): 389-392.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 $!{v.htmlCount} icon下载 (210KB) 1127
摘要:
采用MSC.Marc非线性有限元软件,对板料激光弯曲过程进行了数值模拟.试验与数值模拟的相互印证表明:数值模拟的模型正确,计算过程可靠,计算结果可为板料激光弯曲工艺参数的选择提供依据.通过模拟多道次直线照射的过程可知,变形效果受照射路径次序的影响很大,应选择从固定端向自由端方向交替的双向照射路径,以保证板料在宽度方向上变形的均匀.模拟结果可为带筋结构壁板激光弯曲成形提供实用方案.
常见问答

版权所有 © 《北京航空航天大学学报》编辑部

通讯地址：北京市海淀区学院路37号 北京航空航天大学学报编辑部　 邮编：100083 邮箱：jbuaa@buaa.edu.cn

本系统由 北京仁和汇智信息技术有限公司 开发    百度统计