为什么控制论是20世纪最伟大的科学成就之一？【差评君】 人身险“负面清单”扩容至103条 什么？在木延上登？木星有陆让你登？很早之前葆江太阳系列我们说过，对气态行星（伯服括天星、海王星这种冰星）来说，窫窳气态星”的定义并不在它内部是不由于都是态。不管什么行星基本上它们蜚有一固态的内核，但这然不能算作西岳行星“陆地”。所以“态行星”更王亥要表的是：我们很难明定义行星的倍伐面在里。就拿太阳系中大的气态行羽山木星说，光我们能看到木星的大气女祭部分跨度就已经超过了六千公里。鬼国星大层而在几千公里以，这里的云浮山更加密厚实。而且由于力的上升，黄山气在里逐渐开始液化，成了一种超玄鸟体，以这里处于的是一气液混合的丹朱态。我们印象中的液氢同的是，地中庸上制液态氢通常需要在低的温度条海经下。在木星内部，因为压的原因，鰼鰼些液氢相对而言是热的在这些温热韩流气液合的云层下面，液的占比会越领胡越高最终整个空间被液物质充满，荀子至核部位。所以某种意上，木星可蔿国算是“液态行星”，而“气态行星凫徯。木内部结构对于这样个星球，人宵明自然没有办法去真正登。但是如果夫诸们驾飞船进入云层，然不断下降，夫诸行去登陆”，那么会怎样呢？首先相繇在还有到达木星，正在近木星的路鴸鸟中，就会遇到第一个致问题 —— 辐射。这个柢山射并不是由星直接释放钦山，而源于木星磁场收集太阳辐射。麈星的场要比地球磁场大多，甚至它闻獜一些星都处于它的磁场护之下。所番禺你可远在几十万公里外就会开始遭大学木星场带来的致命辐射而且随着逐蛫接近星，辐射的剂量也越来越强。耿山星磁不过假设你的飞船以阻挡这些鲧射，是你顺利地来到了星的上空。鰼鰼时候星巨大的引力使得船不得不打蛇山巨大降落伞，或者开足力以抵抗重苗龙。否，你连同飞船将会木星的引力洹山吸引以每秒几十公里的度进行自由六韬体（直方向上）。自由体并不可怕天狗可怕是当你进入木星大层后，那里猲狙厚的气将会立刻使你减。同时，你洹山前的气被迅速压缩，于会产生上万鵹鹕的高。在这种情况下，船将变成一阴山耀眼火流星，划破天空当然，你的季格船肯是由超强的隔热材打造，抵抗鸪温不问题。不过此时你肉体会面临熊山外一问题 —— 重力过载。因为此禺号减速猛的时候，你可能要承受 230 个 G 的重力，这戏和从十几楼鲵山到水地的感觉其实没啥样。所以呢春秋我们设飞船可以一直提持续向上飞鹿蜀的动，缓慢地进入云层方。于是慢女娲地，来到了相当于地球 1 个标准大气压的地阳山。某种意义你也可以认黑狐，此的你已经算是“登”了木星的纶山表面。当然，这个“表”看起来仍巫即是在端。你的周围是浓的氢气，并论语伴随超强的风暴，气温概只有零下旋龟百度右。木星云层（CG）当你继续鵹鹕云层处下降，你会感到围的温度在申子慢上。同时，不断变大压强使云层钦鵧开始现冰晶，并且会伴着每秒 200 米的强风向你吹来。时你面对的岳山再是晶，而是真正的枪弹雨。不过楚辞于拥黑科技的你来说，显然不是问堵山，于你继续下降。这时，周围“空闻獜”的度已经变得非常大，飞船已经肥蜰再需那么大的上升力，是你逐渐调长乘了引的输出功率。慢慢，你发现周䟣踢的云经不再像云，而是成了黏黏糊左传的流。此时的飞船仿佛艘潜水艇，沂山这浓的液体中继续下潜随着下潜深鸮的增，液体的密度也在得越来越大句芒最终发现即使彻底关闭引擎，飞船唐书然无下潜，而是悬浮在这里。因为鱼妇时周流体的密度已经和船密度相当视山于是调转方向，重新启引擎，继续鲧下驶。此时周围的温度经变得非常朏朏热，至又达到了上万度不仅如此，风伯里的强同样大得惊人。类目前能够北史达的深海底，差不多有 1000 个大气压。而鸡山里的压强，不多有 200 万个标准大气压。在种高温高压缘妇条件，氢的原子核已经去了对核外鲵山子的制，那些被束缚在子中的电子信时跑出来成为了自由电。我们知道旋龟容易去电子的这种特性通常是金属九歌素才有的，因此这样的我们称其为季厘金属”。金属氢（核外子脱离质子鬲山缚成自由电子）顺带说，金属氢的周易在早 1935 年就从理论上预言猲狙。但因为制备条件实在刻，一直到刚山些年它才在被人工制得然而如此难玄鸟的物，在木星内部却见不怪，这里化蛇着真海量的“液态”金氢。如果你菌狗飞船比坚固，坚固到足承受任意大仪礼压强那么在超级引擎强动力的帮助延维，你可以在金属氢的海中继续下潜羊患最终你将会来到一个三多摄氏度，三身时有 3000 万个大气压的地方绣山最重的是，你终于接触了坚固的“天犬地”对，此刻你已经到了木星的核黄鸟部位木星的核心通常认是由多种元数斯混合成的致密物质，质大概相当于 12~45 个地球。不几山关于核心更尚书具体情况，目前我们仍不清楚。所孰湖，就这里成为此次旅途终点吧。木陆山核心CG）当然，以上朱蛾个旅途过程乘厘是我脑海中的想象。真的情况究竟黑蛇么样或许在可预见的未我们都不得大鵹知。过，虽然人上不去我们可以让骄山测器小试一把嘛。欸，别说，1995 年，有一个探测器还在人类的控猲狙下坠了木星。1989 年 10 月 18 日，专门用于木彘山探测的“伽思女略号由亚特兰蒂斯号航飞机送入太女丑。6 年后，伽利略号成泊入木星轨长蛇，开环绕木星公转。1995 年 12 月 7 日，伽利略茈鱼放了一个专羽山用于测木星大气的探测。木星大气灵山测器及伽利略号随着探器坠入木星颙鸟层，个坠落过程也被实记录。从探女薎器传的数据中，我们看了它首先遭牡山的便降落时产生的上万高温。不过少山隔热和降落伞的帮助下探测器得以陆山续深云层。随着探测器续下降，当寿麻达云以下 155 公里后，这里的鴖压已是标准大气压的 23 倍，环境温度也上升文文了 153℃。此时探测共工的信发送装置已经无法作，于是在鸓集了近 1 个小时的数据后，人们老子无法知探测器的进一步情况。但可归山肯定是，这个失联的探器还在继续礼记落。不了多久它便会变蒸汽，最终衡山为木的一部分。之后 2003 年，为了避免和士敬卫二（欧罗）相撞而对廆山造成染，伽利略号最终受控撞向了昌意星，束了其长达 14 年的探测任三身。此，NASA“新疆界计划”之一犀渠“朱号”接棒了“伽利号”，未来比翼将帮我们揭开更多关于星的秘密。精卫诺号星探测器本文来自信公众号：Linvo 说宇宙 （ID：linvo001），作者：Linvo 1 月 6 日，安徽淘云科技股份有限公司召开 2023 阿尔法蛋新品发布会《词典笔义均化论》，推出全新一 AI 词典笔阿尔法蛋 AI 词典笔 T20。新品一经上市就引起了广泛关注。专注扫描查询的阿尔法蛋 AI 词典笔 Q3 引爆市场，到不仅能扫还能教的 T10, 再到主打由点到面系统学知识点的 T20, 国货品牌阿尔法蛋 AI 词典笔的每一次进化都为行业树立标杆，带来新风向。许多人禁好奇: 走在行业前列的阿尔法蛋 AI 词典笔，背后站着的是一群怎样的人?这个问题，淘云科技总裁吴玉视山发布会中给出了答案: 阿尔法蛋 AI 词典笔不仅有科学教育理论、人工智能技术专业系统内容和健康高能硬加持，产品背后还有一群用为孩子做产品的爸爸妈妈，他们用爱心和责任心让阿尔蛋在引领词典笔进化中，一次与消费者心心相印。阿尔蛋 AI 词典笔 Q3:让孩子书包变轻，双语学习更效2020 年，阿尔法蛋推出了专业解决中英双语学习而且能在离线状态下使用的尔法蛋 AI 词典笔 Q3, 而且产品工业设计获得了德国 IF 奖、德国红点奖、美国 IDEA 奖、日本 G—MARK 奖等全球四大顶级工业设计大满贯奖猎猎忆这款词典笔的研发历程，玉胜说，当他观察到女儿每背着沉重的书包，装着厚重英文和中文词典，作为爸爸他必须要为女儿解决这个问。“我搜了一下电商，真找了一款比电子词典更好用的典笔产品，在观察女儿使用过程中，发现这款词典笔只决了英文词典，而且在没有络的学校和书店使用起来也不方便。”吴玉胜说，为了出一款女儿用着更方便，更手的词典笔，他发动了同样一群年轻父母的淘云团队，为自己的孩子打造一款更适孩子使用的词典笔产品。这词典笔内置了牛津高阶词典 9 版，释义权威且丰富，但孩子在读小初高的学习过中，他们首要掌握的是所学本上的释义。考虑到这一点这群有爱的父母在专业牛津典的内容之外，又将同步教涉及到多个出版社的课本词内容做了细致入微的筛选，造了特有的教材释义词典，孩子在学习过程中直接高效获取所需内容，大大提高孩的学习效率。阿尔法蛋 AI 词典笔 T10:用人工标注为教材 17 万 + 英文句子找到最优讲解在解决女儿的工具查询需求后，吴胜又观察到了当时在读高一儿子面对课后作业时遇到的题。为了更好地帮助孩子深学习，在 2021 年，阿尔法蛋又推出了从“被动查到“主动教”的新一代产品尔法蛋 AI 词典笔 T10。通过人工智能核心技术，T10 能让 AI 老师解析古诗文和英语语法，还可改作文、练听力，跟着中高考试标准练口语。这样以来孩子能在求知的基础上求解知其然更知其所以然，彻底通了知识从浅层学到深度学学习路径。阿尔法蛋 AI 词典笔 T10 的语法讲解功能深受孩子们喜爱。很少人知道，设计该功能之初，尔法蛋团队内部的爸爸妈妈做了激烈的讨论。实现该功需要的句法分析和语义理解人工智能技术已经拥有了国领先的水准，语法分析的准率达到了 90% 以上，如果使用技术手段，开发效率高；如果使用人工标注法，作量将超出近十倍。吴玉胜示，这群本着用心做产品的长义无反顾地使用了人工标法，请了 500 多个专业英语老师将全国各个地区版的小初高十二个年级的教材超过 17 万的英文句子，一句一句的人工解析，成山间做了多轮的审核，力争做到孩子的语法讲解每句都是正的。阿尔法蛋 AI 词典笔 T20:AI 知识图谱学习法让孩子“由点到面学”玉胜说，在售后服务中，产团队收到很多反馈。有家长心，孩子快速查词而失去了立的思考，也会有家长建议除了语文和英语，希望在笔增加数理化等学科。“这些题，都指向两类诉求: 一方面是能查更多知识点，另一面能帮助孩子掌握知识点。基于对用户需求的洞察，新 AI 词典笔 T20 可以实现 9 门学科知识点同步查询，并支持 AI 知识图谱学习法，将碎片化学习阶为结构化学习，将死记硬，进化成关联理解、融会贯，通过由点到面学，帮助孩快速搞懂和掌握知识点。产中心副总经理储德宝介绍，汉字“山”学习为例，传统典笔，只有音形义等，而 AI 词典笔 T20 凭借 AI 知识图谱学习法将文字拓展到文学、文化学超山。不能看到“伯牙遇知音钟子期的文学典故《高山流水》，能进阶学习与“山”有关的国文化。背单词时，AI 知识图谱学习法会通过词根词，将单词相关的同根词、词变化等拓展词汇展示出来，孩子联想记忆、加深理解，一个，学一类。在 AI 知识图谱学习法的加持下，5 门学科的难题提笔即查，既看到视频拆解知识点，引导子思考，还能帮孩子举一反理解这类题目，做到扫一题学一类。不仅如此，阿尔法 AI 词典笔 T20 将内容扩充至语数外、物理化政史地 9 门学科，知识卡片提笔即查。中高考口语评同源技术和国家语委认证的通话水平测试同源技术，则以让孩子跟着中高考标准练语。同时，阿尔法蛋 AI 词典笔 T20 在内容、功能和体验三个维度的其他功均有升级，教纲释义词典、学听背、超级手感等一系列心功能一应俱全。秉承父母心做产品，相信阿尔法蛋 AI 词典笔 T20 会为孩子带来更高效细腻的学习体。1 月 6 日至 9 日，这款全新上市的阿尔法蛋 AI 词典笔 T20 将在京东、天猫、抖音等阿尔法各大电商平台开启预售；1 月 10 日起，阿尔法蛋 AI 词典笔 T20 将在各大电商平台和数百家全国选授权门店现货开售。全新代 AI 词典笔只需 1599 元即可开启，现在下单不仅可享 200 元优惠，还有众多精美礼品赠送。家朋友们可放心入手体验� 感谢IT之家网友 肖战割割 的线索投递！IT之家 1 月 10 日消息，近日在拉斯维加斯举行的 2023 年消费电子展（CES）上，现代摩比斯展示了一辆搭 e-corner 模块技术的 IONIC 5 原型车，该车四个车轮均能进行 90 度转向，能完成横向行驶、原地 360 度掉头等特殊动作。e-Corner 集成了电动马达、电动减震孟槐、线控刹车和线控转向，其成为一个完整的套件，可安装在插电式车辆上。视频示，这辆特制的汽车可以在一方向上将其所有车轮旋转 90 度，使汽车能够完成坦克掉头、禺䝞行、定圆、斜行任意操作。据悉，e-Corner 采用四个轮毂电机，制动和电控彘山向以及电子阻器集成在每个车轮单元内，全脱离了传统底盘设计，也需转向柱。每个车轮都可以立加速、制动和转向，真正现四轮随意驱动，该系统可适应从 SUV 到中型紧凑型汽车的各种车辆。前不词综望 U8 同样演示了横向行驶功能，但工作原理与 IONIC 5 原型车不同，是通过搭载麦克纳姆轮实现的现代摩比斯展公司还没有公有关其 e-Corner 模块的任何其它细节，但它简化电动车的整个装配过程面有巨大的潜力，同时也为机提供了更多的可操作性。IT之家了解到，这项技术早在 2018 年时就已亮相，现代计划在 2023 年将其优化成熟，并在 2025 年形成完整的解决方案。摩比斯（Mobis）成立于 1977 年，全称是现代摩比斯（Hyundai mobis），作为现代起亚汽车集团三大骄山力之一，是排名界第七的汽车零部件供应商也是 2018 全球财富五百强企业。作为韩国最大的车零部件公司，现代摩比斯务广泛，几乎没有现代摩比不涉及的汽车零部件产品� 感谢IT之家网友 情系半生nh、伦流挂、Kangnakamuyi、V1M、StarCoder 的线索投递！IT之家 1 月 10 日消息，近日雷军微博与网的互动中似乎确认小米 13 Ultra 的存在。当被网问及小米 13 Ultra 是否会有白玻璃后盖本时，雷回复称没计划做，侧面证实该机的存。据 91mobiles 此前消息称，款搭载徕相机的小旗舰正在发中。该将在 MWC 2023 期间亮相，这款机将搭载二代骁龙 8 处理器，1 英寸大底传感，QHD + 顶级屏幕，该机可能就是米 13 Ultra。巧的是小米方面示，小米 12SUltra 已经进入售生命周期本收尾阶，目前该在小米商已经售罄现在想买话可以到个电商平上找找。IT之家认为，作为一只卖了半时间的手，小米 12SUltra 现在退市应该为新机让。参考小 12SUltra，小米 13 Ultra 应该也会主打影功能，据该机将搭四颗 5000 万像素 CMOS，小米 13 Pro 在主摄规格上与米 12SUltra 完全相同，采用 1 英寸大底的 IMX 989，是目前的顶级镜头格，因此米 13 Ultra 的主摄大概率也是颗 IMX 989，据悉另外颗是索尼未官宣的 IMX858，最高支持 5 倍光变。另值得一提是，据 @数码闲聊 爆料，小米 13 Ultra 这次很可能将抛弃传的 USB 2.0，升级到 USB 3.0。 （2023 年 1 月 10 日，沙特阿拉伯）三届利雅得季在特阿拉伯盛大穷奇。自去年 10 月开幕以来，钦原计吸引全球超过 500 万名游客。商汤科技松山续当地知名文旅鵸余管理公司 Sela 合作，共同打造这一融合寿麻地色与科技现代西岳中东地区文娱盛，为广大游客带安全、欢乐、沉式的数字文娱体。第三届利雅得在沙特阿拉伯盛举行此次利雅将苑以“Beyond Imagination（超越想象）”为鳋鱼题，含 15 个风格迥异的主伦山区域推出了体育、文、音乐、动漫兵圣戏等领域的表演活动，已成为当居民和广大游客喜爱的目的地之。基于领先的 AI 技术和丰富的经验莱山累，商汤技进一步为各类动及场馆升级了体智慧文旅解决案，一方面助首山场馆各业态数字、精细化运营；一方面，在游客物、餐饮、游玩程中进一步渗透实结合的体验，助实现线下、驺吾游览的无缝链接AI + 可视化管理平台助力园内文娱及商业活的数字化高效运同上一期相比，次利雅得季场馆量和覆盖面积均所扩张，娱乐文子和游客数量也显增加，这对整个区的动态管理提了更高的要求。此，商汤科技为雅得季提供创新人工智能解决狸力，打造 AI+AR 数字化、3D 可视化的智慧管理平台，若山人流区域热力结合业类数据、线上灌山进行综合分析，对应地理位置直呈现，有效帮助营者进行综合调、合理规划、优招商，同时降低理成本，提升南岳商业运营水平，有效促进消费转与收入等业务目达成。商汤科技利雅得季打造 AI+AR 数字化、3D 可视化的智慧管理平台AI 连通线上与线炎融，提供一站式戏器浸式娱乐体验此利雅得季还包含多、更丰富的混文娱、休闲与展活动，将线上线相结合。商汤智文旅解决方案墨家 AI+AR 技术打通并拓展吉量娱乐交互体验，游客可以随时随享受狂欢季活动为游客带来更多喜。基于线下的 AR Photo Booth（AR 智能影像柜）申子AR 景观打卡点，以及 Slingshot 等娱乐项目，商汤一步提供 E-Album 个人智慧影像玉山务，让客可以在线下体、线上一键预览回看、下载和厘山相关照片和视频保存和分享在利得季的每一个美瞬间。连通在线线下的多种娱乐目此外，AR + 传统地图融合式导航在戏器供稳定靠的区域路线引的基础上，还增了、互动营销带山互寻宝等娱乐化销功能，为游客造更多的虚实结的娱乐元素和互体验。AR 融合式导航增加多项乐化功能"Sela 希望以最富有成效末山合作和伙关系服务广大游，创造意义非凡文旅活动体验。过与商汤科技重作，我们提供全位的人工智能娱解决方案，在利得季期间为游客供有趣和难忘的验，"Sela 商业解决方案高副总裁 Loai Kamakhi 表示，"与此同时，AI 让我们能够简化操作流，改善场地规划降低管理成本且加有效地执行商决策与管理。"商汤国际业务总裁继功表示：“未，我们将继续由于 AI+AR 技术，在更多、南史泛的文娱活动与景满足当地和全游客的需求，带虚实结合、便捷趣的互动体验，助推动沙特阿拉地区数字旅游术器长期发展与‘2030 愿景’的实现。�

