混合系统的形式验证技术及其在化工过程控制中的应用

针对PLC等逻辑控制器控制连续对象的可靠性问题。给出了混合系统的形式验证的方法,即用混合矩形自动机建模,通过其商迁移的可达性分析,证明了控制程序的正确性,应用实例表明该方法是可行和有效的。     

轴承故障的智能诊断方法

总结了轴承故障诊断的模糊规则,并把这些规则晨射到模糊神经网络,提高了诊断的智能性。提出了部分层学习算法,并推导出隶属度函数的参数学习算法,改善了诊断规则和学习性能,所研制的诊断系统在对轴承邦联伯诊断中取得了满意的结果。     

微信小程序订餐系统设计

文章使用云开发来开发微信小程序,通过服务器端进行数据管理,数据库保存在MySQL中,利用HTTP协议,传递JOSN类型的数据进行交互。开发一个具有用户注册、餐品检索、餐品订购、订单查询、系统管理等功能的小程序线上订餐系统。     

与自由展开的革命

"可能我身体里的血液成分跟别人有点不一样,"黄锐不止一次地这么评价自己.的确,多年来黄锐自由地行走于中国当代艺术界的多个领域,并且他在每个领域的用心用力都取得了具有历史性意义的成果.从20世纪70年代发起的"星星美展"到推动成立"798艺术区"再到组织"大山子艺术节",主导如此之多的开拓性艺术项目,只是因为黄锐心底有一棵常青的艺术理想之树--推动确立中国当代艺术的合法地位.除此之外,他一如既往地坚持着自己的艺术创造,不同时期、不同种类的作品都彰显了其独特的艺术观.     

基于ARM的人体表面温度测控系统设计

针对手术过程中人体的低温现象,开发一种基于ARM9 2440嵌入式处理器的、以人体表面温度为控制对象的表面温度控制系统.系统由多路人体表面温度检测模块、触摸式显示控制模块、气体温度检测及加热模块、气体流量检测及输送控制模块等构成.对系统核心模块的功能和效果进行试验,结果表明,在手术中可以根据人体表面温度的实时变化情况,控制吹拂在人体表面的气流温度和流量,达到使人体核心温度稳定的效果.     

太阳翼重复折展锁解机构设计方案的模糊评判

结合航天器太阳翼重复折展锁解机构的应用背景,根据星载机构的设计原则,提出太阳翼重复折展锁解机构的六种设计方案。基于多层次模糊综合评判原理,建立该机构多层次评价指标。以专家意见为依据,采用层次权重决策分析法确定太阳翼重复折展锁解机构各影响因素的权重系数,用加权平均型算子对各方案进行二级模糊综合评判,研究表明自平衡固定自锁双级螺旋式重复折展锁解机构为最优设计方案,为后续太阳翼折展锁解机构的研究提供依据。     

富硒发芽对大豆分离蛋白功能性质的影响

研究10mg/L Na_2SeO_3溶液浸泡的发芽大豆分离蛋白(soy protein isolate,SPI)的功能性质变化。采用碱提酸沉法制备不同发芽时间的SPI,并分析其功能性质。结果发现:在发芽过程中富硒SPI的溶解性、吸水性、起泡性及乳化性均呈先升高后降低的趋势,发芽24~60h时SPI表现出良好的溶解性、乳化性和起泡性,其中发芽24h时蛋白质功能性质最佳。相关性分析结果表明:无论是否进行富硒处理,SPI的溶解性与吸水性呈极显著正相关(R=0.862),与起泡性(R=0.774)和乳化性(R=0.887)呈显著正相关。     

基于有效能分析的玉米燃料乙醇可再生性研究

玉米燃料乙醇是一种化石燃料替代品,其可再生能力是评价其性能优劣的一个重要指标.从热力学的角度建立了基于有效能的玉米燃料乙醇可再生性分析模型,并提出一个考虑自然环境自修复能力及允许扰动程度用于修正可再牛性理论值的因子.研究结果表明,目前我国玉米燃料乙醇可再生因子的理论值为-2.14,具有不可再生性.文章最后指出了提高我国玉米燃料乙醇可再生能力的重要途径.     

咸丰和当阳地区鲊广椒细菌群落结构差异性研究

采用Illumina MiSeq高通量测序技术对咸丰地区鲊广椒细菌群落结构进行解析,同时结合之前研究报道的当阳地区鲊广椒样品分析数据,探究不同地区鲊广椒菌群结构的异同。结果表明,咸丰地区鲊广椒优势细菌门为硬壁菌门（Firmicutes）、变形菌门（Proteobacteria）和放线菌门（Actinobacteria）,优势细菌属为乳酸杆菌属（Lactobacillus）、片球菌属（Pediococcus）、假单胞菌属（Pseudomonas）、棒状杆菌属（Corynebacterium）、盐单胞菌属（Halomonas）和明串珠菌属（Leukonostoc）。其细菌的丰度和多样性均极显著高于当阳地区（P＜0.01）,同时,一些低丰度的菌群在两个地区的样品中存在显著差异（P＜0.05）,乳杆菌属和片球菌属为主要优势菌属和核心菌属。此外,两地区鲊广椒中均广泛分布有肠杆菌属（Enterobacter）、克雷伯氏菌属（Klebsiella）和芽孢杆菌属（Bacillus）等致病共栖菌。相关性分析结果表明,鲊广椒发酵菌群彼此间存在密切的相关关系,其制作和生产需要多种微生物的协调作用。