卢英

作品数:6被引量:21H指数:3
导出分析报告
供职机构:安徽大学更多>>
发文主题:LPC2294通用分组无线业务状态转换图控制器MEANS算法更多>>
发文领域:自动化与计算机技术电子电信更多>>
发文期刊:《计算机技术与发展》更多>>
所获基金:安徽省自然科学研究项目安徽省自然科学基金安徽省高等学校青年教师科研项目更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-6
视图:
排序:
基于状态转换图同构求解的等价性验证算法被引量:1
《计算机技术与发展》2009年第3期74-76,83,共4页卢英 李炜 
安徽省高等学校省级自然科学计划项目资助(2006KJ013A)
文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性。首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子...
关键词:状态转换图 同构 时序电路 等价状态对 
RBF网络隐含层节点的优化被引量:13
《计算机技术与发展》2009年第1期103-105,共3页张义超 卢英 李炜 
安徽大学人才建设项目;安徽省自然科学计划项目资助(2006KJ013A)
RBF神经网络隐含层节点数的确定一直以来是该网络设计成败的关键所在,文中采用K-means自组织聚类方法为隐含层节点的径向基函数确定合适的数据中心,先给出一个初始值,再慢慢调整,通过实验数据来确定最佳隐含层节点数。结果表明,如果隐...
关键词:K—means算法 聚类中心 隐含层节点 
超大规模数字系统控制器的验证实现被引量:1
《计算机技术与发展》2008年第10期170-172,176,共4页卢英 李炜 张义超 郭星 
安徽省自然科学基金资助计划项目(2006KJ013A)
数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法。该方法需要两组有限状...
关键词:超大规模数字系统 电子设计自动化 模拟验证 形式验证 状态转换图 
基于GPRS无线通信的自动抄表系统被引量:3
《计算机技术与发展》2008年第10期173-176,共4页李炜 卢英 张义超 林胜华 
安徽省自然科学资助计划项目(2006KJ013A)
针对目前人工抄表存在的种种缺陷,提出了一种结合GPRS技术、LPC2294高效微处理器和μC/OS-II嵌入式实时系统,采用目前流行的嵌入式代码组件化技术研制出一种低功耗、高性能、强实时、构件化的无线自动抄表系统方案。在硬件方面主要介绍...
关键词:LPC2294 μC/OC-II 通用分组无线业务 组件源代码 组件对象模型 
基于GPRS环境与安全监测终端设计与实现被引量:3
《计算机技术与发展》2008年第9期232-234,238,共4页李炜 张义超 卢英 吴建国 
安徽省自然科学资助计划项目(2006KJ013A)
利用GPRS技术,结合嵌入式系统的ARM-μC/OS-Ⅱ平台,设计实现了一种智能监测设备,通过使用GSM短信业务解决了用户对远程控电机房环境和安全的监测。硬件上介绍了系统构成及接口和外围设备的设计;软件上阐述了GPRS的无线通讯在ARM-μC/OS...
关键词:通用分组无线业务 LPC2294 实时内核系统 构架 传感器 
书写文字识别算法研究
《现代计算机》2008年第7期23-25,共3页高亮 吴建国 卢英 柴守立 
安徽省高等学校青年教师科研资助计划项目(No.2005JQ1038)
介绍模式识别的基本原理和对书写文字字符的识别以及文字识别,阐述模式识别的过程、图像文件的格式,介绍基于位图技术的模式识别理论;讨论分类器设计过程中的特征空间优化设计问题、分类器设计准则、基本方法和判别函数的知识,给出模板...
关键词:模式识别 书写文字 模板匹配 判别函数 
检索报告 对象比较 聚类工具 使用帮助 返回顶部