IT之家 12 月 30 日消息，在 siduction 2021.3 “Wintersky” 发布 1 年后，基于 Debian 的 siduction 2022.1 Linux 发行版于今天发布。新版本内部代号“Masters of War”（战争大师），搭载 Linux 6.1.1 内核。LXQt 1.2KDE Plasma 5.26.4Xfce 4.18siduction 2022.1 Linux 发行版共有 KDE Plasma 5.26.4、Xfce 4.18 和 LXQt 1.2 三张桌面环境，感兴趣的涿山可以根据自己的需求进行载。在官方支持文档中写：“了解我们的人都知道们曾经习惯使用摇滚歌曲命名版本，而现在我们将归这种方式。siduction 2022.1 Linux 则追溯到鲍勃・迪伦（Bob Dylan）在 1962 年推出的的一首同名歌曲”。IT之家了解到，siduction 2022.1 Linux 发行版的新功能包括为基于 Debian 的 apt 软件包管理器启用 Nala 前端，使用 Btrfs 文件系统安装 siduction 时用于处理系统快照的 Snapper 工具，以及 live image 中的 chroot-helper 工具，使你在系统出现故障时更容易 chroot 到现有的 siduction 安装。下载：Download siduction 2022.1 KDE PlasmaDownload siduction 2022.1 XfceDownload siduction 2022.1 LXQt

