基于商空間的粒計(jì)算模型研究.pdf

1、商空間理論是目前主流的粒計(jì)算模型之一?，F(xiàn)有商空間模型中論域結(jié)構(gòu)一般指定為拓?fù)浣Y(jié)構(gòu)，當(dāng)論域結(jié)構(gòu)是代數(shù)結(jié)構(gòu)時(shí)該模型的兩個(gè)基本結(jié)論是否仍然成立。本文以此為出發(fā)點(diǎn)，深入研究了具有代數(shù)結(jié)構(gòu)的商空間粒計(jì)算模型，并與現(xiàn)有商空間粒計(jì)算模型在合成和分解兩方面進(jìn)行了詳細(xì)的比較分析。
　　 引入同余關(guān)系的概念，系統(tǒng)地論證了具有代數(shù)結(jié)構(gòu)的商空間模型的粒度世界結(jié)構(gòu)完備性和性質(zhì)保留特性，即全體同余關(guān)系構(gòu)成完備半序格，保假、保真原理在具有代數(shù)結(jié)構(gòu)的商空間模型

2、中依然成立。定義與上（下）商相對(duì)應(yīng)的上（下）同余概念，從等價(jià)關(guān)系的角度簡(jiǎn)捷地證明了它們的存在性以及得出了一些重要的相關(guān)結(jié)論。
　　 提出了多粒度計(jì)算的一般架構(gòu)，即自頂向下的分解和自底而上的綜合。結(jié)構(gòu)在商空間理論中扮演著舉足輕重的角色，不同結(jié)構(gòu)下商空間粒計(jì)算模型會(huì)有所差異。在合成方面，具有拓?fù)浣Y(jié)構(gòu)的不同商空間的合成拓?fù)洳皇巧掏負(fù)洌哂写鷶?shù)結(jié)構(gòu)的不同商空間的合成運(yùn)算是商運(yùn)算。在分解方面，定義了問(wèn)題等價(jià)和可逆分解的概念后，得出了兩種