draw.py 893 B

123456789101112131415161718192021222324252627282930313233343536
  1. import matplotlib.pyplot as plt
  2. import numpy as np
  3. import os
  4. LEAD_FILE = "leads.hist"
  5. F_FILE = "f.hist"
  6. LEAD_PROCESSED_IMG = "lead_history_processed.png"
  7. F_PROCESSED_IMG = "f_history_processed.png"
  8. SEP = ","
  9. NODES = 1000 # number of nodes logged
  10. with open(LEAD_FILE) as f:
  11. buf = f.read()
  12. nodes = buf.split(SEP)[:-1]
  13. node_log = []
  14. for i in range(0, len(nodes)):
  15. node_log+=[int(nodes[i])]
  16. freq_single_lead = sum(np.array(node_log)==1)/float(len(node_log))
  17. print("single leader frequency: {}".format(freq_single_lead))
  18. plt.plot(node_log)
  19. plt.legend(['#leads'])
  20. plt.savefig(LEAD_PROCESSED_IMG)
  21. with open(F_FILE) as f:
  22. buf = f.read()
  23. nodes = buf.split(SEP)[:-1]
  24. node_log = []
  25. for i in range(0, len(nodes)):
  26. node_log+=[float(nodes[i])]
  27. plt.plot(node_log)
  28. plt.legend(['#leads', 'f'])
  29. plt.savefig(F_PROCESSED_IMG)