输入cygcheck -c cygwin 出现Cygwin Package Information No setup information found

### 解决 `cygcheck -c` 命令报错 "No setup information found" 当运行 `cygcheck -c cygwin` 出现 “Cygwin Package Information No setup information found”的错误提示时,这通常意味着系统的包管理数据库存在问题或丢失。以下是几种可能的原因及解决方案: #### 可能原因 1. **注册表项损坏**:Cygwin 的某些配置信息存储于 Windows 注册表中。 2. **缺少必要的环境变量**:如果 CYGWIN 安装路径不在 PATH 中,则可能导致此问题。 3. **安装不完全或受损**:部分文件缺失或被意外删除。 #### 解决策略 ##### 更新 Cygwin 环境 确保拥有最新版的 Cygwin 和所有依赖库可以修复潜在的问题。通过重新安装最新的 Cygwin 版本来更新整个环境是一个有效的办法[^2]。 ##### 手动重建设置信息 有时手动创建所需的设置文件也能解决问题。尝试在 `/etc/setup` 下查找是否存在 `.lst` 文件;如果没有,请从其他正常工作的机器复制这些文件或将它们下载自官方源并放置于此位置。 ##### 使用 `setup-x86_64.exe` 或 `setup-x86.exe` 对于 64-bit 系统应使用 `setup-x86_64.exe` 而不是旧版本的安装程序。该工具能够自动检测现有安装情况,并允许用户添加新的软件包或升级现有的组件。执行完整的重装过程可能会修正任何由于先前操作引起的异常状况。 ```bash # 运行适合架构的安装器进行在线更新 $ /path/to/setup-x86_64.exe --upgrade-also ``` ##### 验证环境变量 确认 `%PATH%` 包含 Cygwin bin 目录,例如 `C:\cygwin64\bin` 对于 64位系统而言。这样可使命令行工具能够在任意地方调用而不必指定完整路径。 ##### 清理残留数据 移除之前失败安装留下的临时文件和缓存也可能有所帮助。具体做法是在 Cygwin 主目录下清理 `/var/cache/setup/*` 目录内的内容。 ---

创作声明:本文部分内容由AI辅助生成(AIGC),仅供参考

Python内容推荐

轻量 GraphRAG 实战:实体关系图谱 + 多跳检索,零 Key 离线可跑(Python 源码)

轻量 GraphRAG 实战:实体关系图谱 + 多跳检索,零 Key 离线可跑(Python 源码)

轻量 GraphRAG 实战包。从样例知识库抽取实体关系,支持 k-hop 多跳检索与社区摘要;无 Key 可 Mock 离线问答。含样例与 smoke。

语义路由实战:关键字+假向量意图分类,零 Key 离线可跑(Python 源码)

语义路由实战:关键字+假向量意图分类,零 Key 离线可跑(Python 源码)

意图/语义路由实战包。关键字+轻量向量混合分类,阈值回退;无 Key 离线可跑。含工具路由样例与 smoke。

ReAct Agent Lite 实战:Thought-Action-观察循环,零 Key 离线可跑(Python 源码)

ReAct Agent Lite 实战:Thought-Action-观察循环,零 Key 离线可跑(Python 源码)

用标准库实现经典 ReAct 循环(Thought / Action / Observation / Final Answer)。内置 AST 安全计算器、本地天气桩(非实时)和中文 FAQ 检索。默认离线 Mock,零 Key 可跑;可选通义千问。与 Function Calling、LangGraph 互不替代。含 4 个样例与冒烟脚本。MIT。作者 blog.csdn.net/mtl1994

Cygwin在windows下的安装配置

Cygwin在windows下的安装配置

对于omniORB在windows环境下的安装配置,其中Cygwin编译器用来对omniORB的源码进行编译;该文档对Cygwin在windows下的安装配置进行介绍。

Cygwin使用手册

Cygwin使用手册

The Cygwin tools are ports of the popular GNU development tools and utilities for Windows NT and 9x. They function through the use of the Cygwin library which provides the UNIX system calls and environment that these programs require.

Cygwin User Guide(PDF)

Cygwin User Guide(PDF)

Cygwin是Windows下的一个类Linux环境,可在Windows下进行Linux学习及编程,提供了大多数Linux操作。本手册是Cygwin官方的用户指南,pdf版本,全标签,不过是英文版!

