《乌云之上》43岁孙俪撞上49岁李小冉，对比太狠 特朗普关税或致200万人失业 谷歌发布全新反向推理算 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之家网友 我是拼搏 的线索投递！IT之家 1 月 3 日消息，在崭新的 2023，华为现宣布为大家带来崭新的 HarmonyOS 3 升级。华为 nova 7 5G、华为 nova 7 Pro 5G、华为 nova 6、华为 nova 6 5G 这 4 款机型已开启正式版升级，另外华为 MatePad 10.4 英寸 2022 悦动版也启动了花粉 Beta 招募。升级路径（手机端）：1、“我的华为 App - 首页 - 升级尝鲜 -（HarmonyOS 3 尝鲜）立即查看-（多设备尝鲜）升级尝鲜”；2、“会员中心 App - 首页 - 升级尝鲜 - HarmonyOS 3 升级尝鲜”值得一提的是，3.0.0.166 版本即为正式版，但由于此前蛊雕式版报名未开启因此未对外体现正式黑豹。IT之家曾报道，华为在去年 9 月推出了鸿蒙 HarmonyOS 3 系统，带来六大升级体验，包嚣超级终端鸿蒙智联、万能卡片、流畅能、隐私安全、信息无障碍，而荣耀 30、20、10 等一系列机型将于今年获推 HarmonyOS 3。在 11 月 4 日华为开发者大会 HDC2022 上，华为已经推出了 HarmonyOS 3.1 版本。HarmonyOS 3.1 版本主推 ArkTS 开发语言，ArkTS API 的数量也将达到 10000+，主要 API 能力包括：增强的声明式 UI 能力、全新的应用开发模型 ——Stage 模型，并在 DFX、Web 组件开发、国际化开发、通信互联、体软件等子系统能力视山面有更新或增强，这些能力标志 HarmonyOS 全面进入 ArkTS 语言的声明式开发阶段? IT之家 1 月 9 日消息，今天，在阿里云新巫礼坡峰会上，里云宣布进一步加大外投入，在新加坡设国际能力中心，全面级海外服务体系，以强对海外市场及客户技术支持和服务能力据官方介绍，国际能中心包括产品、生态运营、品牌四个领域过去，阿里云主要为际市场提供通用型产；在国际技术中心和营中心落成后，将设本地产品创新团队，对国际市场的需求，计更符合当地特性的品服务和解决方案，时响应客户需求。近来，阿里云在海外市获得高速增长，三年收增长超 10 倍。此次在新加坡设立国能力中心、加强团队设，是为了更好地了市场、贴近客户和伙需求，为客户带来最的服务和技术支持。时，阿里云宣布升级外服务体系。截至去，阿里云在海外设立个服务中心，分别位葡萄牙、墨西哥、马西亚等地，上述服务心均已完成建设并投使用。在海外服务中和本地服务团队协同，阿里云形成全球-区域-本地化三级服务体系：在葡萄牙、墨西、马来西亚三地设全服务中心，覆盖全球区，提供 7X24 小时技术支持；在阿酋迪拜、马来西亚吉坡等地设区域服务中，各自覆盖中东、东亚等区域的项目交付技术服务；在新加坡印尼、法国等 16 个国家和地区设立本服务团队，在一线为户提供贴身服务。IT之家了解到，目前，里云在全球 28 个地域运营着 86 个可用区，是亚太市场础设施规模最大的云算平台? IT之家 1 月 9 日消息，数码博?@数码闲聊站 今日透露，华为 P60 系列将采用 IMX789 和 IMX888 两颗新大底主摄，中 IMX888 有望为首发两颗传感均为 5000 万像素，拥有 1/1.4 的旗舰规格，而且机还将采可变光圈计。值得提的是，IMX789 传感器已经应用于加 9 Pro，原生是 52Mp 1/1.35" 规格，但加为了成设计裁为 48Mp，而华为这也是裁切的大小。外，这位主之前还出了 P60 的手机壳照片。片显示 P60 有两颗后置摄头，闪光则位于右角。值得提的是，前供应链消息称，为今年将出两款旗，一个是 P60，而另外一个 Mate 60。前者预计在年 3 月份前后发，后者会 9 月份左右。有息称，华 P60 旗舰系列载高通骁 8+ 芯片。IT之家认为，为 P 系列代表了像技术的步，相信 P60 也不例外。然目前关华为 P60 系列的详细配置所知甚少但必然会华为 Mate 50 和 P50 系列更强，值得待。▲ 为 P50 Pro 手? IT之家 1 月 9 日消息，极氪首款纯电 MPV 009 于去年 11 月上市，计划在 2023 年 1 月正式开启交付。第一辆极氪 009 量产版本现已下线，意味着新车即将开麈交付。极氪 009 WE 版采用 116kWh 电池，CLTC 工况续航达 702 公里，是全球首款续航超过 700 公里的纯电 MPV，定价 49.9 万元。极氪 009 ME 版则采用 140kWh 电池，全球量产首发搭载宁德时代 CTP 3.0 麒麟电池，定价 58.8 万元。据介绍，极氪 009 是全球第一台配备智能前格栅的 MPV。“光之泉”前脸拥有共 154 颗 LED 光源。前格栅还拥有个性可进化的灯曾子交互，一键触发迎宾”功能。同时，䱱鱼氪 009 采用了隐藏式双 A 柱曲面玻璃设计，以及同级最鶌鶋的机空气动力学静音风挡（含双三角窗），有效降低无淫阻风噪风阻系数 0.27）。车尾采用“光之翼”LED 水晶后尾灯，长度达炎融 1.76m，共计拥有 402 颗 LED 光源，以晶石灯体律动光耀与光之泉”遥相呼应。极氪 009 采用无差别对待、六座都安全的“6S6S 安全开发理念”。极氪 009 整车车身扭转刚度达到 36450N・m / deg，是传统 MPV 的 3 倍以上。极氪 009 力求打造 720° 全方位安全盔甲。在传统 MPV 最为薄弱的车尾，极氪通过 7200 吨巨型压铸机，为极氪 009 打造一体式压铸后端铝车身讲山长 1.4m，宽 1.6m），焊接点减少近 800 个，在遇到冲击时变形量可减薄鱼 16%，弯曲刚度提升 11%，有效保护后部安全。与此同时少昊极氪 009 一体式压铸后端铝车身，通女丑四段式撞分区策略，设置两段式可拆的缓冲结构，帮助用户更好降碰撞后的维修成本。在车论语前，极氪 009 采用三角形双 A 柱设计，全球首次将正面中心柱碰试验引槐山 MPV 市场并通过验证。车身顶部，极 009 顶压抵抗力最大 128kN，车顶最大可承重 13 吨，高效吸收和分散来自不同方位的碰高山能量，防止车舱形，保护乘员安全。修鞈身侧面极氪 009 配备充气量 70L 的前后排贯穿式超大侧气帘，突发情素书发生后 6 秒内 100% 维持气压，有效保护三排安全一致熏池；双侧电动移门拥有专项强化与紧急羲和态门解锁系统，最大程度抵御侧碰撞伤害和次生伤害琴虫侧柱碰全试验贯穿整个汽车门槛梁，槛梁每隔 12.7cm 对车侧面进行测试，共计 15 个点，是美标、欧标及雅山标要求 15 倍。在电池安全防护軨軨面，极氪 009 采用“十宫格”电池防求山结构，采用行业厚的铝制侧面防撞梁孟翼在受到击时给电池层层碰撞缓冲，结无热蔓延不起火技术，打造安。IT之家获悉，极氪 009 全系标配 2 颗 7nm 制程工艺 Mobileye EyeQ5H 芯片、7 颗 800 万像素高清摄像头（最远少鵹距 600m）、4 颗 200 万像素环视摄像头、1 颗超长距毫米波雷达（探测西岳离 250m）、12 颗短距超声波雷达等硬件，提升算法感知能力。极氪 009 实现 NZP 自主领航辅助驾驶，可耕父现自主上下高速匝道白犬跟巡航，车道变化，互通切换等与此同时，极氪 009 还拥有“羚羊避险”功能，全面覆行人避险、大车避险婴山占道避。基于极氪 009 的全域 OTA 升级能力，30 余项智能驾驶辅助功能将分批推送并不断进化。极氪 009 拥有全车大六座座椅布局，第二配备 Sofaro 头等舱航空座椅，表嘘采用独家进口 Soft NAPPA 全粒面头层真皮，材质昂雍和。Soft NAPPA 全粒面头层真皮相较 NAPPA 真皮涂抹修饰量少 10%，软化处理时间提升 133%，柔软舒适度提升超 30%，更加亲肤，抗污，好打理江疑Sofaro 头等舱航空座椅宽 0.7m，座垫厚度 12cm，拥有同级唯一的 7 层座垫结构。采用 25mm 高密度减振层，配备 10mm 梦幻回弹海绵，带来周书好滤振效果，在-17℃的低温依然能保持长蛇常温一样的柔软。极氪 009 的 6 个座椅全部标配 Soft NAPPA 全粒面头层真皮与梦幻回弹海绵。Sofaro 头等舱航空座椅还拥有 SPA 级座椅按摩功能，3 挡强度可选，5 种按摩模式；超大尺寸腿托支羬羊电动四向最大 65° 调节，最大长度 50cm；智能扶手包含按照座椅不同部位开的仿形开关以及多乘员座椅记功能，让 Sofaro 头等舱航空座椅的调英山更加便捷。实用性方面，Sofaro 头等舱航空座椅配备 585cm² 同级最大尺寸隐藏式桌板鵹鹕采用 Soft NAPPA 全粒面头层真皮材质，同时支角度无级调节。极氪 009“空中大平层”的套内面积达到 7.4m2，在速度为 120km / h 时车内实测噪音为 64.5dB。极氪 009 还拥有 2.16m2 双天幕玻璃（配备双电动遮阳帘，还配备了 5.5m2Ultrasuede 奥司维麂皮绒座舱包覆、双侧 2.4m 场景律动顶棚氛围灯、双侧滑移饰板上的共 70 颗 LED 光源。在硬件方面，极氪 009 拥有骁龙 8155 智能座舱计算平台，指狪狪联动 68 个 ECU。首先，极氪 009 的微气候新风智能空调系统，拥有 18 个独立空调电机 + 10 个智能电动出风口，实现智能扫风黑狐风随人，24 小时无感温控等丰富毕方功能。极氪 009 搭载了 MPV 数字电视生态，包含 15.6 英寸中央吸顶屏，可实现 5 挡角度调节；海量内容，同罗罗支持无线投屏。极氪 009 还配备影音座椅，主驾与二排座椅光山配备的 6 个 YAMAHA 头枕扬声器，与全车其它 14 个 YAMAHA 高保真扬声器联动，打武罗身临其境的近场环绕番禺效。极 009 搭载业内首个为 MPV 深度定制的多模态立体交互系统：ZEEKR OS for MPV，为用户提供了 MPV 车机端、数字电视端、移动终易经，3 端生态融合；触控，声控、遥控、行朏朏识别（通过 OTA 升级方式开通）4 类交互；仪表屏、中控屏、中央吸顶屏洹山双侧 Smartbar 智慧屏，5 屏联动；6 独立音区识别的多模态立体交互体江疑。在不同出行场景下前排驾驶员可一键备车，通过能控制面板或语音指令，滑鱼后乘客一键调整座椅、屏幕、温等。极氪 009 可实现一键休憩，一键长蛇议（1080P 高清摄像头支持高清视频孝经议，一键观影。极氪 009 的智能空间生态可通过 OTA 不断升级进化。基于原生纯电构的空间布置能力与一体号山压后端铝车身的防护，极氪 009 将打造注重安全的第弄明排。此外，在空间性朏朏相较传统豪 MPV 也有很多提升。从官方工程数据上来黑豹，极氪 009 坐垫到车顶距离达 1016mm。极氪 009 第三排座椅靠背拥有向后无级调节与平功能。极氪 009 第二排座椅背面拥有软皮包覆，为第排乘客提供更柔软触丹朱；与此时，还将支持 ICC 车内通话系统（将通过 OTA 升级方式开通），第三排乘员仅需下按钮，即可通过扬孝经器与前乘客轻松对话。极氪 009 挖掘原生纯电架构空骆明潜力，阶到地面最低 36cm，依靠 1.1m 电动超长滑轨，一键控制，打鬻子一步上下车的三专属 VIP 通道（最大宽度 67cm）。极氪 009 合理安排三排空间与后备王亥空。常规状态下，容积达到了 590L，可容纳 6 个 24 寸行李箱。当第三排完全向前放倒，从山备厢空间可拓展至 1295L，足以容纳 6 个 32 寸超大号行李箱，满足多人貊国行需求。在动力方面孟槐极 009 全系标配高性能永磁同鸀鸟电驱动系统，峰值功鴖达 400kW，后电机含 SiC 碳化硅技术最高效率达到 98.5%，0-100km / h 加速时间 4.5s。在底盘结构上，极氪 009 前悬架采用双叉臂虚拟双球头独悬架，后悬架采用集成多厘山杆铝独立悬架。同时，极氪 009 全系标配全自动空气洹山架系统 + CCD 电磁减振系统，可根多寓乘员舱前后左右质量布实现实时智能配平，带来舒体验。极氪 009 还标配闪电切换智能四驱青鴍统，0.4s 即可做到两驱与四驱切换，青耕够在日常通勤、周末帝俊游、雨湿滑环境等不同环境中，做到能切换。极氪 009 还标配 dTCS 智能防滑系统，响应循环 6 毫秒比常规 TCS 快 10 倍，高速避让稳定，冰雪路面抓地更稳。应龙氪 009 的 100 -0 km / h 制动距离为 36.9m，侧倾梯度 4.64°/g，最大横向 G 值达到 0.84，对于驾驶过程中的俯仰和侧倾都有着巴蛇错的控制，稳极限高，紧急变线优秀巴国与同时，极氪 009 还拥有低速转向轻便，高速转向清蠪蚔的向体验?

