搜索筛选:
搜索耗时0.0779秒,为你在为你在102,285,761篇论文里面共找到 27 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘瑞胜,,
来源：商场现代化 年份：2012
随着当前我国现代经济制度的建立,提高企业的销售管理水平已经成为企业在经营中的重要措施,这对于竞争激烈的煤炭行业尤为如此。下面,笔者就煤炭销售管理的重要性做出具体论...
[期刊论文] 作者：刘瑞胜,,
来源：商场现代化 年份：2012
随着当前市场经济的快速发展,企业与企业之间的竞争日益激烈,尤其是煤炭企业中的煤炭产品,由于其产品本质并没有差别,其竞争尤显激烈。在这种情况下,构建煤炭产品销售的品牌...
[期刊论文] 作者：刘瑞胜,
来源：大陆桥视野·下 年份：2013
摘 要 随着当前我国现代经济制度的建立，提高企业的销售管理水平已经成为企业在经营中的重要措施，这对于竞争激烈的煤炭行业尤为如此。下面，笔者就煤炭销售管理的重要性做出具体论述，并阐述了当前我国煤炭销售管理过程中存在的问题。同时，针对问题，笔者给出相应的解决......
[期刊论文] 作者：刘瑞胜,
来源：吉林大学自然科学学报 年份：1993
本文讨论了涵盖和强蕴涵之间的关系,给出并证明了强蕴涵是涵盖的条件,还证明了在广义归结中同时使用涵盖和强蕴涵做为删除策略仍是完备的.更多还原...
[期刊论文] 作者：刘瑞胜,
来源：商场现代化 年份：2012
[摘 要]煤炭是关系国家民生与经济的重要能源产品，而销售渠道在煤炭行业中又有着至关重要的地位。本文通过对煤炭销售渠道的现状分析，发现了一些煤炭渠道销售过程中村中的问题，并对此提出了相关解决对策。 [关键字]煤炭 销售渠道 问题 对策 一、我国煤炭......
[期刊论文] 作者：刘瑞胜,
来源：工业加热 年份：1992
按照设计要求,电弧炉需用两条电源供电:一条是炼钢主回路电源,一般经隔离开关、磁吹断路器控制,由电炉变压器供给,电压为120～210V几个不同等级;另一条是调节器的控制电源...
[期刊论文] 作者：刘瑞胜,
来源：大陆桥视野·下 年份：2014
摘 要 随着当前我国现代经济制度的建立，提高企业的销售管理水平已经成为企业在经营中的重要措施，这对于竞争激烈的煤炭行业尤为如此。下面，笔者就煤炭销售管理的重要性做出具体论述，并阐述了当前我国煤炭销售管理过程中存在的问题。同时，针对问题，笔者给出相应的解决......
[期刊论文] 作者：刘瑞胜,翟永顺,
来源：长春邮电学院学报 年份：1996
讨论了半正规缺省理论和一般抽省理论之间的关系，将有序的概念引入了一般缺省理论，证明了每个有序处理论都有扩张。而且，给出了一个判定缺省理论是否有序的可行算法。...
[期刊论文] 作者：刘瑞胜,刘叙华,,
来源：计算机科学 年份：1995
一、引言 早在1959年,McCart~[1]就发现常识和常识推理很难处理,因为在常识推理中当前得出的结论,可能会由于以后新事实的加入而被取消.这就是所谓的“非单调性”。更多...
[期刊论文] 作者：孙吉贵,刘瑞胜,
来源：吉林大学自然科学学报 年份：1998
研究缺省逻辑表示下的溯因框架，给出一种基于规则的命题逻辑缺省溯因诊断的求解方法。...
[期刊论文] 作者：刘瑞胜,孙吉贵,
来源：计算机学报 年份：1998
知识和信念是人工智能领域研究中经常涉及到的两个重要概念。本文讨论了知识和信念的涵义与关系，定义了认识逻辑系统ＥＩ，讨论了它的语法和语义，证明了认识逻辑ＥＬ不但是可靠的而且是完......
[期刊论文] 作者：刘瑞胜,孙吉贵,
来源：计算机学报 年份：1998
认识逻辑ＥＬ给出了知识和信念在单一认识主体情形下的逻辑框架。本文将认识逻辑ＥＬ推广到多认识主体的情形，得到了一个可靠并且完备的系统ＭＥＬ。ＭＥＬ继承了ＥＬ的全部性质。ＭＥＬ的一个重要特点是各个......
[期刊论文] 作者：孙吉贵,刘瑞胜,
来源：计算机学报 年份：1999
本文将作者提出的高效的命题模态Ｄ逻辑的标记模态归结方法推广到了命题模态逻辑Ｋ，Ｋ４，Ｄ４，Ｔ，Ｓ４系统，建立了上述命题模态逻辑的标记归结形式系统ＭＲＫ，ＭＲＫ４，ＭＲＤ４，ＭＲＴ，ＭＲＳ４，并用转移子句模式的方法，借助于标记模态归结对命......
[期刊论文] 作者：孙吉贵,刘瑞胜,
来源：吉林大学自然科学学报 年份：1999
在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题。使用表推演方法，检查知识库协调性，对知识库进行扩展，约减和修正，给出可行方法。...
[期刊论文] 作者：刘瑞胜,孙吉贵,
来源：吉林大学自然科学学报 年份：1996
提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法。...
[期刊论文] 作者：田洪祥,刘瑞胜,
来源：山东畜牧兽医 年份：1993
...
[会议论文] 作者：刘叙华,刘瑞胜,
来源：第三届中国人工智能联合学术会议 年份：1994
...
[期刊论文] 作者：孙吉贵,刘瑞胜,陈荣,
来源：吉林大学自然科学学报 年份：1999
在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题．使用表推演方法，检查知识库协调性，对知识库进行扩展、约减和修正，给出可行方法Under a generalized ab......
[期刊论文] 作者：孙吉贵,刘瑞胜,陈荣,,
来源：计算机学报 年份：1999
本文将作者提出的高效的命题模态D逻辑的标记模态归结方法推广到了命题模态逻辑K,K4,D4,T,S4系统,建立了上述命题模态逻辑的标记归结形式系统MRK,MRK4,MRD4,MRT,MRS4.并用转...
[期刊论文] 作者：孙吉贵,刘瑞胜,陈荣,
来源：吉林大学学报(理学版) 年份：1998
研究缺省逻辑表示下的溯因框架，给出一种基于规则的命题逻辑缺省溯因诊断的求解方法Studying the traceability framework under the default logical representation, this...
相关搜索：
