论文部分内容阅读
针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统K2的可靠性定理与完备性定理,并结合水文信息给出这种大数据知识表示应用实例。
基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用
【摘 要】
：
针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关
【机 构】
：
南昌工程学院信息工程学院
【出 处】
：
南昌工程学院学报
【发表日期】
：
2019年3期
【基金项目】
：
江西省科技厅项目(20161BBE50051,20161BBE50050),江西省教育厅科学技术研究项目(GJJ161109,GJJ151126),国家自然基金资助项目(61363047,61562061).
其他文献
为筛选出适合农五师八十四团垦区灌溉条件下种植的优质紫花苜蓿，挑选6种紫花苜蓿进行种植适应性比较。结果显示：WL323的产量和干物质含量均最高，且抗寒性也最好，但品质一般；阿尔岗
农村能源建设现状 到1995年,全区农村能源消费量近2120.2万吨标准煤,比80年代末增加了一倍以上。农村商品能源消费以年平均3％的速度递增,目前已占全区总量的8％,但农村人均能源
五福宝顶水源林保护区位于全州县与资源县的交界处,包括全州县才湾乡的新村、五福、驿马3个村,总面积85.67km~2。1982年经广西人民政府批准,1984年建立保护站。主要保护对象
为加快我区林业直属企业、国有林场的改革步伐,优化企业管理,实现扭亏增盈,增强林业经济实力和后劲,1996年9月18～21日,区林业厅召开了区直林业企业、林场改革工作座谈会。会上
【正】 信息社会的基本特征为:(1)在信息社会里绝大多数人从事的是信息知识的生产与管理工作,诸如计算机程序员、教员、职员、秘书、会计、经理、律师、保险业人员、银行业人
将渭河流域划分为0.5°×0.5°网格,应用VIC模型计算每个网格土体日含水量变化,以10a为单位,分析研究区土体含水率的时空分布。结果表明,渭河流域土体含水率从19
35年前的8月,你捧一束金黄色的桂花,送给高中毕业回乡的我,带来芳香一片,我俩沉浸在无比温馨和欢乐之中……
为了深入认识南昌参考作物蒸散量（ET0）的时间变化特征,采用FAO推荐的Penman-Monteith公式计算南昌1961—2015年逐日ET0,并用Mann-Kendall趋势检验和突变检验法分析南昌ET0时间