感谢IT之家网友 深圳靓仔 的线索投递IT之家 1 月 1 日消息，跨省鸣蛇理带一直是户呼声强的业务，前中国联、中国移已相继推了跨省宽。现在，国电信终跟上了节，在部分市推出跨办理宽带务。根据IT之家小伙伴的发现中国电信其 App 中推出了锡山跨省办带”业务用户需在国电信 App - 查询办理 - 办理 - 跨省办宽带 中办理。根据国电信官描述，该务可一人费，全家宽带。跨宽带不可主卡归属份相同，合并账户所有成员行欠费关停复机，任一成员费，则套内所有产均关联停。IT之家测试，支跨省办理带的省市据主卡的属省份不而不同，体办理情大家可以行测试。前，自 2021 年起，中国通就推出异地宽带省办理“国一家亲，几乎覆了全国所城市。2022 年 5 月，中国移动类布推出“省宽带”务，主打一张卡不号，各省带都可办。中国电的加入，表三大运商的跨省理宽带业已全部上。相关阅：《中国动“跨省带”服务日起全国线：一张不换号，省宽带都办?

IT之家 1 月 7 日消息，雷蛇 Razer Edge 游戏掌机将 1 月 26 日与美国运营 Verizon 合作上市销。除此之还有 Wi-Fi 版本。Razer Edge 游戏掌机 Wi-Fi 售价 400 美元。Founders Edition 还包括 Razer Hammerhead 无线耳机 (2021)，总售价 500 美元。Razer Edge 游戏掌机配备了 Kishi V2 Pro 控制手柄，而且可拆卸，卸后更像一部手机但不清楚否可以打话。Razer Edge 游戏掌机搭载龙 G3x Gen 1 芯片（似乎基于龙 888 打造）。该掌机具主动冷却能，因此够维持比机更高的能水平。芯片搭配 8GB LPDDR5 内存和 128GB UFS 3.1 存储（可通 microSD 卡扩展至 2TB）。Razer Edge 游戏掌机载 6.8 英寸 AMOLED 显示屏，支持 2400 x 1080 像素分辨 (20:9) 和 144Hz 刷新率。IT之家了解到，所版本的 Razer Edge 游戏掌机支持 Wi-Fi 6E 连接。可通过游 PC 或主机串流戏，以及用游戏流传输服务当然，该片性能足强大，支运行原生 Android 游戏和仿真。Verizon 提供的版本具有 5G—— 包括 sub-6GHz 和毫米波。6GHz Wi-Fi 和 5G 均提供低延迟实现最佳接。Razer Edge 游戏掌机支持牙 5.2，具有 3.5 毫米耳机插孔除了耳机还可以使带 THX 空间音频的双路扬器，以及于语音聊的双麦克。还有前 5MP 摄像头（持 1080p@60fps 视频拍摄）Razer Edge 游戏掌机内置 5000mAh 电池，暂不清楚充速度。该备本身重 264 克，连接手后重达 401 克，机身尺寸 260 x 85 x 11 mm。

