联想服务器怎么加硬盘分区,联想EDU硬盘保护OEM分区的创建以及安装方法

article/2025/10/21 13:15:26

联想EDU硬盘保护不是每台联想计算机出厂都有的,要判断一台计算机有没有安装EDU,我们可以通过开机一直按F4看会不会呼出硬盘保护,或者进入到系统磁盘管理里面有没有一个隐藏分区,卷标叫lenovo_part,大小应该是5G以内,如果是20G那应该是一键恢复的功能。接下来我们讲解一下如果没有隐藏分区如何创建并安装EDU硬盘保护。

1.将联想提供的一键恢复OEM1盘放入光驱然后从光驱启动,待光盘加载运行之后会弹出来一个命令提示框,提示你是否继续,我们输入 y 然后回车继续安装

3460128715b149fcb5f618faa72623fa.png

2.待出现如下界面时我们将第一张光盘从光驱中取出,放入一键恢复OEM2光盘,然后按任意键继续安装。

c646a6f696299d0a63a5bed8ba9c18f5.png

3.待屏幕出现Please Select:让你选择时大家输入 1 回车,安装分区到硬盘,如果选择2就是移除Lenovo_part隐藏分区,3是创建工厂备份。

cd32b4fc36f712cd688c73ed12fcf5d8.png

4.待屏幕又出现Please Select:,这次是没得选,只能选择1然后回车。

02f2be0a13479e2d1e46c47e709de312.png

5.经过几分钟的等待,命令提示符提示如下图时证明OEM隐藏分区创建完成,按任意键将重启计算机。

c207582a697b3a5ec033c6141cfaf162.png

6.隐藏分区是创建完成了,但是现在隐藏分区的作用是用来做一键备份还原的,我们还得安装EDU硬盘保护才可以使用,重启电脑后我们放入EDU的安装光盘,我这里以7.5为例,从光驱启动后经过几分钟的等待又会弹到命令提示符下,这里我们就需要输入命令来进行安装,这里我们输入 eduxp 然后回车,EDU就开始安装到隐藏分区中,安装完成后我们再输入exit退出计算机会自动重启,最后我们按F4就会出现EDU硬盘保护。

b16a2430051b8acbc05f37071a468fa9.png


http://chatgpt.dhexx.cn/article/6Q9qMJyx.shtml

相关文章

戴尔服务器oem分区如何显示,电脑创建OEM分区的详细介绍

1、像戴尔等品牌笔记本电脑会有一些系统启动前就可以运行的诊断工具,其实这些工具往往是存放在硬盘的一个隐藏的OEM分区里的。如果自行重装系统时不小心将其删除,那么即便从别处拷贝到了其中的程序文件,又该怎么恢复分区的 OEM 隐藏属性呢&am…

隐藏OEM分区的解决办法和推荐的清理磁盘的方法

前言:在以前我想瘦身c盘,并扩展c盘的时候,发现自己的oem分区 ,也就是恢复分区,当时想删除合并到C盘上,胆子小,没敢试,当时还把oem分区显现出来了,所以这里需要来进行隐藏…

【中科大软院-形式化课程】PartA:More Coq Tactics

Negation: tactic unfold Coq用符号~表示命题的否定。~ P是P -> False的一个语法,我们可以用像下面这样的否定来建立定理: Theorem example_1: forall P: Prop,~(P /\ ~P).Proof.unfold not.intros.inversion H.apply H1.apply H0.Qed. Exercise1:~…

【coq】函数语言设计 笔记 07 - indProp

参考博客:https://www.cnblogs.com/TheFutureIsNow/p/11993851.html Inductively Defined Propositions ( IndProp ) Inductively Defined Propositions Inductive Definition of Evenness Using Evidence in Proofs Inversion on Evidence Induction …

离散数学——coq学习笔记(二)

Proof Proof By SimplificationProof By RewritingProof by Case Analysisdestruct例1例2多重析构 参考书目练习答案basic部分 这部分内容写了快两个星期了,期末考试越来越近,紧张紧张 Proof By Simplification 之前的代码中出现过 Proof. simpl. refle…

【Coq学习】Formal Reasoning About Programs 阅读笔记第一章第二章

《Formal Reasoning About Programs》是MIT的一个计算机科学的教授Adam Chlipala写的,是一本非常经典的关于程序形式化推理的书,阅读本书需要一定的数学和计算机科学基础。此外,这本书是使用 Coq 作为主要的形式化推理工具,因此在…

coq程序编写好用的IDE推荐

编写coq程序需要一个后台coq库(负责证明过程推导等所有功能,提供coq的所有服务),一个界面编辑器组成。 可以编写coq的开发环境大概有3个: 1、coqIDE 这个是coq官方的,下载地址 Install Coq | The Coq Pr…

coq 的一点体会

用coq做了一个作业&#xff0c;所以现在会一点点证明了。不过这只是coq中的很小很小的一部分&#xff0c;现在把我的理解写出来。 首先隆重介绍命题逻辑的5种基本连接词&#xff1a; ~ 非 /\ 合取 \/ 析取 -> 蕴含 <-> 等价 每种连接都有两种基本规则&#xff1a; int…

