基于ARM-Linux的矿井安全监控系统设计与实现

以当前矿井安全的现状与需求为出发点,对基于ARM-Linux的矿井安全监测控制系统进行深入研究,提出基于嵌入式技术的矿井安全监控系统的总体设计方案;通过构建该平台的模型和分析嵌入式终端的体系结构,阐述了在以Linux操作系统和ARMS3C2410X处理器为核心的终端软硬件基础上,系统各主要功能模块的实现;在所构建的矿井安全监控硬件平台上,应用HTTP协议,成功实现了远程终端对井上监控终端的控制与访问.     

Gdel语言编译时类型处理技术研究

Gdel是一种发展中的逻辑程序设计语言,目前还没有开发出编译器。Gdel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础。按照传统的方法,逻辑程序的运行机制和Gdel语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算。提出了一种处理Gdel语言类型系统的编译技术。针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率。     

基于FPGA的全数字上变频系统设计

介绍一种利用新器件特性实现全数字上变频的方法,包括射频频率范围内从基带信号的插值滤波器的设计、载波信号的产生,到针对射频信号高采样率的并行处理方法以及与数模转换器件的接口设计。与传统模拟方案相比,本设计具有更佳的性能、更低的成本和更好的灵活性,可广泛用于电缆调制解调器系统。     

压力电测系统的静态及准静态校准适用性探讨

火药燃气压力最常用的测试方法为压力电测法.用于火药燃气压力测试的常用电测系统包括应变式、压阻式和压电式3种压力电测系统.为保证压力测试精度,需对压力电测系统进行校准.针对以上3种压力电测系统,对于可获取系统灵敏度的两种校准方法——静态校准和准静态校准,分别阐述了两种校准方法的目的、实现、量值传递,根据3种压力电测系统的不同特点,比较了两种校准方法的适用性,并给出了各种校准方法目前所能达到的不确定度.     

波束方向探测技术的注入式仿真系统验证

这篇文章主要介绍采用功率探测仪方式的注入式仿真系统对波束方向地面探测试验系统进行验证的系统设计和软、硬件控制与实现;通过向注入式仿真系统输入模拟目标星在不同位置发射的信号功率,以及目标星在平台坐标下的角度和位置信息,一方面确定地面探测试验系统技术方案的可行性和检测相关设备的性能,另一方面验证对目标星发射天线主波束方向的探测是否满足精度要求;通过仿真试验证明该注入式仿真系统不仅使用方便、节约成本,而且通过控制相关仪器设备能够准确记录地面探测试验系统对目标星仿真数据的计算信息,进而实现验证。     

基于空间网格表面距离的插值曲面

主要讨论基于空间网格表面距离的插值曲面.定义了一种空间网格表面距离,基于空间网格表 面距离,给出了两种定义在空间网格上的插值曲面：基于网格表面距离的径向基函数插值曲 面和基于网格表面距离的Kriging插值曲面,讨论了曲面的无穷阶光滑性,给出了一种计算网 格表面距离的折线跟踪算法.作为整体曲面,此类插值曲面与网格表面形状较为相符,比较适 合于局部插值与参数估计,如梯度、法方向的估计等计算.     

新型图形发生器的圆生成算法研究

本文在Bresenham算法的基础上,提出一种圆生成算法,这种算法应用于电子束曝光机基于DSP芯片的新型图形发生器中。它通过实时计数,可以快速、准确的得到圆上各象素点的坐标。简化了数据处理过程,提高了处理速度,并大大提高了圆生成的精确度。     

压力传感器准静态“绝对校准”

介绍了传感器准静态校准的意义及落锤动标装置的工作原理 ,阐明了传感器准静态“绝对校准”的定义及方法 ,按照传感器的压力量程 ,设计了相关模型段的重锤———油缸组件 ,根据实验数据建立了各压力段的“绝对校准”模型 ,并通过实验验证了模型的可行性     

南水北调中线沙河梁式渡槽桩基承载力测试

南水北调中线沙河梁式渡槽槽墩基础设计为混凝土灌注桩,设计时采用的桩侧土层犘阻力标准值以及桩端土层承载力允许值均为相关规范及经验取值。为了验证沙河梁式渡槽桩基设计成果,在渡槽工程场区布置了3组试验桩,采用自平衡法检测基桩竖向抗压承载力。经现场检测,3组试桩的单桩竖向抗压承载力平均值均达到设计要求。将试验桩实测成果与前期采用勘测资料计算的成果对比分析,表明该渡槽桩基设计是安全可靠的。     

煤矸石基聚合氯化铝铁微波水解聚合过程模型

设计了煤矸石微波法制聚合氯化铝铁的工艺流程.考虑了微波效率及体系向环境的热传导,通过相关试验,计算得到了煤矸石基聚合氯化铝铁在微波场中的水解聚合能E=257.05kJ·mol-1.引入了Ea=E的假设,建立了煤矸石基聚合氯化铝铁微波水解聚合的反应动力学方程.研究表明:320W微波功率下,反应动力学拟合方程的反应级数β=0.140,表观频率因子k0=1.10×10\+-3mol0.860·L-0.860·s-1,模型计算值与试验值拟合良好,相关系数R=0.999 9.在528W及680W两功率水平下过程模型的计算值也均与试验值拟合良好,相关系数均大于0.999 8.