设计应用 基于K60的GCPLC系统的设计与实现[嵌入式技术][工业自动化] 提出研制图形构件化可编程逻辑控制器（GCPLC）的方案，它是传统可编程逻辑控制器（PLC）的革新与新模式。与传统PLC相比，GCPLC具有图形拖动编程、开放的二次编程架构、构件组合、开发环境兼容、构件定制扩充、RTOS架构融入等特点。其目标是使GCPLC相对于传统PLC，在技术架构、技术方法、设计思想及实现方式等方面能够有新突破，在应用方面能够逐步取代传统PLC。 发表于：2017/3/15 下午1:43:00 基于SABL的防御差分功耗分析移位寄存器设计[嵌入式技术][数据中心] 通过对传统移位寄存器原理和灵敏放大型逻辑(Sense Amplifier Based Logic，SABL)电路的研究，提出一种能够防御差分功耗分析的移位寄存器设计方案。该方案首先采用主从触发的方式，设计基于SABL电路的清零置位D触发器；然后利用该触发器与SABL逻辑门实现多位移位寄存器电路。Spectre仿真验证表明，所设计的移位寄存器逻辑功能正确，在多种PVT组合下NED均低于2.66%、NSD均低于0.63%，具有显著的防御差分功耗分析性能。 发表于：2017/3/14 上午11:09:00 形式化验证在处理器浮点运算单元中的应用[嵌入式技术][数据中心] 随着芯片复杂度的急剧增加,模拟仿真验证不能保证测试向量的完备性，尤其是一些边界情况。形式验证方法因其完整的状态空间遍历性和良好的完备性,被业界应用于设计规模不大的模块和子单元中。针对处理器浮点运算单元，采用Cadence公司JasperGold工具对一些关键模块进行了形式化验证，对流水控制中的纠错码(Error Correcting Code，ECC)、软件结构寄存器(Software Architected Register，SAR）和计算单元中的公共模块分别采用了基于FPV（Formal Property Verification）的性质检验和基于SEC（Sequential Equivalence Checking）的等价性检验。结果表明，形式化验证在保证设计正确性的基础上极大地缩短了验证周期。 发表于：2017/3/14 上午11:00:00 基于Android的情报管理系统设计与实现[嵌入式技术][消费电子] 根据现有信息处理方式，设计了基于Android的情报管理系统。情报管理系统通过网络实时上传采集的情报信息，管理员及时处理并下发指令，APP用户根据指令进行处理并将结果反馈给管理员从而形成闭合的信息处理方式。紧急情况下手机客户端直接与后台管理端进行视频直播，更加快捷地做出处理措施。详细阐述了系统的总体构架，介绍了系统的功能模块和具体实现，对系统进行测试，并提出系统需要完善的地方。 发表于：2017/3/13 下午11:05:00 低功耗远程烟雾报警系统设计[嵌入式技术][通信网络] 大部分火灾的发生是由于在火灾初期没有及时采取应急防火措施，如果能够有效检测异常火苗或者气体并及时报警采取措施，就能大大降低火灾对人类的威胁。设计了烟雾报警系统，能使外出的人及时收到家中的报警信息。该系统由24 V直流电源供电，使用低功耗单片机MSP430F5529搭载灵敏度高、可靠性好、价格低廉的烟雾传感器MQ2实现烟雾监测，并通过GSM模块SIM900A对报警信息进行无线远距离传输。经测试，系统能够在7~10 s内将警报通知到用户，这对减少火灾引起的损失起到了十分关键的作用。 发表于：2017/3/13 下午10:58:00 一种排尿辅助护理仪设计[嵌入式技术][医疗电子] 目前临床上对无法自主排尿病人的排尿护理通常采用间歇性导尿技术，该方法对医护人员经验要求较高，且无法进行排尿训练，护理不当容易造成并发感染，影响患者康复。为了能更好地帮助病人进行辅助排尿，设计了一种基于模糊控制算法的排尿辅助护理仪，最后通过膀胱模拟实验装置证明其控制效果。 发表于：2017/3/13 下午10:52:00 基于STM32与Android系统远程控制的两轮自平衡车设计[嵌入式技术][汽车电子] 当前市场上已有的平衡车需要站在车上操作遥杆来进行控制，应用范围小，因此设计了以STM32单片机作为主控芯片，配合Android上位机进行远程控制的系统。车载摄像头传感器和温湿度传感器可以实时记录周边环境情况，促使相应处理机制对环境做出应答，保证使用者拥有一个更加安全、可靠、使用寿命更长的可远程控制自主平衡车。实验结果表明，设计的两轮自平衡车平衡稳定性好，抗干扰能力强，能实现Android系统的远程平衡控制。 发表于：2017/3/13 下午10:44:00 锂离子电池特性建模与SOC估算算法的研究[电源技术][智能电网] 锂离子电池管理系统设计及荷电状态（SOC）估算依赖于电池等效电路模型的建立，在几种常见的动力锂离子电池等效电路模型分析与比较的基础上，通过对动力锂离子电池进行多种特性实验，分析了锂离子电池的动态特性，提出了二阶RC等效电路模型，并验证了模型的准确性。在电路模型基础上运用扩展卡尔曼滤波算法搭建了MATLAB/Siumlink平台上的仿真模型，通过仿真和实验结果的对比，验证该模型具有较高的估算精度，可用于锂离子电池SOC的实时估算。 发表于：2017/3/13 下午10:30:00 基于激光传感器的SLAM数据关联算法的研究[嵌入式技术][数据中心] 移动机器人同时定位与地图构建（SLAM）过程中的难点问题之一即是数据关联。结合独立兼容最近邻（ICNN）算法计算复杂度低和联合相容分枝定界（JCBB）算法关联准确度高的优点，提出一种基于关联数据预处理的混合数据关联方法。首先经过数据预处理，选取合适的观测特征子集和局部地图特征子集运行ICNN算法进行数据关联，若算法失败，则采用JCBB算法重新计算以保证算法精确度。仿真实验结果表明，该算法运行时间短，精确度高，适用于各种复杂环境。 发表于：2017/3/13 下午10:18:00 离网型风力提水机智能控制系统仿真研究[嵌入式技术][物联网] 着重研究了以无刷直流电动机(Brushless DC Motor，BLDCM)控制器为核心的小型风力提水机系统的MATLAB/Simulink仿真模型。阐述了无刷直流电动机的工作原理，对小型风力提水机控制系统进行了数学建模和仿真分析，并重点对BLDCM转速闭环系统的运行情况进行了仿真，验证了该系统可实现闭环调速，能根据风力大小自动提高出水量。 发表于：2017/3/13 下午10:09:00 <…474475476477478479480481482483…>
