基于电子经纬仪的双目CCD测量系统的标定研究

介绍了一种实验室里使用电子经纬来进行双目CCD摄像机交会测量系统的内外部参数的标定方法,这种方法精度较高、较为方便。并给出了交会测量的数学模型,并对该姿态测量的仿真系统的测量精度进行了计算与分析。试验证明如果合理布站测量系统坐标点的提取精度可以达到0.5mm以内。

基于二元光学的双视场红外光学系统设计

红外两档变倍光学系统具有结构简单、装调容易等特点,同时衍射光学元件的引入,增强了镜头的成像质量,减少了光学元件的数量,减轻了系统重量。介绍了含有衍射光学元件的两档变倍光学系统的设计原理,设计了一个折-衍混合的两档变倍的光学系统,对长、短焦距位置进行了像差分析,结果表明该设计能够很好的满足实际工程的需要。

基于LLVM的编译实验课程设计

针对新工科建设形势下,原有编译实验课程面临广度与深度不足、管理方式有待改进、个性化及技术前沿性不足等方面的挑战,分析国外一流高校编译实验课程设计的特点,提出基于LLVM设计编译实验课程的思路,以应对前述挑战。

基于光电经纬仪的空间目标滚动角测量研究

介绍了使用高精度的光测设备交会测量的方法来进行空间远程轴对称目标的姿态参数中的滚动角的测量,给出了滚动角测量的基本原理和精确的数学模型,并对系统的测量精度进行了计算与分析,给出提高测量精度的布站方案.

红外热像仪在水平空投系统的应用研究

针对目前亟待解决的在恶劣气候条件下各种型号飞机进行空投瞄准,尤其是在夜间无法自主空投瞄准的问题,提出了将加载红外热像仪的光电吊舱与水平空投原理相结合的理论,该理论不仅能够很好地解决以上问题,还可以使飞机驾驶员以及领航员通过使用监视器从而摆脱目视光学系统带来的不便。建立了基于红外测量系统的空投空降的数学模型;并对该数学模型进行了误差分析,通过理论计算该系统的空投瞄准精度较以往的空投系统的瞄准精度更高,可以满足目前空投的要求,为提升夜间空投、空降的能力提供了理论依据,具有很强的实用价值和应用前景。

智慧校园背景下的档案信息化

我国在提出"智慧城市"这一理念之后,各高校在发展过程中也形成了小范围的"智慧校园"建设工作,这项工作在实施过程中包含了较多内容,像管理、教学以及科研等都属于其中重要构成,而为了能够更好地促进这项工作的有序实施,本文则是就智慧校园背景下的档案信息化管理工作进行了具体的分析。

基于图像的导弹姿态角的仿真实验研究

为了适应现代靶场的测量空间目标姿态角的需要,介绍了一种在实验室进行了空中目标姿态角的测量的仿真实验,从实验需要出发,开发了一种精度较高的定标方案,并给出了交会测量、目标姿态角测量的数学模型,对该姿态测量的仿真系统的测量精度进行了计算与分析,给出了实验图像预处理过程,最终实验验证了该数学模型与该测量方案是可以用来进行空间目标姿态角的测量,姿态角的测量精度首先受目标特征点的坐标测量精度的影响,其次和测量精度关系比较密切的是2个测量面的交会角,该角越接近垂直测量精度越高。

高校档案信息化与数字档案馆建设探讨

信息时代的到来使档案信息化和数字档案馆的建设变成了可能，本文首先对相关概念及其重要性做了必要的说明，其次针对目前高校在档案馆建设过程中存在的问题进行了分析，最后提出了相关的策略意见。

面向嵌入式系统绿色需求的数据分配方法

能耗和资源等绿色需求是嵌入式系统发展不容忽视的因素.数据分配作为编译后端的重要优化手段,对能耗以及资源的利用率有着重要影响.为提高资源和能源的有效利用率,构建了数据分配过程的绿色评估模型,并以此为指导,提出了一种迭代式多目标分配优化方法,从能源消耗和资源的均衡使用度2个方面出发,利用可交换类指令重排优化和寄存器重分配优化,对总线和存储系统的绿色指标进行改进.模拟实验表明,该方法相对于GCC编译器,能够获得23%左右的绿色指标提升值,为满足更高的绿色需求提供了保障.

新型非易失性存储器架构的缓存优化方法综述

随着半导体工艺的发展,处理器集成的片上缓存越来越大,传统存储器件的漏电功耗问题日益严峻,如何设计高能效的片上存储架构已成为重要挑战.为解决这些问题,国内外研究者讨论了大量的新型非易失性存储技术,它们具有非易失性、低功耗和高存储密度等优良特性.为探索spintransfer torque RAM(STT-RAM),phase change memory(PCM),resistive RAM(RRAM)和domainwall memory(DWM)四种新型非易失性存储器(non-volatile memory,NVM)架构缓存的方法,对比了其与传统存储器件的物理特性,讨论了其架构缓存的优缺点和适用性,重点分类并总结了其架构缓存的优化方法和策略,分析了其中针对新型非易失性存储器写功耗高、写寿命有限和写延迟长等缺点所作出的关键优化技术,最后探讨了新型非易失性存储器件在未来缓存优化中可能的研究方向.

简析光学系统自动调焦的方法

自动调焦技术已经广泛应用于各种光学仪器中。常见的调焦方法,从基本原理上可分成基于物方测距的主动式和基于像检测法的被动式两大类。主动、被动式自动对焦方式各有千秋,主动式由系统主动发出光波,可以在低反差、弱光线下对焦,但当被摄体能吸收或反射光或波时对焦困难。被动式直接接收来自景物自身的反光,对具有一定亮度的被摄体能理想地自动对焦,自身不要发射系统,耗能少,有利于小型化。被动法中的以数字图像处理作为调焦检测函数的方法,理想的评价函数要求无偏性、单峰性、能反映离焦的极性、对噪声敏感度低等。为提高效率,往往还希望计算量尽可能地小。文章介绍了目前应用于光学系统的几种基于光电测试和图像处理的自动调焦方法。

