File size: 1,173 Bytes
55c92b3 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 | import json
import os
import re
# file_path = "original_configure.json"
# Top5Kurtosis = [0, 1, 31, 30, 22]
# Top5HeavyTailAlphaValues = [0, 11, 10, 1, 8]
# Lowest5Kurtosis = [25, 27, 23, 28, 18]
# Lowest5HeavyTailAlphaValues = [21, 30, 20, 22, 24]
# data = [8] * 32
# for i in Lowest5HeavyTailAlphaValues:
# data[i] = 4
# data[30] = 8
# print(data)
# with open(f"preliminary_10.json", "w", encoding="utf-8") as f:
# json.dump(data, f, ensure_ascii=False, indent=2)
def change_filename(filename):
match = re.search(r'(\d+)', filename)
if match:
old_num = int(match.group(1))
new_num = old_num + 10
new_filename = re.sub(r'\d+', str(new_num), filename)
return new_filename # 输出：preliminary_15.json
else:
return filename
for file in os.listdir('.'):
if file.endswith('.json'):
with open(file, 'r', encoding='utf-8') as f:
data = json.load(f)
data = [dt//2 for dt in data]
new_filename = change_filename(file)
with open(new_filename, 'w', encoding='utf-8') as f:
json.dump(data, f, ensure_ascii=False, indent=2)
|