当前位置: 首页 > news >正文

VMware三种网络模式(桥接、NAT模式、仅主机)模式说明

VMware三种网络模式(桥接、NAT模式、仅主机)模式说明

VMware 提供了三种主要的网络连接模式:桥接模式(Bridged Mode)、NAT模式(Network Address Translation Mode)和仅主机模式(Host-Only Mode)。每种模式都有其独特的特点和适用场景,下面将详细介绍这三种模式的区别。

1 桥接模式(Bridged Mode)

定义与工作原理

在桥接模式下,虚拟机的虚拟网卡通过虚拟网桥直接连接到主机的真实物理网卡上。这意味着虚拟机可以像局域网中的任何其他设备一样获取一个独立的IP地址,并且可以直接访问外部网络。在这种模式下,虚拟机与主机处于同一网段,它们之间以及与其他局域网内的设备都可以相互访问。对于需要作为独立网络节点运行的应用程序或服务来说,桥接模式是非常理想的。

配置步骤

为了设置桥接模式,你需要确保主机上的物理网卡已启用“VMware Bridge Protocol”,并且在VMware的虚拟网络编辑器中选择适当的物理网卡进行桥接。接着,在虚拟机的网络适配器设置中选择“桥接模式”。如果使用静态IP,则还需要手动配置虚拟机的IP地址、子网掩码、默认网关及DNS服务器等信息;若采用DHCP,则这些参数会自动从网络中的DHCP服务器获得。

优点

  • 虚拟机被视为局域网中的一个独立实体。
  • 可以轻松地与其他局域网设备通信。
  • 适合需要直接接入互联网或公司内网的应用。

缺点

  • 需要额外的IP地址资源。
  • 在某些受控网络环境中可能需要管理员权限来添加新的MAC地址或分配IP地址。
拓展:桥接模式下复制物理网络连接状态

在 VMware 的桥接模式中,有一个选项叫做“复制物理网络连接状态”,这个功能主要用于确保虚拟机在网络环境发生变化时(例如从有线网络切换到无线网络),能够自动更新其网络配置,从而保持网络连接的连续性和稳定性。具体来说,当选择了“复制物理网络连接状态”选项后,虚拟机会模仿主机的真实网卡行为,这意味着虚拟机的虚拟网卡将接收并应用与主机相同的网络设置。

  1. 保持 IP 地址稳定:对于那些经常在网络类型之间切换的设备(如笔记本电脑),启用此选项可以确保即使是在不同类型的网络(如有线和无线)之间切换时,虚拟机也能维持一个相对固定的 IP 地址。这是因为虚拟机会尝试保留原有的 IP 地址,只有在网络环境发生显著变化时才会请求新的 IP 地址。

  2. 简化网络管理:通过复制主机的网络状态,虚拟机可以在不需要用户干预的情况下自动适应新的网络环境。这对于移动办公或需要频繁更换工作地点的用户来说非常方便,因为他们不必每次改变网络时都手动重新配置虚拟机的网络设置。

  3. 提高网络兼容性:某些网络环境中可能对新加入的设备有严格的限制,比如要求特定的 MAC 地址或者需要预先注册。通过复制主机的网络连接状态,虚拟机可以更好地融入这些受控网络,减少因网络策略而导致的连接问题。

  4. 支持 DHCP 和静态 IP:无论网络使用 DHCP 自动分配 IP 地址还是设置了静态 IP 地址,选择“复制物理网络连接状态”都可以帮助虚拟机更顺畅地处理这两种情况。对于使用 DHCP 的网络,它会确保虚拟机及时获取最新的 IP 配置;而对于静态 IP 网络,则可以帮助虚拟机在不丢失原有配置的前提下顺利迁移。