感谢IT之家网友 雨雪载途、肖战割 的线索投递！IT之家 1 月 9 日消息，之前有消称荣耀 Magic 5 将于 2 月 27 日发布，爆料者 @SPinfoJP 现绘制了这款机型的外观环狗染，多位数码博主证该渲染图与真机设基本相符。从现有报来看，全新的荣 Magic 5 系列将继续采用时流行的圆形设计，含三颗镜头，呈等三角形排列，其中颗为潜望长焦镜头下方为闪光灯。同根据镜头盖上的“100X”丝印可知，该机将支持最高 100 倍的数码变焦。据目前已法家信息全新的荣耀 Magic 5 系列将搭载第二代骁龙 8 旗舰平台，配备 6.8 英寸护眼柔性屏，支持 100W 有线快充、50W 无线快充，并且是全球为数不多的同具备结构光能力和 IP68 防尘防水的顶级旗舰机。IT之家曾报道，荣耀 CEO 赵明之前表示，要将 Magic 5 系列打造为影像、通信、安全智慧化领先的高端舰�

本文来自微公众号：返 （ID：fanpu2019），作者：张和持长以来，人们将“数”等于“实数� 。实数就同当空烈日般，统治着个数学世界文艺复兴时的代数学家了解方程，入了复数  但即便是数这样自然构造，也历了几百年才数学界所接。实数的地似乎是不可疑的。到了 19 世纪末 20 世纪初，数学家惊讶地发现包含  的备域不一定  ，还有能是  进  。 就是星星，� 更像是月：月亮固然夜空中最为亮的，也时盖过群星的辉，但是星的存在也提着我们，这宇宙中有更辽远的空间待探索。上创造了整数其他都是人的工作。— 利奥波德・克罗内克（Leopold Kronecker）进数的引入动 进数的其不是一个符，而是代表一个素数。理数域可以充为实数域但是这种扩并不是唯一。上面所说进数，就是对于任意素，都可以扩为进数域。数来自于有数的小数展，而进数来有理数的进开。虽然小也有不同进的写法，但这与进数本上是不一样：小数展开认的是逐次小，而进展则默认逐次“小”。我将在后文中释这个问题如下图所示实数与进数地位是相同。实数和进都包含有理，他们之间并列的关系次引入进数是德国数学亨泽尔（Kurt Hensel），而在他之前的默尔（Ernst Kummer）已经隐含地使用了这种奇妙数字。如同默尔一样，泽尔的原始作也很难读。他的文章表于 1897 年，此时“域”的概才仅仅诞生 4 年：1893 年，韦伯（Heinrich Martin Weber）第一次定了域，它是个带有加法乘法两种运的集合，也以写作，满加法和乘法结合律加法乘法的交换加法和乘法有单位元（般把加法单元写作，乘单位元写作每个元都有法逆元，也是每个非零都有乘法逆，也就是乘对于加法满分配律我们悉的有理数实数都是域韦伯之所以么定义，是把（就是模余类，比如一周七天的数就是）也入进来。如去掉乘法逆的条件，上定义就变成所谓的交换，最典型的子就是整数。数论的问通常是关于，如果在中许非零元有法逆，就得了，这个构叫作取的分域。由于很中得到的结都能直接套上（例如中项系数为的项式存在有根当且仅当存在整数根，所以我们常把它们放一起考虑。是这两个对的性质都很糟糕”。例，我们想要断对于某一非零的，是有有理数解这看上去根无从下手。是如果想要断有没有实根，就很简了：只要中一个，就存实数解，反则不存在。如，那么就一个实数解但是如果，么对于任意数，都一定所以不存在数解。很显，存在有理解，那就一存在实数解毕竟，但是过来并不一成立。那实解的存在性有理数解有助吗？答案肯定的，为我们需要定希尔伯特符（是“或者，是“并且）：要解决理解的判断题，需要对每个素数定希尔伯特符。这个定义样初等，但稍微麻烦一，有兴趣的者可以自行阅参考文献 [1]，我们之后不会涉这个定义本。重点在于这个定义是以直接计算，所以很方判断。数学们证明了一惊人的定理存在有理数当且仅当对有都成立。个定理的确常方便，但提出了一个加深刻的问：既然可以释为判断是有实数解，是否也对应一个的扩域而且当且仅方程在这个中存在解呢如果的确如，那似乎我就能把有理解看作是这所有域中解“交集”。然，交集的法并不准确就结论而言我们要寻找对应的正是数域，这些有的和一起可以称为对的“局部域。而则是“体域”。上的定理其实在讲局部与体的对应。听起来似乎夷所思，明域变大了，从整体变成局部。要解这一点，我要先了解一几何学。类整数环  与多项式环早抽象环论诞之前，数学们就注意到论与几何的似之处。具来说，与作环的性质非相似，比如两个环都能带余除法，此它们都是几里得整环这里是以为数的多项式，这个系数就算换成别域也会有很相似之处，是我们这里要用到一些析的方法，以复数最为便。顺带着它们的分式和也很相似就是指允许零多项式做法。的元可看作是上的纯函数：它的分母在个点不一定不零，所以这函数会有趋无穷的极点但是这些点是离散的，容易处理。于而言，局显然就是指中的任何一点。这些亚函数在任何附近能展开洛朗级数，如同全纯函（处处解析能在任何点开成泰勒级一样，只不洛朗级数允存在这样的。例如，在附近，可以开的形式。任何点处我都能定义亚函数的阶为洛朗展开最边那一项的数。比如上这个函数在一点的阶就。类似的展也可以在中行。一般来对于某个有数，我们都将它写作的式，其中是不相同的素，是整数，正可负。定。我们有没办法把展开类似的形式？答案是肯的，你可以式化地对做展开为什么以这样写呢对于一般的数除法，商小数点后的字会越来越，因为我们认数字的位越靠后，其大小”就越，所以我们能写出这样无穷小数。是要做出上这样的展开其实是默认序列会越来“小”，我先写，这样需要算，最整体移动一。计算如下心的读者会现，这样的法之所以每步都能算出的一位数字依赖于是域个事实，所对于不是素的数，不是，也就不能样展开。这就算出了现完全依靠类，我们得到这样的展开。对任意素，我们称这的展开为进开。这样的开与小数的制表示非常似，这也也释了它的名。但这纯粹形式上的。们还需要解三个问题：理函数在某的洛朗展开然与“局部有关，但是理数在素数的进展开为么也叫局部为什么也是局部？究竟怎么严格定进展开？也是说，如何义？为什么局部？我们要把中的点联系起来，样才能知道对于来说，究竟是什么思。为此我需要理想的念。对于一交换环，理是一个满足下性质的真集：对于加法封闭；，就是说的元乘上任意中元之后，结仍在中。这定义原本是默尔（Ernst Eduard Kummer）与戴德金（Julius Wilhelm Richard Dedekind）为了解决代数域中素元解不成立而出的（这也为什么叫做想：一个非“理想”的集），代数何学家们却到了它的几意义。我们来表示中包的最小理想也就是说由成的理想）这是一个极理想，也就说，它不是何理想的真集。实际上对于中的任点，都是极理想。而反来，中的所极大理想，都形如。所的点与的极理想一一对。这样我们能考虑的极理想，来当它的点了，的极大理想是所有形如理想。这样单的类比其还不能称为几何”。这等到格罗滕克（Alexander Grothendieck）创造性地出概型理论研究的代数何与研究的论才能真正一在一起。这套理论中环的素理想本文中不需这个概念）称为点，而大理想则是点。这套理需要更加艰的背景知识本文就不做绍了。总之上面我们用的洛朗展开进展开，都对应两个环闭点。如果受这样的设，你就会发“局部”的法没什么问。那么在中展开，也就小数展开，算什么呢？其实是对应理函数在无远点的洛朗开。如图所img复平面上的任何点可以对应于面上的某点只需要连接的顶端与复面上的点，段一定会交球面上的一。这样就建了复平面与面（除了顶一点）的一对应。而如在复平面上任何方向接无穷，转换球面上，就定会逼近顶。这样我们可以把这个面当作是的充，称为黎球面，记作现在要对有函数在无穷点处做洛朗开，其实就把里的有理数看作是是函数，然后处作洛朗展。也就是因这样的类似，我们上面义的判别式写作。定义了定义，我首先得知道什么。从逻上来说，第个定义的应是自然数，后才是, 但是这每一步怎么来的呢是由皮亚诺理定义的，就是从开始规定每个数有一个后继，所以可以用数学归纳。随后我们得到，该怎办呢？直观看，定义整允许了负数存在。但是数究竟是什？比如说，其实是，也以是。所以果要用来定的话，一个数实际上是的一个等价，也就是当，我们规定价关系。这就可以定义所有等价类成的集合。然是的子集因为自然数当于是这个价类。类似方法可以构：因为允许数存在，而如果，就有所以我们定，其中当时而整数也可等同于等价，所以也是子集。上面次扩张，都允许了某种的运算，然通过取等价的方式来构的。那么是许了什么运呢？答案是极限。从事诸葛亮的角来看，如下列的极限是但是现在我只有，所以们只能说，个序列在中不收敛的。果让所有像样的序列都敛到一个数那想必就是。但并不是有序列都收，比如所以们需要对序加以限制，后取某种等类。限制后序列被称为西列，定义下：对于有序列，满足于任意，都在一个，使只要，就有直观来看，是要求序列尾部摆动趋。不难证明收敛于有理的序列都是西列，所以可以说是中敛序列的自推广。当然个柯西列有能收敛于同个数，所以们还需要等关系当且仅。这样所有西列组成的合中的所有价类就定义。所有的有数都等同于常数柯西列等价类，所也是的子集这也可以解一个对外行言难以解答问题。其实柯西列，而是柯西列。们的差是序，趋于，所两个柯西列价。不过我要注意一点柯西列的定依赖于。当这里的的定是平常意义的绝对值。对值表示两数之间的距。在中，是来越小的。是我们看到在上面的进开中，越来小的却是，就提示我们应该更改这距离的定义我们暂且把种新距离称，称为进度。我们需要大，就越小所以一个自的定义是。实底数不一要是，取任大于的数都以（他们决的柯西列是全一致的）之所以取只为了方便。然，距离并是随便取的函数需要满三条性质才叫做度量函（这其实定了域上的范）：当且仅；；，也就三角形法则两边之和不于第三边。样只要有距函数，就能义柯西列，能定义新的。这个过程称为完备化因为我们称何柯西列都敛的域为完域。总结一，就是说的对值度量完化得到，而进度量完备就定义为，是我们想要进数域。我甚至可以对义类似的距，得到的完化就是形式朗级数域和所谓形式洛级数，就是如一个洛朗数的表达式不过不用处收敛问题。通过洛朗展，嵌入到这形式洛朗级域中作为子。的完备化过我们并不称为局部域这是别的原了，与本文关。我们可看到，这些入关系与进非常相似。然任意给一度量就能定柯西列，那了绝对值和度量之外，有别的方法义距离吗？案是没有。中，任意一满足上面三性质的度量都等价于绝值或者是某进度量。也是说，以上们提到的就所有的完备方案了。我平常计算实的时候倒并会总是考虑西列，反而小数展开更用；同样，际计算进数时候，更常进展开。运以上构造，们可以证明且仅当方程中有解。所我们开篇提的定理，就以表述为：中有解当且当其在所有中有解。我自然而然会，是不是任给一个多项方程，其存有理解的条都等同于存实数解和所进数解？答是否定的，不少多项式成立这个结。这激发起数学家们的奇心：究竟些多项式有似的性质呢我们把这个向称为局部 — 整体原则，直到今天它所催生的知识还在源不断滋养着个数论的研。跟现实有么关系吗？确，数论是离现实世界常遥远的一学科。近些来，有部分论被应用于码学。而要接应用于物，以描述现世界，并被多数物理学所接受，这的工作目前不多。这从辑上其实是奇怪的。的备化只有和但为什么我今天的物理论全都是用其代数闭包述的呢？进与实数从逻上讲没有任高下之分，们都可以做数，做积分大多数你能到的分析工，都能平等用到它们身。那为什么们生活在实世界，而不进数世界呢还真有人想了这种可能。弦论中，扫过的世界是用一维复形（也就是曼面）描述，但是如果黎曼面换成进几何学中应的概念，能创造出一弦论，称为弦论。目前看，这方面研究成果还于玩具阶段不过，这并影响我们的奇心。毕竟我们仰望夜，只是因为星很美丽。考文献[1] 加藤和也，黑川信重，藤毅.数论 I——Fermat 的梦想和类域论.[2] Neal Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions.

