摘要：提出了一种基于FPGA的非VESA标准视频信号转换显示系统的实现方法。经过视频信号检测、时序编解码、图像缩放和显示控制的处理,实现了非VESA标准视频信号在液晶屏上的显示。经验证,320×256分辨率时序的非标准视频信号,经过乒乓读写操作、双一维线性插值缩放算法的设计,可转换为符合VESA标准的视频信号,在640×480物理分辨率的液晶屏上指定的600×480像素区域进行显示。该方法采用单片FPGA芯片的设计实现,无需外部储存器,设计方法稳定可靠,为其他非标准视频信号的转换显示和图像缩放算法的实现提供了设计依据。

摘要：现今企业分布式的特性和复杂性的加强,对企业架构方法的定制性、扩展性和敏捷性提出了新的要求.本文对三种主流的企业架构方法 Zachman、FEA和TOGAF进行了横向对比和介绍,对TOGAF方法论配套的架构设计语言ArchiMate和统一建模语言UML进行了纵向对比和分析,通过一个真实案例展示了使用ArchiMate设计企业架构的基本方法,以及在实践过程中如何根据项目需要进行定制,此案例可为企业架构设计提供参考.

摘要：对MEMS惯性姿态模块中传感器的标定主要包括非正交误差标定和温度漂移误差标定。传统标定过程,人员通过操控转台,逐台完成标定,无法满足工程批量生产的需求。尤其是温度标定,人员需按温度变化,及时控制转台,长时间操作易出现疏忽导致标定结果偏差。设计了一种基于STM32F407的批量自动化标定系统,一次可自动标定八台产品,提高了效率,降低了成本。使用该系统标定后,姿态角精度从原先人工标定的1.8°提高至0.8°,惯性姿态模块的性能精度得到明显提高。

摘要：针对目前商用级芯片不能满足LCD显示器在面向特殊应用场合时的需求,设计了一款基于FPGA(工业级芯片)的LCD显示控制器。控制器可接收2路DVI信号,具有完备的OSD屏幕控制功能,通过一系列的视频处理,产生LCD屏TCON需要的LVDS信号。具体描述了各个处理模块基本工作原理及实现方法,并介绍了集成在FPGA上的嵌入式检测、宽范围背光控制、低温加热等功能。经过试验验证,该设计工作状态稳定可靠,实现了真正的"SOC"。

摘要：针对当前工业相机无法满足机载使用环境和可定制化指标的需求,设计了一款基于FPGA的机载CMOS成像系统。本系统具备1路高清数字DVI接口(1080P)和1路标准PAL制模拟接口,具有自动曝光、低温加热等功能,能够实时、清晰、稳定地输出视频图像。介绍了系统的总体构架、光学与结构设计、硬件电路设计以及FPGA逻辑设计,描述了主要模块基本工作原理、算法流程及设计方法,完成了系统的基本功能测试和试验。经过试验验证,可在宽温(-45℃~+70℃)下稳定工作,满足机载使用要求。

摘要：摘穗台是收获机械关键装置,简要介绍了玉米收获机械中摘穗台不对行收获的结构、原理,为玉米收获机械设计开发、玉米收获机械使用提供参考资料。

摘要：41Ca在核天体物理及地质年代学方面可能具有较高的应用价值。为测量天然岩石样品中41 Ca的本底水平,探讨了41Ca-AMS测量中岩石样品的CaF2制备,提出了二次氟化的制备方法。在此基础上,通过对导电介质与靶锥的改进,设计了一种提高CaF-3束流引出强度的方案。该方案可有效提高CaF-3束流引出强度。实验结果表明,天然岩石样品中41Ca/40Ca(41Ca、40Ca原子个数比)的本底水平低于8×10-14。

摘要：提出了一种基于FPGA的视频信号处理方法。经过视频信号检测、控制时序发生、显示数据扩展和图像倒向实现了输入信号的正确实时显示。经验证,特殊的480×480分辨率时序的视频信号,可在640×480物理分辨率的液晶屏上倒向显示在指定的480×480像素区域。该设计方法稳定可靠,具有可移植性,应用价值较大。

摘要：为了开展基于加速器质谱(accelerator mass spectrometry,AMS)的14 C测量和14 C样品制备系统的研究,深入分析样品制备原理和样品制备过程,设计并优化样品制备系统,建立14 C的样品制备方法及一套集成的14 C样品制备系统。利用AMS测量技术对制备的样品进行了测量和分析,结果显示,建立的样品制备方法所制备的样品已满足AMS测量的要求。

摘要：UML由于其广泛的应用和直观的图形化符号,成为了模型驱动工程的重要组成部分。但UML本身缺乏精确的形式语义定义,缺少对其模型精化关系的形式化规范定义,对UML模型进行形式验证变得尤为困难。UML类图作为描述系统结构的静态模型,不具备完整的形式语义。从UML类图的机械语义中抽取出形式规约,将UML类图中的结构和形式规约转换成定理证明器Coq中的机械语义定义。此外,还提出了类图的结构精化操作,将模型间的精化关系在Coq中进行形式化定义,并且对精化操作的原子操作进行机械验证,保证其精化前后系统的结构和语义保持一致。将UML和形式化方法相结合,为可验证的软件设计精化框架提供了理论依据。