开源sdn

nnv开源神经网络验证软件工具

一、软件介绍文末提供程序和源码下载用于神经网络验证的Matlab工具箱，该工具箱实现了可访问性方法，用于分析自主信息物理系统（CPS）领域中带有神经网络控制器的神经网络和控制系统。二、相关工具和软件该工具箱利用神经网络模型转换工具（nnmt）和闭环系统分析、混合系统模型转换和转换工具（HyST）以及CONTINUOUSReachabilityAnalyzer（CORA）三、无需安装即可执行NNV可
·2025-06-30 16:03

【2025最新】AI大模型项目实战教程大揭秘！超详细攻略，手把手带你飞，记得收藏！

开发大模型相关应用，其技术核心点虽然在大语言模型上，但一般通过调用API或开源模型来实现核心的理解与生成，通过PromptEnginnering来实现大语言模型的控制，因此，虽然大模型是深度学习领域的集大成之作
大模型教程·2025-06-30 15:29

深入理解AI技术与实践：如何贡献代码

在这篇文章中，我们将结合AI技术实践，深入探讨如何有效地为开源项目贡献代码，尤其是那些使用AI模型的项目。技术背景介绍AI技术的迅猛发展得益于开源社区的共享和协作。
Wurenyu957·2025-06-30 15:25

【C++指南】C++ list容器完全解读（三）：list迭代器的实现与优化

.博客主页：倔强的石头的CSDN主页Gitee主页：倔强的石头的gitee主页⏩文章专栏：《C++指南》期待您的关注文章目录引言一、普通迭代器：链表的“导航指针”1.1迭代器的本质1.2迭代器与链表的关系二
倔强的石头_·2025-06-30 15:24

C# VB.NET取字符串中全角字符数量和半角字符数量

C#VB.NET中Tuple轻量级数据结构和固定长度数组-CSDN博客https://blog.csdn.net/xiaoyao961/article/details/148872196下面提供了三种统计字符串中全角和半角字符数量的方法
专注VB编程开发20年·2025-06-30 15:54

基于django+Spark+大数据+爬虫技术的国漫推荐与可视化平台设计和实现(源码+论文+部署讲解等)

博主介绍：✌全网粉丝50W+,csdn特邀作者、博客专家、CSDN新星计划导师、Java领域优质创作者,博客之星、掘金/华为云/阿里云/InfoQ等平台优质作者、专注于Java技术领域和学生毕业项目实战
阿勇学长·2025-06-30 14:22

无铅压电陶瓷研究进展：技术突破与产业升级路径

作者简介：科技自媒体优质创作者个人主页：莱歌数字-CSDN博客公众号：莱歌数字个人微信：yanshanYH211、985硕士，职场15年+从事结构设计、热设计、售前、产品设计、项目管理等工作，涉足消费电子
莱歌数字·2025-06-30 14:22

领域驱动设计核心解析

我是廖志伟，一名Java开发工程师、《Java项目实战——深入理解大型互联网企业通用技术》（基础篇）、（进阶篇）、（架构篇）清华大学出版社签约作家、Java领域优质创作者、CSDN博客专家、阿里云专家博主
·2025-06-30 14:51

Dubbo与Zookeeper核心解析

我是廖志伟，一名Java开发工程师、《Java项目实战——深入理解大型互联网企业通用技术》（基础篇）、（进阶篇）、（架构篇）清华大学出版社签约作家、Java领域优质创作者、CSDN博客专家、阿里云专家博主
Java开发廖志伟·2025-06-30 14:51

ShardingSphere 架构解析

我是廖志伟，一名Java开发工程师、《Java项目实战——深入理解大型互联网企业通用技术》（基础篇）、（进阶篇）、（架构篇）清华大学出版社签约作家、Java领域优质创作者、CSDN博客专家、阿里云专家博主
Java开发廖志伟·2025-06-30 14:20

高性能计算（HPC）计算：Fortran 语言如何助力有限元、流体力学、结构力学、复合材料、增材制造仿真？

