商品化分散松香胶与纸厂自制胶的研究

本文从分散松香胶的商品化与纸厂自制的制造工艺条件、设备、乳化剂的选择及其在实践中的应用情况作充分的研究,可以看出纸厂自制分散松香胶的优越性,从而预测纸厂自制分散松香胶具有广阔的前景。     

花椒中天然成分提取工艺及在食品中的应用研究进展

花椒原产于中国,是中国传统的食品调味料与中药药材,在食品加工和疾病预防中发挥着重要作用。文章阐述了近年来花椒及其提取物的研究进展,分别从花椒的活性成分、提取物的提取方法及其在食品加工中的应用等方面进行了探究;主要论述了花椒提取物的生理活性及其提取方法,以及花椒提取物在食品贮藏、调味品及其他食品方面的应用,并对花椒及其提取物在食品行业的前景进行了展望。     

机械化定理证明研究综述

随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明技术、自然演绎和类型化的λ演算、3种编程逻辑、基于高阶逻辑的硬件验证技术、程序构造和求精技术之间的联系和发展变迁,其中,3种编程逻辑包括一阶编程逻辑及变体、Floyd-Hoare逻辑和可计算函数逻辑.然后分析、比较了各类主流证明助手的设计特点,阐述了几个具有代表性的证明助手的开发和实现.接下来对它们在数学、编译器验证、操作系统微内核验证、电路设计验证等领域的应用成果进行了细致的分析.最后,对机械化定理证明进行了总结,并提出面临的挑战和未来研究方向.     

目标端空空通信机的电磁兼容设计与实现

空空通信机装置于目标飞行器与追踪飞行器上,用来建立2个飞行器之间的双向通信链路。简要介绍了目标端空空通信机的基本工作原理及组成,分析了目标端空空通信机的电磁兼容试验要求及与电磁兼容设计相关的电性能指标要求。针对目标端空空通信机电磁兼容设计中需重点关注的结构设计、腔体效应、布线布局及带外抑制等方面,进行了理论分析和仿真计算。在目标端空空通信机设计初期,利用电磁兼容分析和仿真计算结果指导电磁兼容设计,实现了目标端空空通信机的自兼容和互兼容。     

带双参数六次Said-Ball曲线的扩展

为了满足曲线的设计要求,针对六次Said-Ball曲线不能调整曲线形状的不足,一个含有双形状参数的六次多项式基函数被给出,探讨了所构造的基函数的性质。基于该基函数定义了带有双形状参数的六次Said-Ball扩展曲线,分析了2段扩展曲线连续拼接应满足的条件。在给定控制多边形的情况下,通过改变形状参数值,可以调整曲线形状,增强了曲线的表达能力,弥补了六次Said-Ball曲线不能调整曲线形状的不足。该方法是不仅实用而且有效,在计算机辅助几何设计中可以得到广泛地应用。     

3D打印在催化和吸附材料制备领域的应用

3D打印是一种快速成型技术,该技术在催化和吸附材料制备领域的应用目前已受到广泛重视。3D打印技术一方面能够拓展整体式催化/吸附材料的涵盖范围,实现材料的宏观结构优化和活性组分控制,同时有利于强化催化和吸附过程中的传质/传热过程,而且操作灵活,可靠性强,因此适于工业生产和实验室研究。本文介绍了催化/吸附材料制备过程中常见的几种3D打印技术,同时从打印策略和打印材料方面入手,综述了目前3D打印技术在催化和吸附领域的各项应用,并由此指出,目前3D打印技术可以将聚合物、碳材料、金属及金属氧化物、分子筛等材料纳入到整体式催化体系中,通过对材料结构和分布的控制对其催化和吸附性能进行影响,因此3D打印在催化和吸附材料制备领域的应用有着广阔的前景。同时指出材料微观结构控制、打印耗材及流程的标准化,以及以计算为依托的催化/吸附材料的整体式结构和活性位点分布控制是今后的研究重点。     

现代机械设计的创新方法

近年来,我们国家的经济以及科技都取得了显著的成就,其中工业的发展最受人瞩目。众所周知,工业发展是不能够脱离机械而单独存在的,尤其是最近几年,人们对于工业产品的质量要求更为严格,换句话讲更加关注机械设计创新。具体来讲,在创新的时候一定不能固守成规,要适时的革新思想,尤其是要着重提升工作者的创新意识。我们坚信在广大同行的共同努力之下,我们国家的机械设计创新工作一定会获取更加显著的发展,从真正意义上带动国家经济以更快的速度发展,早日实现经济大国、经济强国。     

太阳能背板胶研究进展

光伏太阳能作为一种优异的可再生能源,已越来越受到各国的重视。太阳能背板胶是粘接背板材料的重要组成部分。介绍了太阳能背板胶的技术特点、主要生产厂家,并对太阳能背板胶的现状和发展趋势进行了展望。