肖奚安

作品数：38被引量：135H指数：6
导出分析报告
供职机构：解放军理工大学理学院更多>>
发文主题：中介逻辑公理集合论中介命题演算数理逻辑更多>>
发文领域：理学自动化与计算机技术电子电信文化科学更多>>
发文期刊：《武汉大学学报（理学版）》《数学教育学报》《数据采集与处理》《数学物理学报（A辑）》更多>>
所获基金：国家自然科学基金高等学校优秀青年教师教学科研奖励计划国家高技术研究发展计划江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
认知态的相似性与等价性
《解放军理工大学学报（自然科学版）》2009年第2期134-138,共5页肖文洁 朱朝晖 肖奚安 
国家自然科学基金资助项目(60573070);江苏省自然科学基金资助项目(BK2007191);霍英东教育基金资助项目
以Bochman引入的一种非单调逻辑与信念修正的统一框架——认知态(epistemic states)为研究对象,讨论其内在的结构相似性与外在推理行为等价性之间的联系。因为两认知态相似无法推出它们之间具有已引入的任一种等价关系,为了解决此问题...
关键词：认知态 相似 怀疑等价 拟怀疑等价 
中介真值程度的度量及其应用(Ⅱ)被引量：33
《计算机学报》2007年第9期1551-1558,共8页洪龙 肖奚安 朱梧槚 
国家"九七三"重点基础研究发展规划项目基金(G1999032701);国家自然科学基金(60273037);南京邮电大学攀登项目基金(NY206010)资助
结合中介逻辑中的模糊否定词和真值程度词的语义,论述了研究中介真值程度的度量对于应用的必要性;在对个体研究的基础之上,从离散型和连续型两个方面讨论了集合的真值程度的度量;在建立中介标准度后,提出模糊程度概念,提出中介熵定义,...
关键词：真值程度 集合 度量 模糊程度 中介熵 过渡 
中介真值程度的度量及其应用(I)被引量：79
《计算机学报》2006年第12期2186-2193,共8页洪龙 肖奚安 朱梧槚 
国家'九七三'重点基础研究发展规划项目基金(G1999032701);国家自然科学基金(60273037)资助~~
以中介数学系统为背景,为处理工程实践和科学研究中普遍存在的模糊现象提供一种度量逻辑真值程度的方法.在建立了谓词的ε标准度概念后,描述了对一般应用的数值区域与对应谓词的真值之间的关系;采用距离概念,并以对应谓词真值的数值区...
关键词：模糊现象 度量 真值程度 应用 中介数学系统 
关于无穷集合概念的不相容性问题的研究被引量：7
《南京邮电大学学报（自然科学版）》2006年第6期36-39,共4页朱梧槚 肖奚安 杜国平 宫宁生 
文中证明古典集合论与近代公理集合论中的任何一个无穷集合都是自相矛盾的非集。
关键词：古典集合论 近代公理集合论 可数无穷集合 不可数无穷集合 
可数集合的无穷观问题
《科学》2006年第2期25-28,共4页朱梧槚 肖奚安 宋方敏 宫宁生 
久远以来普遍认为，近代公理集合论的建立和发展，已经给出了罗素悖论的解释方法；另一方面。虽然至今未能在理论上证明，近代公理集合论今后一定不出新的悖论，但将近一个世纪以来，人们确也未曾发现有什么新的悖论在近代公理集合论中...
关键词：潜无限 实无限 古典集合论 
一种用于空时自适应处理的并行计算模型被引量：3
《电子学报》2006年第3期450-453,共4页邵银波 王永良 李强 陈辉 肖奚安 
全国高等学校优秀青年教师教学科研奖励计划(TRAPOYT);国家自然科学基金(No.60272086)
在分析各种空时自适应处理(STAP)算法特点的基础上,提出了一种用于STAP的并行计算模型.进而深入分析了STAP系统的实时特性,分析发现,要减少系统延时,一是必须尽量减少计算或者通信时间,二是充分利用前批数据的计算结果和相关先验知识;...
关键词：空时自适应处理(STAP) 并行计算模型 并行处理 
空时自适应处理的通用平台设计与实现被引量：6
《电子与信息学报》2006年第2期317-321,共5页邵银波 李强 王永良 陈辉 肖奚安 
全国高等学校优秀青年教师教学科研奖励计划(TRAPOYT)国家自然科学基金(60272086)资助课题
该文利用多个高性能数字信号处理器,结合FPGA和通用处理器,实现了一个空时自适应处理(STAP)的通用实时平台系统。借鉴Valiant(1990)提出的BSP模型,采用多重流水线,提出一个空时自适应处理(STAP)计算模型。该模型可以弥补STAP算法和实际...
关键词：数字信号处理 并行处理 空时自适应处理 通用实时平台 
空时自适应处理任务在并行系统中的映射
《武汉大学学报（理学版）》2005年第S2期177-179,共3页邵银波 王永良 李强 肖奚安 
全国高等学校优秀青年教师教学科研奖励计划(TRAPOYT);国家自然科学基金(60272086)资助项目
与传统并行计算研究对象不同的是,空时自适应处理(STAP)的各阶段是由多个相同的、可分离的任务组成.针对该特点,提出了任务映射的一种新描述,给出了便于任务映射的相关定理,进而提出了一种启发式映射算法.实验结果表明,该方法可以在满...
关键词：并行处理 任务映射 空时自适应处理 
分析基础中的无穷观问题被引量：1
《科学》2005年第1期29-33,共5页朱梧槚 肖奚安 宋方敏 顾红芳 宫宁生 
很久以来人们普遍认为,极限论的建立和发展已给出了贝克莱悖论的解释方法,然而当笔者在兼容两种无穷观的思维方式并重新分析问题的时候,发现贝克莱悖论的阴影没有在分析基础中真正消失.
关键词：无穷观问题 极限 悖论 发现 阴影 贝克莱 普遍 思维方式 消失 
无穷观问题的研究(Ⅳ)——自然数系统与无穷公理被引量：1
《南京航空航天大学学报》2002年第4期307-311,共5页朱梧槚 肖奚安 宋方敏 顾红芳 宫宁生 
本组系列论文 ( )～ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜...
关键词：无穷观 自然数系统 无穷公理 公理集合论 对角线方法 直觉主义 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部