Perform various data analysis on SEC 13-F and obtain some insights of fund activities such as number of holdings, AUM, and change of holdings between two quarters.
日本語の概要は準備中です。原文の説明を表示しています。
Use for day-ahead or multi-period unit commitment problems, including thermal on/off schedules, dispatch, startup/shutdown logic, minimum up/down time, ramping, spinning reserve deliverability, renewable curtailment, operating-cost accounting, and independent feasibility checks for power-system operations schedules.
インストール方法を見るインストールする前に、エージェントに与えられる指示の中身を確認できます。
Use this skill when a task asks for a day-ahead or multi-period unit commitment schedule with generators, load, reserves, operating constraints, and cost tradeoffs.
This is a reusable UC operating guide. It gives formulation and validation patterns, not a complete task-specific mathematical model.
Unit commitment decides which generators are online over time, when they start or stop, how much they produce, and how much reserve they can physically provide. It is harder than hourly economic dispatch because startup/shutdown decisions, ramping, minimum up/down time, reserve deliverability, initial conditions, and cost curves couple one period to the next.
For each thermal unit g and period t:
u[g, t] # commitment/on status, binary
start[g, t] # startup transition, binary
stop[g, t] # shutdown transition, binary
p[g, t] # production variable: know whether actual MW or above-minimum MW
r[g, t] # scheduled reserve
Reports often require actual MW output. Many UC models internally use output above minimum:
actual_output = pmin[g] * u[g, t] + p_above_min[g, t]
p_above_min = actual_output - pmin[g] * u[g, t]
Do not mix these conventions in ramping, reserve, cost, or reporting.
Before reporting a schedule, independently verify:
T;Link startup/shutdown to commitment and the initial state:
prev_u = initial_on[g] if t == 0 else u[g, t - 1]
u[g, t] - prev_u == start[g, t] - stop[g, t]
start[g, t] + stop[g, t] <= 1
Equivalent validation pattern:
prev_on = initial_on[g]
for t in range(T):
assert start[g, t] == int(u[g, t] == 1 and prev_on == 0)
assert stop[g, t] == int(u[g, t] == 0 and prev_on == 1)
prev_on = u[g, t]
For actual-MW production:
pmin[g] * u[g, t] <= production[g, t] <= pmax[g] * u[g, t]
0 <= reserve[g, t]
For above-minimum production:
cap = pmax[g] - pmin[g]
0 <= p_above_min[g, t] <= cap * u[g, t]
0 <= reserve[g, t]
If u[g, t] == 0, both production and reserve must be zero.
Use the task's system/zone/network convention. For a single-zone system:
thermal_gen = sum(actual_thermal[g, t] for g in thermal_units)
renew_gen = sum(renewable_output[r, t] for r in renewable_units)
assert abs(thermal_gen + renew_gen - demand[t]) <= tol
assert sum(reserve[g, t] for g in thermal_units) >= reserve_requirement[t] - tol
Renewables:
renewable_min[r, t] <= renewable_output[r, t] <= renewable_max[r, t]
If min equals max, output is fixed. If curtailment is allowed, output may be below max. Do not count renewable headroom as spinning reserve unless the prompt explicitly allows it.
Reserve is not just unused nameplate capacity. Production and reserve compete for the same physical capability, and reserve must be deployable.
Headroom-only checks are too weak:
# Not enough by itself:
reserve[g, t] <= pmax[g] - production[g, t]
reserve[g, t] <= ramp_up[g]
Use joint production-plus-reserve checks. With actual-MW production:
production[g, t] + reserve[g, t] <= pmax[g] * u[g, t]
With above-minimum production:
p_above_min[g, t] + reserve[g, t] <= (pmax[g] - pmin[g]) * u[g, t]
Startup capability can tighten the startup period. If startup_limit is maximum total output during startup:
if start[g, t] == 1:
production[g, t] + reserve[g, t] <= startup_limit[g]
A linear above-minimum pattern is:
startup_reduction = max(pmax[g] - startup_limit[g], 0.0)
p_above_min[g, t] + reserve[g, t] <= (
(pmax[g] - pmin[g]) * u[g, t]
- startup_reduction * start[g, t]
)
Apply analogous shutdown-period or pre-shutdown capability rules when the data and prompt require them.
Use initial output/status for the first period. When reserve must be deliverable, ramp-up usually applies to production plus reserve:
previous = initial_above_min[g] if t == 0 else p_above_min[g, t - 1]
p_above_min[g, t] + reserve[g, t] - previous <= ramp_up[g]
previous - p_above_min[g, t] <= ramp_down[g]
If your model uses actual production, convert consistently before applying above-minimum ramp checks. Recheck ramping after any dispatch or repair step.
Minimum up/down constraints are time-window constraints triggered by starts/stops. Validation pattern:
if start[g, t] == 1:
for tau in range(t, min(T, t + min_up[g])):
assert u[g, tau] == 1
if stop[g, t] == 1:
for tau in range(t, min(T, t + min_down[g])):
assert u[g, tau] == 0
Account for pre-horizon time already on/off. Follow the prompt on whether post-horizon obligations are enforced.
Startup cost may depend on prior offline duration. A common tier rule is largest lag not exceeding prior offline duration:
def choose_startup_cost(tiers, offline_duration):
tiers = sorted(tiers, key=lambda z: z["lag"])
chosen = tiers[0]
for tier in tiers:
if tier["lag"] <= offline_duration:
chosen = tier
else:
break
return chosen["cost"]
Update offline duration from initial status and the commitment trajectory. Be careful: duration should describe time offline before the startup period.
Use only cost components present in the data or required by the prompt. Do not invent no-load, reserve, curtailment, shutdown, or ramping costs.
For total-cost breakpoints:
def total_cost_from_curve(points, output_mw):
pts = sorted((p["mw"], p["cost"]) for p in points)
if output_mw <= pts[0][0]:
return pts[0][1]
if output_mw >= pts[-1][0]:
return pts[-1][1]
for (x0, y0), (x1, y1) in zip(pts, pts[1:]):
if x0 <= output_mw <= x1:
return y0 + (output_mw - x0) * (y1 - y0) / (x1 - x0)
raise ValueError("output outside curve")
If the first point is at minimum output, its cost may represent online minimum-output cost. Do not add another fixed online cost unless the data says so.
"pass" checks only after validation passes."pass" fields before validation.まだレビューはありません。使ってみた感想をお寄せください。
概要と使いどころ
Perform various data analysis on SEC 13-F and obtain some insights of fund activities such as number of holdings, AUM, and change of holdings between two quarters.
日本語の概要は準備中です。原文の説明を表示しています。
AC branch pi-model power flow equations (P/Q and |S|) with transformer tap ratio and phase shift, matching `acopf-math-model.md` and MATPOWER branch fields. Use when computing branch flows in either direction, aggregating bus injections for nodal balance, checking MVA (rateA) limits, computing branch loading %, or debugging sign/units issues in AC power flow.
日本語の概要は準備中です。原文の説明を表示しています。
Redact text from PDF documents for blind review anonymization
日本語の概要は準備中です。原文の説明を表示しています。
Use when checking simplified ADA-derived plan-view bathroom accessibility constraints such as turning space, door clear width, toilet centerline, grab bars, and lavatory knee/toe clearance.
日本語の概要は準備中です。原文の説明を表示しています。
Analyze failed GitHub Action jobs for a pull request.
日本語の概要は準備中です。原文の説明を表示しています。
Use when extracting plan-view architectural geometry from DXF files with semantic CAD layers, especially when outputs must normalize rooms, doors, fixtures, clearances, and grab bars into machine-checkable JSON.
日本語の概要は準備中です。原文の説明を表示しています。