时序逻辑的语法语义比较分析

随着信息技术的快速发展,信息和通信技术(ICT)系统被广泛使用,因而其可靠性非常重要.本文采用时序逻辑的形式化方法对ICT系统进行可靠性检测讨论,主要从3种时序逻辑的语法、语义及它们的异同进行比较分析,为ICT的可靠性检测分析提供了理论借鉴.     

全脂大豆的主要成分及应用

全脂大豆的主要成分 ,具有较高的营养、医药、保健价值。由于全脂大豆含有抗营养因子 ,因此 ,对大豆适宜的热处理和物理加工 ,是开发、应用大豆的关键。     

Logistic离散型扩散模型全局渐近稳定性

本文研究离散单种群扩散模型全局渐近稳定性,利用单调算子和凹算子的理论讨论了其全局渐近稳定性,并得到了正平衡点全局渐近稳定和物种绝灭的充分条件。     

提高饲料效率为目标的选择指数制订方法

理论与实践已证明，以选择指数为依据的综合选择是多性状遗传改良的最有效方法。然而，在制订选择指数过程中还存在很多问题影响着这种方法的选择效率。譬如以提高饲料效率为目标的综合选择，饲料效率等于一定饲养时期内某生产性状的变化量与该时期内饲料消耗量之比。实际生产中，构成饲料效率的分子和分母也是两个重要的经济性状，即饲料效率是一个比值性状。对于比值性状，小样本情况下，若构成它的两个组分性状都服从正态分布，则该比值性状的分布就不再是正态的了，其遗传特性也发生了相应的变化，所以，从统计角度考虑，直接利用比值性…