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

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

3、論文探討了如何將可視化建模語言uml和形式化描述語言z集成而得到一種新的求精方法，尋求一種在軟件體系結構求精過程中uml到z的映射與轉換機制。

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

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

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

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

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

9、給出了數據分布樹的形式化定義，構造了基于數據分布樹的數據均衡分布機制、抗數據偏斜的join算法。

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

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

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

13、本文利用樹突樹的沖激響應對分布參數突觸聯接進行了形式化描述。

14、首先定義選擇函數并給出理性選擇函數的形式化描述。

15、進一步的工作是在公共語義模型的基礎上，用形式化的方法和統一的數據格式表達零件庫信息，建立零件庫信息模型，以實現零件庫資源共享。

16、它使歸納邏輯向形式化和數量化的研究方面前進了一大步。

17、標舉自然與清麗，強調性情本體的恰當形式化，是劉勰詩學觀的重要美學命題。

18、所謂形式化，是指雖然了解農戶的發展需要，但在流域規劃的內容中并沒有體現出農戶共同的發展愿望。

19、在許多情況下，兩者都產生外部元數據：從單調的英語到結構化或非結構化數據，到更形式化rdf表達方法，但所有數據都參考使用了uri。

20、針對映射整體定義了一種域映射規則，給出了域映射過程的數學語言形式化描述。

21、邏輯演算對推理形式有效性的研究，比傳統邏輯更抽象、更嚴格，其原因是形式化方法的運用。

22、空間方向關系是描述空間目標間位置分布的一類基本空間約束，在gis中是由形式化模型描述的。

23、本文在介紹模態邏輯的基礎上，提出了一種對知識和信念進行形式化研究的漢語信息過濾新算法。

24、并通過將更新操作算子定義為原子事件，將每次地籍圖形變更的更新處理操作過程定義為一個復合事件，嘗試用epl語言對地籍圖形變更的更新操作過程進行了形式化描述.

25、為滿足聯鎖軟件黑箱測試的要求，對聯鎖軟件安全性需求進行了分級形式化表達。

26、文中所提出的控制歸約與或圖，實際上為設計專家控制器示范了一種形式化的方法。

27、usbd所描述的開發的另一方面是如何通過簡潔，而完全的形式化文檔集支持生產者和消費者之間的溝通渠道。

28、如果把否定之否定規律作為出發點并進行適度抽象而予以形式化，那么，否定之否定過程的“三段式”模式就表現為一個以環節為其結構成分的周期鏈。

29、無論庫薩支持還是反對邁格拉希事件，他在2009年當上了外交部長，這是個明升暗降的職位。在這個位置上他的外交手段，公共行為都會更形式化，削弱了主動性。

30、形式化公理學為研究可能世界的存在條件提供了新的基礎。

31、首先，正是生成語義學最先開始了對于轉換規則所不能形式化的句法現象的深入探討。

32、北方農村的傳統信仰形式雖然較多較雜，但無法自成體系和自圓其說，留存的枝節性信仰也已經形式化和去神圣化，難以滿足農村對宗教信仰的龐大需求。

33、文傳會主委林奕華說，論壇規模較以往精簡，隨行官員不像以往高階政務官，而是改以相關業管官員，就是盼降低形式化安排，不要淪為“大拜拜”。

34、領導貴族化，員工奴隸化，人際復雜化，加班日夜化，上班無償化，收入保密化，竟聘內定化，檢查形式化，待遇民工化，加薪?tmd神話！！