当前位置:首页 科普知识 精化

精化

发布时间:2023-09-15 14:26:03

精化

精化是一个汉语词语,读音是jīnɡ huà,意思是男女在青春期发育成熟。

精化形式化B方法

在形式化B方法中,精化(Refinement)是一种数学表示法和若干规则的集合,它把Dijksart的卫式命令语言进行扩充,通过结合规约语句、精化规则和语言本身,用于从程序规约推导出命令式程序。这种程序精化(程序规约转换成可执行代码)可分为数据精化和算法精化两种形式化将程序逐步转换为更加便于实现的形式:数据精化把抽象的数据结构转换为可以高效实现的形式;算法精化将程序逐步转换为更加便于实现的形式,直至代码。

精化古代文言文

谓男女在青春期发育成熟。《韩诗外传》卷一:“故男八月生齿,八岁而龀齿。十六而精化小通。” 汉 刘向 《说苑·辨物》:“女七月而生齿,七岁而毁齿,二七十四而精化小通。”

温馨提示:
本文【精化】由作者 百科科普 转载提供。 该文观点仅代表作者本人, 自学教育网 信息发布平台,仅提供信息存储空间服务, 若存在侵权问题,请及时联系管理员或作者进行删除。
(c)2008-2025 自学教育网 All Rights Reserved 汕头市灵创科技有限公司
粤ICP备2024240640号-6