香菇液体菌种培养条件优化

从碳源、氮源、无机盐及发酵控制条件等方面,对香菇(Lentinus edodes)液体菌种培养条件的优化进行了研究。单因素试验结果表明:香菇菌丝生长最佳碳源为麦芽糖,最佳氮源为麦麸。正交试验结果表明:培养基最佳配方为麦麸70%、麦芽糖3%、Mg SO40.15%、KH2PO40.2%;适宜培养条件为250 m L三角瓶装液量100 m L,p H值5.0,接种量13%,转速180 r/min。

网络安全认证协议自动分析系统的设计

本文以大量的协议形式化建模研究为基础,以网络安全认证协议为研究对象,采用模型检测技术,开发了网络安全认证协议自动分析系统。该系统功能主要是用来对认证协议进行自动建模与验证。本系统分为用户界面模块、自动分析建模模块以及自动验证模块。