肖奚安
- 作品数：41 被引量：152H指数：7
- 供职机构：解放军理工大学理学院更多>>
- 发文基金：国家自然科学基金高等学校优秀青年教师教学科研奖励计划国家高技术研究发展计划更多>>
- 相关领域：理学自动化与计算机技术电子电信文化科学更多>>
- 数理逻辑之研究对象、学科归属、定义及研究领域被引量：9
- 2000年
- 鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学科归属而言,就有两种说法:其一说数理逻辑是数学的一个分支;其二说数理逻辑是逻辑学的一个分支,如此等等.有的数理逻辑著作中完全不论及这类问题.为此,本文从数理逻辑历史发展的几个侧面加以分析,并综合各家之长对数理逻辑的定义、研究对象、研究领域与学科归属等问题进行了探讨.
- 顾红芳白鹏肖奚安朱梧槚
- 关键词：数理逻辑学科归属
- 中介真值程度的度量及其应用(I)被引量：83
- 2006年
- 以中介数学系统为背景,为处理工程实践和科学研究中普遍存在的模糊现象提供一种度量逻辑真值程度的方法.在建立了谓词的ε标准度概念后,描述了对一般应用的数值区域与对应谓词的真值之间的关系;采用距离概念,并以对应谓词真值的数值区域的长度为基准,定义了距离比率函数及距离比率的特殊变换,并由此建立了一维情形下个体真值程度函数.又在提出关于n维情形的分支谓词、幂集逆映射和标准度向量概念后,描述了真值程度和函数、极值分支函数等n维情形的应用形式.应用示例表明:由于提出超态概念,所以理论上能把真值程度域从[0,1]拓宽到(-∞,+∞);真值程度函数的定义具有计算机可以处理的定量形式且具有客观性和普适性的特点.因此,真值程度的度量将在涉及模糊现象的领域得到有效的应用.
- 洪龙肖奚安朱梧槚
- 中介公理集合论系统(Ⅰ)——两种谓词的划分与定义被引量：1
- 1986年
- 本文及后续的系列文章,将构造和发展一种以中介逻辑演算ML为形式语言的中介公理集合论系统MS.
- 朱梧槚肖奚安
- 关键词：公理集合论集论
- 经典公理集合论系统与中介公理集合论系统之间的包含关系被引量：2
- 1997年
- 本文首先在中介公理集合论系统ＭＳ中构造出Ｐｅａｎｏ自然数系统，以此为基础重新定义了ＭＳ中的良集概念，证明了新定义的良集满足经典公理集合论系统ＺＦＣ－（ＺＦＣ中去掉正则公理的集合论系统）的全部公理，从而说明经典公理集合论系统ＺＦＣ－为中介公理集合论系统ＭＳ的子系统．
- 张东摩肖奚安
- 关键词：公理集合论中介逻辑
- 不完全三值逻辑在语言表达上的相互比较被引量：4
- 2001年
- 深入讨论各种命题联结词含量不完全的三值逻辑的语言表达能力 ,完全弄明白了三值系统 L3、L△3 、B3、B△3 、K3、K△3 、MP的语言表达能力的等效或不等效关系。特别应当指出的一个结论是 :中介命题逻辑 MP作为一种命题联结词含量不完全的三值系统而言 ,它和其他命题联结词含量不完全的三值逻辑 L3、L△3 、B3、B△3 、K3、K△3 的语言表达能力都不等效 ,从而也由此体现出
- 顾红芳肖奚安朱梧槚
- 关键词：三值逻辑语言表达能力逻辑系统
- 空时自适应处理任务在并行系统中的映射
- 2005年
- 与传统并行计算研究对象不同的是,空时自适应处理(STAP)的各阶段是由多个相同的、可分离的任务组成.针对该特点,提出了任务映射的一种新描述,给出了便于任务映射的相关定理,进而提出了一种启发式映射算法.实验结果表明,该方法可以在满足一定吞吐率的要求下,减少所需的处理器数目.
- 邵银波王永良李强肖奚安
- 关键词：并行处理任务映射空时自适应处理
- 空时自适应处理的通用平台设计与实现被引量：8
- 2006年
- 该文利用多个高性能数字信号处理器,结合FPGA和通用处理器,实现了一个空时自适应处理(STAP)的通用实时平台系统。借鉴Valiant(1990)提出的BSP模型,采用多重流水线,提出一个空时自适应处理(STAP)计算模型。该模型可以弥补STAP算法和实际并行系统的差距,为开发提供了统一框架;同时,方便了对算法的性能评估。在基于该模型的具体开发过程中,选择可扩展簇式多处理机结构作为系统硬件架构,采用数据块静态分配方案进行算法的分解与映射,并采取一系列通信和程序优化的方法。结果表明,系统能满足实时要求,可扩展性好,方便类似系统的系列开发。
- 邵银波李强王永良陈辉肖奚安
- 关键词：数字信号处理并行处理空时自适应处理
- 中介公理集合论系统(Ⅵ)——逻辑数学悖论在MS中的解释方法被引量：1
- 1986年
- 本文分析讨论历史上的逻辑数学悖论在MS 中的解释方法.亦即我们将在这里证明一批引理和定理,借以指明历史上种种逻辑数学悖论均可在MS 中排除.其中包括过去在ZFC中无需解释的、著名的多值逻辑悖论和文[22]中给出的无穷值悖论.因而本文的结果表明,MS 在其相容性问题上的成效。
- 肖奚安朱梧槚
- 关键词：定理MS
- 常系数线性微分方程RMI解题机被引量：1
- 1996年
- 本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果，摸拟人的数学思维过程，采用关系映射反演（ＲＭＩ）方法，通过符号推理给出微分方程解析解的数学软件．文中介绍了研制该解题机的基本思想和实现技术，并给出了用解题机求解微分方程和微分方程组的几个实例．
- 王建东朱梧(木贾)朱梧肖奚安
- 关键词：微分方程数值解常系数
- 从计算机科学与数学研究的角度看中介系统的发展被引量：1
- 1995年
- 我们将在本文中讨论关于中介系统的下列问题：（１）中介系统目前的发展概况；（２）中介系统的哲学背景；（３）中介系统的思想原则，（４）数学研究对象的再扩充；（５）概括原则的修改问题；（６）精确性经典数学和中介数学系统之间的关系；（７）模糊数学的奠基问题；（８）中介系统在计算机科学中的应用前景。中介系统是在中介原则观点下建立起来的、并以中介逻辑演算系统为逻辑工具的一种新的数学理论系统，中介系统在数学基础理论意义下拓宽了精确性经典数学的逻辑基础与集合论基础，并在数学基础理论意义下完成了数学研究对象由精确性到模糊性的再扩充。因而中介系统是在更高的形式下包含了整个精确性经典数学及其理论基础。中介系统也解决了如何修改概括原则的历史遗留问题：即在中介系统中，既能排除历史上已出现之种种悖论，又能保留概括原则的全部内容。中介系统还为精确性经典数学和未来的不确定性数学提供了一个共同的理论基础。当前，人脑思维的秘密尚未揭开，但普遍认为，人脑思维不是离散数字式的，也不完全是简单的是与非的二值逻辑演算，思维本质上存在着过度和中介，推理过程也不是一维的和点线式的，而应该是多维的和网状式的，因而以人的智能为基础的计算机科学，就应建立在承认?
- 朱梧肖奚安
- 关键词：计算机中介系统
