1.本文得出了在邏輯的語義問題中,標(biāo)準(zhǔn)命題演算系統(tǒng)的每條公理在邏輯中都是模糊恒真的,但標(biāo)準(zhǔn)命題演算系統(tǒng)的定理,在邏輯中卻不都是模糊恒真的。
2.可以放大,縮小的一副字體。每副字體有它本身的演算法來傳發(fā)完成的數(shù)元圖記。真實(shí)字體在后記碼和非后記碼兩種輸出裝置都運(yùn)作良好然而。
3.討論了三種時(shí)間邏輯方法:一階謂詞演算,模態(tài)邏輯及具體化邏輯。
4.數(shù)學(xué)演算題的特點(diǎn)就在于:解題方法雖然不同,但最后的答案一定只有一個(gè),只要演算正確,就可殊途同歸。
5.在這堂課里,這些主題在一種非常特定的演算脈絡(luò)中,被以形態(tài)規(guī)則的方式被重新省視。
6.我們將在課堂上討論各種連接操作演算法的利弊得失,所以大家認(rèn)真考慮一下每種演算法的利弊。
7.在謂詞演算的反駁樹中,被證明的合式公式。
8.就在北方軍大本營連日連夜進(jìn)行演算,尋找時(shí)機(jī)的時(shí)候,一個(gè)意外事件發(fā)生了。
9.應(yīng)用牽連運(yùn)動(dòng)的加速度合成定理,通過嚴(yán)格的力學(xué)分析和嚴(yán)密的數(shù)學(xué)演算得到了硅微型梳狀線振動(dòng)驅(qū)動(dòng)式陀螺儀的活動(dòng)質(zhì)量的加速度表達(dá)式。
10.結(jié)果在拉格朗日的視野中,微積分是關(guān)于函數(shù)的一種代數(shù)形式演算,而函數(shù)是由一個(gè)解析表達(dá)式給出并且均可展成冪級(jí)數(shù)。
11.演算數(shù)學(xué)時(shí),聚精會(huì)神都可能犯錯(cuò),他竟然還一邊聽著熱門音樂,怎能不錯(cuò)呢?
12.例如,你可以寫關(guān)于在自然語言處理中使用機(jī)器學(xué)習(xí)的報(bào)告或機(jī)器學(xué)習(xí)中各演算法的抽樣復(fù)雜度的比較整理。
13.在第二章中,作者以譜分解、函數(shù)演算等為工具,給出一些重要的算子不等式與范數(shù)不等式。
14.在數(shù)理邏輯中研究的主要對(duì)象是各種演算。
15.之后,美籍邏輯學(xué)家歌德爾一階謂詞演算的完備性定理,這標(biāo)志著現(xiàn)代邏輯基礎(chǔ)部分的完成。
16.對(duì)于吳邪的判斷和演算,逐漸神話,詭異的氣氛開始彌漫。汪家當(dāng)了幾個(gè)世紀(jì)的捕獵者,現(xiàn)在終于第一次,感受到了當(dāng)獵物的恐懼。南派三叔
17.古老的三體問題在進(jìn)行充分的演算后,加以解決了。
18.經(jīng)由觀察搜尋過程的效率、收斂的程度與結(jié)果精確度,瞭解各演算法的適用情形。
19.邏輯演算對(duì)推理形式有效性的研究,比傳統(tǒng)邏輯更抽象、更嚴(yán)格,其原因是形式化方法的運(yùn)用。
20.根據(jù)激勵(lì)的周期特性,運(yùn)用統(tǒng)計(jì)平均的思想,構(gòu)造出一類時(shí)域識(shí)別反演演算法。
21.第三年則是結(jié)合前兩年的經(jīng)驗(yàn)與成果,整合于模擬足球機(jī)器人隊(duì)伍中針對(duì)傳球、截球以及射門進(jìn)行演算法的改進(jìn)與設(shè)計(jì)。
22.在大多數(shù)的情況下,菁英微調(diào)突變式基因演算法,可以在花費(fèi)較少的迭代數(shù)目時(shí),即準(zhǔn)確地收斂到全域最佳解。
23.他的同學(xué)們正在絞盡腦汁地演算初等代數(shù)題。
24.最后,在理論上對(duì)熱量表的功耗進(jìn)行了演算,結(jié)果表明可以實(shí)現(xiàn)鋰電池工作的要求。
25.謂詞邏輯:也叫謂詞演算,它研究簡(jiǎn)單命題的內(nèi)部結(jié)構(gòu)。
26.數(shù)值方法、標(biāo)準(zhǔn)演算法、利用現(xiàn)來副程式庫之能力。
27.據(jù)說這人會(huì)一些旁門之術(shù),現(xiàn)在聽?zhēng)煾刚f起來,我覺得跟我們白派秘術(shù)其實(shí)差不多,這就好像一些復(fù)雜的演算,都是百變不離其宗的。
28.紅外線大氣探測(cè)干涉儀的業(yè)務(wù)示蹤氣體的反演算法。
29.一位小學(xué)老師讓學(xué)生演算簡(jiǎn)單的加法,有個(gè)學(xué)生半天都算不出來。老師不耐煩的說:飯桶,譬如我和你加起來等于多少啊?這學(xué)生想想說:兩個(gè)飯桶。
30.首先以最大乘積算子作為模糊集的演算算子,證明了最大乘積算子滿足分配率。
31.培根說過:“讀史使人明智,讀詩使人聰慧,演算使人精密,哲理使人深刻,道德使人高尚,邏輯修辭使人善辯。”。弗蘭西斯·培根
32.數(shù)學(xué)老師要求我們演算題目時(shí),必須像作戰(zhàn)一樣,小心謹(jǐn)慎,步步為營,才不會(huì)因一時(shí)的疏忽而發(fā)生錯(cuò)誤。
33.本研究發(fā)展一蟻群最佳化演算法求解越野賽跑問題,此問題可被視為一廣義之旅行推銷員問題,其應(yīng)用范圍極為廣泛。
34.哥白尼體系的真正優(yōu)勢(shì)在于以太陽作為靜止不動(dòng)的參考系,數(shù)學(xué)演算更加簡(jiǎn)便。
35.結(jié)果表明,這種線性相位反演算法具有空間分辨力高、對(duì)小像差測(cè)量精度高的特點(diǎn),但測(cè)量動(dòng)態(tài)范圍有限。
36.對(duì)于數(shù)學(xué),我有一種自討苦吃的癖好,那就是喜歡找最難的題來演算。
37.在定量的意義下使模糊命題演算完全包容經(jīng)典命題邏輯是不可能的。
38.該技術(shù)利用演演算法則處理信號(hào)。
39.這種情況下的斷言似乎就需要實(shí)現(xiàn)特定的語言擴(kuò)展,于是一些人建議引入一階謂詞演算。
40.第二個(gè)教學(xué)目的是為學(xué)生提供一個(gè)對(duì)這些演算法和模型進(jìn)行廣泛應(yīng)用的機(jī)會(huì),并且使這些材料與學(xué)生的作業(yè)管理的入門相結(jié)合。
41.討論了清代使用的各種計(jì)算手段,指出清代數(shù)學(xué)家在數(shù)學(xué)研究中采用的計(jì)算手段和演算方法主要是筆算。
42.趁教師轉(zhuǎn)身在黑板上演算數(shù)學(xué)題的機(jī)會(huì),他倆擠眉弄眼,暗示下課后趕緊搶占乒乓球臺(tái),一決勝負(fù)。
43.這僅僅是一個(gè)巨大的猜想,但是讓我們演算出這引發(fā)的一系列災(zāi)難性連鎖事件。
44.分水嶺分割演算法的不足之處在于過分割,即生成大量的小區(qū)域而使目標(biāo)物淹沒其中。
45.牛頓用他的微積分,演算出了蘋果如何掉地上的;地球如何拽住月亮,讓月亮繞著軌道跑;太陽如何用這種方式拽著各個(gè)行星。
46.本改良型EM演算法修正原EM演算法的步驟E,在該步驟中將邊際期望值取代了條件期望值以求得目標(biāo)值。
47.與演算的語法研究的同時(shí),還有數(shù)理邏輯的形式語言的語義研究。
48.解交錯(cuò)演算法是用來將交錯(cuò)式的影像轉(zhuǎn)換成循序式的掃瞄格式。
49.基于代數(shù)演算法的圓弧插補(bǔ)器,只要改變相應(yīng)的幾個(gè)寄存器的予置常數(shù),就可直接插補(bǔ)非圓二次曲線。
50.為能使各決策者在保留各自私有資訊的情況下順利完成工作的分派,我們選擇以反向拍賣法的概念來發(fā)展我們處理這項(xiàng)問題的演算法。
51.生活是一個(gè)無法破譯的謎,一萬個(gè)人就有一萬個(gè)謎;生活是一部無字的書,每個(gè)人都有自己的讀法;生活是一道無解的題,無論怎么演算都是徒勞。
52.首先,將制造彈性評(píng)估問題建構(gòu)為一個(gè)模糊環(huán)境下多屬性決策模式,并提出一種運(yùn)用MEOWA運(yùn)算子的語意融合演算法于評(píng)估制造彈性。
53.穩(wěn)定器的輸出回饋增益值可藉此演算法給予最佳化。
54.上面提到的事件中的那匹馬,它在意興盎然的歐洲觀眾前表演算術(shù)和其他“智力小測(cè)驗(yàn)”,而這只不過是馴獸師向它下達(dá)“指令”的結(jié)果。
55.使用謂詞演算來進(jìn)行知識(shí)的表示和推理,能代表實(shí)際應(yīng)用中的許多問題。
56.此研究,我們將連結(jié)全面性演算法與梯度法來找出真正的最佳解。
57.從而形成了模糊謂詞演算一種新的語構(gòu)與語義體系。
58.本文從基于模糊邏輯的量化命題演算出發(fā),探究一個(gè)新的數(shù)據(jù)庫查詢機(jī)制,用以處理更一般的量化命題意義的模糊數(shù)據(jù)庫查詢。
59.當(dāng)他得知我熟悉歷算,顯得十分興奮,還拿出幾迭早年推演歷日的演算稿紙,連說“很難,沒搞懂”,顯現(xiàn)陳先生多年的苦心追求,令我十分感動(dòng)。
60.我們利用其拓?fù)涮匦裕诠?jié)點(diǎn)數(shù)為m的旋轉(zhuǎn)圖上,發(fā)展出三種互斥問題演算法。