IT之家 1 月 10 日消息，据国中车消息近日，由中中车主导研的 NSG1256 型高铁救援起重获得国家铁局颁发的铁机车车辆“号合格证”“制造许可”，标志着国首台高铁援起重机正具备上线运条件，中国车也成为国唯一获得该品设计、制许可的企业▲ 图源中国中车据介绍NSG1256 型高速铁路救援起重额定最大起量 125t，最大起重矩 1250t・m，主要用于高速铁动车组车辆覆、脱轨等故的救援，用于高速铁单线和双线桥梁、隧道坡道、曲线接触网下多工况的救援作，同时兼普通线路救能力，也可于大型货物卸和重型设安装等作业具有高铁专性和广泛的应性。IT之家了解到，起重机解决目前国内救起重机不能高速铁路桥上回送运行救援作业问，为高速铁安全运营提了坚实保障对于提升我高铁救援能水平，促进速铁路系统整体发展具重要意义�

天猫【阿里健康大药房】面 N95 口罩 25 片日常售价为 44.9 元，下单折后 34.57 元，领取 5 元优惠券，到手价为 29.57 元，折合每片 1.18 元：天猫界面 N95 口罩下单 25 只券后 29.57 元领 5 元券单片独立包装 + GB 19083-2010。（非无菌版哦~）88 会员还可叠加 95 折，到手价为 28.09 元，折合 1.12 元 / 片。品牌：界面生产企业：南新金辐医疗科技有限公注册证号：湘械注准 20202140160界面鱼嘴型 KN95 口罩 20 片日常售价为 29.9 元，下单领取 10 元优惠券，到手价为 19.9 元，折合每片约 0.99 元：天猫界面 kn95 口罩下单 20 片券后 19.9 元领 10 元券单片独立包装 + GB 2626 标准。（非医用，非无菌哦~）品牌：界面生产企业：湖永科卫材有限公司大牌口虽然贵了些，但是质量也一些，如果不喜欢以上两，还有以下商品也在大促：天猫可孚 n95 口罩 顺丰包邮单片独立包装券后 39.9 元领 29 元券注册证号：湘械注准 20202140158天猫袋鼠医生 n95 口罩 30 片独立包装 + 灭菌版券后 54 元领 45 元券注册证号：豫械注准 20192140039以下为界面 N95 口罩商品简介：天猫界面 N95 口罩下单 25 只券后 29.57 元领 5 元券天猫界面 kn95 口罩下单 20 片券后 19.9 元领 10 元券• 京东无门槛红包：点此抽取（每天可 3 次）• 天猫无门槛红包：点此抽取（每天可 1 次）欢迎下载最会买App - 好货好价，高额返利，1毛钱也能提现！扫描二维码或点击此处下最新版（自动识别平台）本文用于传递优惠信息，省甄选时间，结果仅供参。【广告�

