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

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

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

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

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

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

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

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

并联式混合动力车整车控制单元的开发

以某国产并联式轻度混合动力车为研究对象,设计了整车控制策略,包括驾驶员驱动力需求分析、发动机工作区优化为基础的功率分配策略,以及制动能量回收策略,并进行了整车控制器的硬件及软件系统开发.在此基础上,利用硬件在回路仿真对整车控制器进行了测试评价.结果证明,并联式混合动力车整车控制策略设计能满足整车控制需求,可有效对混合动力整车进行控制;并联式混合动力整车控制单元的硬软件系统开发是成功的,能满足整车控制的需要.     

杭州污水处理厂EPC工程招投标评析

在杭州污水处理厂EPC工程招标时,要求潜在投标人提交拟选用的污水处理工艺以及所应用的实例。在技术要求中,对投标人提供了进水指标、进水量、项目用地范围;并提出对出水水质的要求,对构筑物及附属工程的施工要求,对设备的采购和安装要求。评标方法采用综合评审法,其中资信占5%,技术占45%,商务占50%。     

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

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

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

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

工业企业热计量问题刍议

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

补子起源研究

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