软考高级架构师笔记-8软件工程

【新版】系统架构设计师 - 新老教材对比分析

2024软考高级架构师学习笔记2-软件工程

专栏《软考高级架构设计师》更新了，本章列举了10个场景计算题的解法，温故而知新，大家快来卷一卷

软件架构就是为软件搭建的“骨架”或“蓝图”。它告诉我们本软件由哪些基本部件构成，部件如何协同工作、部件需要哪些“外在表现”（即对外的功能和特性）。

软件系统建模方法1.结构化建模2.信息工程建模（数据库建模）3.面向对象建模4.基于构件的开发方法软件设计方法（和软件系统建模方法大同小异）1.结构化设计2.信息工程3.面向对象设计4.原型设计5.基于构件的开发方法提高软件可靠性方法1.避错设计：可靠性设计准则（模块化、模块独立、信息隐蔽、局部化）2.检错设计：被动、主动式检错3.容错设计：N版程序设计、恢复快设计、冗余设计软件质量保证（SQA）常见活动1.准备SQA计划：制定项目计划是制定 SQA计划。

RUP(Rational Unified Process)：统一软件开发过程 包含4个阶段：初始阶段、细化阶段、交付阶段（注意，题目里面可能是移交，意思一样就可以了！）、构建阶段； 用例驱动以架构为中心迭代和增量； 初始阶段：确定项目范围和边界识别系统的关键用例展示系统的候选架构，估计项目费用和时间，估计项目风险。 细化阶段：分析系统我呢体领域，建立软件架构基础，淘汰最高风险元素。 交付...

专栏《软考高级架构设计师》更新了，本章总结了网络部分的考点内容，涉及概念和基础知识较多，来学习吧

本文摘要了Java开发中的几个实用技巧：1）使用@Builder注解实现链式调用创建对象；2）saveOrUpdate方法根据主键自动判断插入或更新数据；3) Minio文件上传的完整实现流程，包括配置、权限设置和服务层逻辑；4）集合判空的最佳实践；5）UpdateWrapper实现条件更新；6）IPage分页查询的使用方法。这些内容涵盖了日常开发中的常见场景，对提高开发效率很有帮助。

看大佬的博客说的是“web挖矿木马，依赖用户浏览器前端，只能是js喽，直接看主页，发现混淆js"在/public/upload目录下有一个类似“冰蝎”的马（应该是哥斯拉），cat看到密码。题目描述:请提交黑客创建隐藏账户的事件（格式为 年/月/日 时:分:秒）？题目描述：请提交黑客创建隐藏账户的事件（格式为 年/月/日 时:分:秒）？黑客使用的木马连接工具的位置在哪里（比如C:\xxxx\xx.exe）？黑客入侵的网站地址是多少（只需要http://xxxxx/）？

【代码】学习笔记090——Ubuntu 中 UFW 防火墙的使用。

本文总结了C语言中字符串、指针和数组的重要操作与安全实践。主要内容包括：1.字符串操作推荐使用strn系列安全函数（如strncpy、strncat）替代危险函数；2.const关键字保护数据不被修改，void*指针需类型转换；3.区分数组指针和指针数组的用法；4.指针函数禁止返回局部变量地址，可用静态或全局变量；5.提供字符串基本操作函数实现和二维数组操作示例。关键技巧：使用const保护参数，注意指针生命周期管理，安全操作优先选择带长度限制的函数版本。这些实践对嵌入式开发等安全敏感场景尤为重要。

使用了闪光灯+NC模式时曝光三要素的使用：当使用NC时要保证动态范围为400，所以ISO要设 置到500-620，再调快门速度使得匹配闪光灯速度，调整闪光灯功率到拍摄人物面部最佳，再调 整光圈大小提亮或虚化背景。白平衡调整：一般默认使用的是白色和自动，但是在人像拍摄时面目有时会偏黄，所以在人像摄影时使用色温模式，5300K。动态范围：NC模式下想把人物拍得通透一般设置为400，拍欧美分人文摄影这种更有质感得照片时用100/200更好。色彩曲线：H-2 S-1.5 使得高光和暗部的细节更加明显。

totally stub区域（完全末梢区域） 拒绝学习域外和其他区域的路由信息 不接受3类、4类、5类LSA；ABR聚合（3类） 将一个区域的LSA聚合后发布到相邻区域 [r1-ospf-1-area-0.0.0.0]abr-summary 192.168.0.0 255.255.252.0 不影响ABR本机路由，仅影响相邻区域下游路由器路由；- 非骨干区域无法和骨干区域保持连通：由于区域划分问题，非骨干区域未能与骨干区域正常连接，导致ABR不会转发区域间的路由信息，非骨干区域与骨干区域无法保持连通。

本文总结了电力系统分析的核心知识点：1)电力线路电容特性分析，指出电缆线路电容比架空线路大；2)三相功率关系推导，包含线/相电压转换和阻抗计算；3)标幺值计算法原理，强调基准量选择方法；4)变压器阻抗折算的简化技巧，建议采用平均额定电压；5)两种标幺值计算方法对比。重点阐述了电容特性、功率方程、标幺值转换等电力系统分析基础理论，为后续短路计算等应用提供理论支撑。

Lean证明是指在Lean环境中，通过编写代码来构造和验证数学定理的过程。Lean使用一种称为依赖类型理论的数学基础，这使得它能够表达复杂的数学概念，并确保证明的正确性。: Lean 所依据的依赖类型论对简单类型论的其中一项升级是，类型本身（如 Nat 和 Bool 这些东西）也是对象，因此也具有类型。简单地说，类型可以依赖于参数。你已经看到了一个很好的例子：类型List α 依赖于参数 α，而这种依赖性是区分 List Nat 和 List Bool 的关键。

对称加密算法，结合CBC模式和PKCS7填充，确保数据安全。3️⃣ 异步文件操作：AsyncFileUtility.cs。在场景中创建一个空 GameObject（如命名为。4️⃣ 核心管理器：DataManager.cs。1️⃣ 玩家数据模型：PlayerData.cs。数据模型，定义可序列化的玩家数据结构。核心管理器，统一调度数据加载与保存。加密工具类，负责数据的加密与解密。异步文件操作工具，封装读写逻辑。

微调相当于用少量特定数据集在预训练模型（如 Qwen、DeepSeek 等）上进一步训练，让模型更贴合新数据集的内容。微调主要分为全量微调和参数高效微调（PEFT），其中 PEFT 中最常用的是 LoRA：其核心是在模型关键层（如注意力层）的高秩权重矩阵中插入两个低秩矩阵（A 和 B），训练时仅更新这两个低秩矩阵的参数（参数量远小于原矩阵，例如原矩阵维度为 d×d 时，低秩矩阵为 d×r 和 r×d，r 远小于 d），以此大幅降低计算成本。适合自己从零开始看的llm微调知识点。