线性序相关论文
产生于60年代的Domain理论，旨在为计算机函数式语言奠定数学基础．在该理论中逼近、收敛等概念占有重要的基础地位，然而对逼近程度的度......
量词消去法是数理逻辑与计算机科学中的一个很有用的工具,一阶理论只要有了量词可消去的性质,那么对于这个理论中公式的讨论范围就......
全国的高中数学新课程的教学实验已经开展了5年,按照高中数学新课程标准的要求,必修1是需要首先学习的模块,对必修课程中其他模块......
油气田开发方案的正确评价与优选直接关系到油气田未来生产的经济效果的好坏和技术上的成败。本文建立了一类综合评价与优选油气田......
该文共分为三个部分.第一部分给出了与拓扑系统分离性相对应的函数分离性与拓扑系统函数分离性之间的关系（例如,对拓扑系统下的Urys......
该文研究了以下几个问题.1.讨论了ω-连续domain上的测度,加深了对测度本身的理解.2.完全解决了具有单调测度的μ-σ连续映射何时......
对于直觉模糊集的问题，本文研究了直觉模糊线性规划和意见集中排序法解直觉模糊多属性问题两个方面.针对目标函数为带有最大最小算......
讨论了度量空间上线性序的性质,给出了其构成连续domain的充要条件,回答了Keye Martin 于2000年提出的关于度量空间线性序的连续性......
期刊
模糊决策是研究在模糊环境或者在模糊系统中进行决策的数学方法.其主要目的是把决策论域中的对象在模糊环境下进行排序,或者按某些......
讨论了度量空间上线性序的性质,给出了其构成连续domain的充要条件,回答了Keye Martin 于2000年提出的关于度量空间线性序的连续性......
R.Engelking在《General Topology》中讨论了线性序集的序拓扑的子空间和子序空间的关系,指出两种子空间是不同的,并给出了它们同......
果树是多年生植物,如何对其多年的试验结果进行评价是每一位果树科研工作者所面临的一个重要问题。本文根据模糊集理论,介绍模糊评......
量词消去法在模型论的证明中是应用很广的一种方法。本文主要讨论在语言L=<,{0}上的有首元但无末元的稠密线性序理论T和在语言L0={......
讨论半序集的表示问题及ｎ－角序的有关问题，证明了每一个半序集可用平面上的凸多角形表示，推广了［２］中的结论，讨论并证明了有关ｎ－角序的维数问......
在普通关系中，文献中存在众多扩张定理，可以把一个二元关系扩张成一个完全关系。相比之下，模糊情况下关系扩张的研究很少。文章研究了......
为保证线路图的信息传达有效,其众多设计方案必然遵循某种规律。本文利用数学定义定理的严密性来分析研究线路图的设计。以序拓扑......
