注音 ㄓˋ ㄕˋ ㄏㄨㄚˋ

拼音 zhìshìhuà

簡體 制式化

解釋 按照一定規範或制度去做。[例]制式化生產。

1、 引入進化超圖網路對全生命週期中產品過程資訊進行形式化表達。

2、 給出了此問題的形式化描述，並將問題歸約為一種關於多邊形運動規劃的等價形式。

3、 但適當的合同引數下，使用這種形式化策略，通過供需雙方博弈供需鏈能夠達到穩定狀態。

4、 論文第四部分總結了馬克思主義在中國的民族形式化的歷史發展。

5、 論文探討了如何將視覺化建模語言UML和形式化描述語言Z整合而得到一種新的求精方法，尋求一種在軟體體系結構求精過程中UML到Z的對映與轉換機制。

6、 第五章對比了常用軟體測試方法，討論了形式化方法的基本概念、數學預備知識和形式化規約語言。

7、 這些觀察允許我們形式化反射的定義：反射是歐幾里得空間的對合等距同構，它的不動點集合是餘維度為1的仿射子空間。

8、 可拓學是用形式化的模型研究事物拓展的可能性和開拓創新的規律與方法，並用於解決矛盾問題的新學科。

9、 盤算機科學家用完全形式化的方式來證明程式同功能歸約的一致性，保證程式的準確性。

10、 基於霍爾的“通訊順序程序”和相關的網路形式化的理論研究結果，提出了一種網路故障管理的形式化方法。

11、 給出了資料分佈樹的形式化定義，構造了基於資料分佈樹的資料均衡分佈機制、抗資料偏斜的JOIN演算法。

12、 非形式化平衡設計圖上的各元素，用不對稱的方式做成平衡的效果。亦稱不對稱平衡，動態平衡。

13、 但是，在現今的語文課堂中，互動教學出現了形式化、客觀化、壟斷化的互動等等。

14、 並給出了線性表的嚴密的描述性定義和形式化定義。

15、 本文利用樹突樹的衝激響應對分佈引數突觸聯接進行了形式化描述。

<< 八 >>