相关文章
TLA+学习记录1——hello world
0x01 TLA是个好工具
编程人员一个好习惯是凡事都想偷懒,当然是指要科学地偷懒,而不是真的偷懒。一直想找到一种能检验写出的代码,做出的设计是否真的完全正确,而不是靠经验检视、代码Review、反复测试去检验。因为上述方法不管怎…
建站知识
2024/12/23 1:44:01
算法基础:归并排序(超详细)
归并排序
题目1:归并排序
给定你一个长度为 n 的整数数列。
请你使用归并排序对这个数列按照从小到大进行排序。
并将排好序的数列按顺序输出。
输入格式 输入共两行,第一行包含整数 n。
第二行包含 n 个整数(所有整数均在 1∼109 范围…
建站知识
2024/10/29 22:21:29
一起学数据结构(6)——栈和队列
上篇文章中,对栈的概念及特点进行了解释,并且给出了栈实现的具体代码。本篇文章将给出队列的基本概念及特点。并给出相应的代码。
1. 队列的概念及结构:
在给出队列的概念之前,先给出上篇文章中提到的栈的概念:一种只…
建站知识
2024/12/24 1:15:43
【java】【SSM框架系列】【一】Spring
目录
一、简介
1.1 为什么学
1.2 学什么 1.3 怎么学
1.4 初识Spring
1.5 Spring发展史
1.6 Spring Framework系统架构图
1.7 Spring Framework学习线路
二、核心概念(IoC/DI,IoC容器,Bean)
2.1 概念
2.2 IoC入门案例
…
建站知识
2024/10/28 6:27:38
静态代理和动态代理笔记
总体分为:
1.静态代理: 代理类和被代理类需要实现同一个接口.在代理类中初始化被代理类对象.在代理类的方法中调 用被代理类的方法.可以选择性的在该方法执行前后增加功能或者控制访问
2.动态代理: 在程序执行过程中,实用JDK的反射机制,创建代理对象,并动态的指定要…
建站知识
2024/11/24 3:58:04
使用 Keras 和 TensorFlow Lite 的设备端大型语言模型
将大型语言模型部署到Android设备上是一个复杂的任务,因为这些模型通常需要大量的计算资源。首先,您需要加载和优化模型,然后选择一个合适的推理引擎,最后将其集成到Android应用程序中。以下是一般步骤:
1. 加载和优化…
建站知识
2024/12/10 14:48:57