关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

钢琴音乐的魅力探析

钢琴自诞生之日起,便以复杂的机械结构和特有的音色吸引着世人。事实上,钢琴漫长的发展过程即是一部西方音乐发展史。全面掌握钢琴艺术发展的历史,有助于我们最直接地领悟音乐的本质,对于青少年的联想能力、创造能力、反馈能力等性格因素的培养具有显著的促进作用。     

过量空气系数对汽油HCCI燃烧特性的影响

<正>均质压燃(HCCI,Homogeneous-Charge Compression-Igintion)采用像汽油机一样的预混均质混合气,当活塞到达上止点附近时,与柴油机一样将均质混合气压缩着火。目前HCCI燃烧面临的最大困难是实现燃烧相位的精确控制。     

几种图类的邻点可区别关联着色

近年来,关于图着色问题的研究得到了许多有价值的结果,同时拓展出若干新的着色.图的邻点可区别关联着色是在图的关联着色概念的基础上提出的一种新的着色概念.本文研究了路、星、扇、轮、完全图的邻点可区别关联着色并确定了它们的邻点可区别关联色数.     

卡那霉素B工程菌的构建及其发酵特性研究

研究高产卡那霉素B产业化工程菌的构建.以主产氨甲酰卡那霉素B工程菌——黑暗链霉菌S.tenebrarius312为出发菌株,进一步敲除氨甲酰磷酸转移酶基因tobZ,获得直接产卡那霉素B的工程菌ST314.对工程菌ST314的生物合成潜力进行研究,在200L发酵罐上进行放大实验,测定各参数,并绘制发酵代谢曲线.结果表明,该菌株遗传特性稳定,产抗能力得到有效恢复,提高幅度接近2倍;该工程菌产卡那霉素B的能力达到4500 U/mL.黑暗链霉菌ST314的研究可以向产业化生产转移.     

压电陶瓷非线性特性研究

将迈克尔逊干涉仪的可移动平面镜改装为带有压电陶瓷的平面镜,改变压电陶瓷的驱动电压,压电陶瓷就会发生微小形变,迈克尔逊干涉仪两臂的光程差发生改变,导致干涉图样变化。运用MATLAB软件对实验数据进行模拟,验证了电陶瓷的非线性特性。本实验操作简单,可实用性强。     

激光显示的概念与分析

激光显示相关的技术，是一种新兴的显示领域技术，其将激光光源作为主导，具有色域覆盖区域大、饱和度高和方便实现较高分辨和大屏幕影像等特点。文章介绍了激光显示的概念、特点、现存状态与发展趋势，讨论了激光显示的优势以及现阶段所存在的主要问题，分析了激光显示的发展前景，展示了激光显示作为新生一代显示相关技术的巨大潜力。     

指挥信息系统体系结构初探

从体系结构的基本特性出发，分析介绍了指挥信息系统体系结构的研究内容，重点分析了指挥信息系统体系结构研究现状，并提出了相应的改进研究方法。对我军指挥信息系统体系结构理论的完善有一定的借鉴意义。     

双边四元数傅里叶变换的性质

重新证明了一个二维实函数的双边四元数傅里叶变换具有四元埃尔米特性，并利用此性质构造性地证明了一个二维实值函数的双边四元数傅里叶变换可以被分解成具有不同对称性的4个部分．     

弹性模量对砖石古塔抗震性能的影响

根据某砖石古塔几何尺寸和结构构造,运用大型有限元软件ANSYS对其在不同弹性模量下进行了动力特性分析和等效地震侧力下抗震性能的研究。结果表明:弹性模量对砖石古塔结构的抗震性能影响较大。