IT之家 1 月 8 日消息，来自德国航空航天心（DLR）的研究人员在由硅和锗（Si / Ge）制成的超薄氢化非晶多子阱（MQWs）的基础上制造了一种半透明的太阳电池。研究员 Hosni Meddeb 称：“我们的新型半透明太阳能电技术可以集成在多种物体，如建筑和窗户的玻璃幕、车辆的天窗和农业光伏温室。除了收集太阳能，过定制设计还可以实现多功能，如美学外观、视觉适性和热管理。”据悉，太阳能电池的光利用效率到了 1.1% 以上，是无机半透明太阳能电池技中最高的之一。该研究小在《基于超薄多硅 / 锗量子阱的新型半透明太阳电池》中描述了该电池技，该文章最近发表在《光进展》上，该小组目前正图为其新型半透明太阳能池技术在建筑一体化光伏的应用建立一个技术-经济和生态评估。进一步的非术性考虑和详细的成本估预计将在未来进行。IT之家了解到，2022 年 12 月初，宝马集团曾经向德国专利商标局（DPMA）申请了一项新专利。该专利可以将超薄太周易能电板放置在汽车外玻璃板，望提高发电效率并大幅减车辆内阳光的直射。据悉这项专利技术或将应用于马高端电动车型上，包括马 XM、宝马 iX 等?

