榆林连查两处卫星干扰器

5月21日,陕西省榆林市无线电管理处收到省无委办转来的群众投诉及有关领导批示,要求查处神木县大柳塔镇卫星电视信号受到干扰一事.为此,榆林市无管处成立了精干团队,制定查处方案,准备监测设备,奔赴160多公里外的神木县大柳塔镇. 在大柳塔镇,查处小组使用移动监测设备首先对Ku波段进行大范围移动监测,之后选定有利地形进行重点监测.     

同步数据流语言高阶运算消去的可信翻译

Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度.基于这种方法,开展了从Lustre*(一种类Lustre语言)到C子集Clight的可信编译器的研究.由于Lustre*与Clight之间巨大的语言差异,整个编译过程划分为多个层次,每个层次完成特定的翻译工作.阐述了其中高阶运算消去的翻译算法,翻译过程采用辅助定理证明工具Coq实现,并进行严格的正确性证明.     

水下传感器网络节点定位信号检测的设计

针对水下环境的特殊性和水声定位系统的要求,为降低检测水声定位信号的复杂度和硬件资源消耗,能够准确检测定位基站发射的水声定位信号,为目标基站的定位提供实时、快速的时延信息,根据水声定位信号的特点,采用码元匹配检波和编码定位信号相关的方法,确定水声定位信号的到达时间,并以FPGA为平台利用VHDL语言对水声定位信号的检测设...     

In对Sn9Zn钎料润湿性能的影响

为了提高Sn9Zn共晶钎料的钎焊性能,通过合金化的方法添加了少量元素In,制备了Sn9Zn-xIn钎料。从钎料合金的熔化特性、润湿特性、界面显微结构和母材粗糙度这四个方面评价了不同In含量对Sn9Zn钎料润湿性能的影响。试验结果表明:少量元素In的添加可以降低钎料的熔点;随着In含量的增加,钎料的润湿力增大,润湿时间缩短,润湿性有明显提高;In含量增加,润湿界面层中Cu5Zn8化合物层厚度增加;对母材表面进行毛化处理,通过改变母材表面的微观几何结构,增大钎料与母材的相对接触面积,从而改善钎料的润湿性能。     

体育与德育、智育、美育的关系

探讨体育与德育、智育、美育的区别与关系，对于培养德智体美全面发展的合格人才具有重要意义。     

扣件式模板支架立杆的计算长度系数取值研究

针对模板支架扣件连接节点的半刚性特点,对直角扣件抗扭刚度进行试验研究,得到初始扭转刚度Rk与直角扣件螺栓拧紧力矩T的关系式和在螺栓拧紧力矩T=40 N.m时,模板支架节点M-θ的二参数对数非线性模型。提出模板支架计算长度系数应考虑节点半刚性并基于有侧移框架理论进行计算,将得到的结果与整架稳定承载力试验得到的计算长度系数相对比,得出考虑节点半刚性按照有侧移框架理论对模板支架进行设计是安全合理的,为相关规范(规程)的制定打下良好的理论基础。     

既有建筑围护结构传热系数现场检测的研究

为了解既有建筑的热工性能现状,对夏热冬冷地区既有建筑围护结构传热系数的检测方法进行了研究,并取得了较好的效果：不同季节用热流计法现场检测墙体传热系数与理论计算值基本一致。     

基于可用度的预防维修和均值控制图联合优化模型

针对高可用度要求的生产系统(即可修复系统,以下简称系统),提出一种以单位时间成本为约束,可用度最大化为目标的预防维修和均值控制图联合优化模型。首先,考虑到系统运行存在受控、失控两种状态以及均值控制图两类错误(漏报警和误报警)发生的概率,在完美维修假设前提下,构建了4种系统运行(更新)情景(S1~S4)。然后,建立了每种更新情景的可用度和经济模型,并在此基础上建立了系统的可用度目标函数和经济约束函数,以实现单位时间成本约束条件下预防维修和均值控制图联合优化的系统可用度最大化目标。针对所建立的联合优化模型,通过实例对比验证了模型的有效性,并利用遗传算法对决策变量进行优化,实例优化结果表明,该模型能够有效提高系统可用度,并能降低系统成本。最后,通过正交试验、回归分析等方法对模型进行了参数的灵敏度分析。     

ZnAlMg-xIn高温无铅钎料的显微组织及性能研究

通过在近共晶组织Zn4Al3Mg合金中适量添加In,得到了ZnAlMgIn四元高温无铅钎料。研究了In的添加量对ZnAlMg-xIn钎料的熔点、显微组织、电阻率及铺展面积的影响。结果表明:微量In的加入可适当降低钎料的熔点,而随着In含量(2%)的增加,在合金中出现了互不相容的两相,合金的显微组织趋向于不均匀化。     

在线检测中亚像素边缘检测技术的对比研究

随着科技的发展,生产厂家希望能够找到适合自身在线检测的好方法,这就对当代工业在在线检测产品上提出了精度和时间上更高的要求,而机器视觉技术已经广泛应用于各个领域,亚像素边缘检测技术更是机器视觉中提高检测精度的常用方法,国内外的研究人员对此进行了大量的研究,并且已经有了不少亚像素边缘检测方法,本文对如今常用的亚像素检测方法进行了介绍和实验比较,分析了这几种常用算法的检测精度和处理时间,以便提供参考。