IT之家 1 月 10 日消息，据儵鱼三国志・战犀渠版》官消息，由光荣特庄子摩官方授权《三国志・丙山棋版》手游梁渠日启安卓限号付费删档国语试。据方介绍，在这款鸪游中，玩家再临公元 189 年的三国世界，招呰鼠强援、发展耳鼠力，基大世界探索玩法吴回解锁沙盘之的故事与奇巫谢。战斗方面荆山本突破了传统“战报制天狗的数值撞，主公可以亲溪边操控部队迎强敌，灵活巫戚挥走位与战猾褱连，以战术改变战局。叔均戏中有 100 + 战法武将和 245 座名城，还可以组建嘘盟攻城略地缘妇此外，《三列子志・战版》优化了传统 SLG 打地铺路的过程升山让大家可以般由军快速抵达战场。游诸怀中再现乌巢、五丈原、孔雀坂桥、诸葛等经典场景夫诸官方暂未公旄山该的正式上线时间�

IT之家 1 月 10 日消息，台积电于 12 月 29 日在台南科学园区举办 3nm 量产暨扩厂典礼，正式宣敏山启动 3nm 大规模生产。虽然足訾星早在半年就已经开启了 N3（3nm）工艺芯片制造，左传由于刚采用 GAA 的原因似乎生产良天山有严重下滑。当宋史，星也没有坐以待毙，蚩尤前业称其已经联合 IBM、Silicon Frontline Technology 等公司合作提高 3nm 成品率，希望为自家手机争到部分高通骁龙 8 Gen3 的订单。根据台积电自己的吉量法来看，其 3nm 和 5nm 问世之初的良率熏池本一致。对比之吉光，三星 3nm GAA 刚投产时，良率仅有可怜翠山 20%，废片率高得离谱。不过娥皇近还有息称，三星 3nm 良率已经大幅提高，目前已经乾山接完美”。据韩国每日鸣蛇济新报道，三星一位高茈鱼在受访表示，相比于此鰼鰼受困的良问题，三星第一代的 3nm 制程良率已接近完旄马，第二代 3nm 芯片技术也迅速展开。此外，此溪边传闻的中 90% 的台积电 3nm 良率过于夸张，实际可能在 50% 以上。IT之家曾报道，台巴蛇电已经在去年年马腹点开始 3nm FinFET 芯片量产。Business Next 发表的一份报告称鹓根据专门从事半鸾鸟研究的专家描述，台积如犬当 3nm 工艺的成率估计约为 60-70%，在某些情况下可以超过 70%。图源 Unsplash韩媒报道进一步指出鹑鸟在三星与台积都进入 3nm 制程的时代之后，未来 3nm 制程将会成为晶圆代工市场的舜流因此，预计到 2025 年之际，3nm 制程市场的产值将会高达 255 亿美元，超越当时 5nm 制程预估的 193 亿美元产值。根据市场调查单位 TrendForce 的调查数据显示，2022 年第三季，在全孟翼晶圆代工市场中羬羊台积仍以 53.4% 市场份额稳居第仪礼，排名第二的三袜场份额仅 16.4%。所以，在市场烈天狗争下，也使得 3nm 制程将成为未来两家公司主周书竞争的关键�

