期刊文献+
共找到32篇文章
< 1 2 >
每页显示 20 50 100
无穷观问题的研究(I)——历史的回顾与思考 被引量:12
1
作者 朱梧 肖奚安 +1 位作者 宋方敏 顾红芳 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第2期101-107,共7页
本组系列论文 (I)~ (V)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与... 本组系列论文 (I)~ (V)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 展开更多
关键词 无穷观 历史回顾 三分法原则 公理集合论
在线阅读 下载PDF
反计算机取证技术研究 被引量:13
2
作者 张有东 王建东 朱梧 《河海大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第1期104-107,共4页
分析了反计算机取证的基本概念和方法,比较了反计算机取证所采用的数据擦除、数据加密、数据隐藏、数据混淆和数据转换等主要技术,并提出了一种安全、高效的基于m序列的数据擦除方法.
关键词 反取证 数据擦除 数据隐藏 数据混淆 数据转换
在线阅读 下载PDF
关于无穷集合概念的不相容性问题的研究 被引量:7
3
作者 朱梧 肖奚安 +1 位作者 杜国平 宫宁生 《南京邮电大学学报(自然科学版)》 2006年第6期36-39,共4页
文中证明古典集合论与近代公理集合论中的任何一个无穷集合都是自相矛盾的非集。
关键词 古典集合论 近代公理集合论 可数无穷集合 不可数无穷集合
在线阅读 下载PDF
无穷观问题的研究(Ⅱ)—从Hausdorff的直觉和Poincaré的名言到Brouwer剧场现象 被引量:3
4
作者 朱梧 肖奚安 +1 位作者 宋方敏 顾红芳 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第3期201-205,共5页
本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限... 本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。 展开更多
关键词 无穷观问题 Brouwer剧场现象 潜无穷 实无穷 公理集合论 自然数系统 对角线方法 直觉主义 数学基础
在线阅读 下载PDF
无穷观问题的研究(Ⅲ)——‘每一’与‘所有’ 被引量:3
5
作者 朱梧 肖奚安 +1 位作者 宋方敏 顾红芳 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第3期206-210,共5页
本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限... 本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。 展开更多
关键词 无穷观问题 '每一’'所有’ 潜无穷 实无穷 公理集合论 自然数系统 对角线方法 直觉主义
在线阅读 下载PDF
集合论-泛逻辑悖论 被引量:4
6
作者 杜国平 王洪光 +1 位作者 李娜 朱梧 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第3期376-379,共4页
对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它... 对于一类n(2≤n≤n)值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统UL1.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论. 展开更多
关键词 概括原则 泛逻辑 不可数无穷值逻辑 悖论
在线阅读 下载PDF
一种模糊关系代数与模糊关系演算 被引量:6
7
作者 毛宇光 朱梧 《南京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第1期1-6,共6页
首先给出了模糊数据库的模糊关系数据模型,它允许属性值和元组具有模糊性。在此基础上,构造了两类不同的模糊数据库查询语言:模糊关系代数和模糊关系演算。它们分别以传统的关系代数或关系演算为基础,引入模糊关系(或谓词)、模糊... 首先给出了模糊数据库的模糊关系数据模型,它允许属性值和元组具有模糊性。在此基础上,构造了两类不同的模糊数据库查询语言:模糊关系代数和模糊关系演算。它们分别以传统的关系代数或关系演算为基础,引入模糊关系(或谓词)、模糊操作(或连接词)和模糊集比较操作。此外,证明了模糊关系代数和模糊关系演算在表达能力上的等价性。模糊关系代数和模糊关系演算既可以作为模糊关系数据模型的理论研究工具,又可作为评价模糊数据库查询语言的准则。 展开更多
关键词 关系代数 模糊关系 模糊数据模型 关系演算
在线阅读 下载PDF
无穷观问题的研究(Ⅳ)——自然数系统与无穷公理 被引量:1
8
作者 朱梧 肖奚安 +2 位作者 宋方敏 顾红芳 宫宁生 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第4期307-311,共5页
本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜... 本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。 展开更多
关键词 无穷观 自然数系统 无穷公理 公理集合论 对角线方法 直觉主义
在线阅读 下载PDF
中介谓词演算系统ME与ME之间的化归算法及其应用 被引量:2
9
作者 张东摩 肖奚安 朱梧 《南京航空航天大学学报》 EI CAS CSCD 1993年第5期575-582,共8页
在经典二值逻辑中,带等词的谓词演算系统F^I与F^(I*)的函词系统等价,在互推关系下这两个系统也等价。然而在中介逻辑中,带筹词的中介谓词演算系统ME与ME~*函词系统不等价。本文定理1指出,在互推关系下,任何ME~*中的公式均可化为ME中的... 在经典二值逻辑中,带等词的谓词演算系统F^I与F^(I*)的函词系统等价,在互推关系下这两个系统也等价。然而在中介逻辑中,带筹词的中介谓词演算系统ME与ME~*函词系统不等价。本文定理1指出,在互推关系下,任何ME~*中的公式均可化为ME中的标准前束范式,因此在互推意义下两系统等价。在中介逻辑中,ME是一个较为特殊的子系统,它具有许多与二值逻辑相类似的性质,本文的结果为将这些性质进一步推广到ME~*上提供了基础。作为两个实例,本文给出了ME~*上的Skolem范式定理及Herbrand定理。本文的结果亦说明,对两个逻辑系统而言,仅仅证明它们在推理关系上等价并不能说明两者具有完全相同的性质。 展开更多
关键词 数理逻辑 逻辑系统 换算 中介逻辑
在线阅读 下载PDF
一种简单有效的基于密度的聚类分析算法 被引量:8
10
作者 陈燕俐 洪龙 +1 位作者 金达文 朱梧 《南京邮电学院学报(自然科学版)》 2005年第4期24-29,共6页
对数据挖掘中基于密度聚类的相关概念和算法进行了讨论,对OPTICS(O rdering Pointers to Iden-tify the C lustering Structure)算法聚类分析的正确性给以了证明。以DBSCAN,OPTICS为基础,提出了一种基于密度的简单有效的聚类算法。新算... 对数据挖掘中基于密度聚类的相关概念和算法进行了讨论,对OPTICS(O rdering Pointers to Iden-tify the C lustering Structure)算法聚类分析的正确性给以了证明。以DBSCAN,OPTICS为基础,提出了一种基于密度的简单有效的聚类算法。新算法主要在ε-邻域查询和种子队列的更新两个方面作了改进,给出了一种简单、效率较高的邻域查询方法-哈希表法,即对整个数据集合或部分数据作网格化处理。测试结果表明新算法能够有效地对大规模数据进行聚类,效率较高。 展开更多
关键词 数据挖掘 聚类 距离 密度 邻域查询
在线阅读 下载PDF
分子生物计算机层次结构及分子计算基本概念的讨论 被引量:2
11
作者 洪龙 朱梧 王建东 《南京邮电大学学报(自然科学版)》 EI 2006年第6期43-47,共5页
分子生物计算是当今世界科学前沿的研究热点。由于分子生物计算领域研究者的兴趣已从验证性的算法阶段开始走向实际应用,所以研究通用分子生物计算机是一件重要且有趣的事。针对报道中频繁出现的分子生物计算机、分子生物计算机的硬件... 分子生物计算是当今世界科学前沿的研究热点。由于分子生物计算领域研究者的兴趣已从验证性的算法阶段开始走向实际应用,所以研究通用分子生物计算机是一件重要且有趣的事。针对报道中频繁出现的分子生物计算机、分子生物计算机的硬件和软件等基本术语,文中继承性地提出了新观点,对这些概念的讨论有益于分子生物计算机的研究与发展。文中还设计了面向不同用户的分子生物计算机逻辑层次结构,并描述了各层的作用和对各类用户的知识要求。该文认为,在分子生物计算机中,至少应有面向用户和面向专家的程序设计语言,并以求解有向Ham ilton路径为例,分别描述了这两种语言的模式。此外,在建立了一种分子生物计算机物理模型之后,还对分子生物计算机结构和组成进行了较详细的讨论。这些工作使研究分子生物计算机,有了不同的方向和途径。 展开更多
关键词 分子计算 层次 模型 分子处理单元
在线阅读 下载PDF
数据挖掘中基于密度的聚类结构及算法设计 被引量:4
12
作者 洪龙 陈燕俐 +1 位作者 王建东 朱梧 《南京邮电学院学报(自然科学版)》 2003年第4期6-11,共6页
聚类分析是数据挖掘的主要技术之一。其中基于密度的聚类可以得到任意形状的聚类结果,从而可以观察到一个并发的、完整的聚类结构。对聚类、数据对象、簇的密度、基于密度的方法和OP TICS中的基本概念进行了描述,在此基础上,明确定义了... 聚类分析是数据挖掘的主要技术之一。其中基于密度的聚类可以得到任意形状的聚类结果,从而可以观察到一个并发的、完整的聚类结构。对聚类、数据对象、簇的密度、基于密度的方法和OP TICS中的基本概念进行了描述,在此基础上,明确定义了簇的密度,建立了关于ζ的基于密度的簇、密度度量函数等概念,并设计了获得聚类结构的相应算法且对其进行了复杂性分析。 展开更多
关键词 数据挖掘 聚类结构 簇密度 数据对象 数据库
在线阅读 下载PDF
一种验证非否认协议的新方法 被引量:2
13
作者 周勇 朱梧 《电子与信息学报》 EI CSCD 北大核心 2007年第10期2493-2497,共5页
为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制。提出了安全协议验证的新方法,主要特点是:可以直接对协议的动态运行过程进行推理;推理具有非单调性;避免过多的理想化假设;... 为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制。提出了安全协议验证的新方法,主要特点是:可以直接对协议的动态运行过程进行推理;推理具有非单调性;避免过多的理想化假设;可以分析含有多个子协议的非否认协议,以及协议的可追究性和公平性。文中以一种基于离线TTP方式的非否认协议为例,验证了该协议在运行一次时具有可追究性,但多次运行时存在攻击。 展开更多
关键词 非否认协议 KAILAR逻辑 协议验证
在线阅读 下载PDF
80486极小指令集及其构造性证明 被引量:1
14
作者 洪龙 陈燕俐 朱梧 《南京邮电大学学报(自然科学版)》 EI 2006年第4期57-64,共8页
指令集是计算机系统结构的重要研究内容之一,众多学者对指令完全性进行了描述,但至今未见极小指令集的报道。在文中,寻找既具有基本功能,又无法由其它指令编程实现的计算机基本指令,研究计算机现有的最基本的计算行为。提出了指令的功... 指令集是计算机系统结构的重要研究内容之一,众多学者对指令完全性进行了描述,但至今未见极小指令集的报道。在文中,寻找既具有基本功能,又无法由其它指令编程实现的计算机基本指令,研究计算机现有的最基本的计算行为。提出了指令的功能完全性和独立性概念,并在此基础上定义了极小指令集,这为计算机指令集的优化设计建立了理论基础。还从Intel 80486指令集中选定了一个子集I9,并构造性地证明了I9是IA-32处理器指令集的极小指令集。 展开更多
关键词 极小指令集 功能完全性 独立性
在线阅读 下载PDF
Hamilton圈问题的DNA算法 被引量:1
15
作者 洪龙 朱梧 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2006年第2期222-226,共5页
基于目前可以使用的DNA实验技术并采用试管与表面相结合的方式,设计了解决H am ilton圈问题的DNA算法;详细地介绍了对图的顶点和边的分子编码;描述了算法的生物化学实现过程。由于采用了有控的部分穷举策略,因而既提高了解的可靠性,又... 基于目前可以使用的DNA实验技术并采用试管与表面相结合的方式,设计了解决H am ilton圈问题的DNA算法;详细地介绍了对图的顶点和边的分子编码;描述了算法的生物化学实现过程。由于采用了有控的部分穷举策略,因而既提高了解的可靠性,又抑制了大量伪解的产生。最后,讨论了算法的性能特点并指出进一步的研究方向。 展开更多
关键词 DNA计算 HAMILTON圈 表面方式 试管方式
在线阅读 下载PDF
复合型安全协议及其验证 被引量:1
16
作者 周勇 朱梧 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2006年第6期697-701,共5页
根据可信第三方(Trusted third part,TTP)参与通信的方式,安全协议可以分为在线TTP型和离线TTP型两类。分析了两类协议的优缺点,提出了一种复合型安全协议,在同一协议中结合了两种方式,方式的选择由消息发送方和接收方共同决定。该协议... 根据可信第三方(Trusted third part,TTP)参与通信的方式,安全协议可以分为在线TTP型和离线TTP型两类。分析了两类协议的优缺点,提出了一种复合型安全协议,在同一协议中结合了两种方式,方式的选择由消息发送方和接收方共同决定。该协议由4条规则组成。为了描述协议的动态运行过程,对SVO逻辑系统进行了扩充,增加了3条公理,用于刻划消息接收者的不可否认性。基于扩充后的SVO逻辑系统对复合型安全协议进行了形式化描述,证明了该协议具有不可否认性。 展开更多
关键词 复合型安全协议 协议认证 不可否认性
在线阅读 下载PDF
直觉主义的数学观与计算机科学 被引量:1
17
作者 洪龙 朱梧 《南京邮电学院学报(自然科学版)》 2002年第2期32-35,70,共5页
剖析了直觉主义学派的数学观、无穷观和逻辑观 ,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点 ,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响。
关键词 直觉主义 数学观 计算机科学 构造性 无穷观 逻辑观
在线阅读 下载PDF
无穷观问题的研究(Ⅴ)——一个兼容实无限与潜无限的公理集合论系统APAS
18
作者 肖奚安 宋方敏 +2 位作者 顾红芳 宫宁生 朱梧 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第4期312-317,共6页
本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限... 本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。 展开更多
关键词 无穷观 实无限 潜无限 公理集合论系统 APAS
在线阅读 下载PDF
双重代码记忆功能的模拟探讨
19
作者 陈松灿 朱梧 +2 位作者 肖奚安 王建东 张东摩 《数学物理学报(A辑)》 CSCD 北大核心 1996年第2期210-213,共4页
Paivio认为人类具有两个相互联系的记忆系统,它们相互独立,相互联系,却相互激活.这两个系统分别通过表达联结,指称联结加以沟通,本文试图利用这一理论,借助神经网络和物理符号系统基础上,进一步开展形象思维和逻辑思维与... Paivio认为人类具有两个相互联系的记忆系统,它们相互独立,相互联系,却相互激活.这两个系统分别通过表达联结,指称联结加以沟通,本文试图利用这一理论,借助神经网络和物理符号系统基础上,进一步开展形象思维和逻辑思维与记忆之间的关系模拟的研究. 展开更多
关键词 形象思维 逻辑思维 神经网络 双重代码记忆 模拟
在线阅读 下载PDF
数学直觉形象思维的应有地位及其计算机模拟问题
20
作者 朱梧 肖奚安 +2 位作者 王建东 陈松灿 张东摩 《数学物理学报(A辑)》 CSCD 北大核心 1996年第S1期77-87,共11页
本文从数学形象思维的层次性和低估形象思维之重要作用的现状与背景等几个方面,阐明形象思维在处理实际问题时的重要作用.然后又从数学方法论的几种典型方法出发,讨论数学发现的计算机模拟问题.并在机器发现之简单回顾的基础上,对... 本文从数学形象思维的层次性和低估形象思维之重要作用的现状与背景等几个方面,阐明形象思维在处理实际问题时的重要作用.然后又从数学方法论的几种典型方法出发,讨论数学发现的计算机模拟问题.并在机器发现之简单回顾的基础上,对上述计算机模拟问题的研究方法提出一些看法,并指出其研究目的与意义. 展开更多
关键词 形象思维 逻辑思维 数学方法论 计算机模拟
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部