您的位置: 专家智库 > >

文献类型

  • 4篇中文期刊文章

领域

  • 4篇理学

主题

  • 2篇非线性
  • 1篇调律
  • 1篇动点
  • 1篇英文
  • 1篇中介逻辑
  • 1篇数理逻辑
  • 1篇算子
  • 1篇逻辑
  • 1篇命题演算
  • 1篇环域
  • 1篇归纳逻辑
  • 1篇反应扩散方程
  • 1篇反应扩散模型
  • 1篇范式
  • 1篇概率逻辑
  • 1篇边值
  • 1篇边值问题
  • 1篇MP
  • 1篇不动点
  • 1篇参数识别

机构

  • 2篇南京大学
  • 2篇空军气象学院
  • 1篇南京航空航天...
  • 1篇北京航空航天...
  • 1篇南京通信工程...
  • 1篇中国人民解放...

作者

  • 4篇顾红芳
  • 2篇江成顺
  • 2篇肖奚安
  • 1篇毛峥
  • 1篇朱梧槚
  • 1篇姚楠

传媒

  • 1篇南京航空航天...
  • 1篇河南科学
  • 1篇纺织高校基础...
  • 1篇Transa...

年份

  • 1篇1999
  • 1篇1998
  • 1篇1995
  • 1篇1994
4 条 记 录,以下是 1-4
排序方式:
一类反应扩散模型的参数识别
1994年
利用不动点原理讨论一类非线性反应扩散模型的未知扩散系数和未知反应度的识别问题。
江成顺顾红芳
关键词:非线性反应扩散模型不动点参数识别
基于合理后承关系的δ推理算子(英文)
1999年
基于合理后承关系构造的δ推理算子是合理后承关系的又一表示形式,通过对这一δ推理算子性质的讨论,可以知道合理后承关系是一个满足包含律、单调律、有限累积律的推理关系。δ推理算子的提出,提供了一条新的研究归纳逻辑和概率逻辑的方法。
顾红芳毛峥肖奚安
关键词:归纳逻辑概率逻辑
MP*中的等值完全析取范式
1998年
讨论中介逻辑命题演算扩张系统MP*中在等值(|=|)意义下的完全析取范式的存在性和唯一性。引入MP*中等值全析范式的概念,并用分步构造法证明这种范式在等值意义下是存在的,且是唯一的。该范式分为三个部分,即真值项、清晰项和矛盾项,它能够反映合式公式的本质特征及取值分布情况,为规范化研究该系统中的合式公式提供了一种工具,较理想地解决了MP*中的析取范式问题。另外,本文还证明了一个等值公式,把真值程度词在等值的意义下用含清晰化算符的公式表示,扩充了MP*的形式推理规则。
姚楠顾红芳肖奚安朱梧槚
关键词:数理逻辑命题演算中介逻辑范式
环域上一类非线性反应扩散模型
1995年
证明环形域上一类带有非线性边使条件的非线性反应扩散方程初边值问题古典解的存在唯一性.
顾红芳江成顺
关键词:反应扩散方程初边值问题非线性环域
共1页<1>
聚类工具0