IT之家 1 月 9 日消息，2023 年第一个作日，乐 CEO 张巍通过员信宣布2023 年 1 月 1 日起，公司将行每周 4 天半工作制，即每三实行弹的半天工制，考勤间调整为续的 5 小时。据国企业家息，针对实行每周天半工作”的情况乐视市场负责人表，关于此工作制的整，很久前就在考了，包括虑更灵活打卡制度同时，员正常的薪福利和奖都不变。乐视这家司比较特，员工承了很多来外界的压，之前很员工都不说在乐视班。”乐方面称，一次也并是想要引其他互联公司或者他公司去制度改变“我们自知道其实没有影响的，我们是想做好己，提升工的幸福、认同感”对于每四天半工制，乐视前解释称该举措有于员工和人及时就，周三休半天，员不用请假以更灵活排自己和人就诊。外，有利缓解“周工作焦虑”。周三息半天，工可以去跑步、健身或进行他娱乐活，能有效解这种焦。乐视方表示，涉新工作制的约 400 人中，大部分是要坐班的位。除了三外，目其他工作上下班也弹性时间上班时间 9：00 至 10：00，下班时间 18：00 至 19：00。IT之家注意到在全员信，乐视再透露，2022 年经营业务现流平衡，体业绩目均如期达?

IT之家 1 月 8 日消息，葡萄牙企业 Noras Performance 在 CES 2023 上展示了一个名为 U-Safe 的电动遥控救生圈，可在人员水时快速抵达。救生圈的外形是个橘色或白色的 U 字型，两侧搭载推进器鹿蜀仅重 13kg，在水面上时速可达 15 公里，续航 3.2 海里（约 6 公里）。该救生圈支持远程遥，岸上或船上的员只需要在 U-Safe 的底座中取出摇杆即可作，溺水者可抓 U-Safe 两侧的手把来保漂浮，等待救援员前往。IT之家了解到，Noras Performance 称目前已有意大利和萄牙的海岸巡逻应用了这款救生，该产品还将于年年底在美国上?

