您的位置： 专家智库 > >

刘永梅

作品数：30 被引量：13H指数：2
供职机构：首都师范大学信息工程学院更多>>
发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项北京市教委科技发展计划更多>>
相关领域：自动化与计算机技术文化科学经济管理更多>>

合作作者

文献类型

  • 21篇专利
  • 9篇期刊文章

领域

  • 7篇自动化与计算...
  • 2篇文化科学
  • 1篇经济管理

主题

  • 10篇通信
  • 10篇抗辐照
  • 10篇高速通信
  • 7篇芯片
  • 6篇接口
  • 5篇定理证明
  • 5篇形式化
  • 5篇机器人
  • 4篇控制系统
  • 4篇串行
  • 4篇串行数据
  • 3篇定理
  • 3篇形式化验证
  • 3篇有限状态机
  • 3篇通信速度
  • 3篇通信芯片
  • 3篇状态机
  • 3篇辐照
  • 3篇传输接口
  • 3篇错误校验

机构

  • 30篇首都师范大学
  • 2篇肇庆学院
  • 1篇北京城市学院
  • 1篇中国电子科技...

作者

  • 30篇刘永梅
  • 24篇关永
  • 18篇张杰
  • 15篇毛春静
  • 12篇尚媛园
  • 12篇朱虹
  • 12篇万玛宁
  • 12篇吴敏华
  • 12篇王国辉
  • 12篇陈金强
  • 11篇李晓娟
  • 9篇施智平
  • 9篇潘巍
  • 9篇赵冬生
  • 9篇张伟功
  • 6篇张倩颖
  • 5篇袁慧梅
  • 4篇王瑞
  • 3篇刘旭敏
  • 3篇张健

传媒

  • 1篇科技创业月刊
  • 1篇计算机工程与...
  • 1篇计算机工程
  • 1篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇信息记录材料
  • 1篇科技与企业
  • 1篇科技风
  • 1篇计算机科学与...

年份

  • 1篇2023
  • 1篇2022
  • 2篇2021
  • 3篇2020
  • 3篇2019
  • 1篇2018
  • 1篇2017
  • 2篇2014
  • 1篇2013
  • 6篇2010
  • 7篇2009
  • 2篇2008
