- 博客(472)
- 收藏
- 关注
原创 合肥工业大学Java编程实践作业详解
Java程序通常包含一个或多个类定义。每个类都可以包含变量、方法、构造函数等元素。main方法是Java程序的入口点,其基本结构如下:");在这个例子中,HelloWorld是类名,main方法是程序执行的起点。代表传递给程序的命令行参数。在Java中,类是一组相关属性和行为的集合,用于描述具有相同属性和方法的对象的集合。一个类是创建对象的模板或蓝图,它定义了对象将拥的数据类型和可以执行的操作。// 属性// 构造方法// 方法// 创建对象。
2025-06-13 15:13:46
570
原创 将硬盘驱动器格式转换为NTFS
简介:本指南介绍了如何将存储设备,如硬盘驱动器,从FAT32文件系统转换为NTFS文件系统,以适应大容量存储和现代操作系统的需求。转换过程可通过简便的硬盘转换工具完成,无需复杂的命令行操作。NTFS文件系统支持大文件存储,增强安全性,并改进磁盘空间管理。在转换前,应确保数据备份,并注意操作系统兼容性和性能影响。
2025-06-13 14:51:12
549
原创 深入探究磨拖罗拉A1200智能手机设计:电路图、元件分布图及方框图剖析
智能手机已成为现代生活的必需品,其中,磨拖罗拉A1200凭借其创新设计和先进技术,在市场上占据了重要位置。作为一款经典的智能手机,A1200具备了当时领先的功能,如全面的移动办公能力、高质量的摄像头以及用户友好的操作系统。本章节将概览A1200的设计哲学和历史背景,同时介绍其基本功能和特点,为后续深入探讨其电路结构和维修策略打下基础。通过对A1200的初步了解,我们可以更深刻地认识到其在智能手机发展史中的地位及其对后来产品的深远影响。
2025-06-13 14:37:04
847
原创 构建全面的服装购物网站:ASP.NET与SQL Server实战教程
在当今互联网时代,电子商务已成为人们日常生活的重要组成部分,其中服装服饰购物网站作为电商领域的一大分支,具有广泛的市场需求和用户基础。本章节将对服装服饰购物网站进行概述,探讨其业务模式、用户需求以及技术架构等核心要素。ASP.NET 支持两种主要的模型:Web窗体和MVC(Model-View-Controller)。理解它们之间的差异至关重要,因为这将影响到你的项目结构、开发流程以及代码组织。
2025-06-13 14:24:10
882
原创 Thinkphp OA系统开发与实践指南
Thinkphp是一个流行的开源PHP框架,自2006年发布首个版本以来,一直致力于简化Web开发过程,并为开发者提供强大的工具来构建动态网站和应用。其设计哲学强调快速开发、代码复用和易用性,随着互联网的快速发展,Thinkphp也不断地进行更新迭代,以适应新的开发需求和技术标准。在本章中,我们深入了解了如何利用Thinkphp框架进行OA系统的架构设计,包括模块化、分层架构、设计模式应用、性能优化、最佳实践和常见模式等内容。
2025-06-13 12:09:28
515
原创 JQuery两行代码实现图片懒加载
在现代Web开发中,随着页面内容的丰富性和复杂性的增加,页面加载速度逐渐成为用户体验的关键因素之一。懒加载技术,又称为惰性加载,是一种优化Web性能的有效手段,它能够延迟页面上非首屏元素的加载时机,直到用户滚动到这些内容即将进入视口区域时才加载,从而减少初始加载时间、提高页面响应速度和节省带宽资源。懒加载策略特别适用于图片和iframe元素,这些元素往往在页面中占据较大的体积。传统的预加载方式需要下载所有资源,这不仅会拖慢页面的加载速度,还可能对服务器造成不必要的负担。
2025-06-13 11:21:22
701
原创 Elgamal公钥密码系统:数字签名的实现
数字签名是一种应用在数字世界中的签名技术,它提供了身份验证、数据完整性和不可否认性。不同于传统的纸质签名或印章,数字签名是使用公钥加密技术来实现的,它依赖于特定的算法来生成一对密钥——公钥和私钥。发送方使用私钥对信息或其散列值进行加密,生成签名,接收方则用发送方的公钥来验证签名的有效性。由于私钥的唯一性,数字签名能够确保信息是由持有特定私钥的发送方发出,从而验证了发送方的身份。数字签名的重要性在于,它保证了信息在传输过程中未被篡改,确保了信息的真实性和完整性。
2025-06-13 11:12:10
989
原创 tjtag 3.02正式版:JTAG接口软件的深度解析与应用
JTAG(Joint Test Action Group)接口是电子工程师和硬件爱好者经常接触的一个技术概念。它是一种广泛应用于集成电路芯片测试的接口,同时在软件开发中,通过JTAG接口可以实现软件对硬件的调试。新增功能的加入往往是用户最为关注的方面,tjtag 3.02正式版也不例外。这一版本引入了对新设备的支持,例如一些最新发布的智能设备和路由器。此外,还增加了一些特定的故障诊断和修复工具,为用户提供了一站式的解决方案。
2025-06-13 10:28:46
839
原创 ASIX1 Axis框架Web服务开发实战
随着信息技术的发展,Web服务已成为互联网领域的一项关键技术,它允许不同系统之间的无缝集成,从而提高了开发的灵活性。Axis框架是Apache软件基金会提供的一个用于开发Web服务的工具包,它支持SOAP协议,能够将Java类打包成可以在网络上进行远程调用的服务。Web服务的提出和应用,为分布式计算提供了一个切实可行的解决方案。本章将介绍Web服务的基本概念,以及 Axis 框架的初步应用。
2025-06-13 09:31:53
652
原创 Nagios监控系统插件套装:1.4.13版本深入解析
Nagios是一个开源的系统和网络监控应用,它能够监控主机和服务的状态。Nagios提供了实时警报,以便于管理员能够快速识别和解决问题,确保系统稳定性。其核心功能主要集中在状态监测和预警通知,广泛应用于IT运维管理。监控对象和服务的定义是构建Nagios监控系统的基石。每项服务可以看作是对一个特定资源(如CPU使用率、磁盘空间、HTTP服务等)的状态检测。而监控对象通常指被监控的主机或网络设备。在Nagios配置中,我们首先定义主机,然后在主机上定义服务。
2025-06-13 09:29:45
718
原创 C语言实现声波方程数值模拟教程
声波方程是描述声波在介质中传播的基本方程,是波动方程的一种特殊形式。它表达了声波压力与介质密度之间的关系,以及声波在介质中传播的动态特征。离散化技术是数值分析中的一种基础技术,它将连续的数学模型转化为离散的计算模型。在声波方程的数值模拟中,离散化技术使得可以在计算机上执行原本需要解析求解的连续问题。通过将时间和空间划分为有限个小的单元,可以构建出离散的网格系统,使得物理场的参数(如速度、压力等)仅在网格节点上定义,进而通过有限差分法近似计算出这些参数在非节点位置的值。
2025-06-08 16:47:20
651
原创 MATLAB心电信号处理与R波检测教程
心电图(ECG)信号处理是医疗领域中一项至关重要的技术,它涉及到从采集的心电信号中提取有用的信息以诊断心脏疾病。随着技术的进步,ECG信号处理不仅限于传统的诊断分析,还包括实时监测、远程医疗以及预防心脏病的发生。本章将对心电图信号处理进行概述,包括其基本原理、信号类型、以及在医疗实践中的应用。心电图信号处理的核心在于准确地识别和提取ECG信号中的重要波形,尤其是R波,因为它代表了心脏的主要激动点。准确的R波检测对于心律分析和异常心律的识别至关重要。
2025-06-08 15:18:07
683
原创 基于STM32MP157开发板的简易TXT显示系统实践
STM32MP157开发板采用了双核处理器架构,集成了Cortex-A7和Cortex-M4两种核心。这种设计既保证了强大的计算能力,又兼顾了实时任务处理的需求。开发板还配备了丰富的内存资源,支持高达1GB的DDR3 RAM,确保了多任务处理的流畅性。STM32MP157开发板提供了多种通信接口,包括UART、SPI、I2C等,广泛应用于各种通信协议的实现。例如,UART接口可以用于串行数据传输,而SPI和I2C接口则常用于连接各类传感器和外设。
2025-06-08 14:42:55
586
原创 联想LeTOS瘦客户机USB系统更新工具使用指南
USB Reflash Tool lenovo-letos-unified-usb-reflash是一款专为Lenovo的瘦客户机设计的固件更新工具。它允许用户通过USB驱动器快速且安全地刷新设备固件,确保设备运行最新版本的LeTOS操作系统。这个工具特别适用于那些需要高效更新多台瘦客户机的IT专业人员,尤其是企业的技术支持团队。使用USB Reflash Tool不仅可以减少维护时间,还可以提供一致的更新体验,从而提高设备的可靠性和整体安全性。
2025-06-08 14:27:42
739
原创 深入解析陈氏混沌系统的吸引子、时序及功率谱分析
混沌系统通常是指那些对初始条件极其敏感的非线性动力系统。在混沌系统中,初始条件的微小变化会随着时间的推移而被放大,导致系统行为出现难以预测的差异。这样的系统在确定性规则下展现出看似随机的动态行为,是研究复杂动态现象的重要工具。在动态系统中,吸引子是指系统在相空间中的一组状态,它们具有一个特殊属性:长期动态行为的趋势是趋向于这些状态。这些集合的几何形状可以非常复杂,包括点吸引子、极限环、奇怪吸引子等。吸引子的特性主要体现在它们的稳定性和不变性两个方面。
2025-06-08 13:05:45
532
原创 Verilog实现高斯白噪声生成器:LFSR28_AWGN项目分析
高斯白噪声是一种理想化的随机信号,其幅度遵循高斯分布(正态分布),频率成分在所有频率上均匀分布,即频谱平坦。它在时间上是不相关的,且具有零均值和恒定的功率谱密度。这种噪声在通信、信号处理等领域中有着广泛的应用,作为分析和测试的基础模型。最大长度序列(Maximum Length Sequence),简称M序列,是伪随机序列的一种,具有特定的自相关特性,广泛应用于通信系统、加密算法和测试信号产生等领域。
2025-06-08 12:44:37
588
原创 STM32红外光通信系统设计全套资料
STM32微控制器因其高性能、高集成度和低成本而广泛应用于嵌入式系统开发中。它基于ARM Cortex-M系列核心,具备丰富的外围接口和灵活的电源管理功能,使其成为开发红外光通信系统的理想选择。在红外通信中,STM32系统板主要负责信号的生成、编码、发送、接收以及解码处理,从而实现数据的有效传输。高级编码技术如曼彻斯特编码、差分曼彻斯特编码等,能够在一定程度上提高红外通信的抗干扰能力和数据传输的可靠性。
2025-06-08 12:38:28
714
原创 OFDM系统频偏估计与训练序列仿真实战
导频信号是一种已知的参考信号,它在无线通信系统中被广泛使用,特别是在OFDM(Orthogonal Frequency Division Multiplexing,正交频分复用)系统中发挥着重要的作用。导频信号的主要功能是帮助接收端进行信道估计和同步,从而确保数据的正确解调。导频信号被嵌入到传输的数据流中,通过特定的模式分布于不同的子载波上。由于导频信号的位置和值是已知的,接收端可以利用这些信息来估计信道特性,比如幅度和相位失真,进而实现对数据信号的准确解码。
2025-06-08 12:30:58
747
原创 汽车与自动化控制标定工具与实车标定实战教程
标定工具的历史可以追溯到工业革命时期,随着生产线的精细化管理和产品质量要求的提升,对标定技术的需求也逐渐增加。早期的标定主要依赖于手工工具和简单的量具,随着电子技术和计算机技术的发展,电子标定工具开始出现,并逐渐取代了传统的机械式标定工具。进入21世纪后,数字化和智能化成为标定工具的发展趋势,促进了自动化、高效和远程标定技术的发展。标定量是指在设备标定过程中用于确定或调整设备性能的一系列量值。它包括设备的工作参数、性能指标、检测标准等,这些都是确保设备正常运行和测量结果准确性的基石。
2025-06-08 12:26:58
802
原创 DSP28335微控制器实现闭环SPWM控制程序设计
正弦脉宽调制(SPWM)是一种用于电力转换领域的技术,通过调整开关器件的导通时间,产生与正弦波相似的脉冲波形。SPWM的核心思想是利用一系列宽度变化的脉冲来近似正弦波的形状,通过滤波器后能得到较为平滑的交流电输出。SPWM的优势主要体现在以下几个方面:高电能质量:SPWM技术可以有效地减少输出波形中的谐波分量,为负载提供更加平滑的交流电。效率高:相比传统的方波或修正波逆变器,SPWM技术可以在较宽的负载范围内保持高效率。控制灵活。
2025-06-08 12:09:57
710
原创 Axure 9.0 Element UI 组件库插件 v2.1.0
Axure 9.0作为专业的原型设计工具,为了更好地满足设计师的需求,推出了专用插件系统。这些插件可以扩展Axure的功能,从原型设计、页面交互到数据管理等多个方面,极大地提高了设计效率和项目管理能力。Element UI是一套为开发者、设计师和产品经理准备的基于 Vue 2.0 的桌面端组件库。它可用于快速搭建美观、一致且功能丰富的用户界面。
2025-06-08 11:45:49
887
原创 Polar SC译码器的设计与实现
SC译码算法本质上是一种串行处理过程,每个比特的译码依赖于前面所有比特的译码结果。这种依赖性导致了算法的时延。随着码长的增加,译码过程中需要的迭代次数也随之增多,时延问题便更加显著。此外,传统的SC译码算法在每次译码决策时,都需要访问和处理整个码字的所有信息,这增加了数据处理量和访问延迟。尤其是在硬件实现时,这会对存储器的读写速度和带宽提出更高的要求。
2025-06-08 11:04:57
573
原创 51系列微控制器控制步进电机:单四拍模式详解
步进电机是一种将电脉冲信号转换成角位移或线位移的特殊电机。它的工作原理不同于传统电机,每收到一个电脉冲信号,步进电机就会转动一个固定的角度,称为步距角,从而实现精确的位移控制。根据其工作原理和结构,步进电机主要可以分为反应式步进电机、永磁式步进电机和混合式步进电机三大类。单四拍驱动模式是步进电机控制中较为简单的一种驱动方式,它通过固定顺序的电流脉冲来驱动步进电机转动特定的角度。在本章节中,我们将深入探讨单四拍驱动模式的基本概念、特点以及实际应用场景。
2025-06-08 11:02:30
952
原创 FXLMS算法在主动噪声控制中的应用与MATLAB实现
FXLMS(Filtered-X Least Mean Square)算法是自适应滤波技术的一个分支,广泛应用于主动噪声控制(ANC)领域。随着工业噪声污染问题日益凸显,FXLMS算法凭借其实时性和高效性成为了研究的热点。主动噪声控制技术(ANC,Active Noise Control)是一种利用电子方法消除或减少不需要的噪声的技术。与被动噪声控制(例如隔音和吸音材料)不同,ANC技术主动产生一个与噪声相位相反的声波来抵消噪声,从而达到降噪的目的。
2025-06-08 10:13:45
510
原创 微带天线FDTD仿真项目:C++代码实现
FDTD,即有限差分时域方法(Finite-Difference Time-Domain),是一种用于数值求解麦克斯韦方程的技术,广泛应用于电磁仿真领域。它通过在时间和空间上对电磁场进行离散化,转换为差分形式进行迭代计算,能够模拟复杂电磁场的传播、辐射、散射等问题。基本原理和数学基础:FDTD基于时间和空间的差分公式模拟电磁波的传播过程。通过对麦克斯韦方程进行离散化处理,将连续的空间和时间转换为离散的网格,从而得到更新电磁场的迭代公式。在电磁仿真领域的地位和作用。
2025-06-07 15:22:06
697
原创 深度学习CNN在电池故障诊断中的应用.zip
简介:本项目探讨了深度学习,尤其是卷积神经网络(CNN)在电池不一致性故障诊断中的应用。CNN作为深度学习模型,擅长处理图像等网格结构数据,能够有效识别复杂故障模式。通过多维数据集的训练和测试,CNN能够提高电池故障诊断的效率和准确性。本项目的实施展示了深度学习技术在电池健康管理中的潜力,以及它在提升电池系统可靠性和安全方面的重要作用。
2025-06-07 13:45:16
810
原创 Matlab凸优化实战:从基础到应用
凸集:在n维空间中,如果对于集合中的任意两点,其连线上的所有点都属于这个集合,那么这个集合称为凸集。凸函数:定义在凸集上的实值函数,对于集合内的任意两点,函数在这两点连线上的值小于等于这两点函数值的连线,这样的函数就是凸函数。Matlab优化工具箱(Optimization Toolbox)提供了多种算法和函数来解决线性、非线性和整数规划问题。该工具箱的核心功能包括但不限于以下几点:问题建模:提供用于定义优化问题目标函数和约束条件的函数。算法选择。
2025-06-07 13:15:33
635
原创 RoboModule CAN协议电机控制实战教程.zip
控制器局域网络(CAN)是一种被广泛使用的、健壮的车辆总线标准,设计用于允许微控制器和设备交换信息而无需主机计算机。它最初由Bosch在1980年代早期开发,用于汽车内部的电子控制系统,但现在已应用于各种工业自动化和控制环境。Robomodule控制器是一种专门为机器人应用设计的嵌入式系统,其设计理念源于对实时性能和可扩展性的需求。基本架构由以下几个核心部分组成:处理器单元(CPU):这是控制器的大脑,通常采用高性能的微控制器或微处理器,如ARM Cortex系列。
2025-06-07 11:48:57
545
原创 ATMEGA16HVB电池管理系统方案代码
高电压总线(High Voltage Bus, HVB)技术是现代电池管理系统(BMS)中的关键技术之一,它使得多个电池单体能够串联或并联运行,从而达到所需的电压和电流规格。HVB技术的原理基于将多个电池单体通过高压总线连接起来,利用电子电路实现电压和电流的调节,以满足不同应用对电源的需求。HVB技术的优势主要体现在以下几个方面:高效率电能传输:相比于传统的低压总线系统,HVB可以降低传输过程中的电能损耗,提高了系统的整体效率。减少电线和连接件数量。
2025-06-07 11:39:33
543
原创 GS-2手势识别传感器资料合集:PAJ7620原理与应用
手势识别传感器作为人机交互领域的一种新兴技术,它允许用户通过简单的手势来控制设备,从而带来更加直观和便捷的用户体验。在智能家居、自动化工厂、游戏娱乐及医疗健康等多个行业中,手势识别技术正逐渐成为一个不可或缺的组成部分。该技术的核心优势在于其无需直接接触设备即可完成控制,这不仅提升了操作的安全性,也增加了设备的使用寿命。随着传感器技术的不断进步和人工智能算法的深入发展,手势识别传感器正变得更加精确和智能化,有望在未来为我们的生活带来更多革命性的改变。
2025-06-07 11:37:00
720
原创 Linux开发者必备远程连接与文件传输工具指南
在追求高效开发的今天,Linux系统的应用日益广泛,而针对这一环境的专业开发工具也成为开发人员的重要助手。CRT(Communications Toolkit),作为一款经典的终端仿真程序,一直以来都是Linux开发者的首选之一。它提供了一个稳定、易用的界面,帮助开发者通过SSH、Telnet等协议连接到远程服务器,完成代码提交、系统管理等任务。SecureCRT的热键功能允许用户定义快捷键来执行复杂的操作。用户可以为特定的命令、脚本或宏设置热键,这样在进行重复性任务时可以大幅节省时间。
2025-05-28 16:22:54
856
原创 深入了解ArcGIS API for JavaScript 4.9
ArcGIS API for JavaScript 4.9是一个强大的工具,旨在帮助开发者在网页中嵌入和使用地理空间数据。该版本主要关注用户体验、性能提升和API的现代化。ES6(ECMAScript 6)是JavaScript语言标准的第六次重大更新,它带来了许多现代编程语言特性,其中包括模块系统。ES6模块提供了一种简洁且强大的方式来组织代码,使开发者能够将代码分割成可复用的模块,每个模块都可以导出一个或多个功能,而其他模块则可以导入这些功能。
2025-05-28 15:42:28
521
原创 STM32F103ZET6与0.96寸OLED的I2C通信实践
微控制器作为现代嵌入式系统的核心,扮演着至关重要的角色。STM32F103ZET6是ST公司推出的一款高性能Cortex-M3核心的微控制器,具有丰富的功能和灵活的配置选项,广泛应用于工业控制、医疗设备、通信设备等领域。本章将概述STM32F103ZET6的基本特性、性能参数、以及在设计上的优势。I2C(Inter-Integrated Circuit)是一种由Philips公司(现为NXP半导体)在1980年代开发的串行计算机总线,它支持设备之间的低速通信,适用于微控制器和各种外围设备之间的连接。
2025-05-28 15:26:13
1003
原创 ID3和C4.5算法的决策树实现源代码解析
决策树是一种常用的机器学习算法,它模拟了人类在决策时的思维模式,通过递归地将数据集划分成更小的子集,最终构建出一种树状结构。该方法在分类和回归任务中都具有出色的表现,因此在许多应用领域中都有广泛的应用。
2025-05-28 15:18:34
550
原创 APK文件反编译工具组合使用指南
apktool 是一款广泛使用的安卓应用(APK)反编译工具,它能够将 APK 文件拆解成更易于阅读和修改的资源文件和代码结构。通过 apktool 反编译后的文件,开发者可以访问到 APK 中的图片、布局、语言字符串、文件资源和 smali 代码。这些资源文件和代码经过修改后,可以重新打包成 APK 文件,进行二次开发或调试分析。apktool 并不仅仅是简单的解压缩工具,它能够处理 Android 的资源文件,识别和转换 APK 中的各种编译资源,使得反编译后的工作变得更加方便。
2025-05-28 14:20:59
683
原创 uni-app登录功能开发实战教程
uni-app是一个使用Vue.js开发所有前端应用的框架,它允许开发者编写一次代码,就能够发布到iOS、Android、Web以及各种小程序等多个平台。它的主要特点包括跨平台能力、组件化开发、Vue风格的语法、灵活的生命周期钩子、丰富的API支持等。uni-app框架提供的基础UI组件,是构建应用界面的基石。这些组件按照其功能可以分为以下几类:视图容器:如viewswiper等,用于组织界面布局和内容。基础内容:如texticonrich-text。
2025-05-28 14:10:03
839
原创 Windows 7任务栏个性化工具:7+ Taskbar Tweaker
图标透明度和颜色的自定义能够让任务栏更具特色:透明度调整:Windows 7和更高版本支持任务栏透明度调整。右键点击任务栏,选择“属性”,进入“任务栏和开始菜单属性”对话框,然后在“外观”标签下找到“任务栏透明度”的复选框进行调整。颜色自定义:颜色自定义通常需要第三方工具,如“TranslucentTB”等,可以改变任务栏的颜色和透明度。通过高级定制选项,您可以使任务栏变成个性化和功能性的工具,真正符合您的工作和生活习惯。
2025-05-28 12:08:15
1107
原创 华为C/C++技术面试真题集锦
简介:华为面试题集是一个集合,涵盖了C/C++语言在华为面试中可能遇到的问题。这套资料对于准备面试或深入了解这两种编程语言的开发者极有价值。本题集详细介绍了C语言的基础语法、指针、内存管理、预处理宏、文件操作、位操作、结构体与共用体、函数等核心概念。同时,对C++的面向对象编程、模板、STL、异常处理、智能指针、内存管理、多线程编程、标准库、设计模式、性能优化等知识点也进行了深入探讨。此外,题集中还可能包含嵌入式开发相关问题,以评估应聘者在该领域的实际操作与问题解决能力。
2025-05-28 11:53:03
546
原创 全面数据挖掘算法教程:理论与应用
Apriori算法是发现频繁项集用于生成关联规则的经典算法之一。它利用一个重要的性质:一个项集是频繁的,那么它的所有非空子集也必须是频繁的。这个性质称为Apriori属性。算法通过逐层搜索的迭代方法来发现频繁项集,从而生成关联规则。FP-Growth(Frequent Pattern Growth)算法是对Apriori算法的优化。它通过使用一种称为FP树(Frequent Pattern Tree)的数据结构来压缩数据集,只对压缩后的数据进行递归分割。
2025-05-28 11:26:29
690
原创 掌握SDN架构:Floodlight控制器实战指南
SDN(Software Defined Networking)即软件定义网络,是一种新型的网络架构。其核心理念是将网络设备的控制层从数据转发层中分离出来,并通过软件实现对网络的集中管理。SDN的起源可以追溯到2000年代中期,它旨在解决传统网络的局限性,如刚性、低效和缺乏灵活性等。SDN架构的主要组成部分包括应用层(Application Layer)、控制层(Control Layer)和基础设施层(Infrastructure Layer)。应用层负责提供业务逻辑和策略;
2025-05-28 11:10:26
819
互联网革命:个人电脑与网络的兴起
2025-04-16
逻辑程序自底向上评估终止性检测
2025-03-19
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人