一、引入進化超圖網(wǎng)絡(luò)對全生命周期中產(chǎn)品過程信息進行形式化表達。

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

三、但適當(dāng)?shù)暮贤瑓��?shù)下，使用這種形式化策略，通過供需雙方博弈供需鏈能夠達到穩(wěn)定狀態(tài)。

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

五、論文探討了如何將可視化建模語言UML和形式化描述語言Z集成而得到一種新的求精方法，尋求一種在軟件體系結(jié)構(gòu)求精過程中UML到Z的映射與轉(zhuǎn)換機制。

六、第五章對比了常用軟件測試方法，討論了形式化方法的基本概念、數(shù)學(xué)預(yù)備知識和形式化規(guī)約語言。

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

八、可拓學(xué)是用形式化的模型研究事物拓展的可能性和開拓創(chuàng)新的規(guī)律與方法，并用于解決矛盾問題的新學(xué)科。

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

十、基于霍爾的“通信順序進程”和相關(guān)的網(wǎng)絡(luò)形式化的理論研究結(jié)果，提出了一種網(wǎng)絡(luò)故障管理的形式化方法。

十一、給出了數(shù)據(jù)分布樹的形式化定義，構(gòu)造了基于數(shù)據(jù)分布樹的數(shù)據(jù)均衡分布機制、抗數(shù)據(jù)偏斜的JOIN算法。

十二、非形式化平衡設(shè)計圖上的各元素，用不對稱的方式做成平衡的效果。亦稱不對稱平衡，動態(tài)平衡。

十三、但是，在現(xiàn)今的語文課堂中，互動教學(xué)出現(xiàn)了形式化、客觀化、壟斷化的互動等等。

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

十五、本文利用樹突樹的沖激響應(yīng)對分布參數(shù)突觸聯(lián)接進行了形式化描述。

十六、首先定義選擇函數(shù)并給出理性選擇函數(shù)的形式化描述。

十七、進一步的工作是在公共語義模型的基礎(chǔ)上，用形式化的方法和統(tǒng)一的數(shù)據(jù)格式表達零件庫信息，建立零件庫信息模型，以實現(xiàn)零件庫資源共享。

十八、它使歸納邏輯向形式化和數(shù)量化的研究方面前進了一大步。

十九、標舉自然與清麗，強調(diào)性情本體的恰當(dāng)形式化，是劉勰詩學(xué)觀的重要美學(xué)命題。

二十、所謂形式化，是指雖然了解農(nóng)戶的發(fā)展需要，但在流域規(guī)劃的內(nèi)容中并沒有體現(xiàn)出農(nóng)戶共同的發(fā)展愿望。

二十一、他在離我近在咫尺的地方，一切一切卻像走廊里的燈光，白色、平板而形式化。從來沒有什么愛情故事在這樣的光澤下發(fā)生的吧，他們理當(dāng)只能屬于夕陽、霓虹、星光，或者燭火吧，一點兒呼吸的變動也將帶動氣流影響它的閃動，[形式化造句 z aojv.]飄忽的燈焰象征女主角那個瞬間的動了心。

二十二、在許多情況下，兩者都產(chǎn)生外部元數(shù)據(jù)：從單調(diào)的英語到結(jié)構(gòu)化或非結(jié)構(gòu)化數(shù)據(jù)，到更形式化RDF表達方法，但所有數(shù)據(jù)都參考使用了URI。

二十三、針對映射整體定義了一種域映射規(guī)則，給出了域映射過程的數(shù)學(xué)語言形式化描述。

二十四、邏輯演算對推理形式有效性的研究，比傳統(tǒng)邏輯更抽象、更嚴格，其原因是形式化方法的運用。

二十五、空間方向關(guān)系是描述空間目標間位置分布的一類基本空間約束，在GIS中是由形式化模型描述的。

二十六、本文在介紹模態(tài)邏輯的基礎(chǔ)上，提出了一種對知識和信念進行形式化研究的漢語信息過濾新算法。

二十七、并通過將更新操作算子定義為原子事件,將每次地籍圖形變更的更新處理操作過程定義為一個復(fù)合事件,嘗試用EPL語言對地籍圖形變更的更新操作過程進行了形式化描述.

二十八、蘇聯(lián)解體的一個重要原因就是理論創(chuàng)新的缺失與異化，主要表現(xiàn)在凝固化、教條化、形式化、單調(diào)化、主觀化、片面化、行政化。

二十九、為滿足聯(lián)鎖軟件黑箱測試的要求，對聯(lián)鎖軟件安全性需求進行了分級形式化表達。

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

三十一、USBD所描述的開發(fā)的另一方面是如何通過簡潔，而完全的形式化文檔集支持生產(chǎn)者和消費者之間的溝通渠道。

三十二、如果把否定之否定規(guī)律作為出發(fā)點并進行適度抽象而予以形式化，那么，否定之否定過程的“三段式”模式就表現(xiàn)為一個以環(huán)節(jié)為其結(jié)構(gòu)成分的周期鏈。

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

三十四、形式化公理學(xué)為研究可能世界的存在條件提供了新的基礎(chǔ)。

三十五、首先，正是生成語義學(xué)最先開始了對于轉(zhuǎn)換規(guī)則所不能形式化的句法現(xiàn)象的深入探討。

三十六、北方農(nóng)村的傳統(tǒng)信仰形式雖然較多較雜,但無法自成體系和自圓其說,留存的枝節(jié)性信仰也已經(jīng)形式化和去神圣化,難以滿足農(nóng)村對宗教信仰的龐大需求。

三十七、文傳會主委林奕華說,論壇規(guī)模較以往精簡,隨行官員不像以往高階政務(wù)官,而是改以相關(guān)業(yè)管官員,就是盼降低形式化安排,不要淪為“大拜拜”。

三十八、領(lǐng)導(dǎo)貴族化,員工奴隸化,人際復(fù)雜化,加班日夜化,上班無償化,收入保密化,竟聘內(nèi)定化,檢查形式化,待遇民工化,加薪?TMD神話!!

三十九、中國如今教條式、形式化的政治思想教育,往往起不到促進愛國的目的。