摘要：试验探讨了铁与维生素A水平对小鼠胚胎存活的影响。选取21日龄昆明种小鼠,饲喂商品日粮2周,随后采用试验饲粮饲喂第11周时,进行交配。此后选有阴栓的小鼠随机分为1个对照组和9个处理组(采用2因素3水平完全随试验设计,铁添加水平为3.5、35、175mg/kg,维生素A水平为400、4000、20000IU/kg),每组分3个重复,每个重复6只。结果表明:妊娠3、6、18d,与对照组相比,35mg/kgFe+4000IU/kg维生素A组胚胎存活率分别提高了25.6%(P<0.05)、9.2%(P<0.05)、46.6%(P<0.05)。适量的铁和维生素A水平有利于胚胎的发育,高铁会降低胚胎的存活率。铁与维生素A对胚胎的存活率的影响存在互作效应(P<0.05)。

摘要：本文概述了目前用于并发系统形式描述的几个重要的基本模型：ＦＳＭ、Ｐｅｔｒｉ网、ＦＴＳ以及ＣＳＰ、ＣＣＳ、Ｓｔａｔｅｃｈａｒｔ等，并分析了上述一些模型的特点和不足之处，指出ＦＴＳ模型为时态逻辑用于并发系统形式描述提供了良好的基础。

摘要：探讨铁与维生素A水平对小鼠子宫分泌蛋白及胚胎存活率影响。选取21日龄昆明种小鼠，随机分为9个处理组，每个处理3个重复，饲喂商品日粮2周，随后采用试验饲粮饲喂。试验采用3×3（铁、维生素A）2因子3水平有重复设计（铁添加水平为3.5、35和175 mg/kg，维生素A水平为400、4000和20000 IU/kg），饲喂第11周时，进行交配，此后选有阴栓的小鼠162只，每个处理3个重复，每个重复6只。结果表明：（1）妊娠3 d，与对照组（Fe1-VA1）相比，5组（Fe1-VA2、Fe1-VA3、Fe2-VA2、Fe2-VA3、Fe3-VA1）添加铁与维生素A对胚胎存活率影响显著（P〈0.05），分别提高了20.0%、22.7%、24.7%、19.5%和7.7%。妊娠6 d，添加3.5 mg/kg Fe＋4000 IU/kgVA、3.5 mg/kg Fe＋20000 IU/kg VA、35 mg/kg Fe＋4000 IU/kg VA和35 mg/kg Fe＋20000 IU/kg VA效果较好（P〈0.05）。妊娠18 d，与对照组相比，添加35 mg/kg Fe＋4000 IU/kg VA组显著提高了47.4%（P〈0.05）；（2）铁与维生素A水平组合在对胚胎存活率、酸性磷酸酶含量、视黄醇结合蛋白含量影响显著（P〈0.05）。添加35 mg/kg Fe＋4000 IU/kg VA可使胚胎存活率、酸性磷酸酶含量、视黄醇结合蛋白含量和子宫总蛋白分泌含量最高；（3）175 mg/kg铁水平组降低了胚胎存活率、酸性磷酸酶、视黄醇结合蛋白和子宫总分泌蛋白含量。35 mg/kg铁水平组使胚胎存活率、酸性磷酸酶含量、视黄醇结合蛋白含量最高，提高了子宫总分泌蛋白含量；（4）4000 IU/kg维生素A组使胚胎存活率、酸性磷酸酶含量、视黄醇结合蛋白含量最大，提高了总分泌蛋白含量；（5）铁对子宫酸性磷酸酶含量影响显著（P〈0.05），维生素A对视黄醇结合蛋白含量影响显著（P〈0.05）。适量的铁和维生素A有利于胚胎发育；铁与维生素A水平组合对胚胎存活率、酸性磷酸酶含量、视黄醇结合蛋白含量影响存在互作效应。随着铁在3.5-35.0 mg/kg、维生素A在400-4000 IU/kg范围内增加，子宫铁蛋白、视黄醇结合蛋白增加，更好地促进胚胎存活。