湖南省科技计划项目(2011FJ6029)

作品数：2被引量：1H指数：1
导出分析报告
相关作者：许友军肖翠娥赵专政印俊更多>>
相关机构：湖南城市学院南华大学中南大学更多>>
相关期刊：《理论数学》《计算机工程与应用》更多>>
相关主题：存在性唯一性抛物型方程弱解查询更多>>
相关领域：理学自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
带逆角色的认知描述逻辑研究
《计算机工程与应用》2013年第20期29-33,166,共6页赵专政 印俊 
湖南省科技厅计划项目(No.2011FJ6029)
针对认知角色不能表达个体间双向关系的问题,在描述逻辑ALCK中加入逆角色得到ALCIK,以扩充其表达能力,在能够捕获最小知识和实现自省推理的同时可以更加方便地对实际问题建模,给出了ALCIK的语法和语义,并且在Tbox为空集,Abox中无K算子...
关键词：认知角色 逆角色 K算子 查询表算法 复杂度 
抛物型方程的反系数问题研究被引量：1
《理论数学》2011年第2期144-148,共5页肖翠娥 许友军 
湖南省教育厅科研基金资助项目(09C852);湖南省科学技术厅科技计划资助项目(2011FJ6029)。
研究了一类抛物型方程的反系数问题,利用变分方法获得了方程弱解的存在性与唯一性,利用Schauder不动点定理得到了反系数问题解的存在性。
关键词：抛物型方程 反系数问题 弱解 存在性 唯一性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部