以下从这几个方向具体说明Fortran如何助力仿真工作：一、有限元分析（FEA）Fortran在有限元分析中的应用可谓根深蒂固，许多商用和开源FEA求解器如AB
源代码杀手·2025-06-30 13:17

MAX7219数码管+RTC时钟——stm32

-OpenEdv-开源电子网#include"sys.h"#include"delay.h"#include"rtc.h"#include"stdio.h"_calendar_objcalendar;/
嵌入式学徒 未来评测学徒·2025-06-30 11:31

Docker 安装Immich教程

Immich是一个开源的自托管照片和视频管理平台，专为帮助用户存储、管理、和分享个人媒体库而设计。
Roc-xb·2025-06-30 11:30

python系列教程246——多态

朋友们，如需转载请标明出处：https://blog.csdn.net/jiangjunshow声明：在人工智能技术教学期间，不少学生向我提一些python相关的问题，所以为了让同学们掌握更多扩展知识更好地理解
人工智能AI技术·2025-06-30 11:30

本地运行大型语言模型(LLM)的实践指南

核心原理解析在本地运行LLM，需要准备以下几个条件：开源LL
yunwu12777·2025-06-30 11:58

OceanBase批量插入数据报错java.lang.ArrayIndexOutOfBoundsException:0

参考文章：com.mysql.cj.jdbc.result.ResultSetMetaData.getCloumnType(ResultSetMetaData.java:188)空指针-CSDN博客批量插入数据时
二宝哥·2025-06-30 10:55

构建私有视觉搜索应用：多模态大模型的应用实例

随着开源多模态大型语言模型（Multi-modalLLMs）的兴起，我们现在可以为自己构建这种视觉搜索应用，用于管理自己的私人照片收藏。
2301_80727036·2025-06-30 10:24

RoomGPT: 人工智能驱动的室内设计革命

RoomGPT简介RoomGPT是一个开源项目,由GitHub用户Nutlope开发。它允许用户上传任何房间的
m0_56734068·2025-06-30 10:20

深入理解Redis

Redis（RemoteDictionaryServer）应运而生，作为一个开源的内存键值数据库，它凭借极快的读写速度、丰富的数据结构和灵活的扩展能力，成为缓存、会话存储、消息队列等场景的首选解决
·2025-06-30 08:44

智能家居助手——Home Assistant配置小米的米家所有设备

而小米官方也是十分友好的在GitHub上开源了支持的HomeAssistant的集成组件【ha_xiaomi_home】，它可以让您在HomeAssistant中使用小米IoT智能设备。
牛奶咖啡13·2025-06-30 08:44

【全网最快，不服来战，输了叫大哥】Ubuntu 22.04安装Docker

Docker的安装快速绿色安装Docker正常安装Docker报错解决完全卸载Docker其他问题解决方法参考博客点此到文末惊喜↩︎Docker的安装特别鸣谢，这位大佬写的非常好：https://blog.csdn.net
逆羽飘扬·2025-06-30 08:13

服务器、树莓派/香橙派部署HomeAssistant与小爱音箱联动

HomeAssistant功能介绍与多平台部署实战：CentOS服务器、树莓派、香橙派部署及小爱音箱联动控制一、HomeAssistant简介HomeAssistant是一款基于Python开发的开源智能家居自动化平台
不对法·2025-06-30 08:39

Redisson看门狗机制：分布式锁的可靠守护者

个人主页：小韩学长yyds-CSDN博客⛺️欢迎关注：点赞留言收藏箴言：拥有耐心才是生活的关键目录一、引言二、Redisson简介三、看门狗机制原理剖析3.1自动续期核心逻辑3.2锁释放与取消续期3.3
小韩学长yyds·2025-06-30 07:38

Qt 各种功能学习笔记

用正则表达式设置输入框只能输入正浮点数2.2设置QDateTimeEdit的时间格式和设置为当前时间1.Qt关于数据库1.1Qt链接数据库基础教学：使用Qt链接MySql数据库_qt连接mysql_栈不收的博客-CSDN
栈不收·2025-06-30 07:08

