HOMELv006 システムのエネルギーに相当する関数を定義し、その時間変化から安定性を判別する手法はどれか。 2026年4月2日 正定値なスカラー関数(リアプノフ関数)が時間的に減少することを確認する手法である。 マルチプロセッサシステムにおいて、各CPUのキャッシュ内容の一貫性を保つための規約を何というか。 リアルタイムOSにおいて、締切時刻(デッドライン)が最も近いタスクを優先するアルゴリズムはどれか。