cygwin用户手册

cygwin用户手册

If you are new to the world of UNIX, you may find it difficult to understand at first. This guide is not meant to be comprehensive, so we recommend that you use the many available Internet resources to become acquainted with UNIX basics (search for "UNIX basics" or "UNIX tutorial").

cygwin-ug-net.pdf

cygwin-ug-net.pdf

cygwin是window平台下运行的Unix模拟环境

cygwin安装器

cygwin安装器

Cygwin是一个在windows平台上运行的类UNIX模拟环境,是cygnus solutions公司开发的自由软件 这个安装器实现了在线安装cygwin

windows下androidNDK环境配置

windows下androidNDK环境配置

windows下androidNDK环境配置

Windows下移植 ADI官方代码产生vivado工程和sdk工程

Windows下移植 ADI官方代码产生vivado工程和sdk工程

Windows下移植 ADI官方代码产生vivado工程和sdk工程

手机开发环境

手机开发环境

Windows下Eclipse搭建Android_NDK开发环境

JNI开发技术文档

JNI开发技术文档

WINDOWS如何搭建NDK开发环境,希望帮助刚入手的编码哥

LEON3开发环境配置.docx

LEON3开发环境配置.docx

基于GAISLER 提供的Grlib库开发LEON3的环境配置,包括Cygwin、GRLIB IP库、Eclipse IDE安装详细过程。本人已安装成功,并成功配置基于LEON3的SOC

图腾柱无桥PFC变换器+平均电流控制+PI电压双闭环前馈控制设计(Simulink仿真实现)

图腾柱无桥PFC变换器+平均电流控制+PI电压双闭环前馈控制设计(Simulink仿真实现)

内容概要:本文围绕图腾柱无桥PFC变换器的Simulink仿真实现,系统阐述了基于平均电流控制策略与PI电压双闭环前馈控制的设计方法,旨在提升功率因数校正系统的动态响应、稳态精度及抗干扰能力。文档详细介绍了主电路拓扑结构、控制环路架构设计、电流内环与电压外环的PI控制器参数整定方法,并重点分析了前馈补偿机制在改善系统瞬态性能中的作用。通过构建完整的Simulink仿真模型,验证了控制策略的有效性与鲁棒性,涵盖了信号采样、PWM调制、闭环调节及系统稳定性分析等关键环节。此外,内容还延伸至该技术在新能源发电、高效率电源系统及工业电力电子装置中的典型应用背景,具有较强的工程实践指导意义。; 适合人群:具备电力电子技术、自动控制理论及Simulink仿真基础,从事新能源变换器、电源产品研发或相关方向研究的科研人员、工程师及高年级本科生、研究生。; 使用场景及目标:①深入理解图腾柱无桥PFC变换器的工作原理及其控制难点;②掌握平均电流模式控制与双闭环PI前馈控制的系统化设计流程;③在Simulink环境中独立搭建高性能PFC仿真模型,用于科研验证、课程设计或实际工程项目开发。; 阅读建议:建议结合Simulink仿真平台边学习边实践,重点关注控制参数的整定过程与系统稳定性的频域分析,可通过对比不同工况下的仿真结果,进一步探究控制策略的优化空间,并推荐与同类PFC控制方案进行性能比较以深化理解。

【MATLAB例程】AOA(到达角度)+测距辅助的三维定位,以3个锚点为例 包运行成功

【MATLAB例程】AOA(到达角度)+测距辅助的三维定位,以3个锚点为例 包运行成功

本例程使用MATLAB实现基于AOA与距离辅助的三基站三维定位算法,通过方位角、俯仰角及距离测量估计目标的三维空间坐标。程序分别实现纯AOA最小二乘定位和距离辅助AOA定位,并对比两种方法的定位结果。绘制三维定位示意图、XY/XZ/YZ平面投影图、三轴误差及三维位置误差对比图,同时输出目标真实坐标、估计坐标与定位误差。基站数量、目标位置和测量噪声等参数均可调整。

隔离型全桥LLC谐振变化器建模及参数设计资料【仿真+设计报告+计算书】

隔离型全桥LLC谐振变化器建模及参数设计资料【仿真+设计报告+计算书】

