基于圆壳区域伸缩的空间知识表示     

聂登国  王勇红  康旺强 《毕节学院学报》2011,29(8):5-11

区域连接演算RCC(region connection calculs)是定性空间推理的重要理论之一,但由于缺乏必要的定量工具,RCC只能描述空间拓扑关系,而不能描述距离、方向等其他空间关系。在RCC理论的基础上,引入区域圆壳概念对区域伸缩加以度量,得出一种以区域为单位的形式化度量方法,来描述区域间的距离关系、方向关系,从而增强RCC的空间关系表示能力,拓展了RCC理论的适用范围。  相似文献   

多元函数介值定理的推广     

康旺强 《科教文汇》2014,(4):42-43,52

介值定理是数学分析的一个重要定理,对研究函数方程根的存在性、不动点和积分中值定理等问题起到重要作用。在多元函数中推广介值定理,并且将只有第一类间断点的函数的介值定理推广运用到积分中值定理中,推广了文[4]的结论。  相似文献   

多元函数介值定理的推广     

康旺强 《科教文汇》2014,(12):42-43,52

介值定理是数学分析的一个重要定理,对研究函数方程根的存在性、不动点和积分中值定理等问题起到重要作用。在多元函数中推广介值定理,并且将只有第一类间断点的函数的介值定理推广运用到积分中值定理中,推广了文[4]的结论。  相似文献