确定集相关论文
描述逻辑是语义Web的逻辑基础,它为本体的知识表达、逻辑推理等提供必要的理论依据。随着Web中本体数量与规模的增加,如何对这些本......
实验研究了工件在不同材料、不同内外径比的集磁器作用下的胀形效果 ,分析了工件在不同内外径比的铁磁材料、非铁磁材料集磁器成形......
集团客户以其显著的竞争优势与资源优势,带给为其提供金融服务的商业银行巨大的利润,逐渐成为各大商业银行竞相追捧的授信对象.为......
1946年6月，全面内战爆发。7月，晋冀鲁豫中央局和军区根据中共中央、中央军委的指示，对全区军事力量作了全面部署，确定集中野战纵队机动......
本文利用修正的G(o)del蕴涵算子研究了命题公式集FS中公式确定集的特征,进而以确定集为工具得到FS的一个十八类分划,并证明了这种......
以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算......
将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中，在Godel系统中引入确定集的概念，并按不同确定集对Godel系统中的公式集F（S）进......
利用R0-蕴涵算子对命题公式集F（S）进行分类，得出了F（S）的一个16类分划，并证明了这种分类关于非运算是同余分类．最后讨论了各类关于MP运算......
图的一些结构可以影响它的自同构群,反过来,图的自同构群也可以揭示该图的一些性质.因而研究图的性质与它的自同构群结构之间的关......
<正> 設某煤矿区有n个矿井,年产量分别为a1,a2,…,an（万吨）,欲在这个矿区选定一个集煤站,使各井的煤运到此处集結后再运往鉄路編組站......
