南京大学学报(数学半年刊)2007年第2期出版文献-钛学术文献服务平台

文献导航

检索期刊

钛学术文献服务平台 \
学术期刊 \
基础科学期刊 \
大学学报期刊 \
南京大学学报(数学半年刊)期刊 >
南京大学学报(数学半年刊)2007年第2期出版文献

出版文献量（篇）

613

总下载数（次）

总被引数（次）

832

南京大学学报(数学半年刊)

投稿

Journal of Nanjing University Mathematical Biquarterly

CSTPCD

本刊是由南京大学主办，数学系承办的一份面向国内外发行的数学学术期刊。主要刊登数学各分支学科的最新科研成果和研究论文。读者对象为大学数学老师、数学研究工作者、数学爱好者、研究生和高年级学生以及其他方面的研究人员。

主办单位：

南京大学

ISSN：

0469-5097

CN：

32-1169/N

出版周期：

半年刊

邮编：

210093

地址：

南京大学数学系内

出版文献量（篇）

613

总下载数（次）

总被引数（次）

832

文章浏览

热门刊内文献

年度刊次

1. 整合非单调推理及时态推理

作者：沈榆平赵希顺

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 187-203

摘要：在本文中我们提出一种整合的推理模式 ASPx,它同时支持非单调推理及时态约束推理.本文展示了它的语法,语义及复杂性分析.除此以外,我们详细研究了它的一个实例化的框架 ASP(DCR),并举例...
2. 完全分叉树理论可量词消去的新证明

作者：傅莺莺吴茂念沈复兴

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 204-212

摘要：利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)- 叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明.
3. 一些5次数环的具有Goldbach性质的扩环

作者：别荣芳王世强

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 213-221

摘要：用数论和模型论方法证明了:对于很多5次代数整数环,存在着具有 Goldbach 性质的扩环.
4. 模态描述逻辑的模型

作者：余泉王驹

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 222-237

摘要：本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC 的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质.
5. 完全二叉树理论的可数模型及其胞腔性

作者：王世琪

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 238-243

摘要：本文将在逻辑Lω1,ω中把完全二叉树理论的可数模型刻画到同构并给出它们的 Scott 语句具体形式.证明了完全二叉树理论的可数模型的胞腔性质.
6. 完备型序列及其应用

作者：李永强童雪

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 244-248

摘要：本文定义了完备型序列,讨论了完备型序列的一些性质.作为其应用,我们给出了素模型存在定理的另一种证明.
7. D-逻辑度量空间与近似推理

作者：惠小静王国俊

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 249-257

摘要：通过随机化赋值集的方法,在二值逻辑中提出了公式的 D- 随机真度概念,证明了全体公式的 D-随机真度之集在[0,1]中没有孤立点;提出了 D- 逻辑伪距离和 D- 逻辑度量空间,证明了该空间...
8. Lambek逻辑的名词化扩充

作者：聂文龙

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 258-263

摘要：出于语言学的动机,给出著名的 Lambek 逻辑 L 的一个扩充 Lnom.在Lnom中,引入名词化的公理与规则.系统Lnom关于修正幂集剩余半群语义是可靠和完全的.
9. 带非紧测度的Banach空间中半线性非局部微分方程

作者：薛星美

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 264-276

摘要：本文讨论了可分 Banach 空间中具有非局部初值条件的半线性微分方程在 Hausdorff 非紧测度条件下广义解的存在性.
10. 广义Frame的谱空间

作者：刘菡贺伟

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 277-293

摘要：本文在frame的范畴形式推广--广义frame上引进点、素元与谱空间的概念,并且证明任意广义frame都是完备、余完备的Cartesian闭范畴.进而说明一个广义frame上全体点与该广义...
11. 一类高维Laplace方程的拟周期解

作者：牛华伟

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 294-309

摘要：本文利用 KAM 理论,证明了一类带有常位势 m(m>2) 以及 Fourier 乘子Mζ的高维Laplace 方程△u+(m+Mζ)u+u3=0,在周期边值条件下拟周期解的存在性.
12. 多维递增风险率的两个定义

作者：张建玲

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 310-314

摘要：递增风险率函数在可靠性理论中有广泛的应用,对于一元递增风险率函数已经有了很多的研究,但对多元递增风险率函数的研究还比较少,并且它没有一个统一的定义,本文给出它常见的两种不同的定义,并说明它们...
13. 关于n-余挠模

作者：张世唯

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 315-325

摘要：设 R 为环,M 为右 R 模,n是一个给定的非负整数.若对任意平坦右R模 N 都有Ext n+1 R (N, M) = 0则称M 为 n-余挠模.若对任意n-余挠右R-模 N都有 Ext1...
14. Littlewood-Paley算子的多线性交换子在Herz型Hardy空间上的有界性

作者：束立生肖丹

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 326-334

摘要：本文研究了 Littlewood-Paley 算子的多线性交换子在Herz 型 Hardy空间上的性质,利用原子分解得到了它们在某些条件下在Herz 型 Hardy空间上的有界性.
15. 具复特征值奇点的空间系统同宿环的稳定性

作者：张宝善秦大康

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 335-343

摘要：空间同宿环的稳定性的结果不多,尤其对于空间中含有复特征值的奇点的同宿环的稳定的结果更少见到.本文在可定义回复映射的条件下给出了含有复特征值奇点的同宿环在其部分邻域中是渐近稳定的判据,这些结果...
16. 求解P0矩阵线性互补问题的区间迭代算法

作者：曹德欣芮文娟郑子宁

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 344-350

摘要：本文对P0矩阵线性互补问题提出了求解的区间迭代算法,证明了算法的收敛性,通过数值实验说明该算法的有效性.
17. 可换环上辛群中对角子群在标准Borel子群中的扩群

作者：王春花王登银赵延霞

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 351-362

摘要：本文完全决定了含幺可换环上辛群中对角子群在标准Borel子群中的扩群.
18. 时滞Hopfield神经网络的稳定性研究

作者：刘文斌张燕张田

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 363-375

摘要：本文讨论了具有离散时滞和具有连续分布时滞的Hopfield 神经网络微分系统平衡点的全局渐近稳定性.去掉了有关文献中关于fi在R上有界性,可微性的条件,给出了更弱、实用性较强的判定平衡点的存...
19. 非线性l1问题的区间调节熵算法

作者：李苏北

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 376-385

摘要：本文证明了非线性 l1问题调节熵函数的相关性质,将调节熵函数和区间分析相结合,构造了非线性l1问题的区间调节熵算法,讨论了调节熵函数的区间扩张及其收敛阶,证明了算法的收敛性,给出了数值算例....
20. 三个小悖论

作者：王世强

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 386

摘要：
21. 王世强先生简介

作者：别荣芳沈复兴

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 插3

摘要：
22. 莫绍揆先生简介

作者：丁德成

刊名：南京大学学报(数学半年刊)

发表期刊： 2007年2期

页码: 插1

摘要：

南京大学学报(数学半年刊)基本信息

刊名	南京大学学报(数学半年刊)	主编	周伯埙
曾用名
主办单位	南京大学	主管单位	中华人民共和国教育部
出版周期	半年刊	语种	chi
ISSN	0469-5097	CN	32-1169/N
邮编	210093	电子邮箱	zjw@nju.edu.cn
电话	025-83593684	网址
地址	南京大学数学系内