形式化方法 | Proof Engineering in Coq——Coq tatics 在命题逻辑证明中的应用

一、Coq的安装与使用 1、Coq简介 Coq是一款交互式证明辅助工具&#xff0c;提供一套证明系统&#xff0c;可以编写证明、检查证明&#xff1b;也提供一套形式化语言&#xff0c;可编写数学算法、定义、定理&#xff1b;它还可以用于程序的正确性证明。 2、Coq的安装 Coq-8.1…

coq学习笔记

coq在设置里把这些都勾选上&#xff0c;写代码会好用很多 Check关键字输出待测类型的&#xff0c;可以输出一个十进制数&#xff0c;但是还是类型的显示罢了 Compute计算定义的函数的输出值 simpl关键字是为了化简的可视化罢了&#xff0c;即显示化简的中间过程&#xff0c;不…

coq使用笔记

Coq 使用笔记 Coq中可分三部分&#xff1a; 1、vernacular&#xff1a;用来处理定义&#xff0c;使用大写字母开头&#xff0c;例如Theorem、Proof、Qed 2、tactics&#xff1a;用作证明过程&#xff0c;以小写字母开头&#xff0c;例如intros、exact 3、Gallina&#xff1a;用…

【coq】函数语言设计 笔记 06 -logic

参考博客&#xff1a;https://www.cnblogs.com/TheFutureIsNow/p/11993851.html Coq中的命题类型语句 Coq是一种类型化语言&#xff0c;这意味着它的世界中的每个合理表达式都有一个相关的类型。逻辑声明也不例外&#xff0c;任何一个可以证明的语句都有一个类型&#xff0c…

离散数学——coq学习笔记(一)

Coq学习笔记&#xff08;一&#xff09; BASICS函数编程枚举类型引例&#xff1a;Days of the week&#xff08;定义一个类型&#xff09; 一些基础语法定义TypeCheck命令多元组ModulesCompute命令定义一个新常量 BOOLEANS布尔表达式的构造相关定义布尔表达式的相关运算律用Exa…

求网络号、子网号、主机号、子网网络地址、子网广播地址

例题&#xff1a;某计算机的IP地址为10.38.51.21&#xff0c;子网掩码为255.255.0.0&#xff0c;写出该计算机的网络号、子网号、主机号以及子网网络地址、子网广播地址。 网络号&#xff1a;10子网号&#xff1a;38主机号&#xff1a;51.21子网网络地址&#xff1a;10.38.0.0子…

根据子网掩码算出 IP 地址 的网络号和主机号

我们如何根据子网掩码算出 IP 地址 的网络号和主机号呢&#xff1f; 举个例子&#xff0c;比如 10.100.122.0/24&#xff0c;后面的/24表示就是 255.255.255.0 子网掩码&#xff0c;255.255.255.0 二进制是「11111111-11111111-11111111-00000000」&#xff0c;大家数数一共多…

关于IP地址、网络号、主机号、子网掩码之间的关系

IP地址类似于我们的身份证号码 国家为了唯一确定我们每个人的身份&#xff0c;会为我们每个人分配一个唯一确定身份的号码&#xff0c;同理&#xff1a; 为了确切地标识Internet&#xff08;互联网&#xff09;中的每一台主机和路由器&#xff0c;TCP/IP建立了一套编址方案&a…

关于IP网络号和主机号的原理

网络号和主机号具体怎么弄出来的? ? ? ? 1、标准分类的ip地址的网络号是&#xff0c; A类是前8位 B类是前16位 C类是前24位 举一个例子 如172.16.10.2&#xff0c;因为172.16.10.2是B类地址&#xff0c;所以172.16所代表的位就是网络号的位&#xff0c;后面10.2代表的…

子网划分以及网络号的计算

目录 一、子网划分的作用 1.计算网络号&#xff0c;通过网络号选择正确的网络设备连接终端设备 2.根据网络的规模&#xff0c;可以对局域网(内网)进行网络地址规划 二、IP地址 1.IP地址的组成部分 2.IP地址的版本 三、IP地址的分类 1.IP地址分类 2.IP地址分类总结思维…

网络号,网络标识,广播地址,有效主机范围计算

网络计算 IP 地址计算网络号&#xff0c;网络标识&#xff0c;有效主机范围IP地址分类 IP 地址 IP地址&#xff1a;网络部分主机部分 网络部分&#xff1a;确定终端是不是在同一网段 主机部分&#xff1a;用来确定终端的容量大小&#xff08;最多可以容纳多少台&#xff09; 同…

网络号、主机号、子网号--例题

已知 IP&#xff1a;195.169.20.50 子网掩码&#xff1a;255.255.255.224 求网络号 子网号 主机号。答&#xff1a; IP为C类&#xff0c;一知道子网掩码值是224 所以网络被划分为8个子网网络号是用将你的IP和子网掩码255.255.255.224的二进制进行逻辑与运算得到转换为十进制为…