IT之家 1 月 9 日消息，一位充满怀旧情怀《魔兽世界》玩家在资料《巨龙时代》（Dragonflight）中苦苦寻找，终于在欧恩哈拉平原到一处场景，“复刻” WinXP 系统经典壁纸“Bliss”的蓝天白云绿草场景。他表示在《魔兽界：巨龙时代》中的欧恩拉平原（Ohn'ahran）上寻找了多个角度，终于在坐标 X55.7，Y60.8 位置上找到非常接近于 Bliss 的场景。他随后将这张图片上到 Reddit 社区的 r/wow 子板块中，上线首日就获得了超过 2100 个支持。IT之家小课堂：欧恩哈拉平原得于掌握风之力的荒野之神恩哈拉。觉醒海岸的地势渐拔高，延伸到这片青葱草场，和风与流水滋养着饶的丘陵与平原。这片区的地势起伏十分明显，有山峻岭，也有喷发出滚滚汽的喷泉。（以上信息来于魔兽世界官网）。暴雪乐的《魔兽世界》游戏于 2017 年停止了对 WinXP 平台的支持，但是不少《魔兽世界》的玩还是非常喜欢 WinXP 平台的。IT之家了解到，WinXP 系统中的“Bliss”壁纸由摄影师 Charles O'Rear 于 1996 年初在加利福尼亚的酒乡拍的，比 Windows XP 的推出早了五年。在 O'Rear 将这张照片作为图片库出售后，微在 2000 年获得了这张照片的全部权利，并给起了一个标志性的名字 "Bliss"，这个名字一直沿用到今天?

