刘永梅

作品数：9被引量：14H指数：2
导出分析报告
供职机构：首都师范大学信息工程学院更多>>
发文主题：高速通信抗辐照串行数据错误校验传输接口更多>>
发文领域：自动化与计算机技术文化科学经济管理更多>>
发文期刊：《小型微型计算机系统》《计算机工程》《科技与企业》《计算机工程与应用》更多>>
所获基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项北京市教委科技发展计划北京市自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
格林定理的形式化及其初步应用
《计算机工程与科学》2023年第7期1178-1187,共10页刘永梅 王国辉 关永 张景芝 施智平 董璐 
国家重点研发计划(2019YFB1309900);国家自然科学基金(62002246,62272322,62272323);科技创新服务能力建设-基本科研业务费(科研费)项目(00621530290000)。
格林定理广泛应用于物理学、流体力学和化学等领域。通常使用传统的计算机仿真和数值计算方法构建基于格林定理的系统模型。然而,由于工具软件可能存在的系统缺陷导致模型出现偏差,从而使任务失败。为解决上述问题,采用基于高阶逻辑的...
关键词：形式化验证 定理证明 格林定理 HOL Light 
高校设备档案管理规范化的思考被引量：1
《科技风》2020年第19期82-82,84,共2页刘永梅 
随着高校教学科研的发展,高校所拥有的设备不仅数量与日俱增,而且质量上高科技、现代化程度也越来越高。但是与此相对应的是高校设备档案的管理情况存在一些问题,因此要加强设备档案管理的规范化,提高设备档案管理的水平。本文主要探讨...
关键词：高校 设备档案 规范化 
摄动开普勒问题形式化建模与验证
《小型微型计算机系统》2020年第2期440-444,共5页王国辉 许京然 刘永梅 施智平 关永 
国家重点研发计划项目(2017YFB1302800)资助;国家自然科学基金项目(61876111,61572331,61602325,61877040)资助;科技创新服务能力建设-基本科研业务费(科研类)项目(025185305000)资助.
摄动开普勒问题广泛应用于卫星轨道摄动分析,然而卫星轨道摄动分析数学模型的错误将导致灾难性后果.传统的建模与分析方法涉及到矢量代数、旋量代数、复数、四元数等多种不同的代数系统,在各个代数系统相互转换过程中极易引入错误.几何...
关键词：形式化验证 定理证明 几何代数 摄动 卫星轨道 
机器人形式化验证方法综述
《信息记录材料》2019年第12期1-4,共4页刘永梅 
国家自然科学基金项目面向机器人的几何代数高阶逻辑形式化理论(61572331)资助
机器人的形式化验证方法通常很复杂,目前还没有一种通用的方法。本文对机器人的形式化设计和验证的概念进行介绍,描述其框架和基本方法。调查多个设计和验证项目,阐述项目的验证目标、方法、优缺点和进展情况。在总结研究现状的基础上,...
关键词：机器人 形式化设计 形式化验证 定理证明 模型检验 
大学教育信息化探讨被引量：2
《科技创业月刊》2019年第10期103-105,共3页刘永梅 
北京市属高校高水平教师队伍建设支持计划——青年拔尖人才培育计划“高等教育资源配置的制度经济学分析——以北京市属高校‘双一流’建设为研究对象”(CIT&TCD201804077)
从国家对教育信息化的建设需求出发,结合高校信息化教育解决方案实施情况,分析了大学教育信息化产品应用困难的原因,阐述了我国大学信息化教育的优势与不足,并提出相关对策建议。
关键词：大学教育 教育信息化 虚拟大学 
FP-Growth算法在电子商务中的应用
《科技与企业》2014年第14期148-149,151,共3页田庆 朱俊岭 刘永梅 
针对电子商务推荐销售的需求和FP-Growth算法不产生候选集的特性,提出利用FP-Growth算法,运用VC++程序开发工具,对某一电商卖家的数据进行频繁项集挖掘,针对挖掘得到的频繁K项集,指导卖家如何组合商品销售。试验结果表明利用FP-Growth...
关键词：候选集 频繁项集 电子商务 FP—Growth FP—Tree 
SpaceWire总线冗余备份优化方法被引量：1
《计算机工程》2014年第1期305-308,314,共5页王国辉 张晓宇 关永 刘永梅 
国际科技合作基金资助项目(2010DFB10930)
在现场可编程门阵列(FPGA)资源有限的情况下,提出一种基于FPGA的SpaceWire总线冗余备份优化方法。采用调整内部功能子模块可靠度的方法,实现整个系统的备份优化,提高系统可靠性。根据失效率λ计算节点内各功能子模块的可靠度。基于评分...
关键词：SpaceWire总线 冗余备份 系统可靠性 模块可靠度 评分分配 线性规划 优化设计 
FP-Growth算法在购物篮分析研究中的应用被引量：2
《计算机科学与技术汇刊（中英文版）》2013年第2期24-30,共7页田庆 刘永梅 
受肇庆市科技创新项目（基金号：2012G26）和肇庆学院自然科学项目（基金号：201212）支持资助.
频繁项集的挖掘过程中，在最小支持度较小的情况下，候选集的产生是算法的主要耗时操作。FP-Growth算法不用产生候选集，将提供频繁项集的数据库压缩到一棵频繁模式树（或FP-Tree），利用FP-Tree挖掘出频繁项集。为了进行购物篮分析，根...
关键词：候选集 频繁项集 购物篮分析 FP-GROWTH FP-TREE 
数字音乐合成器的研究与设计被引量：8
《计算机工程与应用》2009年第6期89-91,共3页毛春静 关永 刘永梅 吴敏华 刘旭敏 
北京市自然科学基金;北京市教委科技发展计划项目;北京市教委重点项目;教育部重点项目~~
音色与灵活性是音乐合成器的两个重要指标;为结合两者特点,根据数字FM合成法和采样回放合成法,以吉他为例对关键周期波形的时域包络处理和频域调制实现了一种新的数字音乐合成方法。实验表明:合成效果能较好表现音色,并有一定的设计灵...
关键词：MATLAB工具箱 数字音乐合成 ADSR参数 频域调制 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部