-
包郵智能化礦山建設(shè)開采技術(shù)應(yīng)用
¥24.5(5.1折)定價(jià):¥48.0智能采礦是礦山技術(shù)變革、技術(shù)創(chuàng)新的一種必然。經(jīng)過不斷研究與探索,礦業(yè)發(fā)達(dá)國(guó)家在智能采礦領(lǐng)域已經(jīng)取得了豐碩成果,并廣泛應(yīng)用。近年來,我國(guó)對(duì)智能礦山技術(shù)的研究與應(yīng)用也非常重視,在政策、資金等方面給予了大力支持。礦山的智能化應(yīng)用體現(xiàn)在多個(gè)領(lǐng)域,包含地質(zhì)、采礦、選礦、管理、決策等,智能化手段可以極大地提高礦山生產(chǎn)效率,保障礦山安全生產(chǎn),減少生命和財(cái)產(chǎn)損失,從而實(shí)現(xiàn)我國(guó)礦業(yè)的安全、高效、經(jīng)濟(jì)、綠色與可持續(xù)發(fā)展。 本書首先介紹了智能化礦山建
-
包郵擬真勢(shì)多主體認(rèn)知邏輯研究
¥48.5(7.5折)定價(jià):¥65.0擬真勢(shì)邏輯是一種新興的非經(jīng)典邏輯或哲學(xué)邏輯,它是一種兼具弗協(xié)調(diào)和弗完全性質(zhì)的邏輯。擬真勢(shì)邏輯是哲理邏輯的一個(gè)前沿性研究話題,與邏輯的基本思維規(guī)律排中律和矛盾律密切相關(guān)。本書有重要的理論意義。作者做了三方面的工作:一是對(duì)弗安全邏輯做了完善性研究,給出了必要的內(nèi)定理和元定理,并證明了其可靠性和安全性;二是以極小的擬真勢(shì)邏輯系統(tǒng)為基礎(chǔ),給出了相應(yīng)的內(nèi)定理和元定理,并證明了其可靠性和安全性;三是將擬真勢(shì)邏輯的研究進(jìn)一步延伸到認(rèn)知領(lǐng)域,建立了帶