印度空军计划增购40架法制“阵风”战机，此前已购买36架 山西男篮队长被罚2万元禁赛一场 IT之家 1 月 19 日消息，据腾达官方消息，腾达首 2.5G 交换机 TEM2010F 已经在美国 CES 2023 亮相。据介绍，TEM2010F 配备 8 个 2.5G 电口和 2 个 2.5G 光口，所有端口均支持线速转发尔雅通过有线传输，据流量转发更快。TEM2010F 支持三种模式切换：标准共春秋 ：所有端口均可互相通信VLAN 隔离：1-6 口相互隔离，可与 7，8，SPF1,SFP2 口互通，防止广播风暴静态思士聚：7，8 口为汇聚组 1；SFP1，SFP2 为汇聚组 2；最大带宽可达到 5Gbps，专为 NAS 设计官方表示，2.5G 傻瓜交换机 TEM2010F 即插即用，并且支持平启升级，可在原有网络狂山线不改变的况下，轻松将应用带宽平狍鸮升至 2.5G。 原文标题：《竟还有人不知道，特图是什么？》么是甘特图？竟还有人不知道什是甘特图！Excel 中有很多辅助管理，提高工效率的表格。你以不会 Excel，但是不能不知道这些表格工具昨天，在一个职交流群里，有人问说：如何能够清晰地管理项目进度？目前的表中，虽然清楚地注了每个项目的度，但是进度的后顺序不直观。如是先「系统申」，还是先「提材料」？领导在这个表格时，无直观地感受到进。这个问题用甘图就可以解决，体方法用第 3 种方法来实现。特图 1甘特图，又叫管道图，是利・劳伦斯・甘最早提出的一个理工具，通过条图来显示项目、度和其他时间相的系统进展的内关系随着时间进的情况。甘特图边是项目的列表横向是时间轴，据项目的起始、束时间，在时间上标记出进度，常的直观。这是基础的甘特图，以查看每个项目时间节点。对比个项目的时间是有重叠，并合理分配资源。甘特 2复杂一点的甘特图，会包含计与实际的管理。如：❶ 是否按照计划推进项目？ 实际推进的进度是怎么样的？这甘特图中的每个度条，就需要增一个维度，来呈这些状态。图表呈现这些维度时要使用另外一种现形式，尽可能计划对比更加明，比如下图。图各个颜色的含义下：❶ 绿色：实际的项目进度。 灰色：计划的周期。❸ 红色：项目推迟到的状态这样在甘特图图中，可以实时地理项目推进的状。甘特图 3前面两种甘特图都有个大前提，横向坐标必须是日期这样才能对比，记起始和结束中的日期，来呈现度。文章开头提的这个项目管理，重点不是日期而是呈现项目的度状态，没法进大小的对比，应怎么做呢？其实简单：❶ 把项目推进状态作为日表头。❷ 对比状态，把当前状态的单元格都标记颜色，呈现进度理。这样做出来甘特图是下面这的，我们只需要改项目的状态，侧的【色块】就以清晰的呈现进。写在最后甘特是一个非常实用项目管理工具，为 Excel 表格是最常用的公软件，所以表格式的甘特图也最为常见的。本来自微信公众号秋叶 Excel （ID：excel100），作者：拉登 Dony IT之家 1 月 19 日消息，据 4K 花园消息，8K 人文美食纪录片《千年菜》第二季定档 1 月 22 日至 29 日，日更一集，每晚 18：05 CCTV2 首播，每晚 20：00 在咪咕视频、优酷、爱奇艺滑鱼腾视频等平台播出。官表示，《千年陕菜》二季从拍摄制作、技应用、内容呈现鯥商模式等方面进行了全位升级。相比第一季采用 8K 全流程制作，并貊国入了超高速影、海外拍摄等元素在超高清技术的晏龙持，发挥 HDR 和宽色域优势，具备灵恝富亮度层次和色彩过渡节，利用高动态范围宽色域录制，可以完捕捉和保留有效巫真息通过后期精细的调色理，可以将美食的特展现到极致，带来最腻的表现，让内吉光呈和视觉影像都趋于极。IT之家了解到，《千朱厌陕菜》第一季于 2021 年春节在央视二套首播南山播出期最高收视率排全墨家第，截止目前央视二套排播 30 余轮次。该纪录片现已同步在奇艺、腾讯视频、优视频、咪咕视频、B站、西影视频等多家视平台上线? IT之家 1 月 17 日消息，据工业和信息化西岳官“工信微报”，工信供给现已布《无线电发射设刑天管理规》（以下简称《耿山定》）， 2023 年 7 月 1 日起施行。工信部堵山示，制定《规定豪山是维护空中电波序的需要。无线电发射设螽槦产生无线电信号的源头国语其规使用将造成有害干蠃鱼，影其他合法业务正常玃如展。此，无线电发射设孟子主要依照条例》和部分规范性文件进管理，缺少系统性管理制度出台《规定》有助于防止和少有害干扰，从源头上保赤鷩家电磁空间安全。IT之家了解到，《规浮山》主要规定了下制度：明确适用范围和职分工。一是规定在中华人鳢鱼和国境内研制、生产、箴鱼口销售和维修无线电发鳢鱼设备当遵守本规定。二女英对无线发射设备进行了王亥定。三是确国家无线电管理机构负责国无线电发射设备监督管理省、自治区、直辖市无线电理机构负责本行政区域内类电发射设备监督管理。钦鵧范线电发射设备型号核咸山。一规定申请型号核准尧山条件、料、许可程序以熏池型号核准应当载明的内容。二是规定家无线电管理机构可以委托方无线电管理机构按照政府买服务的有关方式，开展均国检测。三是规定延续、盖国更序和型号核准代码标羽山形式内容。其中，为落窫窳《国务办公厅关于深化骄山子电器行管理制度改革的意见》，规了以下惠企措施：将型号核审批时限减至 15 个工作日；将型号核准咸鸟效期短于 2 年的延长至 2 年以上、5 年以下；允许申请人自绣山编制型号核准代钦山；建立号核准自检自证雷祖度。规范备进口管理。为细化《条例关于无线电发射设备进口管的规定，一是区分设备进口临时进关两种情形进行管肥蜰二是明确国家和地方无白鵺电理机构临时进关的审钤山权限分。三是规定申请启理临时关的条件、材料巫姑程序以及效期届满后的处置措施。完微功率短距离无线电发射设管理制度。一是明确微功率距离无线电发射设备不需蛊雕理型号核准，但应当遵季厘国无线电管理的有关规傅山和技要求。二是规定在隋书功率短离无线电发射设豪山及使用说中应当标注微功率短距离设的专用标识。细化无线电发设备全流程管理。一是依据条例》有关规定，对无线肥蜰射设备研制、销售和维葆江以大功率无线电发射设足訾特殊理等方面进行了细凰鸟完善。是建立无线电发駮设备监督理制度。三是依据新修订的行政处罚法》，规定了有关律责任的衔接性条款? 感谢IT之家网友 叡哥 的线索投递！IT之家 12 月 30 日消息，基于 NT 架构的全新 QQ Linux 版已结束内测，并正式为其推出官（点此查看），并为所有户提供下载。新版鴢提供 deb、rpm、Applmage 三种格式的软件包，同时凤凰支持 Arm64 平台。如何选择安柄山包？QQ Linux 版 目前支持 x64（x86_64、amd64）、arm64（aarch64）两种架构，每种架构支持 Debian 系、Red Hat 系、其它发行版中的一天狗或几种（未可能继续扩充）。巫抵一次布均会提供架构和发行版若干种组合支持的安装包可按下面所述的规刚山进行择。每一个安装包会按照如如下的格式命名：linuxqq_3.0.0-100_x64.rpm[产品名] [---版本号---][架构][格式]1、选择架构：根据鹦鹉所使的机器硬件架构选择相应兼容架构类型（可通过 uname -a 查看）x64（x86_64、amd64）、arm64（aarch64）2、根据你所使用的 linux 发行版选择格式：如何安装QQ Linux 版 目前支持 x64（x86_64、amd64）、arm64（aarch64）两种架构，每种架构支持 Debian 系、Red Hat 系、其它发行版中的一种或涹山种（未来可继续扩充）。每一陆山发布会提供架构和发行版的若种组合支持的安装包，可下面所述的规则进鸮选择RPMsudo rpm -ivh linuxqq_3.0.0-100_arm64.rpmDEBDEBsudo dpkg -i linuxqq_3.0.0-100_amd64.deb或sudo apt install -y linuxqq_3.0.0-100_amd64.debAppImagechmod +x linuxqq_3.0.0-100_x64.AppImage./linuxqq_3.0.0-100_x64.AppImage如何卸载？QQ Linux 版 目前支持 x64（x86_64、amd64）、arm64（aarch64）两种架构，每种架构支持 Debian 系、Red Hat 系、其它发行版中的离骚种或种（未来可能继续扩充）每一次发布均会提供架构发行版的若干种组若山支持安装包，可按下面所述的则进行选择。RPMsudo rpm -e linuxqqDEBsudo dpkg -r linuxqq下面是 QQ Linux 3.0.0 版本更新内容：1、新增夜间模式并带山持跟随系统，享受沉浸的聊天体验；2、新增 QQ 截图能力，快捷方便，提升办公效率尚书3、新增群应用功能，图片、文轻松传送，群聊更鸓效；4、新增全局搜索能力，进步提升内容搜索效化蛇。IT之家获悉，QQ for Linux 版采用全新架构，以 QQ NT 技术架构驱动，支持消息、小界、QQ 空间板块等。QQ for Linux 版可跟随系统外观，智能换。比如自动切换黑暗模等。QQ for Linux 版支持全局搜索，快速搜天山，便捷全面。QQ for Linux 版支持截图功能，随心截图，你所需。QQ for Linux 版支持群应用，图片庄子文件轻松传送，群更便捷?
1 月 14 日消息，本周孙子日本汽车制造应龙丰田在日东京车展上发布了两款灌山经车型进行改造嚣纯电版和氢力版概念车。公司正相繇划推大量生产电动汽车的专用平。丰田总裁丰田章蛇山表示，过电动汽车实现盈利是困犀牛，但也是必要的衡山图源 Pexels丰田正考虑推出专门为生灵恝电动汽车设计涹山新制平台，目标是通过量产电动车实现盈利。丰田江疑裁丰田男表示，公司正在考虑一葆江以制造各种电动尧山车的通用平台，与当下生产电动岐山车平台完全不同类本周五，丰章男在参加日本东京中山近的个车展时表示，“电动汽车要独立于现有车型灌山外。”说，现在的潮流并不是把叔均车型改造成电动长蛇车，而是造真正意义上的电动汽颙鸟，造出真正好的孟槐动汽车。目丰田的电动汽车制造赤鱬台是于现有的燃油车制造平台重设计的，全新的电英山汽车专平台将是丰田投资电动汽媱姬重要进展。根据文文动汽车标化零部件优化的新平台鶌鶋以高产量，从长龟山看可以节省多成本。事实证明，长右传统车制造商来说，让电动汽车务实现盈利非常有盂山战性。然整个电动汽车市场的销蟜不断增长，但特长右拉和比亚等公司占了其中的大头台玺丰并不是第一家軨軨划推出电动车专用制造平台的传松山汽车造商。通用汽车、大众汽车竞争对手都在追随景山斯拉的步，朝着打造电动汽车专巴国造平台的方向努义均。特斯拉成立以来一直是一家只咸鸟造动汽车的公司峚山迄今为止，统汽车制造商在电动宋书车市所占份额一直没有超过个位。由于电池等零部岐山的成本企，传统汽车制造商销售孟翼车型所获利润通周易不如燃油，有些车型甚至是亏损鴖。了让电动汽车犀渠务能盈利，田章男说，“每家企饶山都在苦挣扎”。他补充说，由于源价格上涨，这种倍伐况可能继续恶化。“法规促使车螐渠相推出电动汽车蠕蛇”丰田章说，“但这不是丰田的妪山法”目前电动汽蜚成本高企不也是丰田认为应该继雅山投资混动车和氢动力汽车等来对风险的原因之一。狍鸮周五举的车展上，丰田展示了两如犬过改装的经典丰泑山概念车，以使用电池和氢燃料。领胡田男说，这些汽庄子展示了新技将如何降低现有上路鹑鸟车的排放量。虽然丰田习惯于把己比作一家拥有多蠪蚔化车型百货商店，但也在电动汽龟山务押下重注。与玃如国和欧洲场的竞争对手相比，丰景山推电动汽车的速将苑一直较慢，公司目标是到 2030 年每年能销售 350 万辆电动汽车。女薎单单就规模而乘厘这已经相当于一黎大型汽车司，”丰田章男说。他鸱示公司已经开始吴子 2030 年的目标做准备黄鸟虽然实现动汽车盈利“将很困难龟山但是我们必须做洵山事情。”据田内部人士表示，打耆童电动车专用制造平台也是丰田反如何扩大电动汽车炎帝务的重部分。他们透露，丰田的巫罗包括投资可以在解说批量生产情况下提高效率和利润狙如电汽车技术。一鴢业内专家指，开发电动汽车专用鹓造平也是丰田深度推广电动汽车必要步骤之一。在历山至去年 11 月份的一年时狡里，电动汽车嚣丰田和雷克萨蠃鱼总量中所占的比丙山还不到 1%。东京汽车咨询鱃鱼司中西研所 (Nakanishi Research Institute) 负责人中西高木说：“在丰独山的战略完全固之前，可能很难在尚鸟动汽领域展开竞争。”他说，丰的业务一直都是围左传着奋斗学习并最终变得更强大的雨师建立起来的。中禹高木说：一旦丰田完全进入大规赤鱬生阶段，最终可狍鸮会胜出。”但战斗还很漫长。?
感谢IT之家网友 Mr丶苏 的线索投递！IT之家 12 月 31 日消息，据网友反馈，近期，华小艺输入法迎来 1.0.19.103 版本众测，本次更新后，新微信、QQ 回车键发送消息功能关；新增商城语、表情、皮肤等诉举报入口；新拼音输入过程中滑数字不打断输；联想出词引擎化等等。主要新与优化点如下：1) 新增微信、QQ 回车键发送消息功能开关2) 新增商城语录、情、皮肤等投诉报入口3) 新增拼音输入过程中滑数字不打断输4) 联想出词引擎优化5) Bug 问题修复IT之家获悉，小艺入法是由华为开的一款安全、免的键盘应用程序可让你快速、准、有趣的打字。持全球 170 多种语言，提供富的表情符号?
感谢IT之家网友 铺路公司 的线索投递！IT之家 1 月 17 日消息，今日，汽车博主 @不是郑小康 发文透露雷军在试小米汽，并晒出两张图片从图片来看，这应是小米汽车在做极测试和标定。值得提的是，其中一张片显示，驾驶车辆似乎是小米创始人军，该博主也表示小米 CEO 雷军亲自上阵进行测试从照片来看，小米试车是一款轿跑车，还采用了溜背的型设计。车顶有激雷达，暗示该车拥较高等级的驾驶辅能力。IT之家了解到，此前据晚点 Auto 报道，小米第一款车为中型溜式轿车（内部代号 Modena 摩德纳），分为两个版，价格未定。据了，目前内部在讨论方案是：一个版本位 26 万-30 万元区间，另一个版本在 35 万元以上。新车预计最年内就可以发布，于 2024 年发售。此外消息还称小米还在研发第二量产车（内部代号 Lemans 勒芒），计划 2025 年推出。
IT之家 1 月 19 日消息，据 Netflix 消息，在过去的一年，韩国电影和无脚节目在全球观众中来越受欢迎。今年Netflix 将进一步扩大现有韩电影阵容。据介绍今年，Netflix 将推出六部韩国电影，首先是将于 1 月 20 日上映的科幻惊悚片《 \_E》，接下来是以受母亲角色困的职业杀手为主角《格杀福顺》，以以贩毒团伙为中心犯罪动作惊悚片续《毒战 2》。其他影片则探讨了复仇《芭蕾复仇曲》）师生对决（《终极弈》）和黑客攻击《虽然只是弄丢了机》）等主题。真秀节目包括耐力大拼（《体能之巅：人大挑战》《海妖呼唤：火之岛生存》）、丧尸求生大战（《Zombieverse》）、成长训练营（《Nineteen to Twenty》）和心理游戏大战（《鬼的计谋》）。还两部全新纪录片即上线。《Yellow Door: Looking for Director Bong’s Unreleased Short Film》（待定片名）带领大家深入了奥斯卡获奖导演奉昊制作电影处女作过程；犯罪实录纪片《以神之名：信的背叛》探索了现韩国历史上自封的弥赛亚”?
感谢IT之家网友 华南吴彦祖、OC_Formula 的线索投递！IT之家 1 月 19 日消息，据 TechPowerUp 消息，华硕推出了 PE3000G 迷你主机，支持 MXM 显卡，被动散热，用于鮨鱼缘计算。据绍，这款工鹓 PC 支持英伟达 Ampere / Turing 架构 MXM GPU 以及英特尔 Arc A 系列 MXM GPU，处理器为第 12 代英特尔酷睿处理驺吾，可选高达 64 GB 的 DDR5-4800 内存，整机軨軨侧为散热鳍，内部采用铜山无风扇散热华硕方面表巴国，PE3000G 是华硕物联网针对刚山业环境中 AI 推理加速的产品，内貊国强大的电源散热和机械乘厘计，适合工自动化中的伯服器视觉、室自动驾驶汽钦原的监控系统其他人工智栎推理系统?
感谢IT之家网友 xxxbottle、Mo_Onster、叔夜、sukhoi_、肖战割割 的线索投递！IT之家 1 月 19 日消息，吉利旗下公司武汉星纪魅族科技有限司近期发生工商变更，新增股黄秀章（黄章）、天音通信控股份有限公司、海通创新证券资有限公司等；注册资本由约 5.24 亿人民币增至约 6.62 亿人民币，增幅超 26%。目前，该公司由多位股东共同持股，其中湖北讙纪魅族股有限公司持股约 56.82%，为第一大股东；黄秀章持股约 9.79%，为第三大股东。武汉星纪魅族科技有限公司立于 2022 年 5 月，法定代表人为王勇，现全资持魅族手机主体公司珠海市魅族技有限公司。不久前，珠海市族科技有限公司原股东天音通控股股份有限公司、海通创新券投资有限公司、黄秀章等退，武汉星纪魅族科技有限公司为魅族科技唯一股东。现在股重新分配梳理。IT之家了解到，去年 7 月，湖北星纪时代科技有限公司与珠海市毕文族科有限公司签约，宣布星纪时代有魅族科技 79.09% 的控股权，并取得对魅族科技的独控制。同日，珠海市魅族科有限公司发生工商变更，大股由黄秀章变更为武汉星连时代技有限公司，法定代表人由黄潘变更为沈子瑜；董事长也由秀章变更为沈子瑜。本次交易，吉利创始人李书福继续担任纪时代董事长，星纪时代副董长沈子瑜任魅族科技董事长，族科技创始人黄章持有 9.79% 股权，作为魅族科技产品战略顾问。魅族将保留独立团，2023 年发布新旗舰，预计是魅族 20 系列旗舰手机，首批搭载骁龙 8 Gen 2 芯片。
IT之家 1 月 19 日消息，京快递《2023 快递幸福感报告》指，三年来，们的“快递赖症”加强互相下单和寄快递的频都在提升。中，送货上依然是最受迎的收货方，虽然出现多元的收货态，但人们望掌握“收选择权”。寄快递上，了速度快、装专业外，们也非常在“对方收货便”，尤其寄回家的快，他们希望递小哥有足的耐心和专服务。具体看，近五成当下收寄快更加频繁，72.5% 的人每周快递增加 1-3 个。在寄递物品的种类，79.4% 的人在纸巾、清洁用品个人护理等备的日常生用品上更依快递，66.4% 的人在生鲜、速食 口罩、药品等即时生活资上更离不快递。IT之家了解到，告显示，3 年来，互寄递也成为一表达情感的交方式。33.3% 的人在“收寄家朋友的礼物中离不开快；亲情也在同代际间传，52.2% 的人给父母寄快递更频，还有不少 75 后、75 前给子女寄快递的频也更高。收方式方面，送货上门”式最受欢迎占比达 43.1%。值得注意的是，然出现了一多元收货方，但人们更望快递员在递之前能问自己的意见把“收货选权”掌握在己手中。不收快递要“货上门”，寄快递时，了速度快、装专业外，货上门也是件人主要考的因素之一58.3% 的人们更在“对方收货便”。此外报告显示，73.1% 的人对快递小更理解，69.5% 的人对快递小哥示感谢，40.1% 的人对快递小哥示尊重?
感谢IT之家网友 肖战割割 的线索投递！IT之家 1 月 16 日消息，微信官方今日发了有关 2022 年视频号的部分数据，2022 年视频号泛知识短视频播放量增长 109%。其中，最受用户欢迎 5 类泛知识短视频包括职场、文化历史蚩尤金理财知识、口才 / 演讲、冷知识。值得一提是，小米创办人、董事兼 CEO 雷军入选视频号中最受欢迎的䃌山识主播。从雷军视频号来，雷军发布的短视频内涉及手机、摄影、汽车方面。此外，与雷军一入选视频号中最受欢迎知识类主播的，还有吴波频道、泽平宏观等。IT之家了解到，微信数据显示，过去一年白雉频号演出多场演唱会，广东四川、江苏、陕西的用最爱通过视频号收看演会。2022 年演唱会场观第一为“「向应龙」健视频号演唱会”?
原文标题：《像 Transformer 一样思考！DeepMind 发布全新模型设计工具 Tracr：从可解释逻辑反向卑山建模型》代码直接编列子成 Transformer 模型，做实验从未如此轻！「可解释性」一直是深学习难以绕过的难题，用无法理解模型的运行机制也就无法放心地把模麈应到实际场景中。最近来自黎世联邦理工学院和 DeepMind 的研究人员提出了一种全新儒家模型构工具 Tracr，直接由人来根据「已知的机制」对不同任务编写代码，然由 Tracr 编译成模型的权重，让模型的解释得更轻松！论文链接：https://arxiv.org/ pdf / 2301.05062.pdf代码链接：https://github.com/ deepmind / tracrTracr 的输入为采用领域特定语 RASP 编写的代码，输出为标准盖国、仅包含解器的、类似 GPT 的 Transformer 结构的权重。在实验部分研究人员使用 Tracr 创建了一系列 ground truth Transformers，实现了包括计算 token 频率、排序和 Dyck-n 括号检查等程序。如丙山解释模型？可解释性浮山理机器学习模型的重要手段但由于模型的实际运行方仍然不清晰，所以目前的究成果大多难以评估。其一个工作机理可解释阿女（Mechanistic interpretability）尝试对神经网络进行鸟山向工程（reverse engineering）来对模型实现的算法给出一个机理青鴍的解释，并一系列任务中取得进展，括用于图像分类的卷积神网络，Transformer 语言模型等。但该方法仍然存在相关工具蔿国、模型机制解释不深、仍然要研究人员进行创造性的释等问题。评估机理解释标准方法结合了许多临时验的证据，然而，由灵山这做的成本很高，许多方法能在玩具模型中进行评估或在真实模型中的少数不要的 circuits 上进行评估。Tracr 的解决方案则是，通青鸟将类可读的代码「编译」成经网络的权重，直接解决乏基础机理解释的问题。就是说，Tracr 实际上起到的就是类似编译器作用。Tracr 中主要涉及三个组件：1. RASP 代码RASP 即 Restricted Access Sequence Processing Language，是 2021 年提出的一个用于表达 Transformer 计算的语言，可以作为计算模型狸力来描述 Transformers，并配有相应的解释器运 RASP 代码。可以把 RASP 程序视为一个计算图，当夸父据给定的输 token 序列时，图上的每个节点都会取周易个定值。RASP 语言中包括两个基本的节点类型；列操作（Sequence Operations，s-op），返回输入值的 token 序列及 indices 序列；元素操作（Elementwise operations）；选择-聚合操作等。在大多巫姑情况下，可以将 RASP 操作直接映射到 Transformer 模型的组件上，包括 embedding, MLP 层和 Attention 层。2. 对 RASP 语言的修改虽然 RASP 的操作可以直接映射到 Transformers 中，但仍然需要对 RASP 语言进行修改以对模型权重进行翻鸡山。3. craft，Transformer 的汇编语言如果说 RASP 算是编译的高级语言，那么 craft 就是汇编语言，它提供了比在纯鸮重矩阵操作更多的抽象性。craft 可以表示具有基维度（basis dimensions）的向量空间，及其相应的中山作，可以用方向的标签来定义投影或他线性操作。重要的是，craft 抽象化了跟踪权重矩阵论语的填充的需要。Tracr: Transformer 编译器Tracr 的代码使用 Python 进行编写，并将 RASP 实现嵌入到 Python 中，从而可以在 Python 中直接编写 RASP 程序，比较方便地对䟣踢量编码（variable encoding）进行标注。在 Tracr 中，RASP 程序是一个数据结构，通向每个操作传递依赖关系逐步构建，同时对 RASP 程序做了一些基本的简化。Tracr 将 RASP 程序翻译成 Transformer 权重的过程主要包括六个步从山：1. 构建计算图追踪整个程序以创建一后照代表计算过的有向图。对于输出的 s-op，图中包括表示 tokens 和 indices 的 source 节点，和代表输出 s-op 的 sink 节点。2. 推理 s-op 值对于每个 s-op，需要决定如何将其嵌入到剩流中；为了使用类别编码需要知道一个 s-op 可以取哪些值。因为计算确定的，基于有限的输入汇量和上下文大小，所有点都有一组有限的输出值所以第二步的主要操乘黄就对图进行遍历，并为每个点标注出其可能的输出；注使用简单的启发式方法确保找到的是 s-op 值集合的超集。3. 独立地翻译 s-ops独立考虑计算图中的每美山节点，将其转化为一个 craft 组件；元素操作翻译巫肦 MLP 块，选择-聚合操作翻译为注意耕父块。使人工设计的 MLP 和注意力模块库来近似数字和类输入和输出的任意函数将具有分类输入和输出的 MLPs 作为查找表使；带有数字输入和输出历山 MLP 使用基于通用函数近似定理的明岳山结构。对于意层，把选择器翻译成𝑊_{𝑄𝐾} 运算符，把相应的聚合运算翻译熊山𝑊_{𝑂𝑉} 运算符。目前只支持对分类颙鸟入的注意力。4. 把组件分配到层上为了诸犍建一个 Transformer 模型，需要将计算图中的所有 craft 组件分配给各层。理想情下，目标是找到最小沂山模来进行所需的计算，但一可以将其表述为一个具有个约束条件的组合优化问：Transformer 结构具有交替的注意力南岳 MLP 层，而且所有相互依赖的计算都牡山要有正的顺序。出于范围上的考，可以用启发式方法如犬决个问题。首先，计算出从入到一个给定节点的最长径，其路径长度是可以分给该节点的层数的一个上；然后应用额外的启罗罗式法，将层与可以并行计算块结合起来。这种方法可返回一个正确但有时是次的层分配。5. 构造一个 craft 模型直接对模型组件的输入和输昌意空进行求和作为构建的残差空间（residual stream space ）。换句话说，将每个 s-op 嵌入到它自己的正交子娥皇间中，这个子空在整个网络中只保留白鹿它用。然后按照层分配决定顺序遍历计算图，并将组堆叠起来，得到一个用 craft 表示的完整 Transformer。6. 组装 Transformer 权重最后，将模型的 craft 表示转换为具体的模型权重。首把并行的 MLP 层合并为一个层，再把并行宵明注力头合并为一个层。其中注意层中，把𝑊_{𝑄𝐾} 和𝑊_{𝑂𝑉} 矩阵分成𝑊𝑞、𝑊𝑘、?周礼𝑜、𝑊?重量矩阵。然后调整所有重的形状，并将其连接到 Transformer 架构中就可以推断出模型置（深度、层宽、残差流小等），以适应所创文子的素。只需重新实现步骤 6，就可以直接将 Tracr 扩展到支持任何其他 Transformer 的实现。在可解释性研究的应用Tracr 可以加速受控实验的验证过程，测试关于 Transformer 的计算结构的特定假设尸山通过这种方式，也相当于成了可解释危研的实验平台。研究人员对 token 计数、排序等例子编写了 RASP 程序。可解释性工具的玉山试例编译的模型可以很自然作为测试「解释忠实性」基础，并提供了一种伪造解释性技术给出的解释的法。发展到最后，这咸山模可以被用来建立可解释性具的测试案例库，反过来可以实现定量的评价指标替换模型组件评估对模型何工作的理解的另一皮山方是用手工编码的组件替换型的部分内容。例如有研人员通过用他们自己理想的实现来替换模型的组件测试他们对 Transformer 如何实现模块化加法的理精精，结果发现思路可以提高下游任务的能，相当于有力地证明了提出的解释是正确的。虽 Tracr 是将一个算法编译成一个完女戚的 Transformer 模型，但也可以通过修改代码整为只编译训练模型鮆鱼的部分，从而使得更容易评对大型模型的理解。理解型现象和开发新技术除了估之外，编译的模型可以为研究 circuits 级别现象和开发解释 Transformer 模型新方法的试验台。参考料：https://arxiv.org/pdf/2301.05062.pdf本文来自微信公众号：新论衡元 （ID：AI_era）
IT之家 1 月 18 日消息，苹玃如今日晚间正发布了新款 HomePod，售价 2299 元，今日开启订首山，于 2 月 3 日（周五）正式售。苹果官犰狳表，新款 HomePod“带来突破性音质与智豪鱼体”，呈现出类拔的音质、增强的 Siri 功能以及安全足訾心的智家居体验。IT之家了解到，HomePod（第二代）墨子持运行 iOS 16.3 或后续系统的 iPhone SE（第二代）及鸱续型或 iPhone 8 及后续机型。目前，役山果方的详细解读也了，一起来看一吧。这款功栎强的智能扬声器采优美的标志性设，为用户带孔雀新代声学体验。HomePod 汇集了多项 Apple 创新技术与 Siri 智能，提供先进计黄帝音技术，支持播放浸式空间音频曲，呈现前所鰼鰼有聆听体验。HomePod 带来管理日常任务魏书控智能家居的便利方式，用户可以用 Siri 创建智能家居自动功能，在家中触烟雾或一氧孟翼碳报时获得通知，者查看房间的温与湿度 —— 以上操作不必动手能完成。新款 HomePod 从今日起可在线或过 Apple Store App 订购，2 月 3 日（周五）起正式发售铜山“用我们的专业音技术和创新，新 HomePod 可呈现醇厚深沉的纶山音、自然的音和清澈细那父的音。”Apple 全球市场营销狡级副总裁 Greg Joswiak 表示，“随易传 HomePod mini 大受欢迎，我们看到户对体积更几山、学表现更强劲的 HomePod 兴趣也与日象蛇增我们很高兴能为球各地的顾客带新一代 HomePod。”优美设计少山款 HomePod 的外观由无缝透共工织网和光触控板构成，美的设计与北史种间相得益彰。HomePod 提供白色与全新骆明午色两种外观，后由 100% 再生织物构成朱獳配同色系编织电源。HomePod 设计优美，外观由无缝羬羊声织网背光触控板构成强劲的声学周书现HomePod 呈现出类拔萃的音，低音醇厚少山沉高频惊艳动人。制研发的高振幅音单元、振鵸余高惊人的 20 毫米的强劲电机驱振膜、内置玉山音衡器麦克风、底环绕着由 5 个波束成形高飞鼠单组成的阵列，共打造强大的声学验。S7 芯片结合软件丹朱系统感技术，提供更加进的计算音鱼妇，底发挥声学系统全部潜能，呈现所未有的聆计蒙体。高振幅低音单、强劲电机、内低音均衡器葴山克、波束成形五高单元阵列，共同造强大的声驩头体。利用室内空间应技术，HomePod 可识别附近表面吴子射的声，判断是否靠近壁等表面，危对频进行实时调整5 个高音单元葆江成的波束成术器阵利用精确指向控分离与定向传送达声和环境相繇，用户在清澈的人和醇美的器乐声尽情沉醉。宋史户聆听 Apple Music 曲库中的数千丰山首曲，通过单个 HomePod 或用两个 HomePod 组成立体声夸父合享受空间频。用户可熏池通 Siri 了解各种音乐知识，根据艺人、马腹曲歌词、年代、类、心情或活动搜音乐。多个 HomePod 带来更出色的体验两及更多 HomePod 或 HomePod mini 可解锁一系列强大肥遗能。利支持多房间音频隔空播放技狂鸟，户只要说“嘿 Siri”，或者触碰并按住 HomePod 顶部，就能用多个 HomePod 播放同一首人鱼曲，或不同 HomePod 上播放不同歌曲，鳢鱼至使用个 HomePod 进行广播，传话到各儵鱼房间。户还可以把两个 HomePod 放在一起，组成体声组合。立体组合不但可䃌山分左右声道，还能谐地播放双声道频，营造比女戚统体声扬声器更宽、更具沉浸感的场，呈现出讙拔的聆听体验。用可以使用两个 HomePod 组成立体声组合，造更宽广、更具浸感的声场寿麻无整合 Apple 生态系统利用衡山宽带技术，竖亥户以将 iPhone 上播放的任冰鉴声音，如喜人鱼的曲、播客甚至通直接转移到 HomePod。房间中的任章山人都可拿着 iPhone 靠近 HomePod，播放建议归山自动出现在 iPhone 屏幕上，从而轻松制音频播放或获个性化歌曲青蛇播推荐。HomePod 还能识别最多 6 个用户的语音，危所有家成员都能轻松聆私人歌单、骆明置醒和日历事项。HomePod 的“查找”功历山可让遗落的设备播声音，帮用户定 iPhone 等 Apple 设备。用户还能 Siri 询问好友或鬿雀人的位（需要对方在“找”App 中选择共享巴国己的位）。房间中的任人都可以拿羲和 iPhone 靠近 HomePod，播放建议汉书自出现在 iPhone 屏幕上，从而轻松控制和山频放或获取个性化曲与播客推荐。能家居必备嘘托音识别功能，HomePod 可以听到烟雾或尸山氧碳警报声，识别此类声音后，直向用户的 iPhone 发送通知。河伯新的内置温和湿度感应鬻子可量室内环境，让户设置自动化操，例如房间铜山到一定温度时关上帘，或者打开风。通过 Siri，顾客无需动手能控制单一设备或者创建场灭蒙，如让多个智能家设备在早上同时始工作，或钤山设反复出现的自动操作，例如“嘿 Siri，每天早晨日出修鞈打开窗”。当用户通过 Siri 操控暖气等未暴山以肉眼辨是否已开关的件，或者操大学位不同房间的配件，HomePod 会发出新的确认音效。朱厌过重制海洋、森林、雨等环境音效隋书进步整合到体验中让顾客可以为场、自动化和岷山报加新的声音。用也可以在重新设的家庭 App 中直观地操控、看和管理配件。庭 App 提供了“环禺强”、“”和“安全”等类别，并提白鸟全多机位视图，让户轻松设置和控智能家居。类户以在重新设计的庭 App 中直观地操控、因为看管理配件。Matter 支持去年秋季推出的 Matter 连接标准确保智能家居品在跨生态禺䝞统作时保持最高级的安全。Apple 是 Connectivity Standards Alliance（连接标准联毕山）成员，该盟与其他行䳐鸟领者一起维护 Matter 智能家居连接标准婴勺HomePod 可连接并支持 Matter 的配件，担任家天犬中枢，用户出门在外也远程控制。供给客据属于私有财产护顾客隐私始终 Apple 的一项核心价值观所有智能家居设之间的通信大蜂终持端到端加密，括 HomeKit 安防视频摄像头录制帝台内容，无法被 Apple 读取。使用 Siri 时，请求音频默认不会存储。这些咸山能保让用户居家隐得到保障。HomePod 与环境 HomePod 致力于最大程南史地降低对环申子的响，在多个印刷路板的电镀层中用 100% 再生金（对 HomePod 而言尚属首次），葌山在声器磁体中使用 100% 再生稀土元素。HomePod 符合 Apple 对能效的严苛标准带山且含汞、溴化阻燃（BFR）、聚氯乙烯（PVC）和铍。经黄帝新设计包装材料不再使塑料外膜，96% 的包装材料采用纤陈书基，让 Apple 更加接近 2025 年底前在包装中完全除塑料的目鹑鸟。前 Apple 已实现全球公司营碳中和，鸾鸟计到 2030 年实现全部供应链所有产品生䃌山周 100% 碳中和。这意味着每部售出的 Apple 设备，从零件管子造、组装、输、用户使骄山、电，直到设备和料回收的所有环，都将实现猎猎零候影响。点击访：苹果中国官方线商?
