Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
詳細化(しょうさいか、Refinement)とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。 段階的な詳細化として段階を踏んで詳細化を行うこともできる。論理的には、詳細化は含意による変換であるが、追加的な複雑化を生じる要因もある。 詳細化の反対語は抽象化である。
Geissolomataceae ニシキギ科 Celastraceae デチンムル科 Hippocrateaceae スタックホウシア科 Stackhousiaceae サルウァドラ科 Salvadoraceae テプイアンタ科 Tepuianthaceae モチノキ科 Aquifoliaceae クロタキカズラ科 Icacinaceae
キョウチクトウ科 Apocynaceae ガガイモ科 Asclepiadaceae アカネ科 Rubiaceae シソ目(管状花目)Tubiflorae ハナシノブ科 Polemoniaceae フォウクィエリア科 Fouquieriaceae ヒルガオ科 Convolvulaceae ハゼリソウ科
詳細釣り合い(しょうさいつりあい、英: detailed balance)は、熱平衡におけるミクロな状態変化を考えた場合、そこに含まれるどの過程の起こる頻度も、その逆過程の起こる頻度と等しいことを指す。その原理を「詳細釣り合いの原理」という。これは、時間反転を行っても、力学的な法則が不変であるところから導かれる。
くわしい伝記。
くわしく論ずること。 また, その論。
まだはっきりとわからないこと。 確認できていないこと。
くわしく調べること。