马国富

作品数：10被引量：13H指数：2
导出分析报告
供职机构：安阳工学院计算机科学与信息工程学院更多>>
发文主题：计算机书本电梯门系统传动链药浴更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《科技致富向导》《计算机工程与应用》《计算机应用与软件》《计算机应用研究》更多>>
所获基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于角度域的FDD大规模MIMO系统开销优化被引量：1
《计算机应用研究》2021年第4期1158-1164,共7页马国富 陈知行 
国家自然科学基金资助项目(U1204613)。
针对信道信息获取中导频开销与反馈开销过大的问题,研究了FDD大规模MIMO系统的开销优化。基于信道角度域大尺度参数的多样性,引入成簇多径信道模型,设计了一种角度域的开销优化方案。在此方案中,通过广播预先设计的预编码码本和用户强...
关键词：MIMO网络 导频设计 开销优化 
基于ASK-CTL的有色Petri网模型检验算法研究被引量：2
《计算机应用与软件》2015年第10期302-305,333,共5页马国富 刘文良 周建勇 刘久富 
针对使用CPN Tools工具建立系统CPN(Colored Petri Net)模型并进行仿真所得到的状态空间报告中出现的死标识是否会影响系统的安全性和模型的正确性进行研究,提出基于ASK-CTL的有色Petri网模型检验算法及死标识合理性验证算法。算法描述...
关键词：模型检验 死标识 电梯门系统 CPN 模型 
基于抽象域和数值熵协同的数值程序分析
《计算机工程与应用》2015年第6期55-58,119,共5页马国富 王正谦 刘久富 
国家自然科学基金(No.60674100);南京航空航天大学基本科研业务费专项科研项目(No.NS2010069)
在软件日益丰富的信息时代,程序的正确性验证问题需要深入地研究。提出了基于抽象解释和数值熵协同的数值程序正确性分析方法。利用抽象解释理论框架对数值程序进行抽象解释分析,提取不变量的抽象域区间;在抽象域区间上进行数值熵运算;...
关键词：数值程序分析 正确性 抽象解释 数值信息熵 
有色Petri网模型中死标志合理性分析与验证被引量：1
《计算机应用研究》2014年第12期3651-3654,共4页马国富 刘文良 周建勇 刘久富 
针对使用CPN Tools对系统进行建模仿真得到的状态空间报告中出现的死标志是否会影响系统的安全性和模型的正确性进行了研究,提出了一种基于ASK-CTL及模型检验理论的死标志合理性验证算法。该算法采用模型检验技术通过ML语言编辑相关功...
关键词：死标志 电梯门系统 模型检验 CPN模型 
基于Matlab的批量车牌识别方法被引量：2
《科技致富向导》2012年第27期24-24,共1页闫怀平 马国富 
本文提出一种基于Maflab的批量处理车牌识别的方法，通过颜色模型转换，二值化处理，形态学排除干扰，投影法进行定位，字符分割及模版匹配等步骤完成车牌的识别，并实现了对大量的车牌图片进行批量识别与输出。
关键词：车牌定位 Lab颜色空间 二值化 
红黑树关键算法研究被引量：2
《电脑知识与技术》2011年第10X期7425-7426,7430,共3页马国富 张涵 
研究了红黑树关键算法,包括节点的插入、节点删除和算法时间复杂度。Linux内核中的用户态地址空间管理使用了红黑树(red-black tree)这种数据结构,这对研究内核的工作者来说可以提供一定的帮助。
关键词：红黑树 二叉树 节点 
教学网格门户访问控制研究
《电脑知识与技术》2009年第11X期9536-9538,共3页李春雨 马国富 
教学网格门户能有效地改善网络教学环境,提高校园网资源的利用率。一个有效满足最小特权原则的访问控制机制必不可少。坚持最小特权原则,要不断调整用户权限,适应当前情况。为教学网格门户提出一种上下文感知的访问控制机制,建立在网格...
关键词：网格 网格门户 安全 基于角色的访问控制(RBAC) 
浅析计算机病毒及防范措施被引量：4
《电脑知识与技术（过刊）》2007年第14期354-,358,共2页马国富 李春雨 
目前计算机病毒可以渗透到信息社会的各个领域,给计算机系统带来了巨大的破坏和潜在的威胁.为了确保信息的安全与畅通,因此,研究计算机病毒的防范措施已迫在眉睫.本文从计算机的特点入手。
关键词：计算机 防范 病毒 
高校数字图书馆的网络安全问题浅析被引量：1
《科技咨询导报》2007年第7期254-254,共1页马国富 李春雨 
该课题从多个角度分析了高校中数字化图书馆系统中网络安全问题的特点,深入探讨了与其相关的信息安全策略,并建设性地提出了图书系统集成及针对网络安全问题应采取的措施。
关键词：数字图书馆 网络安全 计算机网络 防火墙技术 加密技术 
基于频谱分析的设备故障诊断系统的研究
《科技咨询导报》2007年第3期16-16,共1页刘波 马国富 
本论文结合河南安阳钢铁集团公司一炼轧厂高线机组机电设备在线监测结果,详细论述了基于频谱分析的故障诊断系统的原理、系统实施步骤和故障诊断分析方法,还针对系统的实际运行效果分析了故障诊断系统所采用专家系统的长处和局限性,并...
关键词：故障诊断 频谱分析 状态检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部