头条 四分之一市场份额，RISC-V正式跻身主流架构行列 在中美科技竞争日趋激烈的背景下，RISC-V凭借其开源、免费、可定制的特性，被许多人视为中国芯片产业实现"弯道超车"的关键路径。开源的RISC-V，是中国芯未来的重要组成部分，但不是全部答案。 最新资讯 形式化验证在处理器浮点运算单元中的应用 随着芯片复杂度的急剧增加,模拟仿真验证不能保证测试向量的完备性，尤其是一些边界情况。形式验证方法因其完整的状态空间遍历性和良好的完备性,被业界应用于设计规模不大的模块和子单元中。针对处理器浮点运算单元，采用Cadence公司JasperGold工具对一些关键模块进行了形式化验证，对流水控制中的纠错码(Error Correcting Code，ECC)、软件结构寄存器(Software Architected Register，SAR）和计算单元中的公共模块分别采用了基于FPV（Formal Property Verification）的性质检验和基于SEC（Sequential Equivalence Checking）的等价性检验。结果表明，形式化验证在保证设计正确性的基础上极大地缩短了验证周期。 发表于：2017/3/14 亚马逊无人机首次登场 亚马逊旗下的Prime Air被称作“未来快递员”原因是亚马逊已经针对这款送货无人机研究了很久，终于在SXSW大会上展示出来。不过这次展示是完全静态的，并没有任何送货的演示，也不允许近距离观看。 发表于：2017/3/14 苹果下周可能推出10.5寸新iPad 3月14日上午消息，一些匿名的分析师称，苹果公司会在3月20日至24日之间，也就是下周一至周五之间的某一天发布新品。 发表于：2017/3/14 英特尔与Mobileye CEO内部信 解密并购 3月13日晚，英特尔官方网站发文确认以153亿美元收购Mobileye，一时间掀起业界热议。英特尔在自动驾驶的布局进一步深化。英特尔首席执行官科在奇和Mobileye 联合创始人、总裁和CEO Ziv Aviram 分别发布内部信，首次披露了本次收购的细节。 发表于：2017/3/14 基于Android的情报管理系统设计与实现 根据现有信息处理方式，设计了基于Android的情报管理系统。情报管理系统通过网络实时上传采集的情报信息，管理员及时处理并下发指令，APP用户根据指令进行处理并将结果反馈给管理员从而形成闭合的信息处理方式。紧急情况下手机客户端直接与后台管理端进行视频直播，更加快捷地做出处理措施。详细阐述了系统的总体构架，介绍了系统的功能模块和具体实现，对系统进行测试，并提出系统需要完善的地方。 发表于：2017/3/13 低功耗远程烟雾报警系统设计 大部分火灾的发生是由于在火灾初期没有及时采取应急防火措施，如果能够有效检测异常火苗或者气体并及时报警采取措施，就能大大降低火灾对人类的威胁。设计了烟雾报警系统，能使外出的人及时收到家中的报警信息。该系统由24 V直流电源供电，使用低功耗单片机MSP430F5529搭载灵敏度高、可靠性好、价格低廉的烟雾传感器MQ2实现烟雾监测，并通过GSM模块SIM900A对报警信息进行无线远距离传输。经测试，系统能够在7~10 s内将警报通知到用户，这对减少火灾引起的损失起到了十分关键的作用。 发表于：2017/3/13 一种排尿辅助护理仪设计 目前临床上对无法自主排尿病人的排尿护理通常采用间歇性导尿技术，该方法对医护人员经验要求较高，且无法进行排尿训练，护理不当容易造成并发感染，影响患者康复。为了能更好地帮助病人进行辅助排尿，设计了一种基于模糊控制算法的排尿辅助护理仪，最后通过膀胱模拟实验装置证明其控制效果。 发表于：2017/3/13 基于STM32与Android系统远程控制的两轮自平衡车设计 当前市场上已有的平衡车需要站在车上操作遥杆来进行控制，应用范围小，因此设计了以STM32单片机作为主控芯片，配合Android上位机进行远程控制的系统。车载摄像头传感器和温湿度传感器可以实时记录周边环境情况，促使相应处理机制对环境做出应答，保证使用者拥有一个更加安全、可靠、使用寿命更长的可远程控制自主平衡车。实验结果表明，设计的两轮自平衡车平衡稳定性好，抗干扰能力强，能实现Android系统的远程平衡控制。 发表于：2017/3/13 基于激光传感器的SLAM数据关联算法的研究 移动机器人同时定位与地图构建（SLAM）过程中的难点问题之一即是数据关联。结合独立兼容最近邻（ICNN）算法计算复杂度低和联合相容分枝定界（JCBB）算法关联准确度高的优点，提出一种基于关联数据预处理的混合数据关联方法。首先经过数据预处理，选取合适的观测特征子集和局部地图特征子集运行ICNN算法进行数据关联，若算法失败，则采用JCBB算法重新计算以保证算法精确度。仿真实验结果表明，该算法运行时间短，精确度高，适用于各种复杂环境。 发表于：2017/3/13 离网型风力提水机智能控制系统仿真研究 着重研究了以无刷直流电动机(Brushless DC Motor，BLDCM)控制器为核心的小型风力提水机系统的MATLAB/Simulink仿真模型。阐述了无刷直流电动机的工作原理，对小型风力提水机控制系统进行了数学建模和仿真分析，并重点对BLDCM转速闭环系统的运行情况进行了仿真，验证了该系统可实现闭环调速，能根据风力大小自动提高出水量。 发表于：2017/3/13 <…751752753754755756757758759760…>
