基于CORBA的坐标测量软件的设计与实现

采用CORBA中间件技术,建立了模块化、分散化的坐标测量软件的体系结构,并开发了客户端/中间件/服务端三层结构的测量软件平台系统;设计开发了友好的客户端/服务端人机界面,使操作人员不经过专门的培训,就能顺利地使用此软件,并得到需要的结果;基于CORBA数据模块的三层结构模式的数据库系统,增强了测量系统交互的灵活性、安全性、扩展性。     

操作系统共享数据临界保护正确性测试方法

研究了共享数据临界保护正确性测试,提出一种基于共享数据地址监控的临界保护正确性测试方法(SVAM,Shared Variable Address Monitor).SVAM由实时地址监控模块和共享变量地址列表组成.当系统运行时,SVAM在地址总线上实时监测共享变量的写操作,当系统在更新共享变量值时没有关闭中断说明对该变量的操作破坏了临界保护,存在运行风险.理论分析证明了SVAM的正确性,仿真试验证明了该方法的有效性.      

无人机飞控软件测试方法研究

飞控软件是无人机飞行控制系统的控制神经中枢,对无人机飞控软件进行有效的测试是保证飞控系统质量的重要手段.根据某型无人机飞控软件及其开发特点,提出一种与软件开发过程同步的、基于多个测试环境的软件测试模型,重点阐述该模型涉及的单元和配置项测试方法.测试结果表明,提出的测试模型,测试工作能有效地发现无人机飞控软件在不同开发阶段引入的不同类型的软件缺陷,有效地保障了无人机飞控软件的安全性、可靠性和质量.     

直升机鲁棒控制器设计及地面仿真试验

以直升机为被控对象,应用LQR技术设计了三轴稳定鲁棒控制器.以直升机模型、执行器模型以及设计的三轴稳定控制器构成全数字闭环仿真系统进行仿真,并将所设计的鲁棒控制器编制鲁棒实时飞行控制律软件加载至飞行控制计算机,在实际地面仿真环境下进行了较为全面的地面联试.仿真结果表明,所设计的鲁棒控制器正确有效,并为其进一步应用于实际飞行控制系统打下了坚实基础.     

一种图像缩放算法的SoC协同加速设计方法

针对无人机自主着陆的跑道检测、识别、跟踪等视觉算法中需要对大量图像进行缩放处理以便后续计算,但又对实时性要求比较高的情况,根据输入输出像素点的映射关系提出了一种适用于硬件加速的图像缩放算法,简化算法结构的同时利用现场可编程门阵列进行模块硬件功能的设计对算法加速,并采用软硬件协同的体系结构搭建实时图像处理系统。实验结果表明,该缩放算法处理精度高、耗时少,且用硬件逻辑实现后,可以进一步提速171倍,硬化后的系统可以通过摄像头获取图像数据,实时处理后在显示器中显示,达到30帧/s的处理速度,可以应用于实时性要求较高的图像处理算法中。      

一种基于小波相关滤波的无线电干涉测量处理方法

针对深空探测中干涉测量微弱信号相关处理问题,提出了一种基于小波滤波的无线电干涉测量方法。首先,在小波相关滤波算法分析的基础上,提出了基于移位相关、逆序处理以及最高层小波系数阈值处理的改进算法;其次,分析并构建了深空探测宽带信号模型,并给出了基于小波相关滤波的无线电测量方案;最后通过蒙特卡洛仿真和实测数据处理证明小波相关滤波可以改善无线电干涉测量精度,其中同步卫星群时延估计精度改善约10%。     

代理服务器的研究与实现

代理服务器作为连接Ｉｎｔｅｒｎｅｔ与Ｉｎｔｒａｎｅｔ的桥梁,在实际应用中发挥着极其重要的作用。它可用于多个目的,最基本的功能是连接,此外还包括安全性、缓存、内容过滤、访问控制管理等功能。文中实现了一个代理服务器系统,可代理ＨＴＴＰ,ＦＴＰ,ＴＥＬＮＥＴ,ＳＭＴＰ,ＰＯＰ这五个常用协议,此外还有用户管理和拨号等功能。该系统已完成了一系列功能测试,已在网上运行,能稳定地代理各类Ｉｎｔｅｒｎｅｔ访问服务     

组合式空调器计算绘图一体化软件系统设计

论述了暖通空调中的组合式空调器计算绘图一体化软件系统分析、总体设计、结构设计、界面设计及开发平台，并给出了组合式空调器主要功能段的设计计算方法。系统基于Windows平台，采用VC^ 开发工具实现组合式空调器计算绘图一体化。开发的系统应用于企业组合式空调器设计制造，取得了较好的社会效益及经济效益。