精化

精化

精化是一個漢語詞語,讀音是jīnɡ huà,意思是男女在青春期發育成熟。

基本介紹

  • 中文名:精化
  • 外文名:Refinement
  • 發音:jīnɡ huà
  • 屬性:詞語
形式化B方法,古代文言文,

形式化B方法

在形式化B方法中,精化(Refinement)是一種數學表示法和若干規則的集合,它把Dijksart的衛式命令語言進行擴充,通過結合規約語句、精化規則和語言本身,用於從程式規約推導出命令式程式。這種程式精化(程式規約轉換成可執行代碼)可分為數據精化和算法精化兩種形式化將程式逐步轉換為更加便於實現的形式:數據精化把抽象的數據結構轉換為可以高效實現的形式;算法精化將程式逐步轉換為更加便於實現的形式,直至代碼。

古代文言文

謂男女在青春期發育成熟。《韓詩外傳》卷一:“故男八月生齒,八歲而齔齒。十六而精化小通。” 漢 劉向 《說苑·辨物》:“女七月而生齒,七歲而毀齒,二七十四而精化小通。”

相關詞條

熱門詞條

聯絡我們