期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于广义量词理论的亚氏三段论 被引量:11
1
作者 张晓君 黄朝阳 《重庆理工大学学报(社会科学)》 CAS 2012年第10期7-11,共5页
揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从亚氏量词的语义性质,比如单调性、对称性可以说明亚氏三段论的有效性。亚氏三段论的可化归性反映了亚氏... 揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从亚氏量词的语义性质,比如单调性、对称性可以说明亚氏三段论的有效性。亚氏三段论的可化归性反映了亚氏量词与其三种否定量词的语义性质(比如单调性)之间的可转换性。 展开更多
关键词 亚氏三段论 广义量词理论 广义量词 单调性 对称性
下载PDF
基于单调系统理论的复杂生理节律模型的稳定性分析 被引量:1
2
作者 闫丙伦 徐振源 《江南大学学报(自然科学版)》 CAS 2007年第5期619-624,共6页
基于单调系统理论的复杂生理节律模型的稳定性分析,主要是通过对果蝇的生理节律模型——per和tim两种蛋白质的周期震荡,进行了分析,根据该模型的输入输出特性,给出了该模型的单调性的数学证明,同时根据该模型的单调性定理的证明,得到了... 基于单调系统理论的复杂生理节律模型的稳定性分析,主要是通过对果蝇的生理节律模型——per和tim两种蛋白质的周期震荡,进行了分析,根据该模型的输入输出特性,给出了该模型的单调性的数学证明,同时根据该模型的单调性定理的证明,得到了该类系统的全局渐近稳定性条件,通过仿真实验验证了这一结论. 展开更多
关键词 生理节律模型 单调性 全局渐近稳定
下载PDF
ITERATIVE CONSTRUCTION OF FIXED POINTS FOR MULTIVALUED OPERATORS OF THE MONOTONE TYPE IN UNIFORMLY SMOOTH BANACH SPACES
3
作者 邓磊 丁协平 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 1994年第10期897-902,共6页
The fixed points of set-valued operators satisfying a condition of monotonicitytype in s-uniformly smooth Banach spaces are approximated by recursive averagingprocess in the present paper.
关键词 multivalued operator. monotonc type. uniformly smooth Banachspace
下载PDF
一类集值映射变分不等式及在凸规划中应用
4
作者 丁祖宪 《电子科技大学学报》 EI CAS CSCD 北大核心 1989年第5期451-455,共5页
给定弱连续映射 f:X■X~-*,h:X■R 是下半连续正齐次凸泛函.本文在自反空间中给定 f 某种条件下,得出形如 f(x)+(?)h(x)映射变分不等式与补问题解的存在定理,并在数学规划中得到应用.
关键词 变分不等式 凸规划 集值映射
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部