湖南省科技计划项目(2011FJ6029)
- 作品数：2 被引量：1H指数：1
- 相关作者：许友军肖翠娥赵专政印俊更多>>
- 相关机构：湖南城市学院南华大学中南大学更多>>
- 发文基金：湖南省科技计划项目湖南省教育厅科研基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 抛物型方程的反系数问题研究被引量：1
- 2011年
- 研究了一类抛物型方程的反系数问题,利用变分方法获得了方程弱解的存在性与唯一性,利用Schauder不动点定理得到了反系数问题解的存在性。
- 肖翠娥许友军
- 关键词：抛物型方程弱解存在性唯一性
- 带逆角色的认知描述逻辑研究
- 2013年
- 针对认知角色不能表达个体间双向关系的问题,在描述逻辑ALCK中加入逆角色得到ALCIK,以扩充其表达能力,在能够捕获最小知识和实现自省推理的同时可以更加方便地对实际问题建模,给出了ALCIK的语法和语义,并且在Tbox为空集,Abox中无K算子的情况下,设计了ALCIK概念的查询表算法,根据概念结构归纳证明了表算法的可靠性和完备性,并且一定会停机,最后讨论了复杂度。理论分析表明,此时认知查询问题是可判定的,并且计算复杂度为PSpace-hard。
- 赵专政印俊
- 关键词：K算子复杂度
