阿卡思微电子推出HimaFormal MC+UCAgent智能形式化验证解决方案

随着芯片设计复杂度不断攀升，如何确保隐藏在代码中的逻辑Bug无处遁形，成为芯片成功流片的关键。形式化验证(Formal Verification)技术通过严谨的数学证明，在芯片设计的全部状态空间内进行穷尽式分析，提供“数学确定性”的保障。这无疑是通往“零缺陷”芯片的最优路径。然而，形式化验证存在两大难题：一是编写验证规则(SVA断言)需要极高的专业技能，二是实现100%的验证覆盖率过程繁琐且耗时。 近日，国内领先的EDA企业上海阿卡思微电子技术有限公司(北京华大九天科技股份有限公司战略参股公司)与北京开源芯片研究院(简称“开芯院”)、中国科学院计算技术研究所(ICT，简称“计算所”)合作
2026-05-08 5706 [ 旅游文化 ] 查看

Momenta的R7世界模型技术上有何特殊性？

[首发于智驾最前沿微信公众号]这两年自动驾驶领域出现了一个明显的技术转向，大家都开始谈端到端、世界模型，行业也从硬件堆料走向了大模型的比拼。2026年4月，Momenta发布了R7强化学习世界模型，将端到端与世界模型推到了一个更深的层次。Momenta的R7强化学习世界模型为自动驾驶行业带来了什么？ 端到端大模型改变了什么？ 传统的自动驾驶路径是将驾驶任务拆分成多个独立环节，感知模块用于识别车道线、车辆、行人，再把识别结果交给预测模块去推测其他交通参与者的未来走向，规划控制模块则根据这些信息决定方向盘转多少、车速怎么调。这种模块化的好处是每个环节明确可控，坏处也很明显，那就是信
2026-05-07 5817 [ 旅游文化 ] 查看

船舶充电桩数据采集物联网解决方案

行业背景 在当今全球航运业加速迈向绿色化、智能化转型的浪潮中，船舶电动化作为关键突破口正引发广泛关注。目前，新能源电动船舶广泛应用于aa沿海及内河的航运、交通、旅游等业务。据官方数据显示，截至2025年6月，我国新能源内河船舶已超过1000艘，发展迅速、应用规模和水平全球领先。 但需要注意的是，与新能源汽车充电桩一样，电动船舶充电桩在管理模式上面临着诸多痛点。一方面，本地监控的管理模式暴露出越来越大的弊端，对充电桩安全与稳定造成威胁；另一方面，充电桩规模数量的不断增加，对企业有限的人员物力造成越来越重的负担。因此，充电桩制造商亟待一套远程化、信息化的管理系统，以实现降本增效与管理升级
2026-05-07 5267 [ 旅游文化 ] 查看

Arm SME2技术加速腾讯翻译大模型推理

出国旅行，多多少少都会被语言问题绊住脚步。想必很多人都遇过这种尴尬时刻：手机没信号、网速卡顿，翻译软件直接罢工，沟通全靠手舞足蹈，干着急又无奈！拥有一款翻译精准，还能在端侧本地运行的翻译模型，和烦恼说拜拜！ 腾讯混元将翻译大模型 Hy-MT1.5 压缩至最小 440MB（1.25-bit 模型），轻轻松松装进手机。不仅如此，依托第二代 Arm 可伸缩矩阵扩展 (Arm SME2) 技术加持，推理表现进一步提升，随时随地让你解锁丝滑流畅的端侧翻译体验！ Hy-MT1.5 是腾讯混元团队打造的专业翻译大模型，原生支持 33 种语言，5 种方言/民汉，1056 个翻译方向。为了进一步在有限
2026-05-06 5241 [ 旅游文化 ] 查看

智能养殖新范式：FCB-EV9520L+MIPI/LVDS转网络编码控制板

索尼FCB-EV9520L一体化摄像机模组与MIPI/LVDS转网络控制板（型号：VRS-UD350）的强强联合，以“1080P/60高清成像+远距离传输”的组合拳，为智能养殖业注入科技动能，有效重新定义养殖管理的智能化标准。 在2026国际低空经济与无人系统博览会暨第十一届深圳国际无人机展览会，你将能看到FCB-EV9520L和它的减重版以及SDI、HDMI、USB3.0、IP、MIPI、CVBS等接口编码控制板。 一、FCB-EV9520L：养殖场景的全能视觉摄像头 1.星光级低照度，24小时无死角监控 养殖环境复杂多变，夜间巡检、昏暗棚舍等场景对设备低光性能要求非
2026-05-06 5559 [ 旅游文化 ] 查看

深度解读DC-DC BUCK电路的工作原理

引言： 聊个最基础也最绕不开的拓扑：DC-DC BUCK。只要你画的板子不是指甲盖大小，供电十有八九靠它。能不能玩转BUCK，直接反映了你对MOSFET、电感、电容这些基本功的理解深度——这玩意儿，是硬件工程师的“标尺”。 但原理图上的几个器件，到实际稳定输出的电源，中间隔着一堆细节：自举电容是怎么“撑住”上管的？电感选小了会饱和，选大了动态响应又慢，这个平衡点怎么找？输出纹波除了和电容ESR有关，还和前馈电容什么关系？HS和LS的损耗到底谁主开关、谁主导通？ 说到底，搞懂BUCK，就是一次“看山是山，看山不是山，看山又是山”的修炼。下面我们就好好说一说！ BUCK原理
2026-05-05 5113 [ 旅游文化 ] 查看

