检索结果-内蒙古大学图书馆

无穷观问题的研究(Ⅱ)—从Hausdorff的直觉和Poincaré的名言到Brouwer剧场现象

南京航空航天大学学报 2002年第3期34卷 201-205页

作者：朱梧槚肖奚安宋方敏顾红芳南京航空航天大学信息科学与技术学院南京210016 中国人民解放军理工大学理学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限... 详细信息

本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。

关键词：无穷观问题 Brouwer剧场现象潜无穷实无穷公理集合论自然数系统对角线方法直觉主义数学基础

来源：评论

学校读者我要写书评

暂无评论

无穷观问题的研究(Ⅲ)——‘每一’与‘所有’

引用

南京航空航天大学学报 2002年第3期34卷 206-210页

关键词：无穷观问题 '每一’'所有’ 潜无穷实无穷公理集合论自然数系统对角线方法直觉主义

来源：评论

学校读者我要写书评

暂无评论

用于不完全信息数据库的多值逻辑研究

用于不完全信息数据库的多值逻辑研究

引用

2002年全国理论计算机科学学术年会

作者：毛宇光徐洁磐朱梧槚南京航空航天大学信息科学与技术学院(南京) 南京大学计算机软件新技术国家重点实验室(南京) 南京大学计算机软件新技术国家重点实验室(南京)

本文详细讨论了多值逻辑的发展、SQL语言处理空值存在的问题,以及三值逻辑谓词演算系统MF的应用,该系统是一种比较适合SQL语言语义的三值谓词逻辑系统.

本文详细讨论了多值逻辑的发展、SQL语言处理空值存在的问题,以及三值逻辑谓词演算系统MF<'M>的应用,该系统是一种比较适合SQL语言语义的三值谓词逻辑系统.

关键词：不完全信息数据库多值逻辑三值逻辑空值 MF系统

来源：评论

学校读者我要写书评

暂无评论

无穷观问题的研究(Ⅴ)——一个兼容实无限与潜无限的公理集合论系统APAS

引用

南京航空航天大学学报 2002年第4期34卷 312-317页

作者：肖奚安宋方敏顾红芳宫宁生朱梧槚中国人民解放军理工大学理学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 南京工业大学信息科学与工程学院南京210093 南京航空航天大学信息科学与技术学院南京210016

关键词：无穷观实无限潜无限公理集合论系统 APAS

来源：评论

学校读者我要写书评

暂无评论

无穷观问题的研究(Ⅳ)——自然数系统与无穷公理

引用

南京航空航天大学学报 2002年第4期34卷 307-311页

作者：朱梧槚肖奚安宋方敏顾红芳宫宁生南京航空航天大学信息科学与技术学院南京210016 中国人民解放军理工大学理学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093 南京工业大学信息科学与工程学院南京210009

本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜... 详细信息

本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。

关键词：无穷观自然数系统无穷公理公理集合论对角线方法直觉主义

来源：评论

学校读者我要写书评

暂无评论

实时分布式协同工作环境的研究与开发

实时分布式协同工作环境的研究与开发

引用

企业信息化高级论坛暨全国第12届CAD/CG学术会议

作者：毛启容李继东詹永照江苏大学计算机科学与通信工程学院(镇江) 江苏大学计算机科学与通信工程学院(镇江) 南京大学计算机软件新技术国家重点实验室(南京)

本文以实时、分布式为重点,介绍了实时分布式协同工作环境的总体结构,着重介绍了基于相对位置的乐观锁机制的并发控制策略和协同感知技术,其中对实现实时音视频感知的控件技术也进行了介绍.

关键词：实时分布式协同工作环境乐观锁机制协同感知技术音视频控件

来源：评论

学校读者我要写书评

暂无评论

神经网络在汇率预测上的应用

神经网络在汇率预测上的应用

引用

第十九届全国数据库学术会议

作者：张志政毛宇光韩波邬丽云南京航空航天大学信息科学与技术学院南京大学计算机软件新技术国家重点实验室

1引言汇率在国际金融市场上扮演着重要的角色,金融部门和个人进行外汇交易可以获得高额利润的关键是对汇率走势的正确把握。汇率波动受到政治、经济、心理等多种因素的影响,而且经济指标常常复杂多变、带有噪音,所有这些使得用经典数学... 详细信息

