双发模式下视三维SAR成像方法研究

在合成孔径雷达(SAR)成像优化过程中,由于受到地形环境噪声的影响,使成像模糊和信息丢失,利用阵列天线SAR(LA-SAR)进行成像是一个不错的解决方法。然而传统的单发模式要求有足够多的阵元以满足空间采样率的要求,工程实现的难度较大。为解决上述问题,提出了一种采用正负斜率线性调频信号的双发模式下视三维SAR成像新方法,可以大幅减少天线阵元的数目,提高雷达平台的空间利用率,有效降低工程实现的难度。分析校正了俯仰向的距离徙动因子,给出了双发模式下回波信号的处理方法。进行仿真的结果证明了改进的三维成像方法对成像优化的有效性。     

基于LQR直升机模糊滑模跟踪控制

研究直升机系统稳定性优化问题,由于直升机系统的强耦合和非线性特性的影响,使飞行的稳定性和实时跟踪性差。为解决上述问题,对直升机原始数学模型进行近似线性化和解耦处理,采用模糊滑模控制方法实现直升机姿态角度的跟踪控制。首先,在滑模面的设计中引入最优线性二次型调节器,构建一种积分型切换面。其次,以切换面及导数的乘积和滑模切换增益的变化量为模糊系统的变量,实时调整变结构控制项的切换增益。仿真结果表明,通过控制器设计能够实现直升机姿态角度跟踪的稳定性,对外界不确定干扰具有强鲁棒性且控制器输出抖振问题得到明显改善。     

选择性集成算法分类与比较

选择性集成是当前机器学习领域的研究热点之一。由于选择性集成属于NP"难"问题,人们多利用启发式方法将选择性集成转化为其他问题来求得近似最优解,因为各种算法的出发点和描述角度各不相同,现有的大量选择性集成算法显得繁杂而没有规律。为便于研究人员迅速了解和应用本领域的最新进展,本文根据选择过程中核心策略的特征将选择性集成算法分为四类,即迭代优化法、排名法、分簇法、模式挖掘法;然后利用UCI数据库的20个常用数据集,从预测性能、选择时间、结果集成分类器大小三个方面对这些典型算法进行了实验比较;最后总结了各类方法的优缺点,并展望了选择性集成的未来研究重点。     

分布式计算环境中的协同分配任务调度仿真系统

协同分配是在分布式计算环境中进行资源分配的一种重要技术,用于把一个应用程序分解为多个子作业,然后将其分配到多个资源上同时处理来满足特定的性能要求。本文提出了一个离散事件驱动的网格资源协同分配仿真系统,实现了对用户、调度器、协同分配器、协同预留器等协同分配相关实体的仿真,实现了FCFS、FPFS、Backfill等主要的协同分配调度算法和策略,可用于资源协同分配相关的分布式计算环境的资源管理和调度算法的仿真和研究。     

嵌入式软键盘UI一致性与功能差异性的研究

为了解决嵌入式WinCE系统所带软键盘按钮小和嵌入式设备触模操作便捷性要求之间矛盾,本文提出设计软键盘代替WinCE系统所带软键盘。为了解决嵌入式系统中多个数据输入的软键盘界面与嵌入式系统资源有限的矛盾,在设计中,提出了一种将软键盘界面与增加数据功能、删除数据功能、显示数据功能、数据合法性检查功能等键盘处理逻辑分离的技术,不同功能模块调用统一软键盘界面,实现了软键盘UI一致性和功能差异性,从而节省了系统资源;此外,为了减少软键盘按钮数,在小触模屏条件下触模按钮做得更大,提出了系统附加数据单位字符技术,这种技术也提高了用户数据输入速度。综合运用这些技术,完成了基于WinCE平台软键盘开发研制,实际应用表明提高了操作便捷性。     

基于规则引擎的电子采购逆向竞拍的研究

近年来规则引擎技术已广泛应用于金融、电子商务及制造业等领域。当前大型企业的采购方式越来越多样化,传统采购系统所采用的逆向竞拍方案已不能满足现有需求。本文研究了规则引擎技术在企业电子采购系统中的应用,以将程序代码和业务规则分离开来。企业可以按照不同采购需求个性化配置采购规则,规则引擎控制整个拍卖过程,拍卖结束后系统再利用规则引擎自动对报价进行评分,帮助企业选择最优供应商,使其在采购过程中降低成本,提高采购效率。     

线性矩阵方程异类约束最小二乘解的迭代算法

多矩阵变量线性矩阵方程(LME)约束解的计算问题在参数识别、结构设计、振动理论、自动控制理论等领域都有广泛应用。本文借鉴求线性矩阵方程(LME)同类约束最小二乘解的迭代算法,通过构造等价的线性矩阵方程组,建立了求多矩阵变量LME的一种异类约束最小二乘解的迭代算法,并证明了该算法的收敛性。在不考虑舍入误差的情况下,利用该算法不仅可在有限步计算后得到LME的一组异类约束最小二乘解,而且选取特殊初始矩阵时,可求得LME的极小范数异类约束最小二乘解。另外,还可求得指定矩阵在该LME的异类约束最小二乘解集合中的最佳逼近解。算例表明,该算法是有效的。     

基于环探头测量含运动导体的瞬态电流波形

电流除了用罗果夫斯基线圈进行测量外,还可通过环探头测量电流产生的磁场来计算得到。直线电机除了位置固定的母线导体外,还有沿母线运动的电枢;母线回路注入脉冲电流后,电枢会被加速而运动。简化母线和电枢为线电流模型,在长线模型基础上,通过环探头测量得到的磁场计算出近似电流波形。因为探头所测磁场主要由其附近电流所贡献,所以合理配置电枢起始位置与探头位置后,电枢运动对电流测量的影响很小。在瞬态电流上升沿、平台区和下降沿的不同阶段,利用实验折算的系数,可得到时域瞬态电流波形,其测量结果与用罗果夫斯基线圈测量波形一致。     

基于描述逻辑的OntoUML模型的形式化表示

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。     

基于检索决策树的螨种分类鉴定专家系统

应用传统的分类检索方法进行粉螨亚目螨种的分类鉴定是一个复杂、繁琐的过程。随着人工智能技术的发展,采用专家系统技术编制螨种分类鉴定软件将改变传统的分类鉴定方式。通过学习粉螨亚目的分类学和专家系统的相关知识,将螨种的分类鉴定与专家系统有机地结合起来,采用面向对象方法,设计并实现了基于决策树的螨种分类鉴定专家系统。通过构建基于面向对象的决策树知识表示模型,提炼出螨种知识库的记录结构,根据节点对象的逻辑关系,设计了基于决策树的推理机制,并按照一定的推理控制策略实现了螨种的分类鉴定。结果证明,满足了用户的需要,具有重要的实践价值。