基于形式演算和不变式验证的可信算法程序构造

The paper presents a formal and practical approach to dependable algorithm development. First, starting from a formal specification based on the Eindhoven quantifier notation, a problem is regularly reduced to subproblems with less complexity by using a concise set of calculation rules, the result of which establishes a recurrence based algorithm. Second, a loop invariant is derived from the problem specification and recurrence, which certifies the transformation from the recurrence based algorithm to one or more iterative programs. We demonstrate that our approach covers a number of classical algorithm design tactics, develops algorithmic programs together with their proof of correctness, and thus contributes fundamentally to the dependability of computer software.     

滚塑成型加热时间的计算

为了解决滚塑成型工艺中加热时间难以确定的问题,依据传热学和界面运动理论进行了滚塑成型加热时间的研究,提出了模具和树脂粉料加热时间的计算方法。将研究结果应用到卡车翼子板滚塑成型工艺中,确定了模具的加热时间和制品的加热时间。将计算结果与试验数据进行了对比,两者吻合得较好,由此验证了该计算方法的有效性和实用性。     

机器人4.0:边缘计算支撑下的持续学习和时空智能

随着全球机器人市场规模的不断扩大,机器人技术正在从机器人3.0时代迈向机器人4.0时代.这除了要求机器人具备感知能力,实现智能协作外,还要求其具有理解和决策的能力,最终实现自主的服务.尽管人工智能研究已经借深度学习技术取得突破性进展,但要实现机器人如人类一样做出决策,依然是非常具有挑战的目标,还有许多难点亟待解决.对有望解决这些问题的3项关键技术——持续学习、时空智能和边缘计算进行了初步探讨:通过持续学习,机器人能够将旧任务的知识快速迁移到新的任务中,并解决灾难性遗忘问题;通过时空智能让机器人对周围的环境建立起从高层到底层的表示,并像人一样从不同的粒度上分享和解决问题;最后充分利用边缘计算提供更高性价比的服务,把各种智能和知识很好地组合起来,实现规模化部署.     

铝灰的回收处理及资源化利用研究现状

铝灰是铝工业生产过程中产生的有害固体废物,每年的产生量达到上百万吨。铝灰的大量堆积会引起严重的环境与公共安全问题。铝灰中含有较多的金属铝及其氧化物、氮化物,综合回收利用铝灰对减少环境压力、提升铝行业的经济效益具有重要意义。阐述了铝灰的火法和湿法处理工艺,通过比较得出无盐火法工艺和湿法工艺是值得开发的工艺。介绍了铝灰在耐火材料、陶瓷产品、氢气制备以及工程材料等领域的综合利用现状及研究进展。指出在进一步巩固和发展铝灰原有的高附加值资源化利用的同时,应加强对铝灰处理过程中产生的气体的利用。建议根据铝灰的特性进一步开发新的资源化利用方向。     

基于Blackfin533的CCSDS图像压缩算法编码优化

通过程序结构的调整,编码结构的优化及代码的汇编级优化,完成编码器的DSP高效实现。实验结果表明,优化后的编码器降低了运算复杂度,提高了CCSDS图像压缩算法的实时性。     

降雨入渗对非饱和土边坡稳定性的影响

研究降雨入渗对边坡稳定性的影响规律。采用有限元法进行非饱和土边坡的二维非稳态渗流计算,考虑基质吸作用利用极限平衡法进行非饱和土边坡稳定安全系数计算,进而通过算例计算,分析了降雨过程中及降雨之后,边坡内孔隙水压分布、潜在滑裂面位置以及边坡稳定安全系数的变化情况。着重分析了降雨强度和降雨持续时间的影响,并特别注意分析降雨结束后的边坡稳定性。算例表明某些情况下边坡安全系数最小值出现在降雨之后的数小时或数天,而非降雨的过程中或降雨刚刚结束之时。     

大型机械化金属矿山通风系统优化

为了改善大型无轨机械化矿山井下通风效果,分析了无轨设备运行时的需风量,并与工作面最小排尘风速、井下同时工作的最多人数需风量相比对,确定了井下最少供风量;基于Vensim通风软件构建了井下通风网络图,并对风流路径、风机参数、构筑物进行动态调节,使无轨设备相对集中的地方得到更多的风量,从而达到井下通风系统优化的目的。对贵州某大型无轨机械化矿山通风效果研究结果表明：无轨设备需风量最大,以此风量作为井下最少供风量;结合Vensim通风网络图,确定通风机与风构筑物的位置,并调节风门开度与风机转速,对风流路径与风量进行动态优化;采用刚性风筒大大降低通风阻力。通过这几方面的优化成功改善了井下大型机械化金属矿山通风效果。     

基于试验拟合的低速二冲程柴油机放热率经验模型研究

针对某Tier Ⅲ船用低速二冲程柴油机,开展了负荷、EGR率及喷油参数对放热率及其特征参数的影响研究。研究表明:负荷和轨压是影响燃烧始点的主要因素,负荷、轨压升高使燃烧始点提前;轨压升高及喷油正时提前使CA50提前,指示热效率升高;小EGR率对燃烧过程影响不大,EGR率高于26%后会显著推迟CA50,增大燃烧持续期,降低指示热效率。基于实测放热率对三韦伯函数参数进行了研究,获得了多因素对经验放热模型的作用规律,得到了适用于低速机的经验放热率模型。