何时应该勾选“复制物理网络连接状态”

  • 移动设备上使用虚拟机:如果经常在不同的网络间切换(如有线与无线网络),那么建议勾选此选项。这有助于避免由于网络变化引起的 IP 地址冲突或其他连接问题。

  • 需要稳定的网络连接:如果希望虚拟机能够始终保持一致的网络性能,并且不希望因为网络切换而影响正在进行的工作,那么这个选项也是值得考虑的。

  • 特殊网络环境下的需求:在一些企业或机构内部网络中,可能会存在复杂的网络安全规则或访问控制列表(ACL)。在这种情况下,复制主机的网络状态可以使虚拟机更容易获得必要的权限,从而顺利接入网络。

2 NAT模式(Network Address Translation Mode)

定义与工作原理

NAT模式允许虚拟机通过宿主机共享一个公共IP地址来访问外部网络。在这个模式下,VMware会在主机上创建一个名为VMnet8的虚拟网络接口,并建立一个私有的内部网络。所有使用NAT模式的虚拟机都将被分配一个私有IP地址,而它们发出的所有请求都会经过NAT设备转换成宿主机的公共IP地址后发送出去。当外部网络响应时,NAT设备会根据记录的信息将数据包转发回正确的虚拟机。

配置步骤

设置NAT模式相对简单,只需在虚拟机的网络适配器设置中选择“NAT模式”。此时,虚拟机会自动从VMware内置的DHCP服务器获取所需的网络配置。需要注意的是,虽然虚拟机可以通过宿主机访问外网,但默认情况下外网无法主动发起对虚拟机的连接请求,除非进行了特定的端口映射配置。

优点

  • 不需要为每个虚拟机分配独立的公共IP地址。
  • 易于配置,特别是对于多台虚拟机同时运行的情况。
  • 提供了一定程度的安全性,因为虚拟机隐藏在外网之后。

缺点

  • 外部网络不能直接访问虚拟机。
  • 虚拟机之间的通信必须通过NAT设备中转,可能会引入延迟。

3 仅主机模式(Host-Only Mode)

定义与工作原理

仅主机模式创建了一个封闭的网络环境,其中只有主机及其关联的虚拟机能够相互通信。此模式下使用的虚拟网络接口是VMnet1,它构成了一个完全隔离的私有网络。由于缺乏NAT功能,虚拟机无法直接访问外部网络,除非主机启用了Internet连接共享或其他形式的代理服务。

配置步骤

要在仅主机模式下操作,你应该在虚拟网络编辑器中调整VMnet1的相关设置,如子网IP和子网掩码。然后,在虚拟机的网络适配器设置中选择“仅主机模式”。为了使虚拟机能上网,还可以考虑开启主机的网络连接共享功能,将VMnet1设为共享的目标网络。

优点

  • 提供高度安全性和隔离性,适用于测试或开发环境。
  • 同一台主机上的多个虚拟机可以在不干扰外部网络的情况下互相通信。

缺点

  • 默认情况下,虚拟机不能直接访问互联网。
  • 如果需要访问外网,则需额外配置主机的网络共享或使用代理。

表格汇总

特性/模式桥接模式NAT 模式仅主机模式
IP 地址分配独立于主机,与局域网中的其他设备处于同一网段,通常由 DHCP 服务器分配。使用私有 IP 地址,通过 VMware 内置的 DHCP 服务器分配。使用私有 IP 地址,通过 VMware 内置的 DHCP 服务器分配或静态配置。
网络可见性虚拟机被视为局域网中的独立节点,可以直接与其他设备通信。虚拟机对外部网络是不可见的,但可以通过宿主机访问外网。只能与宿主机和其他使用仅主机模式的虚拟机通信,外部网络不可见。
互联网访问直接访问互联网,如同真实物理机器。通过宿主机共享公共 IP 地址访问互联网。默认情况下不能直接访问互联网,除非启用主机的网络连接共享或其他代理服务。
端口映射不需要额外配置,虚拟机可直接接收来自外部网络的连接请求。需要配置端口映射规则才能让外部网络访问虚拟机的服务。一般不需要,因为默认不对外开放。
安全性较低,因为虚拟机暴露在局域网中。中等,虚拟机隐藏在外网之后,增加了安全性。高,完全隔离的私有网络环境。
适用场景适合需要作为独立网络节点运行的应用程序或服务,如 Web 服务器、数据库服务器等。适用于多台虚拟机同时运行且需要简单配置即可上网的情况,同时也提供了一定程度的安全性。适用于测试和开发环境,特别是当需要严格控制网络流量或进行安全性测试时。
配置复杂度需要确保物理网卡支持桥接,并可能需要管理员权限来添加新的 MAC 地址或分配 IP 地址。简单,只需选择 NAT 模式,DHCP 自动配置。简单,选择仅主机模式,DHCP 自动配置,但若需上网则需额外配置主机的网络共享。

