高超氧化物歧化酶活性海洋红酵母的筛选

为了提高海洋红酵母超氧化物歧化酶的活性,寻找一种可以从众多菌株中定向筛选超氧化物歧化酶高产菌株的方法,通过在培养基中添加百草枯并逐级提高、层层筛选,筛选出了超氧化物歧化酶活性较高的菌株并研究了不同程度的氧化胁迫对海洋红酵母的生长状况、超氧化物歧化酶活性及虾青素质量分数的影响。结果表明:在百草枯浓度为0.075mmol/L的条件下,可大大提高超氧化物歧化酶活性;经逐步提高百草枯浓度所筛选的菌株超氧化物歧化酶比活性提高35.2%;而所筛菌株在含0.075mmol/L的百草枯培养基中培养后,超氧化物歧化酶比活性较初始菌株提高103.7%,差异显著(p<0.05)。这说明使用该方法可以达到筛选超氧化物歧化酶高产菌株的目的,而在培养基中添加低浓度的百草枯同样可提高海洋红酵母的超氧化物歧化酶活性。     

基于STeC-Stateflow转换系统的实时系统仿真与验证方法

物联网以及信息物理融合系统对形式化建模提出了新的挑战, 引入了实时系统规范语言STeC, 为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统, 提出一种基于STeC至Stateflow转换的仿真及验证方法, 该方法使用STeC语言对实时系统进行形式化建模, 再建立实时监控的Simulink仿真模型, 并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究, 表明该方法对高铁运行系统实时仿真的有效性, 并能够验证高铁运行系统的安全性。