biology:生物学相关模型

生物活检 BioPSy是一种工具，可以对使用系统生物学标记语言（SBML）和相应的时间序列数据指定的生物学模型进行参数集综合。 BioPSy利用SMT求解器来确定给定域内可接受参数值的范围。 使用BioPSy计算的参数集的模型在形式上和数值上都得到保证，可以满足所需的行为。 下载 可以从下载BioPSy的最新版本，包括所有必需的二进制文件。 BioPSy是Java应用程序，需要才能运行。 是稳定的版本，它引入了一些功能并修复了许多错误。