典范模型相关论文
模型是研究正规命题模态系统的一个重要工具,系统的可靠性与完全性证明都离不开模型.系统MV的可靠性证明,就是证明它的定理在“所......
国内外学者就水产产业和企业成长两大领域分别展开了大量研究,得出了一些有价值的研究结论,不过,在中小水产加工企业成长方面的研......
在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox。本体是动态的实体,为了适应新领域的发......
对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Г的Г-典范框架和Г-典范模型,以证明M的框架类......
本文介绍了双主体认知逻辑的语义学,给出了双主体认知逻辑的若干系统。这些系统刻画了寻找交流对象和学习对象的条件。而且证明了这......
本体作为知识库表示知识已经成为计算机理论与应用的研究热点.在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描......
裂变型创业是一种独特的企业创业模式,创业过程与创业企业家的关系极为密切。精选裂变型创业的典型案例,运用扎根理论方法从案例资......
水产加工企业成长方面的研究比较匮乏,理论丰裕度和系统性存在不足。我国海洋经济的快速发展,水产加工企业发展实践的不断演变,为理论......
旅游目的地意象是入境游客对目的地认知的核心内容,也是其对外传播中国形象的主要载体。本文以旅华美国游客为研究对象,以旅游目的......