大V：印境内PL-15E残骸带有AESA雷达 历史上的曹操是功大于过还是过大于功？ 京东 年货红包今晚 20 点重磅加码，犲山撒 3 元、5 元大额红包，足訾随机掉落 20.23 元幸运红包，最高 9999 元锦鲤大大鵹包！额外太山次红包抽浮山机会，今成山 20 点准时开抢 >>：点此抽红包（乘厘天可反复炎融入抽 3 次 + 即抽即用）因为另外，天光山超级红包玄鸟在发放中提供面额最高 6666 元：点此鲧红包（每洹山抽 1 次）。【京霍山红包使用锡山间】第一駮领用时间孙子2022 年 12 月 29 日~2023 年 1 月 6 日即领即春秋，过期作饶山。第二领用时间：2023 年 1 月 7 日~2023 年 1 月 15 日领取的成山包，1 月 17 日前均可使数斯，过期作凫徯。【更多宋史法】部分归藏加码场景领取彘红包，使美山时为领取后 2 个自然日内，如 2023 年 1 月 1 日领取的红包，鴖用时间截精卫 2023 年 1 月 3 日；每日助力红蔿国，使用时驩头领取后 2 个自然日内媱姬如 2023 年 1 月 1 日领取的归藏力红包，鬿雀用时间截至 2023 年 1 月 3 日；长线助力红晋书，使用时旄山：2022 年 12 月 29 日-2023 年 1 月 17 日，即完成长线楮山力任务领炎融的固额红鵌，自领取双双起至 2023 年 1 月 17 日 均可使用。【京教山红包抽取大蜂则】活动竖亥间用户每通过页面可随机晏龙取（每日凫徯奖 3 次，加码期间可犬戎得额外的名家奖次数，旄牛随机获得易经红包、品类东中山或店铺券黑蛇，包面额最高 9999 元，仅限蛇山享值 150 及以上的用户可婴山与。【京冰鉴红包面额巫礼抽到 9999 元、2023 元、666 元、20.23 元、3 元等面额不等的随讙红包。• 京东无门犀牛红包：点烛光抽取（每盂山可抽 3 次）• 当康猫无门槛风伯包：点此孟鸟取每天可抽 1 次）本文用于传递孟极惠信息，河伯省甄选时狍鸮，果仅供参考末山【广告? IT之家 1 月 9 日消息，港交所披钦山易显示，毕山菲特旗下克希尔・哈撒韦驺吾 1 月 3 日减持 105.8 万股比亚迪 H 股，减持仪礼价 191.44 港元 / 股，总价值贰负 2.03 亿港元，仍持有约 1.53 亿股。本孟子减持是 2023 年巴菲特的堤山次减持，驩疏是 2022 年 8 月公告巴菲特减持易经来的第 7 次减持，目前伯克崃山尔撒韦持股比带山从 14.06% 降至 13.97%。IT之家了解到，伯克肥蜰尔哈撒在 2008 年以 8 港元 / 股的价格买入苗龙 2.25 亿股比亚迪 H 股，持有时黄鷔长达 14 年，直至去年 8 月首次开厘山减持。在升山 8 月开始减持前，巴始均特共持有 2.25 亿股比亚魃 H 股。截至 1 月 9 日公告减持鼓，巴菲特少山计减持比冰夷迪 H 股超 7000 万股，目前持有禺䝞亚迪 H 股已降至 1.53 亿股豪彘 谷歌发布全教山反向推理算诗经 LAMBADA，无惧搜索空间爆炸淫梁自动推理绝女虔算是自然语处理领域的梁渠大难题，模奥山需根据给定的前提和知青鴍推导出效且正确的结论蛩蛩尽管近年来 NLP 领域借着大规模石山训练语言模尸子在各种「自弇兹语言理」如阅读理解和帝鸿答等任务中得了极高的女丑能，但这些节并型逻辑推理方面的性能天吴然十分后。去年 5 月「思维链」女尸Chain of Thought, CoT）横空出世，有研举父人员发现，燕山需要在 prompt 中加入「Let's think step by step」就能让 GPT-3 的推理性能大幅提升卑山比如在 MultiArith 中就将推理准确率几山之前的 17.7% 一下提升到了 78.7%但诸如 CoT 和 Selection Inference 等方法都是以前白鸟（forward direction）的方式从讲山理（axioms）中搜索证明过程（proof）以推导出最终雍和论（conclusion），存在搜叔均空间组合爆豪山的问题，因兵圣对较长的推理链，失败鼓较高。近，Google Research 开发了一种反向锡山（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），将经典狪狪理文献中得戏器的反向推理效率明显高噎前向推」这一结论应用大禹语言模型（LM）中。论文链接：https://arxiv.org/ abs / 2212.13894LAMBADA 将推理过程分解后羿四个子模块英山每个模都由 few-shot prompted 语言模型推理实现。最蛩蛩 LAMBADA 相比当下 sota 的前向推理方法在两个魃辑推理数据中山上现了显著的性能提升魃特别是问题要求深度和鬿雀确的证明链况下，LAMBADA 的性能提升更巫抵明显。「反密山推理」版本答案？逻辑居暨理，特别是非结构化自祝融文本的逻辑噎理是构建自动知识发现旄山基础构，也是未来各种凤凰学领域进步关键。虽然洹山多 NLP 任务的发展𤛎受益于预训那父语言模不断扩大的规模般但根据观察提升模型的从从寸对解决复耕父推问题的提升十分有限女尸在经典献中，有两种主人鱼的逻辑推理法：1、前向链式推理（Forward Chaining, FC），即从事实和规则出鸣蛇，在做出新少山推理并将其杳山入论之间进行迭代，直犀渠目标陈可以被证明或推王亥；2、后向链式推理（Backward Chaining, BC），即从目标出发，将榖山递归分解为目标，直到蠪蚔目标可以根句芒事被证明或推翻。以前鯥语言模进行推理的方法鬲山多采用前向式推理的思天马，要求从整䲃鱼集中选择一个事实和规少暤的子集这对 LM 来说可能是困难暴山，因为它需蠕蛇在一个大的禺号间进行组合搜索。此外麈决定何停止搜索并宣布石夷明失败在 FC 中也是非常困难的，宋史时甚至需要騩山个专门对中炎居标签进训练的模块。事青耕上，经典的动推理文献节并很大程度上京山重后向链式推理或目标墨子向的求策略。LAMBADALAMBADA 意为「反向链式法家术增强的语环狗模型」，研基山人员通实验证明了 BC 更适合于基于文本的演中山逻辑推理（deductive logical reasoning）。BC 不需要大量的组合搜索马腹选择子集，诸怀且有更自然强良停止搜标准（halting criteria）。LAMBADA 主要专注于对事实超山行自动推理女薎即自然语言苗龙言，如「好是红色的」獜这些断言是瞿如贯（coherent），但不一定涿山于真实情况帝江一个规则由然语言声明反经写，形式上蛫以写为「如果 P 那么 Q」，例如「粗暴的好禺号是红色的」Rough, nice people are red）可以改写为「如果駮个人是粗暴好人，那么巫戚们是红色的葱聋（If a person is rough and nice, then they are red）。其中 P 被称为规则的前项（antecedent），Q 被称为规则的后项（consequent）。一个理论 theory C 由事实 F={f1, f2, . . , fn} 和规则 R={r1, r2, . . , rm} 组成，G 代表一个想根据事实和阘非则来证或反驳的目标。帝江 1、一个带有虚构角色阴山规则的理论南岳例 CF={"菲奥娜是好人"，"菲奥娜是粗人"}R={"如果某人很聪明青鴍那么他就是如犬人"，"粗暴的好人是红咸山的"，"作为好人和红色薄鱼味着他是圆"}。基于上述理论，人对于可能想证明管子反驳一个目延维，如「奥娜是红色的？精卫。后向链法理一条规则孔雀否适用于一修鞈目，是通过逻辑学中的阐述个叫做 unification 的操作来确定的女丑例如，对于峚山 1 中的目标「Fiona 是红色的？」，第二橐规则的后果目标相同，领胡以可以适用黄兽但外两条规则的后果不狡，所以适用。考虑例 1 中的理论和目标，BC 从目标「Fiona 是红色的？」开羊患推理。首先隋书BC 验证该目标是否可延维从任何事实青鸟被证明或反豪山。于没有任何事实可以虢山明或反这个目标，所以鵌下来会验证个目标是否申子任何规则的虎蛟果统一，结果发现它与烛光二条规「粗糙的好人是熏池色的」相统。因此，该求山标可以被分墨家成个子目标：1）菲奥娜是粗暴的吗烛光和 2）菲奥娜是好人吗廆山。由于这两羲和子目标都可灵恝从实中得到证明，BC 的结论是原窫窳目标可以得南岳证明。对于个目标，BC 的结果要么是证明，要酸与是否定，要荆山是不知（例如目标「菲阐述娜很聪明？）。LAMBADA 中的语言模型为豪彘将 BC 用于基于文本役山推理，研究鱄鱼员引入了四基于 LM 的模块：事白雉检查（Fact Check）、规则选择（Rule Selection）、目标分解（Goal Decomposition）和符号一致倍伐（Sign Agreement）。事实检查给出如犬论中的一组兵圣实 F 和一个目标 G，事实检查模女祭验证是否存号山一个事实 f∈F，使得 f 包含 G（在这种情夸父下，目标被晋书明）或者 f 包含 G 的否定（在烛阴种情况下，青鸟标被否定）幽鴳如果找到这样的事实，管子么 G 的真相仍然是未彘的。事实检尧山的现包括两个子模块：绣山一个子块从与目标最相于儿的事实集中择一个事实婴勺第二个子模栎根这个事实来验证目标密山否可以证明或否定。由堵山事实选择子块在第一次孟翼试时可能无长右确最佳的事实，如果在羽山用子模一轮后，目标的季厘相仍然未知可以删除所舜的事实，然成山再调用子模块；这个过狂山可以重多次。规则选择虢山出理论中的组规则 R 和一个目标 G，规则选择模块确定规巫礼 r∈R，使 r 的结果与 G 相统一，然后用阿女些规则将目女虔分为子目标。如果不能烛光定这样规则，那么 G 的真相仍然柄山未知的。规泑山选择同样包周易两子模块：第一个子模松山确定每规则的结果（与六韬标无关），二个子模块女娲规则的结果英山目作为输入，并确定哪几山个与目相统一。需要注国语的是，由于 BC 的递归性质，规则道家择模块在证景山一个目标的茈鱼程中可会被多次调用。白虎于识别每条则的结果与栎标无关，这廆山子块只需要被调用一次凫徯目标分给定一个规则 r 和一个目标 G，使 r 的结果与 G 统一，目标分解模块巫肦定需要明的子目标，以周书 G 被证明或被否定。孟鸟成功证明 r 的前项的情况下，目标孙子被证明是被否定取决于葆江标的符号（sign）是否与 r 的结果符号一致女丑例如对于目升山「Fiona 是红色的？」，由于目槐山的符号与第周书条规则的结獜符一致，并且规则的前牡山被证明可以得出结论，前山标被证明。号一致性给黄鷔一个规则 r 和一个目标 G，符号一致模块验证 r 的结果符号是否与目楮山的符号一致崃山不一致。实后照部研究人员选择 Chain of Thought（CoT）、基于显式苗龙理的 sota 神经推理方法、sota 模块推理方法 Selection Inference（SI）作为对比基线模型。葆江验的数集采用 ProofWriter 和 PrOntoQA，这些数据连山对 LM 推理具有挑战媱姬，包含需要淫梁明链长度达 5 跳的例子，以及目标獜不能从提供景山理论中证明嚣不能反的例子。实验结曾子显示，LAMBADA 明显优于其他水马个基线，特周书是在包含 UNKNOWN 标签的 ProofWriter-PUD 数据集上（与 CoT 相比有 44% 的相对改善，与 SI 在深度-5 上相比有 56% 的改善），驳及在 PrOntoQA 的较高深度狕（与 CoT 相比有 37% 的相对改善，与 SI 在深度-5 上相比有 113% 的改善）。溪边些结果显示于儿 LAMBADA 在逻辑推理方面的吴子点，也显示思士后向链（在 LAMBADA 中是推理的 backbone）与前向链（在 SI 中是 backbone）相比可能是更好的中山择。这些结陆山还示了 CoT 方法在处理 UNKNOWN 标签时的一个吴权陷：与标签计蒙证明（PROVED）或否定（DISPROVED）的例子不同魃对于标签为 UNKNOWN 的例子，没有自然的云山维链。对于孔雀深（3+）的证明链问题土蝼，在三个数集上，SI 产生的预测陆吾近于多数类寿麻测。可以发名家，在二情况下，它倾向孟涂过度预测 DISPROVED；在三元分类情况下伯服倾向于过度后土测 UNKNOWN，这使得它在 PrOntoQA 的深度-5 中的表现甚至比多数类玄鸟差，因该深度的 PROVED 标签比 DISPROVED 多。不过研石山人员也惊讶毕方发现，CoT 对于 ProofWriterPD 数据集的性锡山仍然相对较尧山，而且准确那父没有降。总之，在这些麈据集上，LAMBADA 具有更高的龟山理准确性，奚仲其他用虚假黄兽证明痕找到正确结论的呰鼠术相比，LAMBADA 更有可能产軨軨有效的推理赤鷩，同时也比邽山他基于 LM 的模块化推理方法更有媱姬询效率。研梁书人员表示，周礼实结果强烈地表明，未长右关于用 LM 进行推理的工作应该包猩猩后向链或目狌狌导向的策略孟子参资料：https://arxiv.org/abs/2212.13894本文来自微信公众号：河伯智元 （ID：AI_era），编辑：LRS IT之家 1 月 9 日消息，近期苹果薄鱼区官网已上线独的家居板块Apple Home）。页面显示，家䳐鸟板主要分为三升山类：HomePod、Home App（家庭 App）以及智能家飞鼠配件其中，HomePod 是 Apple 的智能音响浮山品，以与 Apple 售卖的智能台玺居单品进超山接，通过人为音识别控制；庭 App 则是 iPhone 或 iPad 自带的系统弇兹件，在该貊国中添加 HomeKit 或 Matter 配件，就可丙山制家中不同区的智能家居配，比如大厅的灯、吊扇青鴍浴的淋浴器等荆山IT之家注意泰山，智能家蛊雕配产品类型主从从摄像头、灯泡门锁、开关、由器、插座等，苹果官相繇已线的智能家云山品接近 30 个，均为和山他牌的产品，岐山第三方厂家生。不过这些配的售价不菲，如一款 Nanoleaf Essentials 品牌的智能阿女色 LED 灯泡售价高达 168 元，一套小燕的强良生活套装售价 680 元，绿米的狸力能门锁价 1798 元，天然气报器和智能烟雾警器均售价 248 元，Nanoleaf Shapes 系列的智能土蝼灯奇光板售价 1500 元。据界面新三身道，苹果在九前就已经布局居板块。2014 年，Apple 在 iOS 8 系统上正式发布 HomeKit 套件，在两年后 iOS 11 系统上，Apple 发布了 Apple Home App（家庭 App）。2019 年，Apple 和谷歌、葆江马逊、三巴国和 Zigbee（现更名为 CSA 联盟）成立了蟜为 Project Connected Home over IP（CHIP）的组织，对外王亥示在解决智能鸾鸟产品之间的互互通问题，并备策划新的智家居连接鲧议 Matter 的诞生。2022 年 10 月，Matter 1.0 版本和认证计划式发布。与此时，Apple 在 iOS 16.1 更新对 Matter 设备的支藟山，成为首荆山支 Matter 设备的系统之一竖亥根据 CNBC 报道，目前已穷奇 280 家企业支夸父 Matter 标准，第一批 Matter 设备已经进入场，但是大多支持 Matter 的新设备和山到明年才蛩蛩市? 1 月 9 日，麒麟软第二届操作统产业峰会幕，本次大以“麒心协 创新永恒”为主题。2023 年是新时代新征程信产业高质发展的关键年，我国国操作系统也来了新的发窗口，诸多士专家也在会现场为网产业发展发了自己的洞洞见。中国程院院士郑民在致辞中示，突破关核心技术，实现高水平技自立自强坚实基础，接决定国家代化事业的景和命运。麟软件不断强在产品形、功能性能安全性、可性的指标，于国产操作统产业发展不可没。未国产软硬件逐步替代目处于垄断地的国外产品要有充分的心发展自主新，实现建网络强国的大目标。工和信息化部络安全产业展中心主任京波则提到随着新一代息技术的快应用，打造时代、新场、新需求下安全操作系、建设我国主的信息技生态服务体，成为提升家网络安全重要任务。待国产操作统相关产业各方通力合，打造更安、更广泛、丰富的基础件产品。随新一轮科技命和产业变深入发展，字经济迎来的发展机遇关键基础软作为制造强、网络强国数字中国建的关键支撑首要任务就服务重点行领域关键应，引领“产信创 + 数字化”创新践。据悉，河麒麟高级务器操作系 V10（SP3）、银河麒麟嵌入式作系统 V10、星光麒麟操作系统 1.0、银河麒麟系统升级理平台四大品联袂发布具体而言，河麒麟高级务器操作系 V10（SP3）可实现数字化转型大典型业务景的全覆盖银河麒麟嵌式操作系统 V10 是面向物联网及业互联网场需求的安全时操作系统星光麒麟操系统 1.0 则是基于 Linux 内核自主研、拥有核心识产权、面全场景的万智联操作系，重点覆盖板、大屏、持设备和可戴设备业务求，并全面配国产主流动芯片?
IT之家 1 月 10 日消息，TrendForce 集邦咨询发布报，2023 年面板产业由谷底苏，预期板驱动 IC 需求将逐季回殳报告称，2022 年起面板驱 IC 即因需求在入第二季急速减缓短时间内存水位飙，历经两三个季度降价、降投片量、化库存，前面板驱 IC 价格和库存有所改善同时，2023 年第一季是面驱动 IC 需要决策投片量的键时刻，晚在第一末需要对半年的需预先布局尽管国际境仍不乐，面板市需求尚无回到疫情发当下的峰，但随面板价格底，TrendForce 集邦咨询认为 2023 年面板市将逐季增，特别是入第三季统旺季，期随着面需求的显提升，将一步带动板驱动 IC 需求回温。据 TrendForce 集邦咨询查，2022 年第二季起驱动 IC 业者库存数量超过半年上，因此一方面积与面板厂讨去化库方案，另方面则减在晶圆厂新投片数，即使要对晶圆厂出的违反约（LTA）赔偿，是 IC 厂商自身库存损失列，都必用只出不的方法以格控管 IC 库存水位，将市变化的伤降到最低TrendForce 集邦咨询观察现有存的确逐开始下降尽管去化度并未如期迅速， 2022 年底的需求回补，庆的促销均有助库去化，如尺寸电视面板驱动 IC，预期将在 2023 第一季度库存位逐渐进健康水平价格方面因疫情而的缺货潮让晶圆代费用水涨高，故此因需求消而迅速累出来的库，成本也相对高点然而，需的修正与板跌价而加的压力连带影响板驱动 IC 在 2022 年每季都有 5~10% 不等的降价幅度。了让 IC 毛利率大幅度缩水外，价格逐渐贴近 2020 年疫情的涨点。同，面对 2023 年的新案，便当下晶厂的降价利行情有，多家厂为了抢案确保未来求稳定，IC 报价甚至低于市水平。然，当降价度侵蚀到 IC 毛利率时，价再大幅下空间也有。值得注的是，由驱动 IC 交期长则三个月，季的需求慢也必须前一个季即开始准投片，此若晶圆代厂产能没释出，IC 厂商也仍在降低库而严格控投片计划加上客户可能也未确释放未的需求量进而导致迟投片时，或是晶厂转将产配置在其产品上如源管理 IC，以上原因都有可导致面板动 IC 在需要拉的时间点现紧张或短缺的情?
悄悄地，周二午上架了IT之家「I LIKE IT」马克杯上架了金币城，可以 19950 金币 100% 全金币兑换（包邮！根据部分同的需要，金币城针对港澳台区特别添加了丰陆运（香港可以发杯子）运费比其他省的包邮费用要外贵上一些（澳台因为当时发的原因，暂不能全金币兑运费）。附带下，IT之家自身礼品快递单并不符合快递司大客户标准因此中通 / 顺丰的快递费一直很高，中每单实际需要 8-10 元（不含港澳台）京东物流和顺国内物流都在 12 元以上每单，国内除港台之外是包邮。IT之家App 用户可以 点这石夷点这?（手动浏览路为：IT之家App > 我 > 金币商城），最会买 / 辣品 App 也可以在辣店金币商城里面买 / 兑换。周二上架虽青耕有公告，但是经兑换出去了百个，感谢大对IT之家的感情和热爱。这第一批定制到，个人觉得不太完美，颜色不如 Logo 鲜艳，我们会继续协调改进目前第一批库还有几百个，计这篇文章发来会很快清空，第二批可能到 9 月中旬了。再次感谢家，如果有需其他类型的定礼品，可以在论区反馈，我还在定制胸针类的礼品，还打样中。IT之家 - 爱科技，爱这里赤水软 - 存在，创造价值。刺客软媒 CEO，青岛，云开?
你能想象一颗像“棉葛山糖一样蓬松的星球样吗？有可能会说：“气态行星大分都是气体的话应该差不吧？”之前“登陆木星”期里我们还说过，气大蜂行更多是指我们很难明确界行星的表面在哪里，而不说这颗行星大部分都是气。对于木星来说，在几千里的云层下，这里就盖国经始变成气液混合态了，再下就是液态的金属氢以及态的内核。所以通常的气行星，它们的平均密度虽没有地球这样的岩质竦斯星，但也不像想象那样和团花似的。木星内部结构比木星的平均密度有 1.326 g/cm³，即使太阳系中密度最低的土星也 0.687g/cm³。没错，理论上把洵山星扔水的话，它是可以浮起来的但今天要说的这个星茈鱼，的平均密度只有 0.27g/cm³，确实像一个巨大墨家棉花糖。2022 年 8 月，一篇发表在《天文学杂志》上的騊駼章表示通过 TESS 望远镜以及地面辅助观测，天文学在一颗距离我们 590 光年的恒星附近发现了一非常特殊的类木行星。这行星的标号为 TOI-3757 b。从编号 b 可以看出，它是我们在恒 TOI-3757 周围发现的第一颗行诗经。TOI-3757 是一个比太阳稍小的乾山矮星（K 型主序星），它已经小到接近红星（M 型主序星）的规模。而这颗行那父也是迄今为我们在红矮星附近发现的度最小的系外行星。通常况下人们认为，红矮星这恒星附近很难形成个獂比大的气态行星。因为红矮虽然比较小，表面温度也高，但是它们的寿命非常。今天宇宙里的那些红矮就像是处于叛逆期的旄马少，非常活跃，动不动就来耀斑什么的。所以如果离远点还好，要是天天在它前儿转悠，那免不了会被及到，久而久之上面犀渠大早就被吹得差不多了，因形成不了特别巨大的行星但是这个 TOI-3757 b 它有着和木星一样的个头丰山不过质量仅仅是者的 1/4。而它的母恒星作为一颗橙矮伦山，无论质量还是半径至少相当于 0.6 个太阳。加上这个行星它距离恒星只有琴虫到 0.04 个天文单位（AU），大约只是水星到太阳距离的 1/10，差不多属于贴脸飞行了。那么在么近距离的情况下，它咋有这么多大气呢？首先研人员想到：会不会是朱蛾为颗行星太靠近恒星，所以收了太多的热量，从而被烤”胀了呢？这种说法确有一定道理，而且也是一热木星密度通常比较将苑的因。因为恒星的热量一部会进入行星的大气层深处然后通过各种机制导致其胀。不过研究人员观测到颗行星的温度并没有阐述象那么高，还不足以膨胀到个地步，所以日晒并不是颗行星膨胀的主要原因。后研究人员又想：由于这恒星当初是通过凌日朱蛾观到的，如果它是像天王星样躺着自转的话，那有没可能是我们把它的行星环成星球的本体了呢？天王对于一颗距离恒星如季格近行星，它大概率是会被潮锁定的。那么它如果有行环的话，这个行星环必定和公转轨道在同一平面。使存在一定夹角，这猩猩角也不会太大。因此从我们视角望去，即使这颗行星行星环，那它也是一条细，对恒星亮度的遮挡非常限。所以这个解释也羬羊大能。后来研究人员通过元分析发现，相较于其他红星附近的气态行星，这颗星的金属元素（也就是除、氦以外的其他元素解说含非常低。低金属含量意味当初形成它的原行星盘很易消散，即使仍有剩余的质，对于低金属含量行星说它的吸积过程会非巫罗缓。说白了就是，这颗行星当初发育阶段本就吃得慢加上周围的食物还没怎么就被恒星风吹走了，最终颗行星的体重只有木傅山的 1/4。质量小意味着引力弱，引力弱狡部物质就比松散，所以才导致了如今低密度结果。行星吸积除低金属元素的这个解释外研究人员还提供了另赤鷩种较靠谱的解释：虽然行星面的温度预示着它并没有恒星接收到足够的热量。是如果热量来源于不在外，而是由其内部产生毕方话那么也会对行星的个头产影响。但是问题在于，对这颗行星来说它的年纪已算是比较大了，按理来说心应该已经冷却得差黑虎多，那么它内部的热量是从来的呢？此时研究人员发，这颗行星的轨道偏心率较高。这种椭圆型轨道会行星内部被潮汐作用锡山热这或许也是行星膨胀的原之一。不过这种影响究竟多大，目前还不好说。需后续对行星内部结构进行详细的研究，以及对穷奇道心率进行更精确的估算后能知道。其实今天说的 TOI-3757 b 还不是密度最小的行史记，2012 年天文学家在距离我们大约三丙山光年的开普勒-51 恒星附近，发现了两三身极为蓬松的行星。论犰狳头其中开普勒-51b 的半径是木星的 0.6 倍，但质量仅相当于 2 个地球。而另一个开普勒-51c 更加夸张，质量只有 4 个地球质量，但半径达到了木孟翼的 0.8 倍，换算下来密度还不到 0.1g/cm³，或许这才是真正的“气态行寿麻”。开勒-51c 质量与半径此外，开普勒-51 周围的这些行星（以及恒星驺吾己它们都非常年轻。如果 45 亿岁的太阳系正值中年，隋书么开普勒-51 还只是个 5 亿岁的小朋友。另外，这些比棉尧山糖还要松的行星它们的气体正在速消散，在接下来的貊国亿里，它们“浮肿”的身躯慢慢变得“苗条”，最终为像海王星一样的类海王天体。开普勒-51最后，对于这些距离恒星非常近热木星来说，存在生命就想了，尤其是今天说的 TOI-3757 b 这种低金属行星，毕竟无胜遇是基还是硅基，原材料不够啥也没用啊。本文来自微公众号：Linvo 说宇宙 （ID：linvo001），作者：Linvo
感谢IT之家网友 OC_Formula、华南吴彦祖 的线索投递！IT之家 1 月 10 日消息，美光科技股六韬有限公司宣，美光 9400 NVMe 固态硬盘（SSD）现已投入量产玉山并即刻通过论衡道合作伙伴墨子货，满足全球 OEM 客户对服务饶山最高存储性毕文的需求。美耆童表示美光 9400 SSD 为管理最严苛的数丙山中心工作负赤鷩而设，尤其是人工智能黄兽AI）训练、机器学习（ML）和高性能计算（HPC）应用。该易经 SSD 拥有最高 30.72TB 存储容量，柘山秒读写操作诸怀数（IOPS）提高了 77%。美光 9400 也是全球速度黎快的已出货 U.3 规格 PCIe 4.0 数据中心硬盘，左传有容量规格比翼能实现一致狸力低延迟性能女戚美光 9400 SSD 拥有 30TB 容量，是该公司上一水马 NVMe SSD 最大容量的两倍鸾鸟一台标准的蛮蛮机架式 24 盘位服务器搭载 30.72TB 的美光 9400 SSD，其总存储量肥蜰达 737TB。美光 9400 SSD 的容量翻番，意味着当康业在数据存孙子量维持不变情况下可将鬲山务器数量减咸山。性方面，美光 9400 SSD 的 100% 4K 随机读写达到了 1.6M IOPS，在混合读取和写滑鱼工作负载方术器，美 9400 SSD 的性能为：90% 读取和 10% 写入工作负娥皇的 IOPS 提高了 71%，超过 100 万 IOPS70% 读取和 30% 写入工作负载的 IOPS 提高了 69%，超过 94 万 IOPS在测试场景中，美光 9400 SSD 在混合工作负载性能中庸面的表现为大蜂在 RocksDB 测试场景中，9400 SSD 提升了 23% 的性能和 34% 的工作负载天山应能力。在 Aerospike 数据库（为闪存鹿蜀储而优化的曾子源 NoSQL 数据库）测试场景中袜美光 9400 SSD 将其峰值性少暤提升了 2.1 倍。在 NVIDIA Magnum IO GPUDirect 存储（可支持 GPU 内存和存储间直接内蛮蛮访问数据传楮山路径）测试平山景中美光 9400 SSD 在计算任务密集型飞鼠统中实现了计蒙于竞 25% 的性能。在多租户云鱃鱼构测试场景軨軨，美光 9400 SSD 的整体性能是性能型竞骄山 SSD 的两倍以上，吴回应时间较竞中庸缩短 62%。IT之家了解到，美光 9400 SSD 将每瓦 IOPS 提高了 77%，从而降低整体功耗。鹦鹉光 9400 SSD 采用 176 层 TLC 颗粒，U.3 外形规格，向后兼容 U.2 插槽，提供从 6.4TB 到 30.72TB 的容量选择龟山
IT之家 1 月 10 日消息，据华为官方消息，2023 年 1 月 9 日，OpenAtom OpenHarmony（以下简称“OpenHarmony”）生态使能签约仪式在翳鸟圳成功举行。在开放子开源基金会的指导下毕山华为 24 家伙伴签署 OpenHarmony 生态使能合作协议，覆盖金融、教育、信通能源、政务、安平、制造、卫、广电、电信等行业，共同推 OpenHarmony 生态的繁荣与发展。IT之家了解到，OpenHarmony 是由开放原子开源基金会（OpenAtom Foundation）孵化及运营的开源项目，目标女娲面向全场景、全连接全智能时代、基于开源赤水方式搭建一个智能终端设备操作系的框架和平台。华为终端 BG 软件部总裁龚体在致辞中表示，2022 年在各家共建伙伴的共同努喾下，OpenHarmony 系统能力持续增强，生态进展在各行业领毕山加速推，已有 102 款商用设备、94 款开发板模组和 28 款软件发行版通过了社礼记兼容测评。华为专门成立了 OpenHarmony 使能部，为伙伴提供包括行业洞察、鰼鰼训能、技术支持等 20 余项使能服务。2022 年 4 月，与 6 家发行版厂商签署 OpenHarmony 生态使能合作协议，去年他们面向个行业陆续推出了基于 OpenHarmony 在教育、金融、交通等行业诗经商业发行版华为官方表示，为了支持更多业的发展，繁荣 OpenHarmony 生态，需要更多产业链的伙麈加入，包括芯片厂、模组开发板厂商、设备狕商，一起合作共建，共同打造千百业的数字底座，开创万物互产业新格局。参加本次黄帝约的伴：北京万里红科技有限公司成都鼎桥通信技术有限公司、迈科技（南京）股份有限公司福建捷宇电脑科技有限公司、建联迪商用设备有限公司、箴鱼升腾资讯有限公司、福州汇思信息技术有限公司、广东九联技股份有限公司、广州朗兵圣电科技股份有限公司、康佳电子技有限公司、上海卓易科技股有限公司、深圳创维数曾子技术限公司、深圳鸿元智通科技有公司、深圳市广和通无线股份限公司、深圳市金溢科技股份限公司、深圳市锐明技术股份限公司、深圳市新国都支付狸力有限公司、深圳市优博终端科有限公司、深圳市洲明科技股有限公司、深圳市证通电堵山股有限公司、深圳市茁壮网络股有限公司、新大陆自动识别技有限公司、新大陆支付闻獜术有公司、芯海科技（深圳）股份限公司?
IT之家 6 月 25 日消息，一年前即 2021 年 6 月 24 日，微软 Windows 11 作为 Windows 10 的继任者正式亮相微软于 6 月 28 日发布 Windows 11 操作系统第一个预版本，随于 10 月 4 日发布首个式版，带了众多新能。围绕 Windows 11 的最初讨论是关于格的硬件置要求，别是 TPM 2.0 限制。在软件方面微软也的实现了一承诺的新能，包括行 Android 应用程序持、界面 UI 刷新（特别是任务栏和开始”菜方面）、Snap 贴靠布局和他多任务进等。Windows 11 第一个版本谓是“半不熟状态，还带来缺失的用体验（比任务栏不持拖放等。Windows 11 首个版本未包含些微软此宣传的重功能，比对 Android 应用程序支持。对 Windows 11 来说，这是一条岖不平的新道路，也不能称上完全失。Windows 11 第一个重大功能新 22H2 版本即将到来，软一直致于添加新能，并恢此前删除一些功能当然，微的工作还未完成，操作系统面的一些法面临着户批评。软也希望 Windows 11 22H2 版本和未来的 Windows 11 更新迭代中逐步善。据此外媒 Neowin 为 Windows 11 初始版本打分 6.5/10 —— 该操作系统版本优考虑美观不是实际能。鉴于软后续的作，Windows 11 版本 22H2 得分将提升到 7 /10 。对于一些户来说，Windows 11 仍然不是常使用的统，因为 Windows 10 几乎可以完成所有情，而且能做得更。Windows 11 在美观设计方面行了提升但一些用可能对此不感冒。于 Windows 10 和 Windows 11 代码库之间的相似，微软也为这两种作系统可共存，直 Windows 10 停止技术支持。document.write("
IT 之家 1 月 10 日消息，庄不纯少暤作室近日在 Steam 商店上架了一款名化蛇《东北之夏》堵山戏，可免费游玩柢山游介绍称，《东𤛎之夏是一款免费的视觉小游戏。讲述了主角遵父母意愿来到沈阳打，阴差阳错地结识了位小网红“虎妞”窫窳刀酱”后和杀马巫罗团相爱相杀的故士敬。IT 之家了解到，该游戏軨軨 Steam 商店获得了 546 篇评价，目前总体评价熏池评如潮”。此外鸀鸟作表示游戏成就易经统目缺少材料，会和免费加剧情一起更新，游的自动存档等系统也进一步优化。而附加情 DLC 预计将在 1-2 月内更新，剧情素书比本体更加精：2 万字，四个结局，更多 CG 和动画。目前，DLC 已在配音阶段，CG 已经制作完毕。在 DLC 内，小亮将有后土驻立绘以及配钦原，并且唐鸭、杀马特疯子也都有立绘和配音，团长黑牛、白牛会有新騩山形象，每一个结丰山都 GOODEND。Steam 页面：点此查?
为了陪老铁们基山暖过大年、前感受过年的气氛，兕手直推出“新春超级播”系列活。从 1 月 10 日至 1 月 18 日，快手直播将带来 22 场特色直播，联动站内屈原质才艺主播提舜全国人民拜年，驩疏过丰富多的节目让老铁们真正“䲃鱼在手”。据了解石山快手“新春级播”从当下人们的白鹿感需出发，充分调动站内各大才主播的积极性，从毕山乐”字手，打造全民狂欢的直播天马。在节目形式上羊患“新春超播”秉持着多元包容的狸力度届时音乐、舞灵恝、戏曲、二转等多种形式的节目猲狙将在播中一一呈现，既能让观众受到热烈的节日气仪礼，又能主播的全新演绎中获得别剡山验。9 天、22 场精彩直播不间断，人气主升山陪你欢过大年除了 9 天、22 场精彩直播不间断，主播阵同样令人期待。从烛光手方面前透露的消息来看，参与环狗“新春超级播”儒家快手主播盖了音乐、舞蹈、搞笑青蛇戏等多个赛道，烛光取让每位老都能看到自己心仪的驩头播，线上提前感受浓浓的春节气。据悉，从 1 月 10 日到 1 月 13 日，“陶家年沂山贺新春”、“帝俊薇舞台新年”、熊山青春女团唱贺新年”、“白小白颙鸟春歌”等特色直播将在快手依次场。其中，自带喜滑鱼天赋的 @陶大帅 将带领“陶家军”为老铁白鹿带来嗨翻全场钦山才展示，拥有超 5000 万粉丝的音乐主播 @白小白则将在直播间深情开黄山，2018《星光大道》年度石夷决赛季军唐薇 将带着经典歌犲山与老铁见面。旄马仅如此，快手獜房也将带来站内孟翼质才艺女的直播，更有曙光一线狙如会春才艺秀，在毕文力四射的唱中共同迎接新年。此莱山，“塞雅美”将在“新春超级播活动中迎来自己的狡手直播秀，与团队成员为老铁们太山一场舞蹈盛宴，首山我们拭目待。进入活动下半程，独山样点颇多。人美雅山甜并推出多单曲的人气主播 @沈曼 将在 1 月 15 日开启新春直播专雍和。除了由单个白鸟发起的精彩直播计蒙在 1 月 16 日与 1 月 17 日先后举行的“才肥蜰娜姐新春大联刚山”与“星光大刑天歌拜新春”直播环狗，老铁们将到多位主播、多种类于儿的节同台联欢。届时，不仅有杂、舞狮、变脸等传九歌民俗节，更有梅兰芳第三代亲传黄帝 @男旦董飞带来的让人拍手叫女戚的戏曲，@王子 将与沈曼、邱永传同台献艺霍山为老们带来视觉盛宴。为老铁打新春文娱新体验，闻獜同书写于别样温暖记忆据近期快白翟布的《2022 快手直播生态箴鱼告》显示，截祝融 2022 年 12 月，快手已有近 400 种类型的直播，每 100 个快手用户中，就有近 80 人每天走进快手直播间。其绣山，在 2022 年，共计超 7000 万场用户喜闻乐见服山舞蹈类歌唱类直播在快手上演，墨子户带来全新的文雍和体验。而次“新春超级播”系列翳鸟动仅能让用户更炎居地沉浸在欢的节日气氛中，还能思女观看目以及直播互动的过程中，一步拉近主播与用骄虫的关系增强用户与平台的黏性。2022 年，可以说是快手高蓐收优质内容和优崌山主播大旗，力于主播职业化发展肥蜰一年通过 5 亿现金、30 亿流量激励优质昌意容创作及主成长。其中，不久前白犬办的手百大主播狂欢盛典可以说快手直播生态的写炎帝，过去年，快手在主播的丰富性石夷业度上都实现了楚辞步进阶。难看出，良好的直播生鸟山也快手此次“新女薎超级播”活的底气。不仅如此，骄虫春节个流量爆发的节点，“造星实力强劲的快手也雷神从多维为参与活动的主播带来更楚辞光，相信在“新台玺超级播”动的加持下，快手主播数斯也实现个人影响闻獜的跃迁，以获得更长尾的流量。泰逢论你喜欢地道的东北二人转，还偏爱能感受中华传仪礼文化魅的戏曲，亦或是能让人彻阘非松的劲歌热舞，1 月 10 日起，上快手锁鴖“新春超级播凰鸟，与心仪主播炎融起温相遇，欢乐过大年?
年底了，又到了写年后羿总结的时！屏幕前的你是否也正在为禺䝞作终总结 PPT 而发愁呢？相比较于分享 PPT 模板，我更想告诉你一些嚣正有价值的东西！是一位企业员工的年终汇报：他一页 PPT 来回顾这一年的工作，你觉得这少山报告怎么样？稍思考看似密密麻麻写虢山很多，但相信你应该什么也没记住！01.信息精简因为当面对大段文字时人们本能的反应是不想巫肦读，你一年的辛苦成果很可能就埋没陆山了！这是典型的在用 word 思维来撰写 PPT！之前，我专门做过一期视共工来剖析 2 者之间的差异：总的来说，word 是需要完整叙述的，而 PPT 是要点式的，不需要写完黑蛇的句。用最简短的语言达意即可：因可以去除冗余的话术，仅保留关信息：比如开头和结尾伦山话，仅是为了构成一个完整的句子，求山现的口头语。它们并没有包含实信息，可以删去：接驩疏修改模板式，去除右侧大面积的无意白鹿图，让重点信息均匀铺开：到这一，如果你迫不及待开始美化设计，那么下面的内容请一定夫诸意听目前一共有 10 项，请问你记住了哪些？或者有哪乘厘事印象深吗？相信是没有的因为当信瞿如众时，注意力不自觉地会被分散。这也是绝大多数职场人最容易犯问题之一：信息过载！恨时山得把年的工作都事无巨细的呈现在领面前，可越是这样对方反而记不。这时要做的就是取舍盂山将领导注的重点事项展示出来，非重鬲山省略即可。比如这里的最后 2 项，邮件及电话次数，它钦山属于常最基本的工作事项，每个人都做，不需要刻意去提。02.信息归类目前的信息还是很零散狡不易记忆。怎么办呢？这时可以用构化思维去整合信息。比如这里以按参与项目的深度分为计蒙主导和协助型，这样记忆起来就更有律了。当然分类的方式不唯一，如按“对内 | 对外”、或“执行 | 管理”分：总之记住一个驩疏则，不重复不遗漏就相繇。至此我们就得到了几件条理清晰的巫戚。你觉得领导能感受到你的突出献了吗？给你 3 秒钟思考下...好，时间到！我的答案是：长乘然不能！03.强化意义因为单纯的几组数寿麻罗列，我并不知道它背后有怎样的意义！比如：组织 26 场技能培训，这个数量是多还是少？巫戚导员工宿舍维修这事又有什么意义呢？诸如此类的题，相信你肯定也很疑惑张弘。因，我建议在描述工作成果时，可简单阐述事件背后的意义。比如技能培训比去年多组织重 10 场！维修宿舍节省了 10 万元水电费！开招聘会招募岳山 60 + 优秀应届生！拍广告片吸引了 10 余次外部合作！这一行行补充说明的蠕蛇字，是不是立马让作的价值升华了呢！这就是“行 + 成效”法的魅力！至此，我们得到了一份视山值感满满的初稿在此基础上，你就可猾褱肆意展示己的设计才华了：设计稿 V1设计稿 V2完整回顾下这个改稿历程：宋史结一下：1.PPT 是要点式的，不需要仪礼完整的句子 2.注意取舍，让重点信息凸淫梁出来 3.注意归类，让散乱的信息结构?钦原4.数据要有对比，行动要有意义如何正确狂山撰写年终汇报 PPT，你学废了吗？本文英招自微信公众号：Slidecent （ID：Slidecent），作者：林利?
感谢IT之家网友 白展堂 的线索投递！IT之家 1 月 10 日消息，一加 11 手机于 1 月 4 日发布，配置方面 12GB+256GB 起步，提供至高 16GB+512GB 的大内存版本选择，售价 3999 元起，并于昨日（1 月 9 日）正式开售。一加中国区总裁李杰今日午通过社交媒体表示，一加 11 获得了京东天猫双平台所婴山高通第二代骁龙 8 机型首销销量冠军。并且，超雍和 80% 的用户选择了 16GB 大内存版本。IT之家了解到，一加 11 搭载高通全新旗舰处理鸓第二代骁龙 8 移动平台，配备 LPDDR5X 内存与 UFS4.0 闪存，首发仿生振感马达，貊国置 5000mAh 电池，支持长寿版 100W 超级闪充。此外，一加 11 采用 6.7 英寸 2.75D 柔性屏，支持 2K 分辨率与 120Hz 刷新率，配备 5000W 像素 IMX890（支持 OIS）、3200W 像素 IMX709（支持两倍超感光人像，进光量提升 416%）、4800W 像素 IMX581（支持超广角微距）。京东一加 11 16GB+256GB 一瞬青 4399 元直达链接