【算法设计与分析】（四）Strassen 矩阵

我的个人主页，欢迎来阅读我的其他文章https://blog.csdn.
珹洺·2025-06-30 07:04

C语言笔记1：编译和链接、算术操作符、转义字符等。

具体详见下面博主链接：C语言关键字详解-CSDN博客需要注意的一点是：define不是C语言的关键字。
逑之·2025-06-30 06:29

统一认证、限流、Mock 一网打尽！用 APISIX/Kong 让低代码平台更清爽

在移动端开发、鸿蒙开发、物联网、嵌入式、云原生、开源等领域有深厚造诣。图书作者：《ESP32-C3物联网工程开发实战》图书作者：《SwiftUI入门，进阶与实战》超级个体：CO
网罗开发·2025-06-30 05:19

2012-2021年 银行数字化转型综合指数-银行年报数字化词频统计

2012-2021年银行数字化转型综合指数-银行年报数字化词频统计.rarhttps://download.csdn.net/download/2401_84585615/89887456https:/
小王毕业啦·2025-06-30 04:43

2022年 全国省、地级市、县行政区划及国界线shp格式

最新全国省、地级市、县行政区划及国界线shp格式2022年.z.ziphttps://download.csdn.net/download/2401_84585615/89919937https://download.csdn.net
小王毕业啦·2025-06-30 04:13

【vue导入导出Excel】vue简单实现导出和导入复杂表头excel表格功能【纯前端版本和配合后端版本】

