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