GVim的TLA+语言插件设计与实现

GVim是一款著名的编辑器,它允许用户为方便使用而自定义插件.TLA+语言是由Les-lie Lamport设计的基于行为时序逻辑的一门系统描述语言.本文描述了为GVim编写TLA+语言插件的详细步骤.这些插件提供了关键字高亮,插入模板,缩进,以及在图形界面下调用TLA模型检测的相关命令等功能,通过使用这些插件,在用TLA+语言描述系统时可明显提高编辑效率.     

《通信原理》课程教学改革的探讨

针对《通信原理》教学中存在的不利于培养和提高学生分析、解决问题的能力的因素,从课程的教学内容、教学手段等方面论述了教学改革的构想,并对课程改革进行了探讨。     

智能天线的MUSIC算法研究

智能天线系统是具有自适应信号处理能力的天线阵列,利用数字信号处理技术对多个不同的用户产生多个空间波束,每个波束各自自动地对准不同用户的来波方向,把零陷方向对准干扰方向,从而消除多址干扰,提高移动通信系统的性能。智能天线应用的一个关键问题是对用户的入射角度进行估计,即波达方向(DOA)估计问题,MUSIC算法是DOA估计的一种,是利用输入协方差矩阵的特征结构,具有高分辩能力的多重信号分类技术。通过对MUSIC算法的仿真,验证了MUSIC算法具有稳定、高分辨、高精度和计算量较小的优点。     

退化图片的图像增强方法研究

采用直方图均衡和灰度匹配变换的图像增强方法对退化图片细节进行了增强处理，在灰度匹配变换中分别采用单映射（SML）规则和组映射规则（GML），并对它们的特点进行了比较分析．实验结果表明，用SML和GML能更好地增强细节．特别是GML能有效减小其匹配后的直方图与匹配函数之间的误差．     

十二指肠损伤死亡教训分析

十二指肠损伤临床少见，本院1985年至1994年间共收治5例，均为严重损伤。因术式选择不当，引流放置不当，术后均并发肠瘘而死亡，为提高对本症的认识，总结经验教训，就其诊断及治疗作一总结分析。     

基于物理规划的弹道多目标优化

针对加权系数法求解弹道多目标优化问题时不能获取非凸Pareto非劣解,并且主观依赖性严重,难以选取合适的权值的问题,将物理规划引入弹道多目标优化中,建立了基于物理规划的弹道多目标优化模型,详细分析了基于物理规划的弹道多目标优化方法的求解流程,指出了该方法的优点. 最后分别采用加权系数法、最优控制方法以及本文所提方法进行拉平段弹道多目标优化. 优化结果对比研究表明,物理规划法效率更高,结果更好,对初值不敏感,鲁棒性更强,并且有利于获得非凸Pareto非劣解,从而体现了所提方法较强的工程实用价值.      

加强鳌龙河治理确保安全度汛

鳌龙河属松花江水系，是吉林市辖区内的一条中小河流，但其直接关系到吉林市的防洪安全。本文结合鳌龙河治理实际，阐述了治理中小河流的原则、方法，仅供参考。     

十二指肠损伤诊治研究

早期诊断、及时手术是提高十二指肠损伤疗效的关键。重视术前辅助检查；掌握术中探查十二指肠的指征；合理选择手术方式；注重术后营养支持；以提高对十二指肠损伤的诊治水平。     

基于视觉伺服的飞行器交会对接技术

目的利用视觉伺服对照相机或终端执行机构进行控制,实现飞行器的交会对接。方法在航天器动力学和运动学模型的基础上以二维图像特征作为反馈,结合视觉伺服算法,控制飞行器到达预定位置。结果提出将视觉伺服运用于飞行器导引技术,得到了基于图像的视觉伺服数字仿真结果,飞行器控制精度满足要求。结论基于图像的视觉伺服算法可以有效解决航天器交会对接的控制问题,且参数选择以及控制器设计对系统性能有不可忽视的影响。     

二维ExtendedFisher-Kolmogorov方程的渐近吸引子及维数估计

【目的】研究二维周期边界条件下ExtendedFisher-Kolmogorov方程的渐近吸引子,并给出它的维数估计。【方法】利用正交分解、能量估计等方法对此进行讨论。【结果】构造了一个有限维解序列,并证明该解序列不会远离方程的吸收集。【结论】最后通过证明解序列趋近于真实解,从而可以得出方程渐近吸引子的存在性。