上述表格简明扼要地概括了每种模式的主要特点和适用情况,可以帮助你根据具体需求选择最适合的网络模式。

相关文章:

VMware三种网络模式(桥接、NAT模式、仅主机)模式说明

VMware三种网络模式(桥接、NAT模式、仅主机)模式说明 VMware 提供了三种主要的网络连接模式:桥接模式(Bridged Mode)、NAT模式(Network Address Translation Mode)和仅主机模式(Hos…...

实习冲刺第三十八天

236.二叉树的最近公共祖先 给定一个二叉树, 找到该树中两个指定节点的最近公共祖先。 百度百科中最近公共祖先的定义为:“对于有根树 T 的两个节点 p、q,最近公共祖先表示为一个节点 x,满足 x 是 p、q 的祖先且 x 的深度尽可能大&#xff0…...

[Linux] 信号(singal)详解(一)

标题:[Linux] 信号(singal)详解 水墨不写bug (图片来源于网络) 目录 一、认识信号 1、认识信号 2、信号特点 3、基本概念 二、信号的产生(5种方式) 三、信号的保存 正文开始: 一、认识信号 1、认识信…...

【设计模式系列】备忘录模式(十九)

目录 一、什么是备忘录模式 二、备忘录模式的角色 三、备忘录模式的典型应用场景 四、备忘录模式在Calendar中的应用 一、什么是备忘录模式 备忘录模式(Memento Pattern)是一种行为型设计模式,它允许在不暴露对象内部状态的情况下保存和恢…...

书生大模型实战营第4期——3.3 LMDeploy 量化部署实践

文章目录 1 基础任务2 配置LMDeploy环境2.1 环境搭建2.2 模型配置2.3 LMDeploy验证启动模型文件 3 LMDeploy与InternLM2.53.1 LMDeploy API部署InternLM2.53.1.1 启动API服务器3.1.2 以命令行形式连接API服务器3.1.3 以Gradio网页形式连接API服务器 3.2 LMDeploy Lite3.2.1 设置…...

11.28深度学习_bp算法

七、BP算法 多层神经网络的学习能力比单层网络强得多。想要训练多层网络,需要更强大的学习算法。误差反向传播算法(Back Propagation)是其中最杰出的代表,它是目前最成功的神经网络学习算法。现实任务使用神经网络时,…...

U盘文件夹变打不开的文件:深度解析、恢复策略与预防之道

一、U盘文件夹变打不开的文件现象解析 在日常使用U盘的过程中,我们时常会遇到这样的困扰:原本存储有序、可以轻松访问的文件夹,突然之间变成了无法打开的文件。这些文件通常以未知图标或乱码形式显示,双击或右键尝试打开时&#…...

软件工程中的需求分析流程详解

一、需求分析的定义 需求分析(Requirements Analysis)是指在软件开发过程中,通过与用户、相关人员的沟通与讨论,全面理解和确定软件需求的过程。需求分析的最终目标是清晰、准确地定义软件系统应具备的功能、性能、用户界面、约束…...

springboot369高校教师教研信息填报系统(论文+源码)_kaic

毕 业 设 计(论 文) 题目:高校教师教研信息填报系统的设计与实现 摘 要 如今社会上各行各业,都喜欢用自己行业的专属软件工作,互联网发展到这个时候,人们已经发现离不开了互联网。新技术的产生&#xff0c…...

Docker Buildx 与 CNB 多平台构建实践

一、Docker Buildx 功能介绍 docker buildx 是 Docker 提供的一个增强版构建工具,支持更强大的构建功能,特别是在构建多平台镜像和高效处理复杂 Docker 镜像方面。 1.1 主要功能 多平台构建支持 使用 docker buildx,可以在单台设备上构建…...

VBA字典与数组第二十一讲:文本转换为数组函数Split

《VBA数组与字典方案》教程(10144533)是我推出的第三套教程,目前已经是第二版修订了。这套教程定位于中级,字典是VBA的精华,我要求学员必学。7.1.3.9教程和手册掌握后,可以解决大多数工作中遇到的实际问题。…...

开源项目 - 人脸关键点检测 facial landmark 人脸关键点 (98个关键点)

开源项目 - 人脸关键点检测 facial landmark 人脸关键点 (98个关键点) 示例: ​​​​ 助力快速掌握数据集的信息和使用方式。 数据可以如此美好!...

【Postgres_Python】使用python脚本批量导出PG数据库

示例代码说明: 有多个数据库需要导出为.sql格式,数据库名与sql文件名一致,读取的数据库名需要根据文件名进行拼接 import psycopg2 import subprocess import os folder_path D:/HQ/chongqing_20241112 # 获取文件夹下所有文件和文件夹的名称 filename…...

嵌入式Linux(SOC带GPU树莓派)无窗口系统下搭建 OpenGL ES + Qt 开发环境,并绘制旋转金字塔

树莓派无窗口系统下搭建 OpenGL ES Qt 开发环境,并绘制旋转金字塔 1. 安装 OpenGL ES 开发环境 运行以下命令安装所需的 OpenGL ES 开发工具和库: sudo apt install cmake mesa-utils libegl1-mesa-dev libgles2-mesa-dev libdrm-dev libgbm-dev2. 安…...

MySQL事物

目录 何谓事物? 何谓数据库事务? 并发事务带来了哪些问题? 脏读(Dirty read) 丢失修改(Lostto modify) 不可重复读(Unrepeatable read) 幻读(Phantom read) 不可重复读和幻读有什么区别? 并发事务的控制方式有哪些? SQL 标准定义了哪些事务隔离级别?…...

在 CentOS 上安装 Docker:构建容器化环境全攻略

一、引言 在当今的软件开发与运维领域,Docker 无疑是一颗璀璨的明星。它以轻量级虚拟化的卓越特性,为应用程序的打包、分发和管理开辟了崭新的高效便捷之路。无论是开发环境的快速搭建,还是生产环境的稳定部署,Docker 都展现出了…...

基于Spring Boot的宠物咖啡馆平台的设计与实现

私信我获取源码和万字论文,制作不易,感谢点赞支持。 基于Spring Boot的宠物咖啡馆平台的设计与实现 摘要 随着信息技术在管理上越来越深入而广泛的应用,管理信息系统的实施在技术上已逐步成熟。本文介绍了基于Spring Boot的宠物咖啡馆平台的设…...

JAVAWeb之javascript学习

1.js引入方式 1. 内嵌式:在head中,通过一对script标签引入JS代码;cript代码放置位置有一定的随意性,一般放在head标签中;2.引入外部js文件 在head中,通过一对script标签引入外部JS代码;注意&…...

电脑与优傲协作机器人(实体)的TCP通讯(操作记录)

目录 一、UR通信端口 二、电脑(客户端)连接协作机器人(服务端) 1.设置网络方法 2.检查设置 3.示教器切换远程控制(注) 4.客户端与协作机器人建立连接 5.连接测试 三、电脑(服务端&#…...

C++初阶——动态内存管理

目录 1、C/C内存区域划分 2、C动态内存管理:malloc/calloc/realloc/free 3、C动态内存管理:new/delete 3.1 new/delete内置类型 3.2 new/delete自定义类型 4、operator new与operator delete函数 5、new和delete的实现原理 5.1 内置类型 5.2 自定…...

Python 【图像分类】之 PyTorch 进行猫狗分类功能的实现(Swanlab训练可视化/ Gradio 实现猫狗分类 Demo)

Python 【图像分类】之 PyTorch 进行猫狗分类功能的实现(Swanlab训练可视化/ Gradio 实现猫狗分类 Demo) 目录 Python 【图像分类】之 PyTorch 进行猫狗分类功能的实现(Swanlab训练可视化/ Gradio 实现猫狗分类 Demo) 一、简单介绍 二、PyTorch 三、CNN 1、神经网络 2、卷…...

Attention显存统计与分析

Attention显存估计 简单的Attention函数 import torch import torch.nn as nn import einops class Attention(nn.Module):def __init__(self, dim, num_heads8, qkv_biasFalse, qk_scaleNone, attn_drop0., proj_drop0.):super().__init__()self.num_heads num_headshead_d…...

java反射

反射 Java 反射是 Java 提供的一种强大特性,它允许程序在运行时动态地获取类的信息,并操作类的属性和方法。这为编写灵活、可扩展的 Java 应用程序提供了强有力的支持 获取Class对象 package ref;public class Person {private String name ;private …...

Spring Boot入门

1、Spring Boot是什么 Spring Boot 帮我们简单、快速地创建一个独立的、生产级别的 Spring 应用(说明:Spring Boot底层是Spring) 大多数 Spring Boot 应用只需要编写少量配置即可快速整合 Spring 平台以及第三方技术 特性: 快速…...

Spring Web:深度解析与实战应用

概述 大家好,欢迎来到今天的技术分享。我是你们的老朋友,今天,我们要深入探讨的是Spring Web模块,这个模块为Java Web应用程序提供了全面的支持,不仅具备基本的面向Web的综合特性,还能与常见框架如Struts2无…...

学习日志019--初识PyQt

使用pyqt创建一个登录界面 from PyQt6.QtCore import Qt # 引入pyqt6包 from PyQt6.QtGui import QIcon, QMovie from PyQt6.QtWidgets import QApplication, QWidget, QPushButton, QLabel, QLineEdit import sysclass MyWidget(QWidget):# 构造函数,继承父类的构造…...

Swift 宏(Macro)入门趣谈(五)

概述 苹果在去年 WWDC 23 中就为 Swift 语言新增了“其利断金”的重要小伙伴 Swift 宏(Swift Macro)。为此,苹果特地用 2 段视频(入门和进阶)颇为隆重的介绍了它。 那么到底 Swift 宏是什么?有什么用&…...

Linux 35.6 + JetPack v5.1.4@DeepStream安装

Linux 35.6 JetPack v5.1.4DeepStream安装 1. 源由2. 步骤Step 1 安装Jetpack 5.1.4 L4T 35.6Step 2 安装依赖组件Step 3 安装librdkafkaStep 4 安装 DeepStream SDKStep 5 测试 deepstream-appStep 6 运行 deepstream-app 3. 总结3.1 版本问题3.2 二进制help 4. 参考资料 1. …...

C++基础:list的底层实现

文章目录 1.基本结构2.迭代器的实现2.1 尾插的实现2.2 迭代器的实现 3.打印函数(模版复用实例化)4.任意位置的插入删除1. 插入2. 删除 5.析构与拷贝构造5.1 析构函数5.2 拷贝构造5.3 赋值重载 1.基本结构 与vector和string不同list需要: 一个类来放入数据和指针也就是节点 一…...

Spring中@Transactional注解与事务传播机制

文章目录 事务传播机制事务失效的场景 事务传播机制 事务的传播特性指的是 当一个事务方法调用另一个事务方法时,事务方法应该如何执行。 事务传播行为类型外部不存在事务外部存在事务使用方式REQUIRED(默认)开启新的事务融合到外部事务中Transactional(propagati…...

实验七 用 MATLAB 设计 FIR 数字滤波器

实验目的 加深对窗函数法设计 FIR 数字滤波器的基本原理的理解。 学习用 Matlab 语言的窗函数法编写设计 FIR 数字滤波器的程序。 了解 Matlab 语言有关窗函数法设计 FIR 数字滤波器的常用函数用法。 掌握 FIR 滤波器的快速卷积实现原理。 不同滤波器的设计方法具有不同的优…...

Linux - selinux

七、selinux 1、说明 SELinux是Security-Enhanced Linux的缩写,意思是安全强化的linux。 SELinux是对程序、文件等权限设置依据的一个内核模块。由于启动网络服务的也是程序,因此刚好也 是能够控制网络服务能否访问系统资源的一道关卡。 传统的文件权…...

【STL】C++ vector类模板

文章目录 基本概念vector的使用定义和初始化构造函数赋值操作容量和大小插入和删除数据存取 互换容器vector的迭代器vector储存自定义数据类型 基本概念 vector是类型相同的对象的容器,vector的大小可以变化,可以向数组中增加元素。因此,vec…...

物联网——WatchDog(监听器)

看门狗简介 独立看门狗框图 看门狗原理:定时器溢出,产生系统复位信号;若定时‘喂狗’则不产生系统复位信号 定时中断基本结构(对比) IWDG键寄存器 独立看门狗超时时间 WWDG(窗口看门狗) WWDG特性 WWDG超时时间 由于…...

从零开始写游戏之斗地主-网络通信

在确定了数据结构后,原本是打算直接开始写斗地主的游戏运行逻辑的。但是突然想到我本地写出来之后,也测试不了啊,所以还是先写通信模块了。 基本框架 在Java语言中搞网络通信,那么就得请出Netty这个老演员了。 主要分为两个端&…...

【智能控制】实验,基于MATLAB的模糊推理系统设计,模糊控制系统设计

关注作者了解更多 我的其他CSDN专栏 过程控制系统 工程测试技术 虚拟仪器技术 可编程控制器 工业现场总线 数字图像处理 智能控制 传感器技术 嵌入式系统 复变函数与积分变换 单片机原理 线性代数 大学物理 热工与工程流体力学 数字信号处理 光电融合集成电路…...

Vega Editor 基于 Web 的图形编辑器

Vega Editor 是一个强大的基于 Web 的图形编辑器,专为 Vega 和 Vega-Lite 可视化语法设计。它提供了一个交互式的环境,用户可以在其中编写、预览和分享他们的 Vega 和 Vega-Lite 可视化作品。Vega 和 Vega-Lite 是用于声明性可视化的开源语法&#xff0c…...

SQL 中SET @variable的使用

在 SQL 中,SET variable 用于声明和赋值用户定义的变量。具体来说, 符号用于表示一个局部变量,可以在 SQL 语句中存储和使用。它通常在存储过程、函数或简单的 SQL 查询中使用。 1. 声明并赋值给变量 你可以使用 SET 语句给一个变量赋值。例…...

基于 Vite 封装工具库实践

项目背景:公司在多个项目中频繁使用相同的工具函数。为了避免每次开发新项目时都重复复制代码,决定通过 Vite 封装一个时间函数组件库。该库将被发布到 Verdaccio 供团队其他项目使用。 项目介绍 本项目封装了一个时间函数工具库,使用 Momen…...

Oracle DataGuard 主备正常切换 (Switchover)

前言 众所周知,DataGuard 的切换分为两种情况: 系统正常情况下的切换:这种方式称为 switchover,是无损切换,不会丢失数据。灾难情况下的切换:这种情况下一般主库已经启动不起来了,称为 failov…...

[Redis#13] cpp-redis接口 | set | hash |zset

目录 Set 1. Sadd 和 Smembers 2. Sismember 3. Scard 4. Spop 5. Sinter 6. Sinter store Hash 1. Hset 和 Hget 2. Hexists 3. Hdel 4. Hkeys 和 Hvals 5. Hmget 和 Hmset Zset 1. Zadd 和 Zrange 2. Zcard 3. Zrem 4. Zscore cpp-redis 的学习 主要关注于…...

青海摇摇了3天,技术退步明显.......

最近快手上的青海摇招聘活动非常火热,我已经在思考是否备战张诗尧的秋招活动。开个玩笑正片开始: 先说一下自己的情况,大专生,20年通过校招进入杭州某软件公司,干了接近4年的功能测试,今年年初&#xff0c…...

Flask+Minio实现断点续传技术教程

什么是MinIO MinIO是一个高性能的分布式对象存储服务,与Amazon S3 API兼容。它允许用户存储和检索任意规模的数据,非常适合于使用S3 API的应用程序。MinIO支持多租户存储,提供高可用性、高扩展性、强一致性和数据持久性。它还可以作为软件定义…...

Java中Logger定义的三种方式

在 Java 项目中,日志记录是开发中的一个重要部分,用于跟踪系统运行状态、排查问题以及记录重要事件。在定义日志记录器时,经常会遇到一些写法上的选择,比如 Logger 的作用域、是否使用静态变量,以及如何命名变量。本篇…...

模型压缩技术

目录 模型压缩技术 权重剪枝: 量化技术: 知识蒸馏: 低秩分解: 一、权重剪枝 二、量化技术 三、知识蒸馏 四、低秩分解 模型压缩技术 权重剪枝: 描述:通过删除模型中不重要的权重来减少参数数量和计算量。举例说明:假设我们有一个神经网络模型,其中某些神经元的…...

面试题整理

1 spring使用中有哪些设计模式 工厂模式-beanFactory,代理模式-aop,单例模式-每个bean默认都是单例的,原型模式-当将bean的作用域改为prototype时每次获取bean时使用了原型模式创建对象,责任链模式-dispatchServle查找url对应的处理器映射器时使用了,观察者模式-spring的…...

Linux

1、显示系统中所有进程 ps -ef运行效果: [rootredhat-9 ~]# ps -ef UID PID PPID C STIME TTY TIME CMD root 1 0 0 19:01 ? 00:00:01 /usr/lib/systemd/systemd rhgb --switched-r root 2 0 0…...

力扣_2389. 和有限的最长子序列

力扣_2389. 和有限的最长子序列 给你一个长度为 n 的整数数组 nums ,和一个长度为 m 的整数数组 queries 。 返回一个长度为 m 的数组 answer ,其中 answer[i] 是 nums 中 元素之和小于等于 queries[i] 的 子序列 的 最大 长度 。 子序列 是由一个数组…...

UI设计从入门到进阶,全能实战课

课程内容: ├── 【宣导片】从入门到进阶!你的第一门UI必修课!.mp4 ├── 第0课:UI知识体系梳理 学习路径.mp4 ├── 第1课:IOS设计规范——基础规范与切图.mp4 ├── 第2课:IOS新趋势解析——模块规范与设计原则(上).mp4…...

Formality:等价性检查的流程与模式(Guide、Setup、Preverify、Match与Verify)

相关阅读 Formalityhttps://blog.csdn.net/weixin_45791458/category_12841971.html?spm1001.2014.3001.5482 等价性检查的流程 图1概述了使用Formality进行等效性检查的具体步骤。 图1 等价性检查流程 启动Formality(Start Formality) 要启动Formality,请…...