实数连续性定理的等价性的一种证明

关于实数连续性定理的等价性的证明,大都采用循环证明的方法。本文给出以区间套定理证明其它定理的一种等价性的证明方法。     

大熊猫粪便微生物多样性分析及纤维素降解产氢菌的筛选鉴定

利用宏基因组测序技术对大熊猫粪便微生物进行了多样性分析,发现大熊猫粪便样品中含有大量可以降解纤维素的厌氧微生物种类,如梭菌科、瘤胃菌科和毛螺菌科等,因此,将熊猫粪便样品作为降解纤维素微生物菌种分离的来源具有可行性。采用刚果红染色法从大熊猫粪便样品中筛选具有降解纤维素产氢能力的菌株,分离获得1株纤维素降解产氢菌株Cel10,根据菌株的形态和生理生化特征并结合分子生物学,鉴定菌株Cel10属于缓纤维梭菌(Clostridium lentocellum),其16S rDNA序列的同源性为98%。菌株Cel10在pH 4.0～8.0、温度25～50℃范围内可以利用纤维素进行生长,其最适pH 7.0,最适生长温度37℃。本文丰富了大熊猫肠道纤维素降解菌的种类,为木质纤维素类农产品加工废弃物的开发和综合利用提供了良好的菌种资源和科学依据。     

丙烯在Gd_2O_3·3MoO_3上的氧化反应动力学

本文研究丙烯在Gd_2O_3·3MoO_3上的氧化反应动力学,提出了一种反应历程。即在较低温度下,反应控制步骤是吸附丙烯和吸附的分子氧之间的反应,但在较高温度下,反应遵从Rideal反应历程。这样的历程对于生成丙烯醛、二氧化碳、乙醛的不同动力学行为得到统一的解释。     

借鉴区域合作经验 建设平潭综合实验区

平潭综合实验区体现了两岸合作的新方式,是海西经济区域的重要组成部分。要实现平潭的跨越式发展,实验区需要加强与周边区域以及对台的合作。借鉴国内外区域合作经验,实验区在合作机制上,要＂敢于创新＂;在合作方向上,要＂内外兼修＂。加快平潭综合实验区建设,应完善基础设施,发展特色产业,创新用人机制,规范政策细则,保护好生态环境。     

五轴数控加工误差分析及补偿方法

分析了五轴数控加工过程中误差产生的主要原因,并针对其原因介绍了误差补偿方法,为五轴数控加工提供了技术支持,具有现实意义和实际应用价值。     

污水厌氧生物处理的新工艺-IC厌氧反应器

对IC反应器的结构、原理进行了简要介绍,并结合其工艺思想及应用实例指出IC反应器是对现代高效厌氧反应器的一种突破,具有处理效率高,抗冲击能力强等特点,有着重大的理论意义和实用价值．     

地铁辅助变流器的噪声分析及控制

为实现地铁辅助变流器的噪声控制,通过开展噪声测试与分析,获得该型辅助变流器主要噪声源的特性以及噪声传递信息,利用有限元和边界元方法对辅助变流器声场进行声固耦合仿真,得到辅助变流器上盖板的近似隔声量,并对噪声控制方案进行对比分析.结果表明风机是该型辅助变流器的主要噪声源,噪声主要通过上盖板向上透射,提出的增加板厚、加附吸...     

基于SolidWorks的机械零件参数化设计方法

基于三维设计软件SolidWorks强大的参数化建模功能,在SolidWorks环境下,对机械零件参数化设计的3种方法和关键技术进行了讨论,这3种方法各有特点,用户可以根据自身实际情况,选择相应的方法。     

基于数据包特征的加密流量分类

随着加密技术在网络应用中的广泛应用,如何在不侵犯用户隐私的情况下对加密流量进行分类成为新的挑战。文章提出了一种基于数据包的加密流量分类方法,这种方法不仅安全,而且可以有效防止恶意攻击流量。在流量传输过程中,每个数据包的任务是不同的。有些数据包负责维护连接,有些负责数据交互。以往的研究忽略了数据包行为对流量分类的影响。基于数据包的方法旨在通过聚类算法来区分正常和恶意数据包对流量分类的影响,以识别加密的恶意流量。该方法使用公共流量数据集和实验室收集的流量数据集进行验证,并与其他2种方法进行比较,证明了基于数据包的加密流量分类方法的有效性。     

UK–8地下运矿车结构设计及性能分析

为满足我国南方丘陵地区中小型采矿场的需要,设计了一款新型的地下运矿车UK–8。本文简要介绍了UK–8地下运矿车的总体设计思路、产品特点及主要动力性能参数,采用数值模拟方法对整车进行了模态分析和静力学分析。研究结果表明:该产品各项性能参数均能满足规范标准,模态振型分布合理,整车刚度大,可以有效规避车辆倾覆等风险,具有结构紧凑、效率高、操作舒适、使用成本低、环境适应能力强、维修简便等优点。