論質(zhì)量安全型經(jīng)濟(jì)（第二版）

第1章質(zhì)量安全規(guī)律

1．1從分析“質(zhì)量的經(jīng)濟(jì)屬性”開(kāi)始

1．2“質(zhì)量經(jīng)濟(jì)定律”是重要發(fā)現(xiàn)

1．3安全是經(jīng)濟(jì)準(zhǔn)則，是最基本保障線

1．4質(zhì)量安全是經(jīng)濟(jì)內(nèi)在規(guī)律，不可違背

1．5大力發(fā)展質(zhì)量安全型經(jīng)濟(jì)

1．6開(kāi)啟建設(shè)質(zhì)量安全型經(jīng)濟(jì)新時(shí)代

1．7把質(zhì)量安全貫穿經(jīng)濟(jì)發(fā)展全過(guò)程

1．8關(guān)于經(jīng)濟(jì)發(fā)展方式轉(zhuǎn)變的途徑

1．9實(shí)現(xiàn)經(jīng)濟(jì)發(fā)展與質(zhì)量安全提升相統(tǒng)一

1．10牢固樹(shù)立質(zhì)量安全經(jīng)濟(jì)理念

第2章技術(shù)措施時(shí)代

2．1技術(shù)措施時(shí)代悄然來(lái)臨

2．2國(guó)際競(jìng)爭(zhēng)內(nèi)容和方式的變化

2．3國(guó)內(nèi)生產(chǎn)經(jīng)營(yíng)被“倒逼”

2．4一個(gè)不易破解的難題

……

徐明煥，1963年出生于福建省壽寧縣。1986年畢業(yè)于福建師大政教系本科，1991年畢業(yè)于福建省委黨校政治經(jīng)濟(jì)學(xué)專業(yè)研究生班，2003年畢業(yè)于福建師大經(jīng)濟(jì)法律學(xué)院，獲經(jīng)濟(jì)學(xué)博士學(xué)位?，F(xiàn)為湖北出入境檢驗(yàn)檢疫局紀(jì)檢組長(zhǎng)、黨組成員。曾在國(guó)家質(zhì)檢總局、福建省委辦公廳、福建檢驗(yàn)檢疫局工作。著有《居民消費(fèi)的政府干預(yù)機(jī)制》、《地民詩(shī)想》等專著和詩(shī)集。在《人民日?qǐng)?bào)》、《宏觀經(jīng)濟(jì)管理》、《全球化》、《中國(guó)國(guó)門時(shí)報(bào)》等報(bào)刊雜志發(fā)表原創(chuàng)理論文章。曾獲國(guó)家發(fā)展改革委、國(guó)家質(zhì)檢總局征文一、二、三等獎(jiǎng)。所提出的"質(zhì)量安全型經(jīng)濟(jì)理論"得到學(xué)界認(rèn)可，中國(guó)人民大學(xué)衛(wèi)興華教授評(píng)價(jià)："**部研究質(zhì)量安全型經(jīng)濟(jì)的著作"、"這是經(jīng)濟(jì)理論硏究中的一個(gè)新的領(lǐng)域和創(chuàng)新成果"。時(shí)任國(guó)務(wù)院發(fā)展研究中心產(chǎn)業(yè)經(jīng)濟(jì)研究部長(zhǎng)的馮飛研究員評(píng)價(jià)說(shuō)："經(jīng)濟(jì)學(xué)中用于分析經(jīng)濟(jì)現(xiàn)象的供需曲線不考慮產(chǎn)品質(zhì)量，在經(jīng)濟(jì)學(xué)研究中引入'產(chǎn)品質(zhì)量'或許能形成新的硏究方法，質(zhì)量安全型經(jīng)濟(jì)是一座值得深入挖掘的富礦"。 2100433B

