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

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

机械化定理证明研究综述

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

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

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

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

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

太阳能背板胶研究进展

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

电子信息技术的应用特点及其发展

随着社会的不断进步,我国的科技也取得了较快的发展,尤其是电子信息技术。近些年来,电子信息技术在各个领域中的应用范围越来越广泛,在很大程度上推动了人类文明的进步。为了使电子信息技术在人们生活中发挥出更好的作用,本文将通过对电子信息技术的应用特点进行分析,来解析它的进步以及在未来社会中的发展,为以后电子信息技术更快、更好的发展奠定基础。     

mJava到Micro-Dalvik虚拟机的编译验证

针对类Java的面向对象语言_mJava到类Dalvik的寄存器架构虚拟机Micro-Dalvik的编译验证,给出了_mJava语言和Micro-Dalvik的操作语义.从_mJava语言程序到Micro-Dalvik虚拟机指令的编译分为两步,首先将_mJava语言程序中的本地变量名转换为相应的序号,得到一个中间语言程序,再将该中间语言程序翻译成Micro-Dalvik虚拟机指令程序.在给出中间语言的操作语义后,构造了_mJava语言程序与编译后的中间语言程序的语义保持定理并证明,以及构造了中间语言程序的语义与编译后的Micro-Dalvik虚拟机程序的语义保持定理并证明.整个形式化编译验证在定理证明助手Isabelle/HOL中进行了机器检测._mJava语言和Micro-Dalvik虚拟机分别对Java语言和Dalvik虚拟机进行了抽象,是我们兼顾语言的真实性和形式化的清晰性的结果.但是,所有形式化的语义严格遵从语言规范中的定义,并与Dalvik VM的实现保持一致,从这种意义上讲,该编译器并不是一个实验性质的假想编译器,而是有其实用意义的.     

一种基于SNMP的网络拓扑发现策略

本文主要对一种基于SNMP的网络拓扑发现策略进行了探讨。首先介绍了SNMP协议在网络拓扑发现应用中的优点;其次,介绍了网络拓扑发现的优点;再次,对传统SNMP的网络拓扑发现策略进行了分析并指出了其中的不足;最后提出了改进建议。     

引发产业变革的颠覆性技术内涵与遴选研究

引发产业变革的颠覆性技术具有技术突破性、产品替代性、市场广泛性与产业变革性特征,会对社会发展和人民生活产生深远的影响。本文首先从产业和技术角度出发,提出引发产业变革的颠覆性技术内涵;其次,建立相应的指标评价体系;最后,通过两轮问卷调查,以定性和定量相结合的方式,遴选出20多项引发产业变革的颠覆性技术,从而为进一步研究颠覆性技术与产业变革间的规律、开展技术预测工作提供支撑。