首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 203 毫秒
1.
讨论了两类半连续格范畴有限乘积性的存在性,得到了SICp范畴具有有限乘积性而SICq范畴有限乘积不存在的结果,为进一步研究半连续格范畴的Cartesian封闭性奠定了一定的基础.  相似文献   

2.
幂拓扑分子格范畴及其乘积运算   总被引:1,自引:0,他引:1  
引入幂分子格范畴、L底幂分子格范畴、幂拓扑分子格范畴和L底幂拓扑分子格范畴.给出幂分子格范畴与分子格范畴、L底幂分子格范畴与幂分子格范畴、幂拓扑分子格范畴与拓扑分子格范畴以及L底幂拓扑分子格范畴与幂拓扑分子格范畴之间的关系.证明了一族幂分子格的" 积"是其在幂分子格范畴中的乘积,一族L底幂分子格的"积"是其在L底幂分子格范畴中的乘积,一族幂拓扑分子格的" 积"是其在幂拓扑分子格范畴中的乘积,一族L底幂拓扑分子格的"积"是其在L底幂拓扑分子格范畴中的乘积.  相似文献   

3.
介绍了一些主要的相关格范畴,一类是以完备格为对象而态射不同的范畴,另一类是以保定向并映射为态射而对象不同的范畴,着重于半连续范畴的态射类的构成,给出了一个新的刻画。  相似文献   

4.
介绍了一些主要的相关格范畴,一类是以完备格为对象而态射不同的范畴;另一类是以保定向并映射为态射而对象不同的范畴.着重于半连续格范畴的态射类的构成,给出了一个新的刻画.  相似文献   

5.
基于有限格蕴涵代数的格值命题逻辑语义系统   总被引:2,自引:0,他引:2  
以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统,研究了在A水平上系统的赋值和公式的可满足性等基本定义,证明了系统“有效性”的可判定性并给出了判定算法。  相似文献   

6.
以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.  相似文献   

7.
基于剩余蕴涵的模糊概念格构造方法   总被引:3,自引:0,他引:3  
介绍了由下半连续三角模生成的剩余蕴涵.建立了关于模糊形式背景的模糊概念格,并讨论了其层次结构、由模糊集生成的模糊概念以及Wille算子的不动点.用模糊关系实例说明了基于Godel剩余蕴涵的模糊概念格的构造方法.  相似文献   

8.
关于格蕴涵代数的几点注记   总被引:2,自引:2,他引:0  
给出了一般(2,1,0,0)型代数(L,→^*0,1)成为格蕴涵代数的充要条件,证明了在有限链及非全序四元格上只有一种格蕴涵代数,且不存在非全序五元格蕴涵代数,为进一步讨论由语言真值构成的格蕴函代数的结构提供了条件。  相似文献   