1引言汇率在国际金融市场上扮演着重要的角色,金融部门和个人进行外汇交易可以获得高额利润的关键是对汇率走势的正确把握。汇率波动受到政治、经济、心理等多种因素的影响,而且经济指标常常复杂多变、带有噪音,所有这些使得用经典数学方法很难

关键词： Artificial neural network Learning algorithm Back propagated network

来源：评论

学校读者我要写书评

暂无评论

一种基于三值逻辑的关系演算

一种基于三值逻辑的关系演算

引用

第十九届全国数据库学术会议

作者：毛宇光徐洁磐韩波南京大学计算机软件新技术国家重点实验室南京航空航天大学信息科学与技术学院南京航空航天大学计算机科学研究所

1引言不完全信息数据库是数据库理论的一个重要研究方向。现实世界中不完全信息是普遍存在的。数据库是对客观世界的模拟,必须考虑不完全信息的处理。关系数据库中一般采用空值来表示不完全信息,由于空值的存在,比较运算和逻辑运算的结... 详细信息

1引言不完全信息数据库是数据库理论的一个重要研究方向。现实世界中不完全信息是普遍存在的。数据库是对客观世界的模拟,必须考虑不完全信息的处理。关系数据库中一般采用空值来表示不完全信息,由于空值的存在,比较运算和逻辑运算的结果可能为真(T)、假(F)和未知(U)三个值,经典的以二值逻辑为基础的关系数据库理论难以适应这种情况。为适应不完全信息的处理,基于二值逻辑的关系演算必须扩充。本文在三值谓词演算系统

关键词： Incomplete information Three-valued logic Null Relational calculus

来源：评论

学校读者我要写书评

暂无评论

TV-Anytime服务器网络中一个映射问题的启发式算法

引用

计算机学报 2001年第10期24卷 1009-1017页

作者：杜鹏周笑波谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

介绍了一个称为 TV - Anytim e的新型宽带媒体服务 ,提出了一个基于层次型服务器网络之上的大规模TV- Anytime系统模型 .着重地研究了其中一个关键问题——服务器网络的影像对象映射问题 ,并形式化地将其定义为一个组合优化问题 .基于... 详细信息

介绍了一个称为 TV - Anytim e的新型宽带媒体服务 ,提出了一个基于层次型服务器网络之上的大规模TV- Anytime系统模型 .着重地研究了其中一个关键问题——服务器网络的影像对象映射问题 ,并形式化地将其定义为一个组合优化问题 .基于服务器网络的总存储容量、连接服务器结点之间的主干网通信带宽、用户的服务请求模式 ,来考虑尽大化服务器网络可提供的总服务质量 .给出了基于模拟退火的启发式算法集 ,并基于一套映射问题的基准集实例对算法进行了模拟和性能分析 .算法得到近似最优的方案 .

关键词： TV-Anytime 影像对象映射编码比特率层次型服务器网络启发式算法

来源：评论

学校读者我要写书评

暂无评论

单向ad-hoc移动网络路由协议UAOR

引用

计算机学报 2001年第10期24卷 1018-1025页

作者：臧婉瑜于勐谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

单向 ad- hoc移动网络是一种完全由移动主机构成的网络 ,传统的路由协议由于基于 DBF方式其路由更新开销大 ,对网络拓扑结构改变收敛慢 ,不适合 ad- hoc移动网络拓扑变化快和带宽有限等特点 .文中提出了一种支持单向 ad- hoc移动网络的... 详细信息

单向 ad- hoc移动网络是一种完全由移动主机构成的网络 ,传统的路由协议由于基于 DBF方式其路由更新开销大 ,对网络拓扑结构改变收敛慢 ,不适合 ad- hoc移动网络拓扑变化快和带宽有限等特点 .文中提出了一种支持单向 ad- hoc移动网络的路由协议 U AOR,它采用按需方式查找路由 ,并根据主机之间的邻接关系和距离矢量来选择相对最稳定且最短的路由 ,具有路由更新开销小 ,快速适应网络拓扑结构改变等特点 .

关键词： ad-hoc移动无线网络单向链路路由协议 UAOR 移动通信

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：