内容概要:本文档是一套关于隔离型全桥LLC谐振变换器的综合性技术资料,系统涵盖了拓扑建模、参数设计、闭环控制策略及仿真验证等关键环节。资料整合了Simulink仿真模型、详细设计报告、Mathcad计算书以及控制算法说明文档,深入探讨了恒压恒流双闭环控制、变频与移相混合控制、软启动机制等核心技术,并提供了多应用场景实例,包括双向全桥LLC、多相交错LLC以及电动汽车V2G系统中的CLLC变换器设计。此外,配套资源还包含了多种先进控制与状态估计算法(如EKF、UKF、PF及其与神经网络融合算法)的Matlab实现代码,强化了科研复现与工程实践能力。; 适合人群:适用于电气工程、电力电子及相关专业的研究生、科研人员,以及从事高频开关电源、新能源变换器开发的工程师;需具备扎实的电路理论基础与一定的仿真软件操作经验。; 使用场景及目标:①支持全桥LLC变换器的高效参数设计与动态性能优化;②服务于高校或企业的科研项目,助力拓扑创新与控制系统开发;③作为毕业设计、学术论文或工业级产品原型开发的重要技术参考,提升系统效率、稳定性和响应速度。; 阅读建议:建议结合Simulink仿真模型与Mathcad计算书同步学习,重点关注谐振元件匹配、控制环路设计与系统稳定性分析,充分利用提供的Matlab/Simulink环境进行仿真调试与二次开发,深化理论认知与实际工程应用的融合。

超全Mathcad全桥LLC谐振变换器开关电源设计mathcad计算书

超全Mathcad全桥LLC谐振变换器开关电源设计mathcad计算书

内容概要:本文档为《超全Mathcad全桥LLC谐振变换器开关电源设计mathcad计算书》,系统性地介绍了全桥LLC谐振变换器的开关电源设计方法,重点利用Mathcad工具进行精确的数学建模与关键参数计算。内容涵盖谐振网络建模、变频控制策略设计、软开关实现机制、闭环控制系统分析等核心技术,并结合Simulink/Plecs仿真平台对设计方案进行验证,确保理论与实践紧密结合。文档不仅提供完整的设计流程和计算模板,还整合了PFC、Buck-Boost、CLLC、DAB等多种电力电子拓扑结构的相关设计资源,构建了一个面向高效率、高功率密度DC-DC变换器研发的综合性技术体系,适用于科研与工程开发双重场景。; 适合人群:电力电子、电气工程及其自动化等相关专业的研究生、科研人员及从事开关电源设计的工程技术人员,尤其适合具备一定电路理论基础和仿真能力的学习者。; 使用场景及目标:①深入掌握全桥LLC谐振变换器的工作原理及其关键参数(如谐振频率、增益特性、磁性元件设计)的计算方法;②学习如何使用Mathcad进行高效、规范的工程计算与公式推导;③结合Simulink/Plecs完成从建模、控制策略设计到系统级仿真的全流程验证;④为科研课题或实际产品开发提供可复用的设计模板与技术参考。; 阅读建议:建议读者按照文档目录顺序逐步学习,配合所提供的仿真模型与计算书同步操作,重点关注谐振参数匹配、变频控制逻辑、软启动策略与闭环稳定性设计等核心环节,同时可通过文中链接拓展学习其他相关电力电子拓扑,全面提升系统设计与仿真验证能力。

这里汇集了国内期货与股指市场的历史行情数据,涵盖商品期货与股指指数两大板块 数据字段包含交易时间、开盘价、最高价、最低价、收盘价、成交量以及持仓量,部分还提供成交额信息 商品期货覆盖能源、化工、黑色、

这里汇集了国内期货与股指市场的历史行情数据,涵盖商品期货与股指指数两大板块 数据字段包含交易时间、开盘价、最高价、最低价、收盘价、成交量以及持仓量,部分还提供成交额信息 商品期货覆盖能源、化工、黑色、

这里汇集了国内期货与股指市场的历史行情数据,涵盖商品期货与股指指数两大板块。数据字段包含交易时间、开盘价、最高价、最低价、收盘价、成交量以及持仓量,部分还提供成交额信息。商品期货覆盖能源、化工、黑色、有色、农产品等多个主流品种,股指指数则包括沪深300、上证50、中证500等主要标的。数据以分钟频率为主,便于用户进行策略回测与市场微观结构分析。 数据源:CMES金融数据库

2611040937204801.mp4