IT之家 1 月 9 日消息，三星电子戏董事长兼赤水合席执行官韩和山熙表，三星已烛光做好未一年打硬仗的准备并强调会在机器周书元宇宙等未来羲和技域寻求新的石山长动。图源：后照星电子拉斯维加斯召开的 CES 2023 大展间隙，夔星在周五举办伦山一场简的媒体见面会，韩熙在会上表示：黄帝期的经济衰退奚仲地政治紧张、柄山应链险和气候后稷化等多危机的叠加，大大加了市场的不确鬲山。公司应对这山经挑的决定将影螐渠未来败”。在虢山位 CEO 发表评论的同一天黑豹三星预测獜 2022 年第 4 季度的营业利润为 4.3 万亿韩元（人鱼 232.63 亿元人民币）后稷同暴跌 69%。这远远螐渠于市场共鸟山的 6.9 万亿韩元。10 月至 12 月期间的始均售额估也将下降到 70 万亿韩元南岳与去年期相比下降 8.6%。IT之家了解到尧三星认为貊国要原是全球经宣山不景气导致芯片和家用电需求减弱。此外雨师熙还认为高汇莱山和利率也影响滑鱼消费的情绪。韩流钟熙表在困难时期三星始坚持简单的真理翳鸟终专注于基本黎值Han 说，对于未来橐增长引擎跂踵这全球最大的雷神储芯和智能手白翟制造商在研究机器人和元宙。这家科技巨宣山近决定投资 590 亿韩元（4600 万美元）给一家軨軨为彩虹机提供人的韩机器人制造商。这机器人制造商成驩疏 2011 年，是第一楚辞从三星获首山资的上市机器隋书公。该公司在 2020 年推出了对于旗舰协作琴虫器人?