大尺寸工件检测总翻车？思奥特条形光源帮你搞定90%的工业检测痛点

在电子厂PCB电路板检测工位，流水线上1米多长的线路板快速移动，相机拍出来的画面一半亮一半暗，细如发丝的线路缺陷根本看不清；汽车配件车间里，长条形保险杠的轮廓检测总有阴影死角，不良品流出导致客户投诉；印刷厂的整幅包装膜质检，色彩不均导致字符错印漏检频频发生... 做机器视觉检测的你，是不是也遇到过大尺寸工件检测的这些烦心事？选不对光源，再贵的相机和算法也白搭——今天我们就来聊聊，思奥特智能科技15年研发沉淀的定制化条形光源，怎么解决大尺寸工件检测的核心痛点。 核心技术优势 大尺寸工件检测最头疼的就是光线不均匀：中间亮两边暗，细微缺陷直接被淹没，误判漏判率居高不下。 思奥特智能
2026-05-05 5225 [ 旅游文化 ] 查看

金升阳高压电源赋能高端检测与科研设备

在光电探测、精密成像、工业检测等领域，低纹波、高稳定、微型化的高压供电方案是设备实现精准测量与可靠运行的核心保障。金升阳专为板上高压精密供电场景研发HO1-P(N)xxxxH-xxB/C/D/F系列模块高压电源，以0~±1500V宽幅可调、8mV超低纹波和极低的温漂时漂特性，成为光电倍增管、工业显微镜、安检机等核心设备的高压供电优选方案，为高端检测与科研设备提供稳定、精准、可靠的电力支撑。 一、产品优势 01多规格灵活适配 覆盖5/12/15/24V输入，0~±1250V/0~±1500V输出，0.5mA/1mA输出电流多规格选型，可精准匹配不同精密设备的高压供
2026-05-04 5562 [ 旅游文化 ] 查看

实测可用！MODBUS转PROFINET通讯互通，关键在这台耐达讯自动化工业网关

在工业自动化行业，数字化转型的核心是实现全流程数据互通，但现场设备协议异构的问题，一直是制约产业升级的关键瓶颈。MODBUS协议（RTU/TCP）因结构简单、通用性强，被广泛应用于变频器、智能仪表、传感器等各类现场执行设备；而PROFINET协议凭借高速实时性和稳定性，成为西门子S7-1200/1500等中高端PLC主导的控制系统主流总线。由于两种协议的架构、数据格式存在本质差异，无法直接互通，MODBUS转PROFINET网关便成为破解这一难题、盘活现有设备资源的核心硬件。耐达讯自动化作为专注于工业通讯设备研发与生产的企业，其相关网关产品在实际应用中具备成熟的技术方案和稳定的运行表现，是行
2026-05-04 5801 [ 旅游文化 ] 查看

富捷科技如何解决电阻应力失效问题

在车载电子、工业控制、新能源等应用场景中，温度循环与机械应力，是导致贴片电阻失效的两大核心元凶。当环境温度反复升降时，PCB 与电阻的热胀冷缩差异会在焊锡结合部产生持续应力；而 PCB 弯折、焊接应力、机械冲击等外部载荷，则会进一步加剧陶瓷基板开裂、电极脱落或焊盘裂纹，最终表现为阻值漂移、接触不良甚至开路失效，直接威胁设备的长期稳定性与安全性。 对于贴片电阻而言，额定功率越高，通常需要选用更大封装尺寸，其热胀冷缩带来的形变量与应力绝对值也随之增大，在冷热交替、机械振动工况下的失效风险显著上升。传统方案为兼顾功率与抗裂性，常采用多颗小尺寸电阻并联的方式，但这会导致元件数量增加、PCB 布板
2026-05-03 5863 [ 旅游文化 ] 查看
‹‹ ‹ 11 12 13 14 15 16 17 18 19 20 › ››
最新文章
年度爆文
排名 标题 查看
1 报告：商业健康险要完成从“边缘补充者”到“生态协同者”的转变，需聚焦三大方向 30493
2 2025慕尼黑车展：全新奥迪Q3 Sportback首发亮相 引入插混车型 30327
3 2025鞍山南果梨文化欢乐行活动启幕激活秋季文体旅市场活力 30186
4 一小时超4万订单：极氪双旗舰打破中国豪车“曲高和寡”困局 29438
5 安心解忧到家门 沈阳于洪区持续破解办证难题惠及千户居民 29323
6 沈阳苏家屯区：以“高效办成一件事”点亮政务服务现代化新路径 29040
7 杭州智象品牌管理有限公司 18994
8 浙江队备战新赛季首战 新帅阿洛伊西及新援亮相 11210

Powered ByZ-Blog. Copyright ©2024 本站由zzcz版权所有.商务QQ1067828893.豫ICP备2023014566号.本站部分内容为转载,不代表本站立场,如有侵权请联系