学科分类
/ 1
2 个结果
  • 简介:大部分时间,自动机在文学到达能力分析算法由符号的状态的枚举探索状态空间,它使用时间限制代表一套具体状态。时间限制是绑了钟价值的差别的原子公式的一个连词。在这篇论文,算法产生的符号的状态的一些原子公式能被移开改进检查时间的模型,这被显示出--andspace效率。如此的原子公式作为无关的原子公式被叫。一个方法也被介绍基于钟变量的测试重设信息检测无关的公式。一个优化检查模型的算法基于这些技术被设计。案例研究证明显著地在这篇论文介绍的技术改进空间效率和时间效率ofreachability分析。

  • 标签: 模拟检测 同步自动机械 可达性 时钟变量
  • 简介:为精子的准备的许多技术当前是可得到的,哪个通常采用的大多数是密度坡度centrifugation(DGC)和游泳起来(啜)。迄今为止,这些方法看起来在为帮助繁殖技术(艺术)选择功能的精子有效,但是他们可以在精子DNA上有否定效果。在这研究,处理技术消除单个海滨的包含的精子和双海滨DNA损坏的这些精液的能力被在157件精液样品的二尾巴的彗星试金和精子染色质分散测试从寻求帮助繁殖治疗的病人估计。我们显示的结果啜并且DGC在消除包含双海滨DNA损坏和精子与的精子是同等地有效的高度损坏了(降级)DNA由存在描绘了单个海滨并且双海滨DNA裂缝。然而,DGC比在选择从单个海滨的DNA损坏是免费的精子啜是更有效的。未来研究应该描述DNA损坏的各种各样的类型的重要性并且检验处理在每个实验室过去常决定他们的能力消除DNA损坏并且因此,经由艺术阻止基因变化的潜在的传播的协议的精子。

  • 标签: DNA损伤 技术能力 精子 双链 删除 辅助生殖