質(zhì)量安全型經(jīng)濟(jì)是個(gè)新命題，目前我國(guó)經(jīng)濟(jì)理論界對(duì)這一問(wèn)題的研究尚屬空白點(diǎn)。由于作者學(xué)習(xí)、研究和工作經(jīng)歷的特殊性，不僅具有系統(tǒng)和扎實(shí)的經(jīng)濟(jì)學(xué)專業(yè)知識(shí)儲(chǔ)備，而且擁有較長(zhǎng)時(shí)期的質(zhì)檢工作經(jīng)歷，所以能夠在這一領(lǐng)域進(jìn)行系統(tǒng)性和獨(dú)創(chuàng)性研究，能夠找準(zhǔn)問(wèn)題，創(chuàng)新方法和觀點(diǎn)，形成了較為完整的結(jié)構(gòu)和體系。應(yīng)該說(shuō)這是經(jīng)濟(jì)理論研究中的一個(gè)新的領(lǐng)域和創(chuàng)新成果，對(duì)于豐富經(jīng)濟(jì)理論體系是有價(jià)值和意義的。

同時(shí)，作者的研究也是對(duì)如何實(shí)現(xiàn)“十八大”所提出的：“要適應(yīng)國(guó)內(nèi)外經(jīng)濟(jì)形勢(shì)新變化，加快形成新的經(jīng)濟(jì)發(fā)展方式，把推動(dòng)發(fā)展的立足點(diǎn)轉(zhuǎn)到提高質(zhì)量和效益上來(lái)”的重要指導(dǎo)思想，作出的及時(shí)回應(yīng)。這更體現(xiàn)為一種責(zé)任感和使命感，這種認(rèn)識(shí)大局、自覺(jué)服務(wù)大局的精神是可貴的。

《論質(zhì)量安全型經(jīng)濟(jì)（第二版）》結(jié)構(gòu)較為業(yè)密，通過(guò)論述質(zhì)量安全與經(jīng)濟(jì)發(fā)展的內(nèi)在關(guān)系，分析有關(guān)技術(shù)措施對(duì)經(jīng)濟(jì)發(fā)展的規(guī)制作用，研究食品等產(chǎn)品及產(chǎn)業(yè)的質(zhì)量安全提升和口岸質(zhì)量監(jiān)管，以及特色科學(xué)質(zhì)檢體系建設(shè)等重要方面，努力探索促進(jìn)經(jīng)濟(jì)發(fā)展與質(zhì)量安全提升相統(tǒng)一的途徑和方法。這些研究成果具有理論和實(shí)踐價(jià)值。衷心希望作者的研究和探索，能夠在經(jīng)濟(jì)發(fā)展的實(shí)踐中結(jié)出果實(shí)。

利用概率論模型的典型系統(tǒng)有Kwok與Robertson等，它們?cè)诶脴颖居?jì)算詞權(quán)重的過(guò)程中考慮了詞在文檔中出現(xiàn)的頻率，其中Kwok系統(tǒng)還考慮了詞在整個(gè)樣本集合中出現(xiàn)的頻率。概率論模型的效果要明顯優(yōu)于布爾模型，但比向量空間模型略差。

概率論模型的一個(gè)特例是貝葉斯網(wǎng)絡(luò)，由于該模型適合于超文本系統(tǒng)，因此在超文本信息成為當(dāng)前信息獲取主流信息的情況下，該模型的應(yīng)用越來(lái)越廣泛。 2100433B

概率論模型的基礎(chǔ)是概率，預(yù)估計(jì)信息資源與用戶需求的相關(guān)性，根據(jù)相關(guān)性大小進(jìn)行排序，排到最前面的文檔將會(huì)是最有可能滿足用戶需求的文檔。Van Rijsbergen和Robertson等人提出的概率檢索模型的基本思想是根據(jù)先前檢索過(guò)程中得到的相關(guān)性先驗(yàn)信息來(lái)計(jì)算文檔集合中每篇文檔成為相關(guān)文檔的概率，并根據(jù)統(tǒng)計(jì)理論(如貝葉斯決策等)來(lái)確定哪些文檔可作為輸出文檔集。相關(guān)工作中，將布爾檢索和概率檢索模型有機(jī)地結(jié)合起來(lái)，但它在沒(méi)有獲得樣本文檔之前，無(wú)法估計(jì)詞條相關(guān)性且該方法復(fù)雜度較大。

