卢英
- 作品数：7 被引量：23H指数：3
- 供职机构：安徽大学更多>>
- 发文基金：安徽省自然科学研究项目安徽省自然科学基金安徽省高等学校青年教师科研项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于GPRS环境与安全监测终端设计与实现被引量：4
- 2008年
- 利用GPRS技术,结合嵌入式系统的ARM-μC/OS-Ⅱ平台,设计实现了一种智能监测设备,通过使用GSM短信业务解决了用户对远程控电机房环境和安全的监测。硬件上介绍了系统构成及接口和外围设备的设计;软件上阐述了GPRS的无线通讯在ARM-μC/OS-Ⅱ下的实现和报警信息的主要工作流程。本设备具有稳定可靠、可移动、易操作、运营费用低等特点。
- 李炜张义超卢英吴建国
- 关键词：通用分组无线业务LPC2294传感器
- RBF网络隐含层节点的优化被引量：14
- 2009年
- RBF神经网络隐含层节点数的确定一直以来是该网络设计成败的关键所在,文中采用K-means自组织聚类方法为隐含层节点的径向基函数确定合适的数据中心,先给出一个初始值,再慢慢调整,通过实验数据来确定最佳隐含层节点数。结果表明,如果隐含层设计得当,RBF网络可以很好地解决函数接近问题。
- 张义超卢英李炜
- 关键词：聚类中心隐含层节点
- 基于状态转换图同构求解的等价性验证算法被引量：1
- 2009年
- 文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性。首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子状态转换图是否同构,从而得到时序电路是否等价的信息。若两状态转换图同构,则两图中的状态均可一一配对为待验证状态对,即所有的代验证状态对均为等价状态对。该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题。
- 卢英李炜
- 关键词：状态转换图同构时序电路
- 基于永真式判定算法的控制器综合验证方法的研究
- 目前随着系统复杂度的增大和电子设计自动化技术的提高,验证过程在整个集成电路系统设计中所占的份量也越来越大,验证工作需要大量的人力资源和财力资源,并逐渐演变成设计工作的瓶颈,因为任何一种EDA工具都不能完全确保系统设计的正...
- 卢英
- 关键词：控制器集成电路系统设计
- 文献传递
- 书写文字识别算法研究
- 2008年
- 介绍模式识别的基本原理和对书写文字字符的识别以及文字识别,阐述模式识别的过程、图像文件的格式,介绍基于位图技术的模式识别理论;讨论分类器设计过程中的特征空间优化设计问题、分类器设计准则、基本方法和判别函数的知识,给出模板匹配法识别图像的原理。
- 高亮吴建国卢英柴守立
- 关键词：模式识别判别函数
- 超大规模数字系统控制器的验证实现被引量：1
- 2008年
- 数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法。该方法需要两组有限状态机的STG(状态转换图),通过验证两个STG是否同构来验证控制器综合结果的正确与否。实践表明该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题。
- 卢英李炜张义超郭星
- 关键词：电子设计自动化状态转换图
- 基于GPRS无线通信的自动抄表系统被引量：3
- 2008年
- 针对目前人工抄表存在的种种缺陷,提出了一种结合GPRS技术、LPC2294高效微处理器和μC/OS-II嵌入式实时系统,采用目前流行的嵌入式代码组件化技术研制出一种低功耗、高性能、强实时、构件化的无线自动抄表系统方案。在硬件方面主要介绍了GPRS数据通讯技术和CS5460A计量芯片的应用;软件方面主要讲述基于μC/OS-II操作系统组件化移植方法和WINDOWS系统COM组件服务技术。由于具备了低功耗、速度快、数据吞吐量大等优点,本系统具有良好的市场前景。
- 李炜卢英张义超林胜华
- 关键词：LPC2294通用分组无线业务组件对象模型