2611040937204801.mp4

2611040937204801.mp4

最新推荐最新推荐

recommend-type

产业园区如何高效对接企业技术需求与高校科研成果?.docx

科易网基于AI模型+行业大数据,在技术转移、成果转化、技术经纪、知识产权、产业创新、科技招商等垂直领域的多样化应用场景,推出科技创新领域的AI+工具与数智化解决方案,推动科技创新与产业创新智能化发展。
recommend-type

国央企创新负责人如何快速掌握本地科技资源分布与匹配情况?.docx

科易网基于AI模型+行业大数据,在技术转移、成果转化、技术经纪、知识产权、产业创新、科技招商等垂直领域的多样化应用场景,推出科技创新领域的AI+工具与数智化解决方案,推动科技创新与产业创新智能化发展。
recommend-type

国央企创新负责人如何实现科技成果的精准识别与高效筛选?.docx

科易网基于AI模型+行业大数据,在技术转移、成果转化、技术经纪、知识产权、产业创新、科技招商等垂直领域的多样化应用场景,推出科技创新领域的AI+工具与数智化解决方案,推动科技创新与产业创新智能化发展。
recommend-type

数据挖掘实战:决策树 + 聚类 + 关联规则,零 Key 离线可跑(Python 源码)

数据挖掘实战包。用 Python 标准库实现 CART 风格决策树、K-Means 聚类与 Apriori 关联规则,在虚构「星河便利店」会员表和购物篮上跑通分类、分群与购物篮分析,并给出准确率、轮廓系数、支持度/置信度/提升度。零第三方依赖、零 API Key 即可离线跑通。含 4 个样例、离线冒烟、中文 README(含「使用方法」)。均为作者原创可运行源码。MIT。作者 blog.csdn.net/mtl1994
recommend-type

SpringBoot+Vue+Mysql社区医院信息平台(源码+文档)

SpringBoot+Vue+Mysql学生宿舍信息管理系统 WEB端软件项目(源码+文档) 项目包含:①完整源码(后端+管理后台+用户前台);②数据库脚本文件;③万字论文文档;④开题报告;⑤答辩PPT;⑥项目运行视频教程。 项目架构: B/S 架构、MVC 分层设计 技术栈: Java、MySQL、SpringBoot、MyBatis-Plus、Token 权限校验、管理后台 Vue+ElementUI+ECharts、用户前台 Layui+jQuery、Maven 构建。 一、角色设计 学生用户: 注册登录、浏览宿舍信息、查询宿舍安排、在线报修、缴费查询、失物招领、桶装水预订、评论交流、收藏等。 商家用户: 注册登录、桶装水品牌与商品信息维护、预订订单查看与处理。 维修人员: 注册登录、查看待处理报修、接单维修、填写报修处理结果与进度反馈。 管理员: 学生管理、班级管理、宿舍信息管理、宿舍安排管理、报修处理管理、缴费信息管理、卫生检查与文明宿舍管理、失物招领管理、桶装水与商家管理、维修人员管理、公告资讯与轮播图管理等。 二、前台功能模块(学生端) 1. 首页展示:轮播图、宿舍公告、最新动态推荐、常用服务快速入口 2. 宿舍信息模块:宿舍列表、楼栋与房间条件筛选、宿舍详情查看、我的宿舍安排查询 3. 在线报修模块:在线提交宿舍设施报修申请、上传故障描述、查看报修进度与维修处理结果 4. 缴费模块:水电等缴费记录查询、缴费状态查看 5. 卫生检查与文明宿舍:宿舍卫生检查结果公示、文明宿舍展示 6. 失物招领模块:失物信息发布、招领信息发布、详情查看、评论互动 7. 桶装水预订:桶装水品牌与商品浏览、在线预订、我的预订记录查询 8. 假期留宿:假期留校申请提交、申请记录查询 9. 评论与收藏:信息评论、查看他人评论、评论回复互动、收藏感兴趣的内容 10. 个人中心...
recommend-type

MATLAB/Simulink直流电机三闭环仿真与PI及PWM控制

