马晓珏
- 作品数：18 被引量：15H指数：2
- 供职机构：西安电子科技大学更多>>
- 发文基金：陕西省教育厅科研计划项目国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术文化科学更多>>
- IMTL逻辑系统及IMTL-代数
- 该文主要研究的是IMTL逻辑系统及与之相应的代数结构-IMTL-代数,还有IMTL的两个完备扩张Lukasiewicz和L<'*>逻辑系统中的一些问题.全文共分三部分:第一部分:这是该文的主体部分.先介绍了一些相关的预备...
- 马晓珏
- 关键词：模糊逻辑广义重言式MP滤子
- 文献传递
- 线性规划和互补问题的宽邻域内点算法研究
- 宽邻域内点算法是求解线性规划以及线性互补问题的一种行之有效的方法。然而一直以来，实际计算效果好的宽邻域算法在复杂度方面却表现一般。Ai-Zhang宽邻域的提出弥补了这种理论和实践之间的差异。基于该宽邻域的重要性，本论文先...
- 马晓珏
- 关键词：线性规划
- 线性规划的邻域跟踪算法在退化情形下的局部收敛性
- 2016年
- 基于邻域跟踪算法的局部收敛性,考察凸二次规划问题,证明了在更一般的情形下(即无需假设问题非退化),线性规划的邻域跟踪算法具有局部二次收敛性,从理论上说明了该算法的数值收敛特性.
- 马晓珏刘红卫
- 关键词：线性规划
- 两个幂等算子线性组合的Drazin逆(英文)
- 2011年
- 设P和Q是希尔伯特空间H上的幂等算子,且非零复数c1,c2满足c1,c2∈\C{0}.利用算子分块技巧,分别讨论了在PQP=0、PQP=P和PQP=PQ条件下,线性组合c1P+c2Q的Drazin逆表达式.
- 马晓珏方莉
- 关键词：幂等算子DRAZIN逆希尔伯特空间分块矩阵
- F(S)在Lukasiewicz逻辑系统中的一种分划被引量：3
- 2004年
- 利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α 重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,重言式可由对非重言式进行有限次升级算法得到.
- 马晓珏王国俊
- 关键词：LUKASIEWICZ逻辑系统
- 一类新的左连续三角模被引量：2
- 2006年
- 基于左连续三角模在模糊逻辑系统中越来越重要的作用,通过研究,提出了一类新的左连续三角模,并对此三角模的性质进行了初步的探讨。
- 马晓珏焦烨
- 关键词：三角模模糊逻辑
- 信科专业《数学分析》课程建设的几点体会
- 2011年
- 数学分析是信息与计算科学专业最重要的一门数学基础课程。本文结合专业特色及学生情况．对数学分析课程的教学内容，方法和手段予以适当调整、改进和更新，引导和帮助学生克服学习的畏难情绪，激发学习兴趣，并进而培养学生分析、综合、质疑和创新等多方面的能力。
- 马晓珏
- 关键词：信息与计算科学数学分析课程建设
- ~*命题集的约简及命题集的根被引量：6
- 2006年
- 本文的主要目的有两个,第一,在*系统中给出了独立命题集的概念,并定义了命题集的约简;第二,讨论了命题集的根。
- 任燕马晓珏王洪涛
- 关键词：不可约元
- L^＊-Lindenbaum代数中的滤子
- 2006年
- 利用格论中滤子的相关知识,对公式集D(Г)的性质进行研究。通过对D(Г)和R0代数中MP滤子相似性的比较分析,证明了L*-L indenbaum代数[F]中的MP滤子都是形如D(Г)形式的,其中D(Г)={[A]|Г├A,A∈F(S)};又进一步证明了[F]中的极大滤子(格论意义下)是极大MP滤子,而且给出了刻画[F]中极大滤子的一个充分条件.
- 马晓珏任燕
- 关键词：滤子MP滤子极大滤子
- 数学分析与高等数学教材中对极值相关问题处理的比较分析被引量：2
- 2011年
- 对数学分析(华东师大,第三版)和高等数学(同济大学,第五版)中关于极值以及与极值相关的内容进行比较分析,并给出几点建议。
- 马晓珏
- 关键词：数学分析高等数学极值费马定理
