（原标题：美国天空实验室陨落“内幕”） 本文为网易科学旗下“科学人”专栏，本期作者：李会超（中国科学院国家空间科学中心）。“科学人”投稿邮箱mike300@126.com1979年7月，美国发射运行的第一艘空间实验室坠毁在澳大利亚帕斯附近，它终究还是没有等到航天飞机的出世。这好好的实验室怎么说掉就掉下来了呢？我们还是先来了解一下什么是天空实验室，再来找出让天空实验室坠落的”罪魁祸首“，揭开坠落背后不为人知的内幕吧。美
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
据“零重力实验室”公众号消息，近日，洲际航天科技宣布与阿布扎比港务局签署协议，计划在阿联酋共同建设一个名为“阿布扎比航天城”的航天生态链核心项目，北京零重空间技术有限公司将为该项目提供卫星设计制造、遥感数据处理与应用等服务。
TCL实业盘古实验室在显示技术领域上再次取得新突破，发布了多项创新显示技术，包括备受瞩目的全域光晕控制技术、超大屏领域的MicroLED显示技术等，盘古实验室的深厚技术底蕴和创新能力，也为TCL实业的电视新品发布提供了有力的技术支持。其中全域光晕控制技术是TCL实业盘古实验室自主研发的一项创新技术，解决了长期困扰行业的MiniLED电视光晕问题。TCL实业也将以盘古实验室为技术载体，继续秉承“创新敢为”的精神，为全球消费者带来更多具有划时代意义的产品，推动显示行业不断向前发展。
4月3日7点58分，我国台湾花莲县海域发生7.3级地震，此后余震持续不断，截止4月4日7点已发生4.0级及以上余震多达29次，最高达6.0级。就在此次强震发生前，网上出现了一张特殊的照片，显示天空出现异象”，不少人认为是地震云，属于地震前兆。过去10年，我国共发生了4次七级及以上地震，除了这一次有2024年1月23日新疆乌什7.1级地震、2021年5月22日青海玛多7.4级地震、2017年8月8日四川九寨沟7.0级地震。
4月11日，昆仑万维「天工SkyMusic」宣布将跨界喜剧，联合庞博、天放、雷淞然等知名喜剧人，共同开启一次音乐与喜剧深度融合的创作实验，探索二者碰撞后的全新艺术表达，从呈现一场双重享受的听觉盛宴。回溯音乐史上那些脑洞大开的实验音乐，从大胆采用环境声音，到运用录音室技术进行音乐拼贴，再到利用磁带与电子合成器开创电子音乐潮流，每一次先锋实验都拓宽了音乐表达的可能性，重塑音乐创作的边界。4月17日，「天工SkyMusic」将面向全社会免费开放，邀请所有怀揣音乐梦想、渴望挥洒创意的用户，一起参与这场探索音乐创作可能的实验，用AI技术的力量共享音乐创作的乐趣与成就。
TikTok剥离法案的推进，似乎未改变平台的商业化步伐和生态链上各方参与者的投入力度。美国当地时间3月14日，该法案在众议院通过的第二天，TikTok在洛杉矶举办了一场声势不小的Homeliving达人品牌聚会，邀请了一众美国达人机构和本地品牌参与。
网易和暴雪，官宣“复婚”了。距离《魔兽世界》的停服过去400多天，网易游戏的一条微博登上了热搜:“我们很荣幸能与暴雪娱乐再次携手，将暴雪游戏重新带回国服。姜洋并不害怕竞争有多激烈，在他看来，游戏工作室门槛高不高，能否生存下去，更多取决于工作室负责人对游戏的理解和对客户需求的满足，“不能踏踏实实做事，不能满足客户需求，得不到客户认可的，迟早会退出”。
会议平板是智能化时代企业会议室的主流产品，皓丽会议平板作为连续6年领跑会议市场的产品，凭借高效的会议体验、便捷的交互功能和卓越的显示效果已经成为众多行业的选择。皓丽会议电视的诞生，又以其独特的双模式设计，不仅持续霸榜商业显示品类销售TOP榜、商业显示品类销售增速TOP榜，更成为京东会议电视赛道年度趋势新品。作为会议室显示设备中的两款“实力派�
快科技4月8日消息，今日，前《英雄联盟》职业选手、主播孙亚龙发文透露病情，称其确诊中风，医生要求他立马必须住院，时间为一星期左右。孙亚龙表示，医生说我这毛病都是50岁以上人得的，我得就离谱，大概原因疲劳过度，常熬夜，心力憔悴。”据了解，孙亚龙近日称自己突然感到不适，及时去到医院并直接进了抢救室，他表示检查说没有很危险/会暴毙的问题，暂时不住院等后续检查。对于去急救室的说法，孙亚龙称，昨天躺了会儿急救室是因为医生给我说这状况就怕是神经损伤，会突然很危险，先做安全措施等检查，CT完后发现不是最严重情况，我?
最厉害的是Ava整个团队不超过5个人，甚至是在一周前才开始招聘第一位产品经理、第一位产品设计师。一个人“带出”一款登顶应用上文截图中，除了大多数人从未听说过的Ava，余下7款产品全都是用户和创业者熟悉的美榜常客。还是要说Ava这次并不讨人厌的愚人节营销，让我们看到了一种有趣的新式增长，同时也让AI创业者们再一次反思，AI到底在解决什么问题、有没有真正�
Temu的低价势不可当。美国折扣店纷纷失守拼多多Temu的加入，成为了压垮骆驼的最后一根稻草。Temu在海外市场会讲出什么样的故事，我们拭目以待。
京东羚珑是一站式内容生产与管理服务平台，提供商品主图设计、广告 banner 设计、店铺首页设计等功能。其主要优点包括丰富的模板选择、免费设计服务、高效便捷的操作流程。产品定位于为商家提供设计合作伙伴服务。
Overleaf 是基于 LaTeX 的在线协作编辑器，无需安装，支持实时协作、版本控制、数百种 LaTeX 模板等。适用于科学和技术领域的文档写作。
Continue是一个专为软件开发者设计的开源IDE扩展，它通过提供自动化和智能化的工具来加速AI软件的开发流程。它允许开发者在构建软件时保持流畅的工作状态，通过插件和系统整合，轻松开始并加速开发过程。Continue支持多种编程语言的代码自动完成，提供代码段的重写功能，并允许通过自然语言指令来优化代码。它还支持与多种AI模型和开发环境的整合，使得开发者能够构建一个随着新功能出现而进化的软件系统。
Cohere Toolkit是一个开源的AI应用程序开发工具包，它提供了一套生产就绪的应用程序，可以在云服务提供商上部署。这些应用程序可以访问Cohere的Command、Embed和Rerank模型，并且可以连接到企业数据和特定团队，以提高生产力。该工具包包含用于构建独特应用程序并可扩展部署的组件。
Bunny 是一系列轻量级但功能强大的多模态模型，提供多种即插即用的视图编码器和语言主干网络。通过从更广泛的数据源进行精选选择，构建更丰富的训练数据，以补偿模型尺寸的减小。Bunny-v1.0-3B 模型在性能上超越了同类大小甚至更大的 MLLMs（7B）模型，并与 13B 模型性能相当。
llava-llama-3-8b-v1_1是一个由XTuner优化的LLaVA模型，它基于meta-llama/Meta-Llama-3-8B-Instruct和CLIP-ViT-Large-patch14-336，并通过ShareGPT4V-PT和InternVL-SFT进行了微调。该模型专为图像和文本的结合处理而设计，具有强大的多模态学习能力，适用于各种下游部署和评估工具包。
ID-Animator是一种零样本人类视频生成方法，能够在不需要进一步训练的情况下，根据单个参考面部图像进行个性化视频生成。该技术继承了现有的基于扩散的视频生成框架，并加入了面部适配器以编码与身份相关的嵌入。通过这种方法，ID-Animator能够在视频生成过程中保持人物身份的细节，同时提高训练效率。
HiDiffusion是一个预训练扩散模型，通过仅添加一行代码即可提高扩散模型的分辨率和速度。该模型通过Resolution-Aware U-Net (RAU-Net)和Modified Shifted Window Multi-head Self-Attention (MSW-MSA)技术，动态调整特征图大小以解决对象复制问题，并优化窗口注意力以减少计算量。HiDiffusion能够将图像生成分辨率扩展到4096×4096，同时保持1.5-6倍于以往方法的推理速度。
Snowflake Arctic 是一款专为企业级人工智能任务设计的大规模语言模型（LLM），它在 SQL 生成、编码以及指令遵循等基准测试中表现出色，即使与计算预算更高的开源模型相比也毫不逊色。Arctic 通过其高效的训练和推理，为 Snowflake 客户以及广大 AI 社区提供了一种成本效益极高的定制模型创建方式。此外，Arctic 采用 Apache 2.0 许可，提供无门槛的权重和代码访问，并通过开源数据配方和研究洞察，进一步推动了社区的开放性和成本效益。
OpenVoice V2是一款文本到语音（Text-to-Speech, TTS）的模型，它在2024年4月发布，包含了V1的所有功能，并进行了改进。它采用了不同的训练策略，提供了更好的音质，支持英语、西班牙语、法语、中文、日语和韩语等多种语言。此外，它还允许商业用途的免费使用。OpenVoice V2能够精确地克隆参考音调色彩，并在多种语言和口音中生成语音。它还支持零样本跨语言语音克隆，即生成语音的语言和参考语音的语言不需要在大规模多语种训练数据集中出现。
超会 AI 是一款基于人工智能的爆款内容制造机，能够以 10 倍速度智能生产商品内容和自动化营销，帮助企业提高流量和销售额。产品背景信息丰富，价格适中，定位于为企业提供内容制造和营销解决方案。
OpenELM是由苹果公司开发的语言模型家族，旨在为开源研究社区提供先进的语言模型。这些模型基于公开可用的数据集训练，不提供任何安全保证，可能产生不准确、有害、有偏见或令人反感的输出。因此，用户和开发者需要进行彻底的安全测试，并实施适当的过滤机制。
豆绘商拍是一款利用先进 AI 技术提供商品图和服装图生成服务的工具，能快速实现抠图、背景更换和模特换脸等功能，帮助企业提升品牌形象和市场竞争力。
intellisay是一个通过语音输入创建每日计划的生产力工具。它使用人工智能技术，将语音转录和分析，然后提供一个优化的计划来实现成功。它能够帮助用户节省时间，从而更高效地完成任务。该产品背后的主要优点是快速设置和使用，以及跟踪任务和习惯的能力。
Grimo AI是一个帮助用户构建、增长和整理知识的平台。它集合了Obsidian、Github和Quora的优点，提供了简单易用的界面和功能。用户可以通过查询获取来自任何人、任何地方的见解，并将这些见解分叉到自己的工作区。Grimo AI的核心优点包括：1. 将知识整理成精华；2. 从任何地方学习；3. 构建一个强大的知识社区。Grimo AI的定位是帮助用户更高效地获取和组织知识。
Bland是一个用于构建AI电话呼叫应用程序的平台，它提供了简单易用的API接口，使开发者能够轻松地创建自己的智能电话代理。Bland的主要优点是快速搭建和部署，可扩展性强，同时提供了丰富的文档和支持。无论是用于销售呼叫中心、客服代理、营销自动化还是其他领域，Bland都能帮助企业提高效率，节省时间和资源。
Cici是您的AI朋友和浏览器助手。她可以回答您的问题，摘要网页内容，提供快速的词语翻译，并执行智能搜索。她可以为您做到这一切。
MVSEP是一款在线音频处理工具，利用先进的音频分离技术可将音乐和语音从音频文件中分离出来，适用于音乐制作、音频编辑、广播、电影后期制作等领域。优点包括高质量的音频输出、快速的处理速度和用户友好的操作界面。提供不同模型选择。
NovaMSS是一款基于最顶级的AI模型调优后的新一代音乐源分离工具，可以一键提取伴奏、人声、贝斯、鼓点、分离音轨等。它的强大算法基于MSS领域最顶级的算法，并经过上千首歌曲的训练与调优，实现音轨分离的高效率和高质量。产品提供简单易用的界面，支持多种音频格式，包括MP3、Flac、Wave、AIFF等，并且支持批量上传和处理，内置音频播放器，方便用户即时查看分离结果。此外，产品分为社区版和专业版，社区版永久免费，而专业版提供更专业的算法模型和更高品质的音频输出格式。
ChatMIX智能对话-AIGC系统是一款利用人工智能技术构建的在线聊天系统，旨在通过AI技术提升用户交互体验。产品支持智能翻译、工作周报生成、编程代码编写等功能，满足用户在不同场景下的需求。它的优势在于能够快速响应用户指令，提供准确、高效的服务，同时具备良好的用户界面和操作体验。