在探讨“基于MATLAB/Simulink的三闭环直流电机调速系统仿真:PI控制与PWM调制”这一主题时,我们首先需要了解几个关键的工程技术概念和工具应用。以下是对标题、描述、标签和文件名称列表中涉及知识点的详尽阐释。 MATLAB是一种高级数学计算和工程仿真软件,广泛应用于算法开发、数据可视化、数据分析和数值计算等领域。Simulink作为MATLAB的一个附加产品,是一个用于模拟动态系统(如电子、机械、控制系统等)的多域仿真和基于模型的设计环境,它提供了一个直观的图形界面,让用户能够构建复杂的系统模型。 PI控制,即比例-积分控制,是一种常见的反馈控制策略。它结合了比例控制(P)和积分控制(I)的优点,比例控制对当前偏差进行响应,而积分控制则对过去的累积误差进行响应。PI控制器可以减少稳态误差,提高系统的稳定性和响应速度,是直流电机调速系统中常用的控制方式。 PWM调制,即脉冲宽度调制,是一种利用数字输出信号对模拟电路进行控制的技术。在电机控制中,PWM调制通过调整脉冲的宽度来控制电机供电电压的平均值,进而控制电机的转速。这种调制方式在直流电机调速系统中非常常见,因为它可以有效地减少电机发热,提高能量利用效率,并实现平滑的电机加速和减速。 直流电机调速系统是通过改变电机供电电压或电流来控制电机转速的系统。在本文描述的三闭环控制结构中,包括位置环、速度环和电流环。位置环关注电机转子的具体位置;速度环关注电机转速,是速度反馈的控制环节;电流环则关注电机工作电流,是电流反馈的控制环节。三者通过相互配合,共同实现对电机精确的动态控制。 H桥电路是一种常用的电机驱动电路,它可以通过改变电流方向来控制电机的正反转,广泛应用于电子调速装置中。 文章附带的两千多字说明文档详细描述了三闭环直流电机调速系统的建模步骤、仿真测试方法以及参数调整技巧。这些内容对研究人员和工程师深入理解和掌握三闭环控制系统搭建和优化的方法至关重要。对于从事电机控制研究的技术人员、自动化工程领域的研究人员、高校相关专业的学生而言,这些信息都是宝贵的资源。 文件名称列表中的两个Word文档可能包含了上述仿真系统的详细说明和操作指南,以及必要的理论背景介绍。PDF文件可能是某些图表、数据、或是与仿真测试有关的说明文档。而“MATLAB”文件夹可能包含了实际的仿真模型文件,便于用户使用MATLAB/Simulink环境直接打开和运行仿真。 综上所述,本文所涉及的知识点涵盖了从理论到实践的多个层面,包括了直流电机调速系统的理论基础、控制系统设计、软件仿真、调试优化,以及实验操作技巧等。对于技术人员和学生来说,通过学习和实践这些知识点,可以显著提升他们对直流电机调速系统的理解能力,并能在实际工作中运用所学知识解决相关技术问题。
recommend-type

【MQTT协议20个致命误区】:20年IoT架构师亲历的17次生产事故复盘与9条黄金避坑法则(仅限内部技术圈流传)

# MQTT 协议的隐性契约:一场在不可靠网络中重建确定性的工程实践 在某国家级智能电表平台夏季用电高峰期间,运维团队盯着 Grafana 面板上那条平滑如镜的“在线设备数”曲线,却眼睁睁看着数万终端集体失联——指令发不出、数据收不到、告警静默无声。Wireshark 抓包显示,客户端 socket 仍处于 `ESTABLISHED` 状态,而 Broker 日志里连一条断连记录都没有。这不是 Bug,也不是配置错误;这是 MQTT 协议在真实网络拓扑中一次彻底的语义失效:`keep_alive = 60` 的承诺,在云厂商 NLB 60 秒单向关闭连接的现实面前,脆弱得像一张薄纸。 这并
recommend-type

切换Dify的嵌入模型后,旧文件还能直接用吗?

### Dify 更换向量数据库模型是否需要重新上传文件 当更换Dify所使用的向量数据库模型时,通常情况下确实需要重新上传文件。这是因为不同模型可能会有不同的特征提取方式以及数据存储格式,这会使得原本为旧模型准备的数据不再适用于新的模型。 具体来说,在切换到不同的嵌入模型(如从 `text-embedding-ada-002` 到其他模型)时,由于这些模型可能具有不同的参数设置、架构设计或训练目标,因此它们产生的向量表示也会有所不同[^2]。这意味着即使是对相同的内容进行编码,新旧模型生成的结果也可能存在差异,从而影响检索效果和服务质量。 对于像Weaviate这样的向量数据库而言,其
recommend-type

