因子网络相关论文
该文拟通过不同角度对小鼠围着床期生殖生理进行深入探讨.实验分为以下几个部分:(一)体外胚胎种植模型的建立及粒细胞/巨噬细胞集......
结核分枝杆菌感染后是否发病,取决于细菌和宿主之间一系列复杂的相互作用,趋化因子及其受体在抗结核免疫中发挥了重要作用,参与细......
用B方法建立了T细胞因子网络的形式化模型,基于这个模型,能够使用VC程序工具验证从动物科学与医学院得来的实验数据是否正确,然后......
在高可信软件工程中,形式化方法已经成为保证软件开发过程正确性和一致性的主要方法,B、Z和VDM都是基于模型的形式化方法,B是在VDM......
