- 博客(1181)
- 收藏
- 关注
RSS订阅原创 STM32F103波形生成技术详解与实战
STM32F103微控制器是STMicroelectronics（意法半导体）生产的一款高性能ARM Cortex-M3微控制器。它广泛应用于工业控制、医疗设备、通信等众多领域，凭借其强大的处理能力和丰富的外设接口，成为开发者青睐的平台之一。在本章节中，我们对波形生成系统中的故障诊断与维护进行了全面的探讨。通过了解常见故障类型、掌握诊断方法与工具，并制定合理的维护策略，可以有效地保障系统的稳定运行。同时，实际案例与经验分享也为我们提供了实际操作中的参考。维护工作不仅需要理论知识，更需要丰富的实践经验。
2025-08-01 16:52:13
491
原创 软件设计模式与体系结构实例代码全解析
在软件工程领域中，设计模式与体系结构是构建高质量、可维护和可扩展软件的基石。设计模式提供了一系列可复用的解决方案，帮助开发者解决在软件设计过程中可能遇到的普遍问题。而软件体系结构则定义了软件系统的结构及其组件之间的关系，对软件的长远发展和演进具有深远影响。本章我们将从宏观角度出发，简要介绍设计模式与体系结构的基础知识，为进一步深入探讨打下坚实基础。设计模式可以被视为一种在软件设计中解决问题的通用语言，它帮助开发者以更加规范和高效的方式进行代码的组织和编写。
2025-08-01 15:49:26
757
原创 集装箱装载计算：Visual Basic实现详解
Visual Basic（简称VB）是一种由微软公司开发的编程语言，它属于Visual Studio软件开发环境的一部分。VB以其易学易用而著称，它将复杂的底层代码封装起来，以事件驱动的方式简化了程序的编写过程，使得开发者可以更加专注于界面设计和功能实现。自1991年推出以来，Visual Basic经历了多个版本的更新和改进，从最初的VB 1.0到后来的VB 6.0，再到现代的VB.NET，它始终保持着在快速开发环境中的领先地位。
2025-08-01 15:33:43
469
原创 小波变换在轴承故障诊断中的应用及实践
小波变换是一种数学变换，用于分析具有时间-频率特性的信号。它将信号分解为一系列函数，称为小波基函数。这些小波基函数是通过平移和缩放一个母小波函数得到的。小波变换在信号处理、图像分析、数据压缩等领域中应用广泛，它能够有效地从信号中提取出频率随时间变化的信息。
2025-08-01 14:45:04
829
原创 uni-app集成阿里云OSS文件上传解决方案.zip
阿里云OSS（Object Storage Service）是一项提供安全、可靠、大规模的数据存储服务，广泛应用于网站图片、视频点播、备份等多种场景。对于IT行业专业人士而言，它不仅是一种存储解决方案，更是一种支持业务迅速扩展的基础设施。OSS服务支持任意类型的文件，且具有高可靠性和高并发的特点，提供了多种数据访问权限控制，可以轻松地与各种阿里云服务进行集成。uni-app 是一个使用 Vue.js 开发所有前端应用的框架，由 DCloud 公司于2017年推出。
2025-08-01 14:05:23
594
原创 华为视频监控售后专家认证套件
视频监控系统，通常称为闭路电视（CCTV），是使用摄像机、录像机、传输线缆等设备，对特定区域进行持续监视并记录的系统。其历史可以追溯到20世纪40年代，从最初的模拟视频监控，发展到数字视频监控，再到现在的网络视频监控。以下是某视频监控系统的典型故障案例分析：案例描述：某个监控摄像头无法在监控中心显示图像，但物理连接正常。故障诊断首先，检查了摄像头的指示灯状态和配置参数，未发现异常。查看系统日志，发现IP冲突问题，导致摄像头无法获取IP地址。
2025-08-01 12:46:52
504
原创 倍福TwinCAT3运动控制模板：自动化技术的精髓
在自动化控制系统领域，倍福（Beckhoff）的TwinCAT 3平台以其高度的模块化、开放性和卓越的性能赢得了广泛的赞誉。本章将深入探讨TwinCAT 3的核心架构和特性，为读者揭开这款领先自动化软件的神秘面纱。倍福TwinCAT 3中的运动控制模板提供了针对各种运动控制任务的预设功能，比如点到点运动（PTP）、直线和圆弧插补、电子齿轮同步等。这些模板使得开发者能够迅速实现单轴或多轴的精确运动控制，主要应用于机器人控制、包装机械、装配线和任何需要精确位置控制的自动化设备中。
2025-08-01 12:11:58
968
原创 ADXL345三轴加速度计应用实战：原理、编程与C/C++实现
ADXL345是一款由Analog Devices公司生产的高精度三轴数字输出加速度计。它能够测量在静态时的重力加速度，以及动态时的加速度，广泛应用于移动设备、游戏控制器和机器人等领域。微机电系统（Microelectromechanical Systems，简称MEMS）是一种微型化的技术，它融合了机械元件、传感器、执行器以及电子电路集成在同一芯片上。MEMS技术的诞生为微型传感器、微加工机械和微机械电子设备的开发带来了革命性的变化。
2025-08-01 11:39:06
316
原创 MATLAB录音与音频处理GUI界面完整教程
MATLAB为音频处理提供了丰富而强大的内置函数，包括但不限于音频信号的读取、播放、显示、处理和写入。基本音频处理功能涵盖了以下几点：读取和写入音频文件：使用audioread和audiowrite函数可以读取和写入多种音频文件格式。音频播放：通过sound或soundsc函数可以播放音频数据。音频信号的显示函数能够显示音频信号的频谱图。音频信号的处理：包括信号的滤波、噪声消除、回声添加等。
2025-08-01 11:25:49
576
原创 深入掌握Zigbee_Z-Stack 3.0 开发：C/C++实践手册
Zigbee 3.0是Zigbee协议的一个重大迭代，它对原有标准进行了整合和扩展，提供了一个全面的、可互操作的通信协议栈，支持从简单的传感器到复杂网络设备的广泛应用。Zigbee 3.0的推出，旨在简化设备间的兼容性，并增强网络的安全性和可靠性。开发者可以根据实际的硬件平台和应用场景对Z-Stack进行定制。扩展Z-Stack涉及添加新的驱动程序、修改现有的协议栈代码、或者增加新的应用层逻辑。/* 定义新的设备驱动示例 */// 初始化设备// 读取数据// 写入数据。
2025-08-01 09:52:56
609
原创 Python自动化测试框架：提升测试效率与代码质量
Selenium诞生于2004年，最初由ThoughtWorks公司的一个小型项目组开发，目的是为了应对基于浏览器的自动化测试需求。随着时间的推移，Selenium逐渐演变成了一个完整的自动化测试框架，被广泛应用于Web应用的自动化测试中。Selenium的核心组件包括Selenium IDE、Selenium WebDriver和Selenium Grid。：是一个浏览器扩展，可以录制用户的操作并且转换成测试脚本。它主要适用于快速自动化脚本的生成和测试的初步设计阶段。
2025-07-31 16:41:49
1017
原创 个性化滑动锁屏功能开发详解
在移动设备的众多交互设计中，滑动锁屏是一个直观且便捷的用户界面元素。它不仅仅提供了屏幕的开锁方式，也成为了许多应用启动和功能切换的快捷手段。本章节将从基础开始，带您走进滑动锁屏机制的世界。在Android设备中，用户通过滑动解锁屏幕以启动设备或访问特定功能是日常使用的基本交互之一。解锁流程的基本步骤如下：设备启动和初始化：设备启动后，系统会加载初始配置并进行自检。锁屏界面显示：启动完成后，设备进入锁屏界面，用户可以看到锁屏背景以及时间、日期、通知等基本信息。滑动或输入解锁。
2025-07-31 15:42:25
815
原创 系统维护专家：Windows优化大师实用技巧
htmltable {th, td {th {pre {简介：Windows优化大师是一款全方位的系统维护工具，它集成了系统优化、清理、启动项管理、系统维护、信息检测和安全防护功能，旨在提升Windows系统的性能、稳定性和安全性。软件提供内存优化、硬盘整理、注册表清理、垃圾文件扫描、启动项管理、磁盘碎片整理、系统备份与恢复、驱动备份、硬件和系统状态检测以及隐私保护等实用功能，使用户能够高效地维护计算机的健康。
2025-07-31 15:41:43
800
原创 基于C#的DALSA线扫描相机开发教程及实践
线扫描相机在工业和科研领域拥有众多应用，其中DALSA线扫描相机以其高精度和稳定性著称。本章节将对DALSA线扫描相机的特性进行详细探讨，并介绍其在不同行业中的应用场景，帮助读者更好地理解该技术的发展现状和潜力。SaperaLT 库提供了多个 API 供开发者使用，其中关键的几个包括：：开始图像采集。：停止图像采集。：读取当前帧图像数据。以下是一个使用这些 API 的简单示例：// 打开相机// 开始采集图像// 在这里可以进行图像处理和分析// 停止图像采集。
2025-07-31 14:46:45
947
原创 Unity NGUI用户界面系统详解与实战指南
NGUI for Unity是一个强大的用户界面系统，为游戏和应用程序的UI创建提供了高效的工作流程。它包括了丰富的组件，可以让开发者快速搭建和管理2D和3D界面。在NGUI中，事件处理是指用户与UI元素交互时，如何响应这些交互并执行相应的操作。这些交互可以是点击、拖拽、滚动等。事件处理机制确保了在用户进行操作时，UI系统能够做出相应的反应。NGUI提供了强大的API来支持自定义事件处理逻辑。开发者可以通过编写脚本来定义复杂的交互逻辑，或者通过事件的参数来访问触发事件的具体位置等信息。
2025-07-31 14:24:20
294
原创 cshtml5 v12.0：Silverlight转HTML5的实用工具
随着网络技术的不断进步，传统的Silverlight技术已逐渐淡出市场，而HTML5凭借其跨平台、开放性等特点，成为了前端开发的新宠儿。在这一背景下，cshtml5 v12.0作为一款将Silverlight应用转换为HTML5的工具，给开发者们提供了一个平滑过渡的解决方案。cshtml5 v12.0不仅仅是一个简单的转换工具，它集成了对.NET特性的广泛支持，包括WPF/XAML、C#、后台代码等，使开发者能够将旧有的Silverlight项目快速转换为现代的HTML5网页应用。
2025-07-31 13:44:50
904
原创 BMP图像处理与显示实践教程
BMP文件由以下几个主要部分构成：文件头（BITMAPFILEHEADER）：包含了文件的总体信息，如文件大小、文件类型等。信息头（BITMAPINFOHEADER）：详细描述了图像的尺寸、颜色深度、压缩方式等属性。调色板（可选）：对于小于24位的图像，调色板用于定义图像中使用的颜色。图像数据：包含了实际的像素数据，这些数据按照从左到右、从下到上的顺序存储。图像缩放是图像处理中的一个常见操作，通过改变图像的像素数来调整其大小。
2025-07-31 12:50:41
579
原创 电流型PWM整流器设计与仿真
整流技术自20世纪初开始发展，从最初的机械整流器到现在的半导体整流器，技术的演进经历了多个阶段。机械整流器由于效率低下和可靠性问题逐渐被淘汰，而半导体整流器由于具有高效率、体积小、寿命长等特点，成为了市场的主流。PWM技术是一种通过快速切换开关元件的通断状态，从而控制输出电压脉冲宽度和幅值的技术。其核心在于通过调节脉冲宽度来实现直流电压的稳定输出，同时减少输出波形的谐波含量。PWM整流器主要由电源、整流桥、PWM控制器和滤波器等部件构成。其中PWM控制器是核心部件，负责生成控制脉冲信号。
2025-07-31 12:40:23
896
原创 构建公共数据集市的实践指南
公共数据集市（Common Data Marketplace）是组织内共享和使用数据的平台，它集中了来自不同业务系统和源的数据。该平台的目的是提供一致、可靠的、经过预处理的数据，供企业内部人员和合作伙伴使用，支持决策过程和业务洞察。
2025-07-31 12:16:53
941
原创 LBP遥感纹理特征提取与高程分析
LBP（局部二值模式）是一种用于纹理分析的图像处理方法，因其计算简单高效，在图像处理领域有广泛应用。LBP的核心思想是从局部图像区域出发，通过比较中心像素与其邻域像素的灰度值来生成纹理特征。局部二值模式的选取通常基于一个围绕中心像素的邻域，这个邻域可以是3x3、4x4或者其他大小的矩形区域。中心像素周围的像素点的灰度值与中心像素进行比较，以确定局部模式。一个常见的选择是3x3邻域，它包含8个相邻的像素点（不包括中心像素）。这些邻域像素的索引通常以中心像素为参照，顺时针方向排列。
2025-07-31 12:16:19
767
原创 完整license代码管理实战
在当今数字化时代，软件许可协议是软件开发者与用户之间权利和义务的法律文本。它不仅定义了用户可以如何使用软件，还涉及了软件的销售、分发、修改与分发等方面的法律约束。本章将为读者提供软件许可协议的概览，包括其目的、种类及条款的简要介绍。license代码是软件中用于定义许可规则的代码片段。它是软件许可证条款和条件的具体编程实现。一个合法的license代码能够确保软件按照发行者既定的规则被使用，同时避免了非法复制和盗版。
2025-07-31 12:15:14
896
原创 深度学习讲义-李宏毅教授课程指南
深度学习是机器学习的一个子领域，它通过模仿人脑的工作方式来处理数据，尤其擅长处理非结构化数据，如图片、声音和文本。随着计算机计算能力的提升和大数据的普及，深度学习技术迅速发展，并在图像识别、语音识别和自然语言处理等领域取得了革命性的进步。以下是一些在深度学习中广泛使用的优化算法：梯度下降（Gradient Descent）- 最基础的优化算法，通过计算损失函数相对于模型参数的梯度，然后逆梯度方向更新参数。- 适用于小规模数据集和简单模型。随机梯度下降（SGD）
2025-07-31 11:33:26
924
原创 TensorFlow 1.2源码深度解析与实战指南
TensorFlow 的核心概念之一是数据流图（Dataflow Graph）。它是一个包含节点和边的有向无环图，用于表示计算过程。图中的节点代表操作（如加法、乘法、神经网络中的层等），而边代表节点之间的数据流动。每个节点执行计算时都需要消耗输入的张量（Tensor），并产生输出的张量。数据流图的作用体现在多个层面上：并行性：图能够在不同的设备上并行执行，利用硬件资源优化性能。延迟执行：节点仅在所需数据可用时才执行，这种特性可以用于优化。分布式计算。
2025-07-31 11:17:56
868
原创 PID电磁阀控制教程及代码实现
比例控制是PID控制算法中最基础的部分，它根据当前的误差大小来调整控制输入。误差是目标值（设定点）和过程变量（系统输出）之间的差值。比例控制通过一个可调节的参数——比例增益（Kp）来工作，该参数决定了输出对误差的敏感程度。比例控制的核心作用在于能够快速减小误差，使系统输出尽快接近目标值。然而，由于其输出与误差成比例关系，通常不能完全消除稳态误差（即系统在达到平衡状态后仍然存在的误差）。这也就意味着在某些应用场景中，单一比例控制可能无法满足精确控制的需求。
2025-07-31 11:10:09
966
原创 STM32F103RC UART功能封装与实践指南
STM32F103RC微控制器是ST公司基于ARM Cortex-M3内核开发的一款高性能微控制器，广泛应用于各种嵌入式系统。这款芯片具有丰富的外设接口，包括UART、I2C、SPI等，同时支持多种低功耗模式，能够满足各种复杂应用场景的需求。STM32F103RC微控制器的特性包括：高性能的处理能力：基于Cortex-M3内核，运行频率高达72MHz。丰富的内存资源：具有高达64KB的闪存和20KB的SRAM，适合存储大量数据和运行复杂的程序。多种通信接口。
2025-07-31 11:03:14
942
原创 电子设计自动化自学课程：理论到实践
EDA（Electronic Design Automation）技术，也被称作电子设计自动化技术，是利用计算机辅助设计（CAD）软件来设计、模拟和优化电子系统的过程。这些系统可能包括从简单的数字逻辑电路到复杂的集成电路（IC）和印刷电路板（PCB）设计。随着集成电路特征尺寸的缩小和芯片复杂性的增加，EDA技术成为了现代电子设计不可或缺的一部分，它极大地提高了设计效率，减少了设计周期，降低了产品从概念到市场的时间（Time-to-Market）。
2025-07-31 10:07:44
560
原创 生成WS小世界网络模型的MATLAB实战
MATLAB的安装和配置是进行任何MATLAB项目的基础。用户需要从MathWorks官网下载最新版本的MATLAB，并进行安装。安装过程中，用户可以根据个人需要安装不同的工具箱，但是小世界网络的生成通常只需要基础的MATLAB和网络分析工具箱。安装完成后，用户应确保MATLAB的安装路径已经添加到系统的环境变量中。这样，用户可以在命令行中直接调用MATLAB，同时，MATLAB也可以找到所有必要的执行文件。
2025-07-31 09:38:40
639
原创 Apache Tomcat 7.0.64 完整安装与配置指南
Apache Tomcat 7.0.64是Java开发者社群广泛使用的一款开源Web服务器和Servlet容器。该版本作为Tomcat 7系列的重要维护更新，它在稳定性和性能上都做了诸多改进。对于5年以上的IT从业者来说，了解这个版本的特性，能够更好地优化应用部署和提升服务器的响应能力。为了扩展Tomcat的功能，可以使用多种插件和扩展。例如，可以使用JMX管理接口进行远程监控和管理。此外，还可以利用第三方库，如Jasper Reports或JMeter，来添加报表和负载测试功能。
2025-07-31 09:34:32
639
原创 Visual GC: Java性能优化与垃圾回收监控
Visual GC是一款可视化的垃圾回收分析工具，它能够将复杂的内存和垃圾回收（GC）数据以图形化的方式展示，使得监控和分析Java虚拟机（JVM）的内存使用和GC活动变得更加直观和简单。垃圾回收是识别并释放不再使用的对象，回收它们占用的内存空间的过程。在Java中，对象由JVM自动分配和管理，当对象不再有引用指向它时，它们就成为了垃圾回收器的目标。垃圾回收器在后台运行，根据不同的算法和策略，周期性地释放这些内存。一个对象的生命周期通常包括以下几个阶段：- 创建：当使用new。
2025-07-31 09:33:25
940
原创 完整OpenCV3.2 DPM行人检测项目实战与详解
DPM算法，即Deformable Parts Model，是一种在计算机视觉领域广泛应用于目标检测的算法。它在2008年由P.F. Felzenszwalb等人提出，目的是为了提高目标检测的精确度和效率。DPM (Deformable Part Models) 是一种用于目标检测的算法，它在 OpenCV 3.2 中以模块的方式提供支持。DPM 模型尤其擅长在复杂背景下检测物体，例如行人和车辆。要在 OpenCV 中使用 DPM 模型，您需要首先加载预训练的模型文件。这可以通过调用类实现。
2025-07-31 09:18:00
577
原创 局域网测速工具：上传/下载与延迟分析
局域网（Local Area Network，简称LAN）测速是指对网络环境中的数据传输速度进行准确测量的过程。这一过程涉及到上行（上传）和下行（下载）的数据速率。上行速度是指设备向网络发送数据的能力，而下行速度是指设备接收网络数据的能力。局域网测速的重要性在于，它能够帮助网络管理员评估和优化网络性能，确保网络环境满足业务需求。网络延迟（或称为时延）是指数据从源点到目的地传输所需的时间。网络延迟的大小会直接影响到用户的上网体验，尤其是对于实时性要求高的应用，如在线游戏、视频会议等。
2025-07-29 16:46:48
619
原创 Log4j 2.x在Android平台的应用指南
在讨论Log4j 2.x的主要更新时，我们首先要了解它与前版本Log4j 1.x和Log4j 2.x的差异。Log4j 1.x是较早期的版本，其设计在现代应用程序中显得有些过时，主要问题包括线程安全问题以及配置上的局限性。Log4j 2.x在继承了1.x版本优点的基础上，进行了大量改进和创新，其主要更新点如下：性能优化：Log4j 2.x对日志记录和事件处理进行了大量的性能优化，引入了异步日志记录功能，大幅提升了性能。配置灵活性。
2025-07-29 15:28:19
959
原创 Android手势与多点触控实战课程设计
随着移动设备的普及，用户与屏幕的交互方式变得日益丰富，手势识别技术已经成为Android应用开发中不可或缺的一部分。在本章中，我们将简单回顾Android手势识别的发展历程，并概述它的基本原理和应用。读者将了解到手势识别在Android平台中扮演的角色，以及为何它对于提升用户体验至关重要。手势识别不仅简化了用户的操作流程，还增加了应用的交互性和直观性。例如，在阅读应用中，用户可以轻松地通过手势翻页；在地图应用中，用户可以通过缩放手势来查看不同的地点；
2025-07-29 14:05:09
971
原创 STM32与SI4463无线通信项目的实践与应用
SPI（Serial Peripheral Interface）是一种高速的全双工通信协议，它允许微控制器和各种外围设备进行数据交换。SPI协议的特点包括：四条信号线：MISO（主设备数据输入，从设备数据输出线）、MOSI（主设备数据输出，从设备数据输入线）、SCLK（时钟信号线）、CS（片选信号线）。主从通信架构：在一个SPI总线系统中，可以有一个主设备和多个从设备，主设备负责产生时钟信号并控制通信流程。全双工通信：SPI支持同时进行数据的发送和接收。
2025-07-29 13:02:08
588
原创 C++实现网上商城系统详解
在构建网上商城系统时，用户界面（UI）是与用户直接交互的前端部分。良好的UI设计不仅提升了用户体验，还能够促进产品的市场竞争力。因此，用户界面需求应该包括以下几个方面：直观性：界面应该直观易懂，让用户可以轻松找到他们想要的信息和功能。一致性：在整个应用中，元素的样式和操作方式应该保持一致性，减少用户的认知负担。响应性：系统需要适应不同的设备和屏幕尺寸，包括移动设备。快速性：响应用户操作应迅速，减少等待时间，提升用户满意度。安全性。
2025-07-29 12:36:47
582
原创 明华mwrf32 USB驱动安装与管理指南
明华mwrf32是一种广泛应用于工业自动化领域的高性能设备，具有出色的处理能力和丰富的接口选项。该设备拥有中央处理器（CPU）、存储器、I/O接口等多种硬件组成，保证了其在各种环境下均可稳定运行。该设备的CPU通常具备多核心架构，能够并行处理多项任务，显著提高了数据处理效率。同时，mwrf32设备还配备了内存和存储模块，使其具备足够的空间来执行复杂的算法和存储数据。
2025-07-29 12:24:36
594
原创 Windows CE导航软件DNW5.0L安装与更新指南
Windows CE是微软公司开发的一个专为各种嵌入式系统和产品而设计的模块化、可定制的32位操作系统。其基于Windows NT架构，具有高度模块化的特点，支持多种处理器架构，包括ARM、MIPS、SH3等。它广泛应用于消费电子产品、医疗设备、工业控制器等领域。
2025-07-29 12:09:38
616
原创 Socket开发测试工具：TCP与UDP协议辅助工具
通过上述对数据报文的捕获与解码的介绍，我们可以看出，网络分析不仅仅是一个技术过程，更是一个理解网络通信协议和数据流动过程的过程。掌握如何利用工具捕获、过滤和编辑数据报文，对于开发和维护网络应用是至关重要的。
2025-07-29 12:07:28
665
原创 Qt框架下简单FTP客户端实战项目
Qt是一个跨平台的C++应用程序框架，广泛应用于桌面、移动和嵌入式设备的开发。它提供了丰富的模块，用于GUI开发、网络编程、数据库交互等。Qt最大的特点是其跨平台性和高效的信号与槽机制，极大简化了事件驱动编程的复杂性。QFtp是Qt中的一个类，用于处理FTP协议相关的操作，如文件下载、上传、目录遍历等。它将网络请求和响应封装为信号，开发者可以通过连接这些信号与槽函数来处理不同的网络事件。QFtp提供了一种便捷的方式来实现文件的远程操作，是很多基于Qt网络应用不可或缺的一部分。
2025-07-29 09:41:08
511
原创 OpenCV基础绘图教程：绘制线条、形状与文本
OpenCV（Open Source Computer Vision Library）是一个开源的计算机视觉和机器学习软件库，提供了丰富的图像处理和计算机视觉算法，被广泛应用于学术研究和工业应用中。它支持多种编程语言，主要包括C++、Python和Java等。其设计理念是提供简洁、高效的接口，方便开发者快速集成、扩展和维护。OpenCV由英特尔公司发起，现由 Willow Garage 公司支持，遵循开源协议，旨在加速计算机视觉技术的应用。
2025-07-29 09:39:07
856
文本挖掘与链接分析手册
2025-05-11
React实用开发指南
2025-05-02
信息学奥赛数学精讲与实战
2025-04-22
Python机器学习项目实战指南
2025-04-12
逻辑编程在证明检查中的应用
2025-03-19
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人