国家自然科学基金(60273037)
- 作品数：8 被引量：108H指数：4
- 相关作者：洪龙朱梧槚肖奚安王建东陈燕俐更多>>
- 相关机构：南京航空航天大学南京邮电大学解放军理工大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学冶金工程更多>>
- 基于Gdel配数的程序结构研究
- 2005年
- 用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件。讨论的结果表明用G del配数研究程序设计理论是一种行之有效的方法。最后,提出了进一步研究的目标。
- 洪龙李爱群朱梧槚
- 关键词：指令集结构化程序设计
- 80486极小指令集及其构造性证明被引量：1
- 2006年
- 指令集是计算机系统结构的重要研究内容之一,众多学者对指令完全性进行了描述,但至今未见极小指令集的报道。在文中,寻找既具有基本功能,又无法由其它指令编程实现的计算机基本指令,研究计算机现有的最基本的计算行为。提出了指令的功能完全性和独立性概念,并在此基础上定义了极小指令集,这为计算机指令集的优化设计建立了理论基础。还从Intel 80486指令集中选定了一个子集I9,并构造性地证明了I9是IA-32处理器指令集的极小指令集。
- 洪龙陈燕俐朱梧槚
- 关键词：独立性
- 分子生物计算机层次结构及分子计算基本概念的讨论被引量：2
- 2006年
- 分子生物计算是当今世界科学前沿的研究热点。由于分子生物计算领域研究者的兴趣已从验证性的算法阶段开始走向实际应用,所以研究通用分子生物计算机是一件重要且有趣的事。针对报道中频繁出现的分子生物计算机、分子生物计算机的硬件和软件等基本术语,文中继承性地提出了新观点,对这些概念的讨论有益于分子生物计算机的研究与发展。文中还设计了面向不同用户的分子生物计算机逻辑层次结构,并描述了各层的作用和对各类用户的知识要求。该文认为,在分子生物计算机中,至少应有面向用户和面向专家的程序设计语言,并以求解有向Ham ilton路径为例,分别描述了这两种语言的模式。此外,在建立了一种分子生物计算机物理模型之后,还对分子生物计算机结构和组成进行了较详细的讨论。这些工作使研究分子生物计算机,有了不同的方向和途径。
- 洪龙朱梧槚王建东
- 关键词：分子计算
- 中介真值程度的度量及其应用(I)被引量：83
- 2006年
- 以中介数学系统为背景,为处理工程实践和科学研究中普遍存在的模糊现象提供一种度量逻辑真值程度的方法.在建立了谓词的ε标准度概念后,描述了对一般应用的数值区域与对应谓词的真值之间的关系;采用距离概念,并以对应谓词真值的数值区域的长度为基准,定义了距离比率函数及距离比率的特殊变换,并由此建立了一维情形下个体真值程度函数.又在提出关于n维情形的分支谓词、幂集逆映射和标准度向量概念后,描述了真值程度和函数、极值分支函数等n维情形的应用形式.应用示例表明:由于提出超态概念,所以理论上能把真值程度域从[0,1]拓宽到(-∞,+∞);真值程度函数的定义具有计算机可以处理的定量形式且具有客观性和普适性的特点.因此,真值程度的度量将在涉及模糊现象的领域得到有效的应用.
- 洪龙肖奚安朱梧槚
- 数据挖掘中基于密度的聚类结构及算法设计被引量：8
- 2003年
- 聚类分析是数据挖掘的主要技术之一。其中基于密度的聚类可以得到任意形状的聚类结果,从而可以观察到一个并发的、完整的聚类结构。对聚类、数据对象、簇的密度、基于密度的方法和OP TICS中的基本概念进行了描述,在此基础上,明确定义了簇的密度,建立了关于ζ的基于密度的簇、密度度量函数等概念,并设计了获得聚类结构的相应算法且对其进行了复杂性分析。
- 洪龙陈燕俐王建东朱梧槚
- 关键词：数据挖掘数据对象数据库
- 基于分布式系统概念的分布式数据仓库被引量：12
- 2004年
- 以分布式系统的概念,描述了以主题分布为特点的分布式数据仓库,建立了节点主题处理原则,论述了此种分布式数据仓库的特点,并与Inmon先生描述的分布式数据仓库进行了特征比较。此外,还简要地分析了节点仓库与数据集市的异同,构建分布式数据仓库的方法与费用,从而指出分布式数据仓库应用的乐观前景。
- 洪龙周宁宁朱梧槚
- 关键词：分布式数据仓库分布式系统数据集市
- 中介逻辑与中介公理集合论的综述被引量：3
- 2008年
- 以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响。文中主要从下面3个方面论述:中介数学系统的研究背景;中介数学系统的基本内容及其与经典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见。此外,还展望了中介数学系统的应用前景。
- 洪龙周宁宁
- 关键词：逻辑公理集合论
- 中介真值程度的度量及其应用(Ⅱ)被引量：37
- 2007年
- 结合中介逻辑中的模糊否定词和真值程度词的语义,论述了研究中介真值程度的度量对于应用的必要性;在对个体研究的基础之上,从离散型和连续型两个方面讨论了集合的真值程度的度量;在建立中介标准度后,提出模糊程度概念,提出中介熵定义,并讨论了中介熵的最大值.针对反对对立强调两个概念之间存在"最大的差异",提出弱化"两极",突出"过渡"的观点.在对过渡与对立进行了一般性讨论后,建立了标准数值化映射和广义数值化映射概念,构造性地证明了过渡情形能转换为反对对立情形的充分条件.这表明在处理工程实践和科学研究中的模糊现象时,可以把所有存在过渡的情形作为反对对立处理,从而使中介真值程度的度量可以在更加广阔的领域得到应用.
- 洪龙肖奚安朱梧槚
