登录社区云,与社区用户共同成长
邀请您加入社区
26年7月来自清华、Striding AI公司、普渡、中科院自动化所、无问芯穹公司、港科大和中关村学院的论文“Harness VLA: Steering Frozen VLAs into Reliable Manipulation Primitives via Memory-Guided Agents”。基于语言指令的操作任务既需要精确且涉及丰富接触交互的控制能力,也需要针对语言、场景及长程任务序
AI编程助手显著提升了开发效率,但在安全关键的嵌入式开发领域(如汽车、医疗、工业控制),合规验证才是核心瓶颈。当前AI工具能快速生成代码,却无法确保符合MISRA C/C++、CERT C等强制性安全标准,反而加重了占研发成本40%以上的验证环节压力。IAR提出的解决方案是将静态分析(C-STAT)和动态分析(C-RUN)嵌入开发闭环,与CI/CD流程深度集成,使代码生成与合规检查同步进行。其经T
OpenAI刚刚公开认领了一起《重大》安全事故。GPT-5.6 Sol与一款能力更强的未发布模型,在接受网络安全测试,成功逃出了内部隔离环境,一路闯进了Hugging Face的生产系统。真行,ChatGPT下一代模型还没发布,人家先把Hugging Face黑了……而且这AI费尽心思逃出测试环境、寻找漏洞、窃取凭证,最终目的居然只是——偷!评!测!答!案!OpenAI刚刚公开认领了一起《重大》安
先把这篇文章的目标说清楚:看完之后,你应该能判断这件事值不值得做,以及从哪里动手。摘要近期不少团队开始把 Claude Code 或 Codex 这类 AI 编程工具接入日常协作,个人跑通的脚本往往在多人并行时迅速失控。LangChain 的真正价值不在于封装了多少个,而在于提供一套可观测、可重试、可拆分的编排逻辑。
Simon Willison 用 DSPy 优化 Datasette Agent 提示词的实验说明,AI Agent 提示词正在从手工调参走向基于真实工具、评测指标和回归测试的软件工程流程。
垂直建筑施工物资全流程打造的SaaS云服务,聚焦材料成本管控、招采协同、智能仓储、供应商线上协同,内置国标物资编码库、一物一码物联网、线上招标询价、自动对账结算模块,积木式模块按需选配,3天快速上线、免服务器运维、按年订阅低成本,适配中小总包、区域建设、市政、基建、电力、新能源、路桥工程等全类型工程企业,成立至今,服务超1000千客户,数万终端用户,落地案例丰富。大型国企、房建集团可搭配广联达;打
先把这篇文章的目标说清楚:看完之后,你应该能判断这件事值不值得做,以及从哪里动手。最近圈子很热,大家聊的都是 AI 编程助手如何从个人 Demo 走向团队协作。很多人拿着跑分报告或者单兵作战的爽文案例,觉得只要把 Claude Code 接进 CI/CD 就能实现代码质量的飞跃。我也试过。起初,我觉得这玩意儿简直是神技,尤其是它处理长上下文的能力,让我在重构老旧模块时信心爆棚。但当我试图在一个 5
【基于三次&&五次多项式的机械臂关节空间轨迹规划】代码主要功能:1. 可以实现任意个数点位间规划;2. 提供基于ur3的轨迹规划demo。在机械臂的运动控制中,轨迹规划是至关重要的一环。它决定了机械臂如何从一个位置移动到另一个位置,不仅影响运动的平稳性,还关乎效率与精度。今天咱们就来探讨基于三次和五次多项式的机械臂关节空间轨迹规划,并且看看如何通过代码实现任意个数点位间的规划,还会给出基于 UR3
三星KLMBG2JETD-B041003是一款32GB容量的eMMC5.1嵌入式存储芯片,采用153-ball FBGA封装(11.5×13×0.8mm),支持HS400高速模式,顺序读写速度达330/100MB/s。该芯片集成NAND闪存与MMC控制器,内置ECC纠错、坏块管理和磨损均衡功能,支持1.8V/3.3V双电压供电,工作温度范围-25℃至85℃。适用于智能手机、智能电视、工业控制及物联
软考、云计算厂商认证、PMP、数据库相关认证、CDA数据分析师认证。如果只想做纯开发,软考和云认证更直接;如果想在大数据、AI、产品技术、数字化转型方向更有竞争力,CDA数据分析师认证非常值得考虑。证书不是终点,而是学习路径的里程碑。真正有价值的提升逻辑是:先明确岗位方向,再补齐能力短板,最后用证书证明你的系统学习成果。尤其在大数据和人工智能时代,软件工程学生如果同时具备代码能力、数据分析能力和业
计算机硬件,18年之前是重点,考3-5分,但是19,20,21都没有考,22年考一题:磁盘调度,改版在2.2节新增了这一块内容。这章节重点:计算机硬件组成、校验码(奇偶校验码,CRC校验码)、指令系统、存储系统(磁盘调度)、输入/输出计算、总线结构。删掉进制转换、编码、储存地址的计算、校验码、海明码,循环冗余校验码考过,但海明码没有考过,计算机的体系结构都删掉了。指令系统、存储系统教材上都没有,以
先把这篇文章的目标说清楚:看完之后,你应该能判断这件事值不值得做,以及从哪里动手。最近翻看各大厂的招聘 JD,发现一个有意思的现象:初级大模型开发的门槛似乎发生了微妙的偏移。以前大家还在卷 Prompt 技巧,现在 HR 和面试官更关心的是——“你的 Agent 在团队里是怎么协作的?”、“权限控制做了没有?”、“日志可观测性怎么做的?这其实对应了一个很现实的问题:AI 编程工具(比如 Codex
编程工具从多极走向单极——Claude Code 独吞 GitHub 19% 的 PR。医疗 AI 获批首个自主临床决策许可。ChatGPT 份额首破 50%。Agent 炒作和落地之间的鸿沟仍在拉大。
常用工具组件,全局loading组件,可设置旋转动画在父组件中的大小
《没有银弹》是软件工程大师布鲁克斯1986年发表的经典论文,核心论点是"不存在能十倍提升软件生产力的神奇技术"。文章指出软件开发的本质困难(复杂性、一致性、可变性、不可见性)无法通过技术消除,而历史进步主要解决了偶然困难(如高级语言、分时系统等)。布鲁克斯批判了面向对象、AI、图形化编程等"银弹候选技术"的局限性,提出务实解决方案:优先购买而非自建、采用增量
博主的电脑系统是Win11,所以默认Win111.搜索环境变量,如图打开。
针对ECharts图表中formatter函数失效问题,分析了常见原因及解决方案。主要包括:数据格式不匹配需确保返回字符串;作用域问题需正确绑定this;配置层级错误需在series内定义;可通过日志调试、简化测试用例验证;检查版本兼容性参数结构;异步数据需setOption更新。特别指出深拷贝可能导致函数丢失,需检查原型链。
ADR(架构决策记录)是一种记录技术决策的方法,通过简短文档记录问题背景、解决方案和选择理由。它能有效对抗遗忘、避免重复讨论、帮助新人快速了解系统设计,并促使决策更理性。与传统设计文档不同,ADR更关注决策过程而非系统蓝图,具有随做随记、动态更新的特点。典型ADR模板包含状态、日期、决策者、背景、决定、理由和后果等要素,重点突出决策依据和可能影响。这种方法使技术决策更加透明和可追溯。
执行SQL:ALTERSYSTEMSET'COMPATIBLE_MODE' = 2 SPFILE;
在现代软件工程中,版本管理不仅是保存代码的手段,更是衡量开发团队专业素养的基石。本文旨在为初学者构建一套完整的 Git 认知体系:从告别原始的“手动备份”痛点出发,深度解析 Git 的分布式架构与快照存储机制;通过四层数据流向模型(工作区、暂存区、本地仓库、远程仓库)拆解 Git 的核心运行逻辑。本文重点聚焦于企业级协作实战,详细演示了在 Windows PowerShell 环境下,如何通过功能
ArrayList是Java集合框架中基于动态数组实现的List接口,相比固定长度的普通数组,它支持自动扩容缩容,提供丰富的操作方法。核心特性包括:1)动态扩容机制,默认初始容量10,满时按1.5倍扩容;2)必须使用泛型指定存储类型;3)支持三种遍历方式。使用注意事项:1)遍历删除元素应使用迭代器或倒序循环;2)操作索引需先检查范围;3)与普通数组转换通过toArray()和Arrays.asLi
本文介绍了如何在星图GPU平台上自动化部署coze-loop - AI代码循环优化器镜像,以解决代码安全与维护难题。该工具能智能分析并重构代码,例如将硬编码的数据库连接信息自动转换为使用环境变量和配置类的专业模式,从而提升代码安全性、可维护性并实现配置与代码分离。
OpenPLC Runtime v4 REST API 摘要 OpenPLC Runtime v4 提供了内部 REST API 供 OpenPLC Editor 使用,支持 HTTPS 协议。所有端点通过 https://<主机>:8443/api/<端点> 访问,采用 JWT 认证机制。主要功能包括: 用户认证管理 创建用户 (POST /api/create-user
本文介绍了如何在星图GPU平台上自动化部署🔄 coze-loop - AI 代码循环优化器镜像,实现Python代码的智能重构。通过Web界面一键操作,开发者可快速提升代码可读性、优化运行效率或修复潜在Bug,典型应用于电商库存校验、金融系统日期处理等工程场景,显著降低技术债与维护成本。
本文针对计算机专业(尤其是软件工程方向)毕业设计常见问题,从选题到实施提供系统指导。重点分析了三类常见系统(管理信息系统、Web业务系统、综合服务平台)的特点及适用性,强调选题应具备清晰场景、模块划分和完整开发流程。文章指出,毕业设计成功关键在于:1)选择规模适中的题目;2)采用模块化开发方式;3)完整记录工程决策过程;4)规范文档表达。通过遵循软件工程方法论,学生可避免选题不当、开发失控等问题,
OpenPLC Runtime v4提供官方Docker镜像,支持多平台部署,包括x86_64和ARM架构。镜像包含所有依赖项,可通过简单命令快速部署。运行时在8443端口监听OpenPLC Editor连接,数据持久化存储在/var/run/runtime目录。部署支持命名卷或绑定挂载,可配置环境变量和实时调度能力。提供Docker Compose模板和自定义镜像构建指南,支持开发测试和多种网络
Python、Java、HTML与虚拟机的组合,是当前计算机毕业设计最实用、最通用、最易落地的技术方案。毕业设计是高校计算机、软件、信息技术等专业的核心实践环节,要求学生具备完整的项目设计、开发、部署与调试能力。毕业生可根据自身专业方向,选择管理系统、数据分析、人工智能、Web开发等选题,通过多技术融合完成高质量毕业设计,提升项目验收通过率与答辩成绩。在虚拟机中配置JDK、Python环境、数据库
在软件专业毕业设计中,Java、Python、HTML/CSS/JS 是最常用的三大技术栈。- 基础版:Java(SpringBoot) + HTML/Bootstrap + MySQL。Java 负责核心业务,Python 负责特色功能,HTML 负责界面展示。- 特色功能 → Python 提供服务 → Java 调用 → 前端展示。- 前端(HTML/Vue) → 后端(Java) → 数据
Vector 提供覆盖车载网络“设计-测试-标定”全流程的软硬件工具链。核心包括:旗舰平台 CANoe(仿真/测试)、vTESTstudio(自动化测试设计)、CANape(测量标定)、CANdelaStudio(诊断建模)及 vFlash(刷写)。硬件配合 VN 系列接口(总线接入)与 VT System HIL(硬件在环测试),全面支持 CAN、LIN、FlexRay 及汽车以太网(含 TC8
本文系统讲解了MySQL单表查询的核心技能,包括环境搭建、基础语法和实战案例。主要内容涵盖:1.商品表构建与测试数据准备;2.完整查询语法框架和执行顺序;3.基础查询、条件筛选、排序、聚合统计;4.分组查询与分组后过滤;5.分页查询公式与实现;6.去重查询应用。通过商品表案例,详细演示了从简单查询到复杂统计分析的完整流程,帮助开发者掌握SQL单表查询的各类场景应用,提升数据库操作能力。
先把这篇文章的目标说清楚:看完之后,你应该能判断这件事值不值得做,以及从哪里动手。最近圈子里都在聊 AI 编程助手从个人试用走向团队协作的事。很多人拿着自己在本地跑通的 Demo 沾沾自喜,觉得只要把工具链打通,团队效率就能翻倍。但我刚带着小组完成了一次基于 OpenAI Codex 的内部重构试点,结果有点尴尬:代码生成速度确实快了,但回归测试的报错率反而上升了。这不是模型智商的问题,而是我们低
本文摘要: 文件IO与标准IO操作指南对比了Linux系统调用级IO和C标准库IO的核心特性。文件IO(低级IO)使用文件描述符,无缓冲区,适用于所有文件类型但效率较低;标准IO(高级IO)使用流指针,具有缓冲区机制,效率更高但仅适用于普通文件。文章详细介绍了两种IO的操作流程、核心API及注意事项,包括文件打开/关闭、读写操作、光标控制等关键函数,并重点分析了缓冲区机制差异和使用场景选择建议。最
我们将 EBA 的核心功能定义为:将初始的通用 Docker 环境转化为针对特定代码仓库定制的专用运行时容器。该过程可形式化表示为:其中,R 表示智能体用于推断依赖关系和配置逻辑的输入代码仓库,Dinit 为基础 Docker 镜像,Dfinal 为最终生成的功能完备、可直接使用的容器镜像。
本文详细解析了基于Java 17和Spring Boot 3的图书管理系统架构设计,涵盖5大核心模块与3层架构实战。通过模块化设计和现代化技术栈,如Spring Data JPA、Lombok等,实现高效开发与可扩展性,为开发者提供完整的项目总体设计方案和技术实现细节。
本文深入解析Linux V4L2视频采集框架,重点介绍其三层架构(应用层、V4L2核心层、硬件驱动层)和核心数据结构(v4l2_device、video_device、v4l2_subdev、vb2_queue)。通过分析数据流调用链和子设备操作函数集,详细阐述从应用层到驱动的完整流程。文章还探讨了16路摄像头实现方案、Media Controller框架、Videobuf2缓冲区管理以及音视频同
本文分析了Linux 6.1内核在ARM64架构下的SMP调度系统。主要内容包括:1) 源码目录结构分析,展示了开发者视角和目标机视角的差异;2) 核心数据结构如task_struct、rq、sched_class等的层次关系;3) 负载均衡算法流程和调度域层级实现;4) 进程唤醒和负载均衡的数据流;5) 调度器类优先级和任务选择逻辑;6) 关键函数调用树和SMP启动流程;7) 运行时调试接口和常
本文深入分析了Linux 5.10内核网络子系统的核心架构与实现机制。主要内容包括: 源码目录结构分析,涵盖核心网络协议栈、驱动层和关键头文件 核心数据结构详解,包括sk_buff、sock、tcp_sock等关键结构 网络初始化流程与设备注册机制 NAPI/GRO收包生命周期与硬件卸载优化 TCP协议栈实现,包括三次握手、四次挥手状态机 拥塞控制算法体系与CAKE队列管理 完整的收发路径分析及关
本文系统介绍了Linux多媒体设备管理和文件系统(FS)子系统的关键技术与架构。第一部分详细解析了设备发现机制,包括V4L2/ALSA设备枚举、MediaController拓扑结构以及AHD摄像头接入方案,并提出了基于策略模式、管道模式等软件设计模式的多媒体处理框架。第二部分深入探讨了FS-MM交互机制,从VFS层、页缓存到具体文件系统实现,构建了完整的问题解决框架,涵盖路径查找优化、读写性能调
对于软件工程专业的同学来说,毕设的第一步不是选题,而是搭建一个稳定、兼容的开发环境——IDEA(开发工具)、JDK(Java开发核心)、Maven(依赖管理)、MySQL(数据库),这四大工具是绝大多数Java方向毕设(如SpringBoot项目、管理系统等)的基础,也是新手最容易踩坑的环节。(注:因原图片链接受安全策略限制无法打开,以下替换为对应操作的清晰图文描述,精准还原原截图场景,不影响实操
本文介绍了开源向量数据库Milvus的特点、优势及应用场景。作为高性能、可扩展的向量数据库,Milvus支持从本地开发到超大规模生产集群的多种部署模式,包括Lite、Standalone和Distributed版本。它通过硬件优化、高效搜索算法和列式存储实现2~5倍的性能提升,支持十亿级向量数据处理。Milvus提供多种搜索能力如ANN、过滤搜索和混合搜索,并支持多种数据类型和SDK。文章还对比了
软件工程
——软件工程
联系我们(工作时间:8:30-22:00)
400-660-0108 kefu@csdn.net