數(shù)理邏輯的一個(gè)分支，是研究形式語(yǔ)言及其解釋(模型)之間關(guān)系的理論。

用模型來(lái)研究數(shù)學(xué)理論可追溯到非歐幾里得幾何學(xué)的無(wú)矛盾性證明(見(jiàn)解釋)：建立歐氏幾何模型，從而證明了非歐幾何相對(duì)于歐氏幾何的無(wú)矛盾性。20世紀(jì)20年代后，隨著證明論的創(chuàng)立和發(fā)展，對(duì)形式系統(tǒng)的研究不斷深入，許多問(wèn)題是依賴于模型(解釋)來(lái)研究的，例如可用各種模型來(lái)論證一組(形式)語(yǔ)句的無(wú)矛盾性或范疇性，也可用模型來(lái)論證一語(yǔ)句對(duì)一組語(yǔ)句的獨(dú)立性等等。因而形式語(yǔ)言與其解釋之間的關(guān)系問(wèn)題日益受到重視，成為重要的研究對(duì)象。

最早的模型論研究是勒文海姆和斯科朗等人的工作。1915年勒文海姆證明：每一組有限多語(yǔ)句如果有模型的話，則它也有一個(gè)可數(shù)模型。1920年斯科朗把這一結(jié)果推廣到有可數(shù)個(gè)語(yǔ)句的情況。20世紀(jì)30年代哥德?tīng)?、馬爾采夫等人在緊致性定理方面的工作也是重要的奠基性工作。但是直到20世紀(jì)50年代，模型論才正式成為一門新的學(xué)科，主要標(biāo)志是1949年亨肯發(fā)表的完全性定理的新證明，1950年國(guó)際數(shù)學(xué)家大會(huì)上塔爾斯基與A.魯賓遜的報(bào)告以及1951年A.魯賓遜《代數(shù)的元數(shù)學(xué)》的發(fā)表。

一個(gè)形式語(yǔ)言?的解釋u稱為此語(yǔ)言的一個(gè)模型或結(jié)構(gòu)。u是一個(gè)具有若干運(yùn)算、關(guān)系及特指元素的非空集合，也稱為泛代數(shù)。所以，模型論又被形容為“泛代數(shù) 邏輯”。由于所涉及的邏輯系統(tǒng)不同，模型論可分為：一階模型論、高階模型論、模態(tài)模型論、多值模型論等。由于在數(shù)理邏輯中以一階邏輯發(fā)展最成熟，所以，模型論中也以一階模型論的內(nèi)容最豐富，應(yīng)用也最多。

構(gòu)造模型是模型論的重要課題，模型論采用了許多獨(dú)特的構(gòu)模方法和工具。例如20世紀(jì)50年代塔爾斯基與沃特提出的初等子模型；20世紀(jì)70年代A.魯賓遜等人提出的模型論力迫法；由斯科朗提出而在20世紀(jì)50年代由沃希等人作了系統(tǒng)化的超積等。這些方面后來(lái)都有新的發(fā)展。

模型論應(yīng)用于數(shù)學(xué)各分支，取得了許多新結(jié)果。在代數(shù)方面應(yīng)用，取得群論和域論的一些結(jié)果，如阿克斯與科琴用它解決了著名的阿廷猜想。在分析方面應(yīng)用，A.魯賓遜構(gòu)建了非標(biāo)準(zhǔn)分析(1960—1961年)，現(xiàn)已發(fā)展為一整套非標(biāo)準(zhǔn)數(shù)學(xué)。