基于DDS的机载嵌入式软件仿真自测试方法北大核心

针对日益复杂的软件测试要求,在保证嵌入式软件的测试效果的同时,应降低测试成本,因此,设计基于DDS的机载嵌入式软件仿真自测试方法。选择S3C44BOX芯片和FPGA-EP2C8作为核心芯片,构建软件仿真测试平台,将测试模型设定为W模型格式,引入LLC聚类系数对测试结果进行分析,完成软件仿真自测试分析过程。由仿真结果可知,其软件异常误检率较低且测试结果精度较高,测试效果得到保证,同时减少测试成本。     

序列折半划分问题的形式化推导

形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列折半划分问题的形式化推导方法。该方法基于分划递推的核心思想,应用规约变换技术对问题规约进行变换并严格保证一致性,使得在推导过程中无需交替证明,进而导出递推关系式并得到高可靠性抽象算法程序Apla,最终通过转换工具自动生成可执行程序。实现了从程序规约到具体可执行程序的完整程序求精过程。以2个序列算法为例,验证了该方法的有效性和可行性,对相关问题的形式化推导具有指导意义。     

低照度环境下采煤机摇臂角度测量方法

针对采煤机摇臂角度接触式测量方法在矿井复杂环境下应用存在磨损严重、故障率高等问题,提出一种低照度环境下采煤机摇臂角度测量方法,该方法将图像增强算法与单目视觉相结合,对采煤机摇臂角度进行非接触式测量。采用基于导向滤波的多尺度Retinex图像增强算法得到增强图像,对增强图像进行ROI提取、边缘检测、累计概率霍夫变换,求解出摄像机空间角度,由已标定的CCD摄像机进行坐标转换后输出真实角度。实验结果表明,该采煤机摇臂角度测量方法速度快,在对比度提升、噪声消除、细节增强方面表现较好,且测量准确,误差小于0.1°。     

计算机教学的创新教育路径探析

教育在传授知识的同时更需要培养学生的实践与创新能力。当前,高校计算机教学中存在的教学模式守旧单一、教学内容缺乏针对性、学生学习态度不端等问题,已经不能满足当前人才培养的需要,不利于学生实践与创新能力的培养。因而,进行计算机教学的创新教育路径探析是必要的。为提升高校计算机人才的培养质量,可通过创新教学理念、创新教学策略以及创新教学过程等方式来加以推进。     

碰撞检测中基于OBB层次结构的加速搜索方法

将场景图中的OBB包围盒以四叉树的形式划分,利用一种加速搜索方法实现有效的碰撞检测,并讨论了时间复杂度。该方法能够快速确定需要进行相交检测的对象,有效地避免所有给定结点与待测结点的相交检测,提高了碰撞检测的效率。     

玻璃工厂熔化工段深坑支护——地下连续墙的施工方案实施及预防措施

随着浮法玻璃工厂主生产线一层方案的采用,熔化工段深基坑施工支护成为设计和施工中必须重点考虑的施工措施.本文就某玻璃公司浮法生产线深坑支护地下连续墙施工方案,给出一些解决实际问题的具体办法.     

工业企业热计量问题刍议

工业企业采暖用热占供热总量一定的比重,在城镇供热体制改革中,除居民采暖用热以外,企业用热应给予足够的重视.特别在各大中城市的开发区、新建工业区,通过对天津空港地区推行总结,试图能够引起对工业企业计量工作的足够重视,并希望对该项工作的开展起到抛砖引玉的作用.     

补子起源研究

在两千多年的中华文化构架中,儒家思想扮演着极重要的角色。儒家重视礼教,精神文化的要素很早就被融入了衣冠服饰的礼制之中。衣饰是观念的载体,“服制者,立国之经”。官服作为政治统治制度的一部分,其形制蕴含着深刻的政治含义。补子是研究明清时期官服的重要资料,探究其起源可为官服制度的研究奠定重要的基础。虽然补子的起源在史料中没有明确的记载,但“礼失而求诸野”,对民间一些现象的考察和现存资料的研究可以为研究补子起源提供重要的依据。文章根据文献对少昊以鸟名官、禹和防风氏传说的记载,以及历代军服所用护心镜形制、现今舟曲藏族服饰加以分析,从儒家学说的角度对补子的起源做了考察。     

适用于山区小水电的自适应重合闸

以某一次山区电网故障为例说明了小电源侧重合闸投检母线无压重合闸方式存在的缺点,即该重合闸需要较长等待时间,并且以解列该地区所有小电源为代价,恢复正常电网运行方式需要很长时间.对此,在研究自动捕捉准同期以及低周减载相结合的相关原理基础上,提出了一种适用于小电源地区联络线的自适应重合闸方案,即在丰水期的重合闸模式自动选择为捕捉准同期合闸模式;在枯水期则自动选择为检母线无压重合闸模式,同时结合低周减载控制措施,以达到快速恢复地区供电的目的.目前,该方案已在重合闸装置中实现,并利用近几年的故障录波数据以及电网运行参数对保护装置进行了模拟实验.实验证明,该自适应重合闸的使用能有效提高电网安全稳定运行和供电可靠性.     

锌的络合物浸取与电解研究现状

与传统的酸法炼锌工艺相比,锌的络合物浸取与电解锌工艺因具有突出的优点(工艺流程短、电能消耗低、清洁无污染、生产成本低等)得到了国内外广泛的关注。本文主要介绍了在Zn(Ⅱ)-NH3-NH4Cl-H2O体系、ZnCl2-NH4Cl-H2O体系、Zn(Ⅱ)-(NH4)2SO4-H2O体系、Zn(Ⅱ)-NH3-(NH4)2CO3-H2O体系中电解锌国内外最近研究的成果。