1,[a标签](https://bbs.csdn.net/topics/618166371)下载这种方法核心就是后端直接生成下载链接，前端只需要生成A标签然后下载就行了。
2401_84433535·2025-06-30 04:13

Github 2025-06-24Python开源项目日报 Top10

根据GithubTrendings的统计，今日(2025-06-24统计)共有10个项目上榜。根据开发语言中项目的数量，汇总情况如下：开发语言项目数量Python项目10Swift项目1C++项目1yt-dlp:一个增强版的youtube-dl分支创建周期：1184天开发语言：Python协议类型：TheUnlicenseStar数量：64607个Fork数量：5309次关注人数：64607人贡献
老孙正经胡说·2025-06-30 03:13

JMeter中变量如何使用？

在性能测试的世界中，ApacheJMeter是一把利器，凭借其强大的可扩展性与图形化操作界面，在工业界和开源社区中广受青睐。
测试者家园·2025-06-30 03:10

C++法则15：匹配失败并不是一种错误(Substitution Failure Is Not An Error)。

_c++isclass-CSDN博客C++SFINAE(SubstitutionFailureIsNotAnError)SFINAE是C++模板元编程中的
·2025-06-30 03:09

AI对话导出工具 (AI Chat Exporter)——支持 ChatGPT, Grok 和 Gemini 平台

AI对话导出工具(AIChatExporter)轻松将AI对话导出为标准Markdown格式支持ChatGPT,Grok和Gemini平台相关代码已开源至Github欢迎Star✨功能特点多平台支持：同时支持
ALGORITHM LOL·2025-06-30 02:08

Zeek网络安全分析框架深入体验

本文还有配套的精品资源，点击获取简介：Zeek（前身为Bro）是一个强大的开源网络分析工具，专门用于监控和分析网络流量以识别安全威胁。
八位数花园·2025-06-30 02:36

PPT 要你好看（全彩）

http://blog.csdn.net/jiangjunshow也欢迎大家转载本篇文章。分享知识，造福人民，实现我们中华民族伟大复兴！
又是一个装逼的·2025-06-30 02:05

数据标注工具详解

以下从工具类型、核心功能、行业应用及技术趋势等方面进行系统介绍：一、主流数据标注工具分类与特性1.通用型标注平台LabelStudio由Heartex开发的开源工具，支持文本、图像、视频、音频及时间序列数据标注
Sally璐璐·2025-06-30 01:32

Joda-Time 日期时间库介绍

Joda-Time是由StephenColebourne开发的开源日期时间库，用于替代Java标准库中的java.util.Date和java.util.Calendar。
hweiyu00·2025-06-30 01:02

AingDesk开源免费的本地 AI 模型管理工具(搭建和调用MCP)

说明AingDesk是一款开源免费的本地AI模型管理工具，旨在简化AI模型部署流程并提升用户体验。AingDesk支持本地AI模型及API+知识库搭建。支持知识库、模型API、分享、联网搜索、智能体。
没刮胡子·2025-06-30 01:31

MiniMax - M1：开源大模型的革命性突破

开源大模型MiniMax-M1研究报告一、引言在人工智能技术飞速发展的当下，大模型领域的竞争愈发激烈。开源大模型以其开放性、可定制性和社区协作的优势，逐渐成为推动人工智能技术进步的重要力量。
·2025-06-30 01:01

【Python】PyRoboPath：Python机器人路径规划的终极指南

PyRoboPath是一个先进的、开源的Python库，致力于为学术研究人员、行业工程师以及机器人爱好者提供一套完整、高效、易用且可扩展的机器人路径规划解决方案。
宅男很神经·2025-06-30 00:56

Edge-TTS的使用

edge-tts在github上已开源，有3的kstar！替代国内收费的TTS服务完全没问题。它支持40多种语言，300多种声音，效果很不错~github
·2025-06-30 00:26

开源项目安装与配置指南：OpenAI-Compatible Edge-TTS API

开源项目安装与配置指南：OpenAI-CompatibleEdge-TTSAPIopenai-edge-ttsFree,high-qualitytext-to-speechAPIendpointtoreplaceOpenAI
霍虹情Victorious·2025-06-30 00:55

钉钉小程序框架引入 Pinia 状态管理

上一篇文章描述了如何使用其他手段实现路由守卫文章地址：钉钉小程序开发中实现路由守卫拦截-CSDN博客本文将深入探讨如何在基于这些技术栈的小程序项目中引入状态管理插件一、了解PiniaPinia是一个全新的
·2025-06-29 23:50

探索高效缓存：CoroutinesCache 开源库深度解析

探索高效缓存：CoroutinesCache开源库深度解析CoroutinesCacheInmobiledevelopmentexistssolutionforcachingwithRxJavausage
龙香令Beatrice·2025-06-29 23:18

探索Android开发新境界：Kotlin协程实战乐园

今天，我们向您隆重推荐一个极佳的开源项目——
黎情卉Desired·2025-06-29 23:18

什么是RibbitMQ

根据多个权威技术资料分析，RibbitMQ（实际应为RabbitMQ）是一个开源的、基于高级消息队列协议（AMQP）的消息代理（MessageBroker）软件，专为分布式系统提供异步通信、应用解耦和流量削峰等核心能力
肘击鸣的百k路·2025-06-29 22:13

什么是Sentinel? 以及优点

Sentinel是阿里巴巴开源的轻量级流量治理与系统保护组件，专注于微服务架构下的实时流量控制、熔断降级和系统稳定性保障。其核心目标是通过动态规则管理防止服务因高并发、突发流量或依赖故障导致雪崩崩溃。
肘击鸣的百k路·2025-06-29 22:41

Ansible部署MySQL实操

一、Ansible概述Ansible是一款开源的自动化运维工具，由MichaelDeHaan于2012年创建，2015年被红帽（RedHat）收购（收购金额超1亿美元）。
码农运维知识·2025-06-29 22:10

AI日报-20250627：谷歌Gemma 3n发布，百亿参数只需2G内存！荣耀启动IPO冲刺2000亿估值！

1、黑马FLUX.1-Kontext开源！文本一键PS超越GPT-image-1，AI修图新标杆2、谷歌Gemma3n震撼发布：2G内存跑100亿参数多模态模型，端侧AI迎来革命！
大数据AI-ZRL·2025-06-29 22:39
上一页 15 16 17 18 19 20 21 22 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他