8DPW4_4803S1.6

布尔可满足性(Boolean satisfiability)的概念正在被用于确定软件代码中的“bug”，从而保证代码基本上不存在bug，满足编程者的愿望。 在2007年嵌入系统会议上，Coverity宣布了据称是第一种基于布尔可满足性(SAT)的源代码分析引擎。Coverity公司的SAT引擎利用了它的软件DNA图谱，自动、正确和精确地确定源代码中的缺陷。该软件DNA图谱精确地代表人们已写出来...[详细]

2023年7月12日，中国上海讯— —全球领先的技术分销商和解决方案提供商安富利与中国造车新势力的代表企业之一哪吒汽车在上海正式签署战略合作框架协议 。根据协议，双方将充分发挥各自的核心优势，围绕新能源汽车开展更深层次、更高水平的合作，形成长期、稳定、互利共赢的战略合作伙伴关系，共同推动中国新能源汽车产业的创新发展。 安富利与哪吒汽车战略合作签约仪式现场，左为安富利中国总裁董花女士，右为哪...[详细]

    大概是从2011年开始，日系电子企业开始了全面溃败，转眼四年过去，中国企业的格局都更新换代了几次，日本那边依旧处於泥泞之中，无法自拔。现在，关于日系电子企业的新闻充斥着亏损、裁员、撤退等负面字眼，总能让人闻到一股死亡的味道。   　　那些昔日辉煌的企业，比如索尼、夏普、日立、任天堂等等，不仅是日本电子业的骄傲，也让全世界为之疯狂，时至今日，笔者有位朋友的抽屉里还安放着索尼的wal...[详细]

今日，华为高级副总裁余承东在微博上发布了一段视频，为自家的人工智能AI芯片造势。他表示，“速度之追求，从不止于想象”，并预告了AI芯片将在9月2日IFA2017上亮相。 在上月的华为年中业绩媒体沟通会上，余承东透露，将于今年秋季发布AI芯片，华为也将是第一家在智能手机中引入人工智能处理器的厂商。此外，在2017年中国互联网大会上，余承东还曾表示，由华为海思制造的芯片将会集CPU、GPU和AI功能...[详细]

　　手机零部件缺货下半年或加剧 　　本报记者 藏瑾 深圳报道 　　尽管全球智能手机出货量已经放缓，但手机配置大战仍愈演愈烈。上半年，存储器、屏幕组件、被动元件等手机重要元器件都表现出“淡季不淡”的特点，日前，三星、索尼、海力士等手机核心零部件供应商相继发布二季报，半导体业务均表现亮眼，对利润贡献颇丰。 　　手机中国联盟秘书长老杳分析认为，随着下半年智能手机旺季的到来，元器件的缺货涨价态势将延续，...[详细]

本内容简单介绍了DSP与单片机的区别 1 存储器结构不同 单片机使用冯.诺依曼存储器结构。这种结构中，只有一个存储器空间通过一组总线（一个地址总线和一个数据总线）连接到处理器核。 大多数DSP采用了哈佛结构，将存储器空间划分成两个，分别存储程序和数据。 2 定点计算 大多数DSP使用定点计算，而不是使用浮点。为了不使用浮点机器而又保证数字的准确，DSP处理器在指令集和硬件方面都支持饱和计算...[详细]

中国北京 – 2017 年 3 月 27 日 – MathWorks今日推出了包含一系列 MATLAB 和 Simulink 新功能的 Release 2017a (R2017a)。值得一提的是，R2017a包含一款名为 Automated Driving System Toolbox 的新产品，其有助于工程师设计、仿真和测试 ADAS 以及自动驾驶系统。除此之外，R2017a 还包含对 86 ...[详细]

