本文整理汇总了Python中pysb.integrate.Solver.yobs[target][i]方法的典型用法代码示例。如果您正苦于以下问题：Python Solver.yobs[target][i]方法的具体用法？Python Solver.yobs[target][i]怎么用？Python Solver.yobs[target][i]使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类pysb.integrate.Solver的用法示例。
在下文中一共展示了Solver.yobs[target][i]方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: run_query
# 需要导入模块: from pysb.integrate import Solver [as 别名]
# 或者: from pysb.integrate.Solver import yobs[target][i] [as 别名]
def run_query(model, query):
m = re.match('Is the amount of (.+) ([^ ]+) in time?', query)
target_str = m.groups()[0]
pattern_str = m.groups()[1]
ts = numpy.linspace(0, 100, 10)
solver = Solver(model, ts)
solver.run()
if target_str == 'A-B complex':
target = 'AB'
if target_str == 'A':
target = 'A'
for i, a in enumerate(solver.yobs[target]):
solver.yobs[target][i] = 1 if a > 50 else 0
if pattern_str == 'sustained':
fstr = sustained_formula(target)
elif pattern_str == 'transient':
fstr = transient_formula(target)
elif pattern_str == 'unchanged':
fstr = noact_formula(target)
print '\n\n'
print '-----------'
print query
print 'LTL formula: %s' % fstr
mc = ModelChecker(fstr, solver.yobs)
print solver.yobs[target]
print 'Result:', mc.truth
print '-----------'