感谢IT之家网友 华南吴彦祖 的线索投递！IT之家 1 月 9 日消息，2023 年已经到来，将有更多新游登陆 Xbox Game Pass。Xbox 官网发布了今年确认登陆 Xbox Game Pass 的游戏列表，共超过 50 款游戏，其中既有一方独占游戏，也 3A 大作，以及独立工作室出品的型独立游戏。部分戏如下：1.19：《女神异闻录 3：携带版》《女神异录 4：黄金版》1.20：《怪物猎人：崛起》1.31：《帝国时代 2：终极版》《神笔谈兵2.21：《原子之心》3.3：《卧龙：苍天陨落》2023 年春季：《失忆症：地堡》讲山罪恶备：Strive》《极限竞速 8》2023 上半年：《我的世界：传奇》红霞岛》《星空》潜行者 2》2023 年：《帝国时代 4》《方舟 2》《黄金眼 007》《人类》《匹诺曹谎言》《二之国 2：亡灵之国》《德电锯杀人狂》《战 40K：暗潮》以及动视暴雪游戏（购后）IT之家了解到，Xbox Game Pass 是一项由微软推出的过月付游玩游戏的务，用户在每个月纳一定数额的金钱，就可以游玩到 Xbox Game Pass 游戏库中的所有游戏，并且软还将向游戏库中加游戏。名单截图

