中英▼

精化 百科内容来自于： 百度百科

形式化B方法

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

古代文言文

jīnɡ huà
谓男女在青春期发育成熟。《韩诗外传》卷一：“故男八月生齿，八岁而龀齿。十六而精化小通。” 汉刘向《说苑·辨物》：“女七月而生齿，七岁而毁齿，二七十四而精化小通。”
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定