提高红外测温系统测温精度的研究

基于比色测温原理设计了一种红外测温系统,测温前先使用标准黑体对测温系统进行标定,得到标定曲线R(T)—T。在测量目标的温度时,在目标附近放置一个超大面元黑体,通过这种方法来消除环境反射辐射和大辐射等辐射量的影响来提高红外测温系统的精度。

高校档案信息化管理的思路研究

高校档案是关系到国民根本的重要事情,如何做好档案储存和有效管理是发挥档案在指导我国大学生管理的重要基础保障。如何在新时代下做好高校档案,是当前高校档案相关人员应该值得思考和探索的问题;本文就新时代背景下如何开展高效的高校档案工作进行探讨,为指导我国新形势下高校档案提供参考。

可信编译理论及其核心实现技术:研究综述

编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性,对可信编译理论和技术的研究具有重要理论意义和实用前景。阐述了可信编译器的概念,介绍了编译过程正确性的形式化定义,对可信编译的主要研究进行了概括。在全面分析可信编译研究现状的基础上,从编译器自身可信性和确保编译对象可信性两个方面,对可信编译器设计和实现的相关理论和方法进行了分类和总结。最后,讨论了可信编译有待解决的问题和未来的研究方向。

机械化定理证明研究综述

随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明技术、自然演绎和类型化的λ演算、3种编程逻辑、基于高阶逻辑的硬件验证技术、程序构造和求精技术之间的联系和发展变迁,其中,3种编程逻辑包括一阶编程逻辑及变体、Floyd-Hoare逻辑和可计算函数逻辑.然后分析、比较了各类主流证明助手的设计特点,阐述了几个具有代表性的证明助手的开发和实现.接下来对它们在数学、编译器验证、操作系统微内核验证、电路设计验证等领域的应用成果进行了细致的分析.最后,对机械化定理证明进行了总结,并提出面临的挑战和未来研究方向.

一个机器检测的Micro-Dalvik虚拟机模型

给出了一个寄存器架构的虚拟机模型Micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式给出了指令单步执行的状态转换以及定义在单步执行上的自反传递闭包来表达虚拟机程序的运行时状态转换.最后,以定理的形式描述了语义满足的性质,并得到证明.这个模型的指令集包括了大部分Dalvik虚拟机指令,为获得形式语义的清晰化,它在Dalvik VM指令集上进行了必要的抽象,对其实质没有改变,因而具有较大的实用性.该形式化模型通过了定理证明助手Isabelle/HOL的验证.

一种多核系统可靠性加强的任务调度方法

多核系统已经被广泛应用于各行各业,其稳定性和可靠性也越来越受到人们的关注.在分析了现有芯片可靠性模型的基础上,增加温度和工作负载对多核芯片可靠性的影响,建立了对多核系统的可靠性评估模型.该模型以处理器为依托,从指令到任务,逐层构建可靠性评估指标,以便于定量分析影响多核系统可靠性的因素.同时,以该模型为指导,设计了一种面向多核系统可靠性的任务调度方法,该方法通过对评估指标值的计算,选择评估指标值尽可能高的调度策略对多核系统中的任务进行调度,以减少由于芯片本身可靠性而导致的错误.通过模拟实验可以看出,该任务调度算法能有效减少系统的出错率45%左右,为系统的稳定运行提供了可靠的保证.

折-衍混合型两档变倍红外光学系统设计

当今红外成像光学系统应用广泛,根据需求,越来越多地采用双视场切换式红外光学系统。为了获得成像质量更好、轻量化的光学系统,引入了衍射光学元件进行光学系统设计,从而提高了镜头的成像质量,减少了光学元件的数量,减轻了系统质量。介绍了含有衍射光学元件的两档变倍光学系统的设计原理,设计了一个含有非球面且结构简单、装调容易的折-衍混合的两档变倍的红外光学系统,分别对长、短焦距位置进行了像差分析,该设计能够很好地满足实际工程的需要。设计结果表明采用衍射光学元件的红外光学系统能够有效地改善光学系统的像质,减小光学系统的体积。

通用图形处理器线程调度优化方法研究综述

随着通用图形处理器(GPGPU)并行计算能力的日益增强,其应用范围越来越广.然而由于不规则计算任务使得通用图形处理器资源难以得到充分利用,其性能并未达到最大化.在论述GPGPU微体系结构的基础上,该文重点讨论了多种针对GPGPU性能提升的线程调度优化方法,主要从针对优化分支转移提升线程级并行度、针对访存效率的提升和针对标量指令执行以提升资源利用率三方面的线程调度优化方法进行了分析和比较.另外,由于功耗问题已成为制约GPGPU发展的主要因素之一,该文还分析了影响GPGPU功耗效率的主要原因及目前提高GPGPU功耗效率的主要低功耗技术,并对目前针对GPGPU功耗优化的典型线程调度优化方法进行了分析比较.最后,该文指出了未来线程调度优化方法需要进一步探讨的一些问题.

应用高精度全站仪动态标定光学靶标的新方法

光学靶标是一种用来在室内检测大型光测设备跟踪性能和测量精度的标校装置,其运动时给出的目标空间角度值可以用来标定光测设备的动态特性。针对光学靶标运动时空间位置动态标定的问题,本文提出了一种应用瑞士Leica公司生产的高精度全站仪TDA5005对其进行自动跟踪标定的新方法。标定结果显示,光学靶标的动态位置误差小于5″,满足标定精度要求。