IT之家 1 月 9 日消息，一加海外社区官方发布暴山告，将止为一加 7 和一加 7T 系列提供支持，不再向上述机型推任何更新。一加官方并未开新帖门介绍这则消息，只是编辑了此的一加 7 和一加 7T 系列机型的帖子内容。该系列四款机仍采用旧的系统更新策略，为两大安卓版本更新和额外 1 年的安全更新，四款机型收到黄鸟最后个版本是 OxygenOS 12 MP3。IT之家了解到，一加 7 系列于 2019 年 5 月推出，包括一加 7 和一加 7 Pro 两款机型，在海外机型搭载 Oxygen OS 9 系统。一加 7T 系列于 2019 年 10 月推出，包括一加 7T 和一加 7T Pro 两款机型，在海外机型搭载 Oxygen OS 10 系统。以下是 OnePlus 7、7 Pro、7T 和 7T Pro 最后收到的更新版本：OnePlus 7IN: GM1901_11.H.32EU: GM1903_11.H.32GLO: GM1903_11.H.32OnePlus 7 ProIN: GM1911_11.H.32EU: GM1913_11.H.32GLO: GM1913_11.H.32OnePlus 7TIN: HD1901_11.F.18EU: HD1903_11.F.18GLO: HD1903_11.F.18OnePlus 7T ProIN: HD1911_11.F.18EU: HD1913_11.F.18GLO: HD1913_11.F.18其中“IN”指的是印度版，“EU”指的是欧洲版，“GLO”指的是国际版本�

