XiaoMi-AI文件搜索系统
World File Search System定时
以孕酮为基础的印度牛定时人工授精方案 II：人工授精时使用或不使用 GnRH 的 EB 或 GnRH 类型方案的生殖结果
这些实验的目的是研究使用不同激素治疗的 7 天孕酮 (P4) 固定时间人工授精 (FTAI) 方案的 Bos indicus 肉牛的卵巢动力学和生育力。在实验 1 中，2 岁的 Nelore 小母牛 (n = 973) 被随机分配到四个治疗组之一：EB-0（苯甲酸雌二醇，D0 使用 EB，人工授精时不使用 GnRH），EB-G（D0 使用 EB，人工授精时使用 GnRH），G-0（D0 使用 GnRH，人工授精时不使用 GnRH）或 GG（D0 和人工授精时使用 GnRH）。在 D0，小母牛接受阴道内 P4 植入物（0.5 克）7 天，并接受 EB（1.5 毫克）或 GnRH（16.8 毫克）。在第 7 天，撤回 P4 植入物，小母牛接受氯前列醇 (PGF；0.5 mg) 和环戊丙酸雌二醇 (EC，0.5 mg) 治疗。G 组的小母牛在第 6 天也接受 PGF 和 eCG (200 IU) 治疗，而 EB 小母牛在第 7 天接受 eCG 治疗。在第 9 天的 FTAI 中，只有 EB-G 和 GG 组接受 GnRH (8.4 mg)。在实验 2 中，Nelore 奶牛 (n = 804) 接受相同的治疗 (EB-0、EB-G、G-0 或 GG)，使用 1.0 g P4 植入物、2.0 mg EB 和 300 IU eCG。当 P 0.05 时，效果被认为显著。治疗后，D0 时，G 组小母牛排卵数多于 EB 组（60.3 [287/ 476] vs. 12.7% [63/497]）和母牛排卵数多于 EB 组（73.7 [83/112] vs. 24.4% [28/113]）。D0 后，EB 组小母牛黄体溶解多于 G 组（39.2 [159/406] vs. 20.0% [77/385]）和母牛排卵数多于 G 组（25.5 [14/55] vs. 1.6% [1/64]）。G 组小母牛在 D7（10.3 ± 0.2 vs. 9.2 ± 0.2）和 AI（11.9 ± 0.2 vs. 11.3 ± 0.2）时卵泡（mm）大于 EB 组。母牛在 D7 时 G 阶段的卵泡比 EB 阶段大（11.0 ± 0.3 vs. 9.9 ± 0.3），但在 AI 阶段则不然。小母牛（80.3 [382/476] vs. 69.6% [346/497]）和母牛（67.6 [270/400] vs. 56.2% [227/404]）在 G 阶段的发情率高于 EB 阶段。D0 和 D9 处理对小母牛每 AI 妊娠率 (P/AI) 没有相互作用（EB-0：56.7 [139/245]、EB-G：53.6 [135/252]、G-0：52.6 [127/241] 和 GG：57.5% [135/235]）。然而，EB-G 母牛的 P/AI 高于 EB-0（69.5 [142/204] vs. 60.2% [120/200]），而 G-0 的 P/AI（62.7% [127/203]）与 GG（60.9% [120/197]）相似。在小母牛中，GnRH 在 AI 与发情期没有相互作用，但是，如果在 AI 时接受 GnRH，未出现发情的母牛的 P/AI 会更高（GnRH ¼ 59.1 [91/ 154] vs. 未接受 GnRH ¼ 48.2% [78/162]）。因此，对 Bos indicus 小母牛和母牛使用 EB 或 GnRH 的方案具有不同的卵巢动力学，但总体生育力相似，因此可用于生殖管理计划。在 AI 期间使用 GnRH 治疗在某些情况下可以提高 Bos indicus 奶牛的生育能力，但对小母牛则没有影响。© 2020 Elsevier Inc. 保留所有权利。
伽利略TSM操作状态定义
Galileo Open Service（OS）向用户提供免费，定位和时机/同步信息。对于当前的伽利略，定时服务仅限于提供定时确定和传播，作为OS的一部分。伽利略计划确认了将OS当前提供的时机和同步方面发展到当前提供的分离和增强服务方面的需求，并定义了适当的计时服务，这是伽利略第二代任务的一部分。该服务将重点关注关键基础架构应用程序。
AMT：基于属性的模拟系统监控工具*
算法验证领域一直以模型检查时序逻辑公式的决策程序为中心。时序逻辑 [MP95] 是一种严格的规范形式主义，用于描述系统所需的行为。已经开发了许多将时序逻辑公式转换为相应自动机的有效算法 [VW86、SB00、GPVW95、GO01]，从而成功开发了 L TL 和 C TL 等逻辑，并将它们共同集成到主要验证工具中。基于时序逻辑的形式主义已被硬件行业采用，并成为标准 P SL [HFE04] 规范语言。为了推理定时系统，人们提出了许多实时形式化方法，它们要么是时间逻辑的扩展（M TL [Koy90]、M ITL [AFH96]、T CTL [Y97]），要么是正则表达式（定时正则表达式 [ACM02]）。然而，与非定时情况不同，这些逻辑与定时验证工具中使用的定时自动机 [AD94] 之间没有简单的对应关系。随着混合自动机 [MMP92] 的出现，连续域中的验证成为可能，混合自动机作为描述具有带开关的连续动态系统的模型，以及用于探索其状态空间的算法。尽管最近取得了很大进展 [ADF + 06]，但由于状态空间的爆炸式增长，可扩展性仍然是混合系统穷举验证的主要问题。此外，基于属性的混合系统验证才刚刚起步 [FGP06]。因此，连续系统的首选验证方法仍然是模拟/测试。然而，有人指出，验证的规范元素
RE：零售商的可靠性义务豁免预定的双向单位
在提供网格支持服务和RRO责任之间的全部不兼容范围尚未得到充分理解，因此在IESS规则更改最终确定时被低估了。例如，以前的观点假设在“集成资源提供商”注册方法下，电池存储可以净化与相应生成的任何负载。但是，实际上，定时不匹配仍然存在风险（例如指示电池在RRO责任窗口期间提供负载侧系统服务）；而且没有考虑具有高频调度配置文件的较大电池系统的往返效率影响。这可以为电池运营商创建不必要的监控和管理，并具有可忽略的市场利益。
