形式化造句
1、給出了此問題的形式化描述,并將問題歸約為一種關(guān)于多邊形運(yùn)動(dòng)規(guī)劃的等價(jià)形式。
2、但適當(dāng)?shù)暮贤瑓?shù)下,使用這種形式化策略,通過供需雙方博弈供需鏈能夠達(dá)到穩(wěn)定狀態(tài)。
3、論文探討了如何將可視化建模語(yǔ)言u(píng)ml和形式化描述語(yǔ)言z集成而得到一種新的求精方法,尋求一種在軟件體系結(jié)構(gòu)求精過程中uml到z的映射與轉(zhuǎn)換機(jī)制。
4、第五章對(duì)比了常用軟件測(cè)試方法,討論了形式化方法的基本概念、數(shù)學(xué)預(yù)備知識(shí)和形式化規(guī)約語(yǔ)言。
5、這些觀察允許我們形式化反射的定義:反射是歐幾里得空間的對(duì)合等距同構(gòu),它的不動(dòng)點(diǎn)集合是余維度為1的仿射子空間。
6、可拓學(xué)是用形式化的模型研究事物拓展的可能性和開拓創(chuàng)新的規(guī)律與方法,并用于解決矛盾問題的新學(xué)科。
7、盤算機(jī)科學(xué)家用完全形式化的方式來證明程序同功能歸約的一致性,保證程序的準(zhǔn)確性。
8、基于霍爾的“通信順序進(jìn)程”和相關(guān)的網(wǎng)絡(luò)形式化的理論研究結(jié)果,提出了一種網(wǎng)絡(luò)故障管理的形式化方法。
9、給出了數(shù)據(jù)分布樹的形式化定義,構(gòu)造了基于數(shù)據(jù)分布樹的數(shù)據(jù)均衡分布機(jī)制、抗數(shù)據(jù)偏斜的join算法。
10、非形式化平衡設(shè)計(jì)圖上的各元素,用不對(duì)稱的方式做成平衡的效果。亦稱不對(duì)稱平衡,動(dòng)態(tài)平衡。
11、但是,在現(xiàn)今的語(yǔ)文課堂中,互動(dòng)教學(xué)出現(xiàn)了形式化、客觀化、壟斷化的互動(dòng)等等。
12、并給出了線性表的嚴(yán)密的描述性定義和形式化定義。
13、本文利用樹突樹的沖激響應(yīng)對(duì)分布參數(shù)突觸聯(lián)接進(jìn)行了形式化描述。
14、首先定義選擇函數(shù)并給出理性選擇函數(shù)的形式化描述。
15、進(jìn)一步的工作是在公共語(yǔ)義模型的基礎(chǔ)上,用形式化的方法和統(tǒng)一的數(shù)據(jù)格式表達(dá)零件庫(kù)信息,建立零件庫(kù)信息模型,以實(shí)現(xiàn)零件庫(kù)資源共享。
16、它使歸納邏輯向形式化和數(shù)量化的研究方面前進(jìn)了一大步。
17、標(biāo)舉自然與清麗,強(qiáng)調(diào)性情本體的恰當(dāng)形式化,是劉勰詩(shī)學(xué)觀的重要美學(xué)命題。
18、所謂形式化,是指雖然了解農(nóng)戶的發(fā)展需要,但在流域規(guī)劃的內(nèi)容中并沒有體現(xiàn)出農(nóng)戶共同的發(fā)展愿望。
19、在許多情況下,兩者都產(chǎn)生外部元數(shù)據(jù):從單調(diào)的英語(yǔ)到結(jié)構(gòu)化或非結(jié)構(gòu)化數(shù)據(jù),到更形式化rdf表達(dá)方法,但所有數(shù)據(jù)都參考使用了uri。
20、針對(duì)映射整體定義了一種域映射規(guī)則,給出了域映射過程的數(shù)學(xué)語(yǔ)言形式化描述。
21、邏輯演算對(duì)推理形式有效性的研究,比傳統(tǒng)邏輯更抽象、更嚴(yán)格,其原因是形式化方法的運(yùn)用。
22、空間方向關(guān)系是描述空間目標(biāo)間位置分布的一類基本空間約束,在gis中是由形式化模型描述的。
23、本文在介紹模態(tài)邏輯的基礎(chǔ)上,提出了一種對(duì)知識(shí)和信念進(jìn)行形式化研究的漢語(yǔ)信息過濾新算法。
24、并通過將更新操作算子定義為原子事件,將每次地籍圖形變更的更新處理操作過程定義為一個(gè)復(fù)合事件,嘗試用epl語(yǔ)言對(duì)地籍圖形變更的更新操作過程進(jìn)行了形式化描述.
25、為滿足聯(lián)鎖軟件黑箱測(cè)試的要求,對(duì)聯(lián)鎖軟件安全性需求進(jìn)行了分級(jí)形式化表達(dá)。
26、文中所提出的控制歸約與或圖,實(shí)際上為設(shè)計(jì)專家控制器示范了一種形式化的方法。
27、usbd所描述的開發(fā)的另一方面是如何通過簡(jiǎn)潔,而完全的形式化文檔集支持生產(chǎn)者和消費(fèi)者之間的溝通渠道。
28、如果把否定之否定規(guī)律作為出發(fā)點(diǎn)并進(jìn)行適度抽象而予以形式化,那么,否定之否定過程的“三段式”模式就表現(xiàn)為一個(gè)以環(huán)節(jié)為其結(jié)構(gòu)成分的周期鏈。
29、無論庫(kù)薩支持還是反對(duì)邁格拉希事件,他在2009年當(dāng)上了外交部長(zhǎng),這是個(gè)明升暗降的職位。在這個(gè)位置上他的外交手段,公共行為都會(huì)更形式化,削弱了主動(dòng)性。
30、形式化公理學(xué)為研究可能世界的存在條件提供了新的基礎(chǔ)。
31、首先,正是生成語(yǔ)義學(xué)最先開始了對(duì)于轉(zhuǎn)換規(guī)則所不能形式化的句法現(xiàn)象的深入探討。
32、北方農(nóng)村的傳統(tǒng)信仰形式雖然較多較雜,但無法自成體系和自圓其說,留存的枝節(jié)性信仰也已經(jīng)形式化和去神圣化,難以滿足農(nóng)村對(duì)宗教信仰的龐大需求。
33、文傳會(huì)主委林奕華說,論壇規(guī)模較以往精簡(jiǎn),隨行官員不像以往高階政務(wù)官,而是改以相關(guān)業(yè)管官員,就是盼降低形式化安排,不要淪為“大拜拜”。
34、領(lǐng)導(dǎo)貴族化,員工奴隸化,人際復(fù)雜化,加班日夜化,上班無償化,收入保密化,竟聘內(nèi)定化,檢查形式化,待遇民工化,加薪?tmd神話!!
相關(guān)造句
一式一樣造句化外之民造句移形換步造句影形不離造句原形敗露造句形影相依造句窮神知化造句形式主義造句蝶化莊周造句千形萬(wàn)狀造句