石墨烯超表面三次谐波增强COMSOL仿真技术及应用研究

在当前研究领域,对于石墨烯超表面三次谐波增强的研究,利用仿真技术已成为一种重要的手段。COMSOL Multiphysics是一个多物理场耦合仿真软件,它允许研究者在电磁波、光学、热学等多个物理场进行综合分析。本文将探讨COMSOL在光学仿真领域应用的深度,特别是针对石墨烯超表面三次谐波增强的建模和非线性光学计算技术。 首先,石墨烯由于其独特的电学性质,如高迁移率和可调的载流子浓度,已成为非线性光学领域的重要研究对象。在非线性光学仿真中,准确建模石墨烯的电导率至关重要。COMSOL支持自定义函数和材料属性,这使得研究人员能够将石墨烯的线性与非线性电导率模型精确地融入仿真环境中。这要求研究人员理解石墨烯电导率的物理机制,以及如何将其抽象为数学模型,进而用COMSOL中的物理场接口进行表达。 在超表面结构的参数化几何建模上,六边形晶胞设计和周期性边界条件的应用是构建石墨烯超表面的关键技术。周期性边界条件能够在最小的重复单元上模拟无限大的周期性结构的物理行为,极大地减少了模型规模和计算资源需求。此外,对于周期性结构的准确模拟,需要了解其在电磁场中的表现,以及如何在COMSOL中设置相关的物理场接口和参数。 非线性计算问题中的收敛性是仿真中经常遇到的挑战之一。提出基于线性计算结果初始化的非线性问题求解策略,是提高计算稳定性和效率的有效方法。正确设置求解器参数,比如松弛因子、误差容限以及迭代算法的选择,对于确保仿真的精度和快速收敛至关重要。 在执行参数化扫描的过程中,仿真软件需要能够快速、准确地在一系列参数值中进行计算。COMSOL的参数化扫描功能可以帮助用户自动化这一过程,研究者只需定义参数变量,软件就会自动执行仿真并收集数据。在评估三次谐波转换效率时,积分算子在空间域和频率域的应用尤为重要,这是由于它们可以用来计算特定区域或频段内的电磁场强度。 网格划分和边界条件的设定,直接关系到仿真的精确度和效率。高质量的网格划分可以提供更精确的仿真结果,但同时也会增加计算负担。在石墨烯超表面的研究中,需要特别关注在石墨烯表面和界面附近的网格细化,以及如何设置适当的边界条件,比如完美匹配层(PML)来模拟无限大的开放空间。 对于本文的读者来说,适合的群体包括了那些从事光学仿真、非线性光学研究的专业人士和技术爱好者。此文档旨在帮助他们理解并掌握石墨烯超表面三次谐波增强仿真的完整流程,确保能够复现实验结果,并在仿真过程中对性能进行优化。 本文也提供了一系列具体的代码片段和配置细节,这些对读者而言非常宝贵,有助于他们更深刻地理解相关的技术细节。在实际操作中,研究者可以根据这些指导信息快速地搭建起自己的仿真模型,进行必要的参数调整和优化。 最后,这项研究的应用场景十分广泛,不仅限于基础研究,还可以延伸至光学器件的设计和优化,如光学调制器、传感器和新型光源等。而COMSOL作为强大的仿真工具,将继续在各种科学和工程问题中发挥重要作用。
recommend-type

Python算法环境三系战争终局方案:venv_poetry_conda冲突溯源图谱(基于37个真实pipdeptree快照)+ 隔离策略决策树(准确率98.6%)

# Python算法环境三系战争的现实困局与终局命题 在智能家居设备日益复杂的今天,确保无线连接的稳定性已成为一大设计挑战。而当我们把视线转向Python算法工程领域,一个更隐蔽、更顽固的稳定性问题正悄然侵蚀着整个AI研发流水线——不是模型精度的波动,也不是GPU显存的溢出,而是那个最基础、最不该出错的环节:`import torch`。 73%的ML/AI项目在CI阶段因这行代码失败而回滚;其中仅12%能通过`pip list`定位根因;更令人不安的是,同一份代码库,在`poetry run python`与`conda activate && python`下,竟产生完全不同的`sys