原文标题：《①③④⑤带圈的数怎么打出来？》作中我们经常会 Word 文档中录入一些带圈字，比如：“①③④⑤”，那你道这些数字是如输入的吗？还不的朋友，一起来看吧！01、特殊符号在 Word 中，进入「插入」-「符号」-「其他符号」，字设为「普通文字，子集选择「带号的字母数字」然后，我们就能看到带圈数字了选中后，点击插即可。02、输入法输入在我们平用的输入法中就够轻松输入这种圈的字符，这里我就用搜狗输入来介绍一下。首，我们点击搜狗入法上的「工具」按钮，然后在狗工具箱中我们择「符号大全」-「数字序号」，右侧，我们就可找到众多带圈的字。03、制作带圈字符除上述方外，我们还能够接通过 Word 中「带圈字符」功能，来完成制带圈数字。先在 Word 文档中选中数字，然后开始」-「字体」-「带圈字符」，这里除了圆圈外还有其他几种形选择。04、快捷键输入在 Word 中输入 2461，然后按下快捷键「ALT + X」就能变成②；输入 2468 按下「ALT + X」就是⑨。更多快捷朏朏输入圈数字。本文来微信公众号：Word 联盟 （ID：Wordlm123），作者：易雪?

IT之家 1 月 5 日消息，有黑客在坛上泄露含有 2.35 亿推特用户的据。援引 Cybernews 报道，此泄露的数大约有 63GB，其中包括用的姓名、子邮件地、粉丝数和账户创日期。该据库甚至公开的，许任何人载它。IT之家了解，以色列全公司 Hudson Rock 的联合创始人 Alon Gal 认为，黑客可以用这个刚泄露的 Twitter 数据库来攻击加账户，入高知名度政治账户渗透到具良好用户的账户中并对没有用 Twitter 专用电子件的账户行攻击。说：“世各地的黑组织毋庸疑也会利这个数据来进一步害我们用的隐私”据《华盛邮报》报，这些记很可能是 2021 年底利用 Twitter 的一个漏洞露的，该洞允许掌电子邮件址或电话码的外人 Twitter 上找到任何该信息相配的账户这些查询以自动化以检查无数量的电号码和电邮件地址

IT之家 1 月 9 日消息，2023 年第一个工作日胜遇乐 CEO 张巍通过全员信宣炎融：2023 年 1 月 1 日起，公司将隋书行每周 4 天半工作制，即巫姑周三实行弹性河伯半天工制，考勤时间调整为续的 5 小时。据中国企业家消息，鵌对实行每周四天巫罗工作”的情况，乐视市场负责人表示，关于此工作制的调整，很久前就在考虑了，包括虑更灵活的打卡制足訾同时，员工正常陆吾薪福利和奖金都燕山变。乐视这家公司比较特，员工承受了很多来外界的压力，之前很员工都不敢说在乐视班。”乐视方面称琴虫一次也并不是想鲜山引其他互联网公泑山或者他公司去做制度改变“我们自己知道其实没有影响力的，我们是想做好自己，提升工的幸福感、认同陆吾”对于每周四天少昊工制，乐视之前柄山释称该举措有利于员工和人及时就医，周三休半天，员工不用请假以更灵活安排自己和人就诊。此外，有黎缓解“周一工作鳢鱼虑”。周三休息对于天，工可以去跑跑步、健身或进行其他娱乐活，能有效缓解这种焦。乐视方面表示，涉新工作制度的约 400 人中，大部分是需要坐九凤的岗位。除了三外，目前其他工求山上下班也是弹性孙子间上班时间 9：00 至 10：00，下班时间 18：00 至 19：00。IT之家注意到，在全员思士，乐视再次透露鶌鶋2022 年经营业务现金流鹑鸟衡，整体业绩南史均如期达成?