9.
格序决策行为公理体系及其效用函数存在惟一性定理   总被引:7,自引:3,他引:4  
根据偏好关系所具有的格序特征,将Von Neumann-Morgenstern理性行为公理体系中的连通性(完全性)公理弱化为格连通性公理,并相应地弱化连续性公理,得到了一集能更为合理地描述了具有“有限理性”的决策行为的格序决策行为公理体系,构造并证明了在格序决策行为公理体系之下,(线性效用函数的存在惟一性[定理。  相似文献   

10.
格蕴涵代数的单性与周期性   总被引:2,自引:0,他引:2  
讨论了格蕴涵代数的单性和周期性,并研究了这两种性质之间的关系,同时给出了格蕴涵代数具有单性的几个断定方法,得出了一个重要结论;如果有限的单格蕴涵代数中存在对偶原子,则一定唯一。  相似文献   

11.
针对近年来一些国外分散剂代理商对我国分散剂检测方法提出的质疑,对国际上常用的分散剂效能检测方法作一介绍,同时对不同国家检测方法设计和测试结果之间的差异作一比较,对导致差异的原因进行分析,从而可明确进口分散剂只有通过我国国家标准规定检测方法的检测,并获得海事主管部门的认可批准,才能在中国水域使用的原则。  相似文献   

12.
针对高硫煤还原分解磷石膏的反应复杂性,采用FactSage 6.1计算软件对其化学热力学平衡反应进行计算,并与相同条件下的磷石膏分解反应试验结果进行了比较.结果表明高硫煤还原分解磷石膏的主要产物为CaO,CaS,SO2等.综合分析表明温度是影响高硫煤还原分解磷石膏产物组成及含量的重要因素且在1 100℃时分解效果较好,可作为最佳温度的选择标准.计算结果虽与试验结果在确定组分含量上存有一定差异但产物组成及变化趋势相近,表明化学热力学平衡分析方法可作为磷石膏分解反应特性研究的指导性手段.  相似文献   

13.
在很多项目方案评价中,不同类别指标间的相对重要程度关系较难确定。通过一种改进的层次分析法,对广东省道路运输现代化指标体系确定目标进行权重分析,讨论一种关于指标权重的确定方法。  相似文献   

14.
笔者详细讨论并成功开发了"法律案例分析系统"的一个子系统—"法律案例自动归类系统".系统首先通过大量的法律案例训练文档得到树结构中每个类(叶子类和中间类)的类特征词权值表,然后在此基础上计算新法律案例文档相对于各个类的累加权值,最后累加权值最大并且是叶子类的类即是该法律案例应归入的类.笔者还给出并分析了用到的两个重要公式(特征词权值公式和类累加权值公式),详细介绍了系统的核心—基于词典的分词算法.实验表明本系统具有很好的通用性和扩展性,归类准确率较理想.  相似文献   

15.
Performing arts and movies have become commercial products with high profit and great market potential. Previous research works have developed comprehensive models to forecast the demand for movies. However, they did not pay enough attention to the decision support for performing arts which is a special category unlike movies. For performing arts with high-dimensional categorical attributes and limit samples, determining ticket prices in different levels is still a challenge job faced by the producers and distributors. In terms of these difficulties, factorization machine (FM), which can handle huge sparse categorical attributes, is used in this work first. Adaptive stochastic gradient descent (ASGD) and Markov chain Monte Carlo (MCMC) are both explored to estimate the model parameters of FM. FM with ASGD (FM-ASGD) and FM with MCMC (FM-MCMC) both can achieve a better prediction accuracy, compared with a traditional algorithm. In addition, the multi-output model is proposed to determine the price in multiple price levels simultaneously, which avoids the trouble of the models’ repeating training. The results also confirm the prediction accuracy of the multi-output model, compared with those from the general single-output model.  相似文献   

16.
本文讨论了求解一类不定方程组的新方法,其系数矩阵形如其中K和(-H)为正定对称矩阵,应用平方根法分解K=UU~T以及S=UW~T,容易证明R=WW~T-H为正定对称的,进而分解R=VV~T,于是该方法具有平方根法的一切特点.最后对该方法进行了数值误差分析.  相似文献   

17.
介绍了一种日本的计算软件———“桥台详细设计”。它是针对桥台设计而开发的 ,具有针对性强、专业性能好等特点  相似文献   

18.
栏目是期刊的窗口,是期刊办刊宗旨与期刊特色、学术水平的具体体现.<湖南中医药大学学报>从创刊至今虽已取得较好成绩,但分析其栏目设置仍存在问题:栏目设置存在随意性;栏目设置缺乏科学性及创新性,分析原因认为编辑不但应重视规范栏目的设置,还应加强创新栏目设置,并提出了建议性思路,以不断提高学报的学术质量,才能在刊期如林的竞争...  相似文献   

19.
介绍了品类优化的方法,将国防交通物资分为不可比类物资和可比类物资。对于不可比类物资,利用属性分析法确定其类别结构;对于可比类或同类物资中不同的器材,利用模糊综合评价法对其进行比较选优,得到器材综合性能的优劣排序,为增加储备或对储备器材结构进行调整提供科学依据。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号