共 30 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种具有公式发现功能的嵌入式智能芯片
一种具有公式发现系统功能的嵌入式智能芯片，它包括存储器、IP软核芯片、软核微处理器、键盘接口、USB接口及LCD显示控制器：软核微处理器与存储器、IP模块、键盘接口、USB接口、LCD控制器通过各自接口连接；IP软核芯片...
关永张杰吴敏华朱虹李晓娟袁慧梅尚媛园潘巍万玛宁陈金强毛春静刘永梅徐远超张聪霞赵冬生张颢李宝方冯金花张树东刘旭敏石长地张伟功
文献传递
苛刻环境抗辐照高速通信芯片IP核中的发送模块
本发明一种苛刻环境抗辐照高速通信芯片IP核中的发送模块，该发送模块包括4个子模块，分别为握手适配器(Handshake Adapter)模块、数据寄存器(DataRegister)模块、发送控制器(TX_Controll...
关永张杰朱虹张伟功尚媛园万玛宁陈金强毛春静刘永梅赵冬生潘巍
文献传递
苛刻环境抗辐照高速通信芯片IP核中的控制模块
本实用新型一种苛刻环境抗辐照高速通信芯片IP核中的控制模块，包括2个子模块，分别为LinkEnable模块和IPCore_Controller模块：LinkEnable模块用来产生链路使能信号，只有在信号LinkDisa...
关永张杰朱虹张伟功尚媛园万玛宁陈金强毛春静刘永梅赵冬生张健
文献传递
摄像机位姿估计形式化方法、装置、电子设备及存储介质
本公开实施例公开了一种摄像机位姿估计形式化方法、装置、电子设备及存储介质，所述摄像机位姿估计形式化方法包括确定被拍摄对象上所选取的多个控制点在空间坐标系下的空间坐标以及在摄像机坐标下的像点坐标；根据所述摄像机在所述空间坐...
施智平王国辉陈善言关永张倩颖李希萌刘永梅邵振洲李晓娟吴敏华
文献传递
FP-Growth算法在购物篮分析研究中的应用被引量：2
2013年
频繁项集的挖掘过程中，在最小支持度较小的情况下，候选集的产生是算法的主要耗时操作。FP-Growth算法不用产生候选集，将提供频繁项集的数据库压缩到一棵频繁模式树（或FP-Tree），利用FP-Tree挖掘出频繁项集。为了进行购物篮分析，根据FP-Growth算法的理论，运用VC＋＋程序开发工具，对数据进行频繁项集挖掘，针对挖掘得到的频繁K项集，对比实验数据指导超级市场将可能同时卖出的商品摆放在一起。
田庆刘永梅
关键词：候选集购物篮分析FP-GROWTHFP-TREE
摄动开普勒问题形式化建模与验证
2020年
摄动开普勒问题广泛应用于卫星轨道摄动分析,然而卫星轨道摄动分析数学模型的错误将导致灾难性后果.传统的建模与分析方法涉及到矢量代数、旋量代数、复数、四元数等多种不同的代数系统,在各个代数系统相互转换过程中极易引入错误.几何代数方法将多种代数系统统一到相同代数结构中,弥补了传统分析方法的不足.但是基于几何代数的摄动开普勒问题数学模型的正确性并没有通过严格的形式化验证.本文采用高阶逻辑来描述该问题的属性和规范,以公认的逻辑公理和推理规则为基础构建其形式化模型并进行验证,从而最大程度确保数学模型的正确性和分析方法的可靠性.
王国辉王国辉刘永梅施智平刘永梅
关键词：形式化验证定理证明几何代数摄动卫星轨道
苛刻环境抗辐照高速通信芯片IP核中的错误模块
本发明一种苛刻环境抗辐照高速通信芯片IP核中的错误模块，包括2个子模块，分别为错误声明模块和错误握手模块：错误声明模块用来检测有没有错误发生以及发生的错误是奇偶错误、断开错误或信誉错误这三种错误中的哪一种；依据输入信号的...
关永张杰朱虹张伟功尚媛园万玛宁陈金强毛春静刘永梅赵冬生张健
文献传递
一种用于机器人分布式控制系统的形式建模方法及装置
本发明实施例提供了一种用于机器人分布式控制系统的形式建模方法及装置，方法包括：针对所述机器人分布式控制系统，根据各微体系结构模型xMAS元件的同步等式，对各xMAS元件在逻辑编程语言ACL2中形式化，得到所述机器人分布式...
李晓娟关永李艳春王瑞施智平张倩颖谈金东邵振洲张杰王国辉刘永梅吴敏华
文献传递
一种用于机器人分布式控制系统的形式建模方法及装置
本发明实施例提供了一种用于机器人分布式控制系统的形式建模方法及装置，方法包括：针对所述机器人分布式控制系统，根据各微体系结构模型xMAS元件的同步等式，对各xMAS元件在逻辑编程语言ACL2中形式化，得到所述机器人分布式...
李晓娟关永李艳春王瑞施智平张倩颖谈金东邵振洲张杰王国辉刘永梅吴敏华
文献传递
一种具有在苛刻环境中抗辐照干扰的高速通信芯片
本发明一种具有在苛刻环境中抗辐照干扰的高速通信芯片，该芯片包括存储器、抗辐照高速通信IP核模块、XILINX FPGA软核微处理器、通信接口以及LCD控制器等；其中，XILINX FPGA软核微处理器是整个系统的核心，它...
关永张杰吴敏华朱虹李晓娟袁慧梅尚媛园潘巍万玛宁陈金强毛春静刘永梅
文献传递
全选 清除 导出
共3页<123>
聚类工具0