VGA信号放大器 VGA信号传输是最近的视频信号传输的热点，各种不同的传输方式引发很多工程商的关注，各种不同的宣传也模糊了工程商的正常判断，作为双绞线传输的生产商，就VGA传输的发展及原理做一个小小的论述，希望可以澄清大家可能的误判! VGA信号包含有R/G/B/H/V五种，分别是三原色和行场同步信号。VGA线材虽然包含15根线，VGA线材里面实际传输图像信号的只有5根线，所以看VGA线材好...[详细]

工程师现在可实现120dB的动态范围，以便在智能家居应用中采集清晰、高保真的语音 德州仪器（TI）推出了一种新型音频模数转换器（ADC），能够在比行业同类产品远4倍的距离以外采集到清晰的语音。TLV320ADC5140是业界具备同等性能的体积更小的四通道音频ADC，是TI新推出的三款Burr-Brown™音频ADC系列产品之一，可以在嘈杂的环境中实现低失真录音，还可以在任何环境中进行远场高保...[详细]

5月23日报道，法国初创公司Stanley Robocs设计开发出一款可代客泊车的机器人，现已应用于戴高乐机场。这款机器人名叫斯坦（Stan），它不需要客人的车钥匙，只需将汽车抬起，便可将其停到安全的位置。机器人还可以对汽车进行扫描，从而调整尺寸，避免汽车受损。 公司称，这款机器人是电动的，因此不会产生碳排放。 此外，该系统不需要额外建设，所以可以很快应用于任何停车场。 而且，...[详细]

　　 本文介绍了一种基于单片机AT89C52的CAN总线分布式测控系统，主要阐述了系统的总体设计方案,以及控制模块和采集模块的软硬件设计，重点是系统中以单片机为核心的带有CAN总线接口的设计，解决现场各传感器得到的测量信号利用单片机进行存储和处理，然后通过与CAN控制器的通讯将信息发送到CAN总线上。 　 　1 CAN总线网络的技术特点 　　 　 　 　　 用通讯数据块编码，可实...[详细]

一、引言 随着纯电动车及混合动力车的发展，作为重要储能设备的串联电池组是影响整车性能的一个关键因素。 延长电池寿命，提高电池的使用效率是电动汽车商品化、实用化的关键。由于水桶效应的存在，串联电池组的整体性能取决于电池组中性能最差的单体电池，为了能够对串联电池组的能量使用进行有效管理，需要实时监视串联电池组中的单体电池状态。在表征电池状态的参数中，电池的端电压最能体现其工作状态，因此精确采集电池组...[详细]

“我们的目标是，2026年实现全固态 电池 装车搭载。” 2023年11月17日，在第21届广州国际车展上，广汽集团总经理冯兴亚表示，广汽集团将固态电池、无钴电池、低钴电池、 钠离子电池 等列入关键技术攻关。 ▲图片来源/广汽集团 当天，在车展相关发布会上，长安汽车和东风日产也分别发布搭载全固态电池计划。 “计划到2030年推出液态、半固态、固态等8款自研电芯，形成不低于150吉...[详细]

STM32的优点在哪里？除去宣传环节，细细分析，STM32时钟不算快，72MHZ，也不能扩展大容量的RAM FLASH，同样没有DSP那样强大的指令集。它的优势在哪里呢？ ---就在快速采集数据，快速处理上。　ARM的特点就是方便。　这个快速采集，高性能的ADC就是一个很好的体现，12位精度，最快1uS的转换速度，通常具备2个以上独立的ADC控制器，这意味着， STM32可以同时对多个模拟量...[详细]

三相变频器通常设计用于驱动三相电动机，而单相变频器则用于驱动单相电动机。将三相变频器改为单相使用需要进行一些修改和调整。 了解三相和单相电动机的区别 在开始修改之前，我们需要了解三相和单相电动机的区别。三相电动机有三个独立的相位，每个相位之间相差120度。而单相电动机只有一个相位。三相电动机具有更高的效率和更好的性能，但单相电动机更简单、更便宜。 检查变频器的输入电源 在将三相变频器改为单相...[详细]