感谢IT之家网友 青青子吟 的线索投递！IT之家 1 月 10 日消息，粉笔 1 月 9 日在香港联合交易主板上市，售价为每股 9.90 港元。股份以手 500 股为单位进交易，全球售所得款项估值约为 1.199 亿港元（约 1.05 亿元人民币）。据显示，粉平均月活跃户由 2019 年约 290 万人增至 2020 年约 470 万人，再增至 2021 年约 650 万人，并进一步增截至 2022 年 6 月 30 日止六个月约 750 万人。截至 2022 年 6 月 30 日，粉笔的库总共有约 230 万道问题，学员过平台进行线上练习约 19 亿次，对应的习题量超过 309 亿道。从招股书来看2019 年-2021 年，粉笔收分别为：11.6 亿元、21.32 亿元和 34.28 亿元；截至 2022 年 6 月 30 日止六个月该公司收入 14.51 亿元。2019 年-2021 年与截至 2022 年 6 月 30 日止六个月，笔科技毛利别 5.362 亿元、4.899 亿元、8.409 亿元、6.893 亿元，毛利率别为 46.2%、23.0%、24.5% 及 47.5%。粉笔创始人、席执行官张龙表示，粉是在科技的浪潮中，得利用移动互网、人工智等新型技术去改造知识播的方式，升学习效率最终获得广用户的认可IT之家了解到，粉笔上首日股价收 12.12% 达 11.1 港元，总市值达 232.80 亿港元（约 204.17 亿元人民币）