刘洋:乘神舟九号 中国第一位女宇航员
刘洋,女,汉族,河南省林州市人,中共党员,学士学位。1978年10月出生,1997年8月入伍,2001年5月入党,现为中国人民解放军航天员大队四级航天员,少校军衔。曾任空军某师某团某飞行大队副大队长,安全飞行1680小时,空军二级飞行员。2010年5月正式成为我国第二批航天员。经过两年多的航天员训练,完成了基础理论、航天环境适应性、航天专业技术、飞行程序与任务模拟训练等8大类几十个科目的训练任务,以优异成绩通过航天员专业?
(举报)
刘洋,女,汉族,河南省林州市人,中共党员,学士学位。1978年10月出生,1997年8月入伍,2001年5月入党,现为中国人民解放军航天员大队四级航天员,少校军衔。曾任空军某师某团某飞行大队副大队长,安全飞行1680小时,空军二级飞行员。2010年5月正式成为我国第二批航天员。经过两年多的航天员训练,完成了基础理论、航天环境适应性、航天专业技术、飞行程序与任务模拟训练等8大类几十个科目的训练任务,以优异成绩通过航天员专业?
(举报)
11.11云上盛惠!海量产品 · 轻松上云!云服务器首年1.8折起,买1年送3个月!超值优惠,性能稳定,让您的云端之旅更加畅享。快来腾讯云选购吧!
今年4月初,随着云南、四川等多个西南部地区的城市合伙人、服务商入驻小竹财税平台,这家成立于安徽合肥的科技型创业公司,业务已覆盖全国28个主要省级区域,以及200+重要城市,宣告着小竹财税首 次完成了中国财税生态的搭建。据了解,小竹财税(安徽小竹信息技术有限公司)成立于2021年11月,由数十人的国内资 深注册会计师团队、技术专家,以及AI工程师团队联合创
第135届广交会于4月15日在广州举办。作为全国领先的数字化跨境供应链服务企业,卓志集团连续参展“中国第一展”,升级“关速通”在线平台简化企业贸易流程。“关速通”已与大型港口、全球知名船司、多个电子口岸达成了合作。
快科技3月23日消息,据国内多家媒体报道,广州北环高速公路(S15沈海高速公路广州支线)从今日起停止收费,而广州环城高速公路也从此实现了全线免费通行。据了解,广州北环高速公路于1993年底全线竣工通车,是全国第一条建成通车的中外合作高速公路,也是第一条环城高速公路。北环高速串联起广州、深圳、珠海等核心城市,是全国车流密度最大的高速公路。据统计,北环高速日均车流量超过42万,最高车流突破52万,其中浔峰洲收费站日均车流量超10万,在全省车流量排名第十。广州北环高速1993年12月18日正式全线通车,进出广州的排队车龙逐渐消
今晚Redmi的新品发布会精彩纷呈,带来了RedmiTurbo3、米家空调Pro系列以及RedmiSMiniLED系列等多款令人瞩目的新品。米家空调Pro系列的亮相更是引起了广泛关注。它不仅展示了小米在空调领域的强大实力,也为消费者带来了更加高效、舒适、智能的空调产品选择。
鲁大师2024年Q1季报正式发布,本次季报包含电动车智能排行,测试的车型为市面上主流品牌的主流车型,共计12款,全部按照评测维度更广、更专业的鲁大师电动车智慧评测2.0进行评分,测试的成绩均来自于鲁大师智慧硬件实验室。鲁大师电动车智能化测评体系包含车辆的状态采集与管理硬件系统、车辆交互传输系统、驾驶辅助系统、能源系统、防盗系统、乘坐系统、智慧娱乐系统及用户系统共八个系统,且体系和测评内容一直在完善更新,一切评分以最新发布的为准。在当前的市场环境中,智能电动车的优势是显易见的。
一位87岁高龄的刘婆婆被家人接进城中生活。由于担心她独自生活会不习惯,刘婆婆的女婿——一位经营火锅店的人——决定将这位老人家接到自己的店里,希望她能在此找到乐趣和归属感。这位87岁的刘婆婆在火锅店里找到了新的生活乐趣,她的存在也让这家火锅店变得更加特别和有意义。
快科技4月11日消息,在今天下午的发布会上,余承东表示:智界S7智能泊车能力行业第一。智界S7可实现泊车代驾、超窄车位和机械车位等全场景智能泊车,有位就能停。在演示画面中可以看到,智界S7在机械车位停车时相当丝滑,自动检测最优路径,丝滑入位,停车能力超越人类。泊车代驾功能还可以自动停车,而且途中会自主识别会车场景,双车博弈必要时自行倒车、前进”�
中国第三代自主超导量子计算机本源悟空”,日前正式入驻国家超算互联网平台。国家超算互联网是由国家有关部委支持和指导的,集超算算力、网络、服务、资源共享于一体的综合性平台。这是中国自主量子算力首次大规模、稳定向全球提供算力服务,标志中国进入量子算力可用时代。
3月26日晚,海底捞发布2023年年度报告,业绩创历史新高。2023年,海底捞的整体营收为414亿元,同比增长33.6%;净利润近45亿元,同比增长174.6%。在“中国最牛服务员”的带领下,海底捞能否熬过价格战,保住服务与口碑的同时进一步画出更大的版图有待观察。
日前,国家网信办公布已备案大模型清单,中国移动九天自然语言交互大模型”名列其中,标志着中国移动九天AI大模型可正式对外提供生成式人工智能服务。中国移动表示,这是同时通过国家生成式人工智能服务备案”和境内深度合成服务算法备案”双备案的首个央企研发的大模型。据介绍,九天自然语言交互大模型具有行业能力增强、安全可信、支持全栈国产化等特点,已
SpeedLegal是一个利用机器学习技术(特别是深度学习、大型语言模型和通用AI)来突出合同中的条款和关键风险的技术初创公司。我们分析您的文档并发送给您一个简化的报告,以便您在签名前做出更明智的决策。
FCK.School是一个为学生提供AI写作工具的在线平台。它可以帮助学生改善写作技巧,提升学术表现。通过FCK.School的AI驱动工具,学生可以进行文本改写、文摘、语法纠错等操作,还能生成各种写作素材,如标题、论点、大纲等。FCK.School提供免费工具以供试用,同时还有付费订阅计划。
CompliantChatGPT是一款专为医疗保健行业设计的AI助手,它通过HIPAA合规的方式,帮助医疗工作者安全、高效地处理医疗相关任务。产品具备以下特点: - 保护患者数据安全,通过令牌化技术确保个人健康信息(PHI)的安全。 - 提供个性化的医疗模式,包括血液分析、PHI匿名化、诊断和治疗规划等。 - 用户友好的界面设计,支持语音到文本的笔记功能,便于记录和回顾。 - 定价策略灵活,提供免费试用,以及多种付费套餐选择。 - 适用于医疗提供者、专业人士、医疗机构、研究中心和健康科技初创企业。
Healax是一款创新的AI驱动的心理健康解决方案,专为学生设计,帮助他们主动应对日常生活中的压力和焦虑。该产品通过建立学生、行政人员和提供者之间的信任沟通渠道,提供定制化活动和内容,以促进更全面的教育体验。
Snowflake Arctic Embed是一系列基于Apache 2.0许可开源的文本嵌入模型,专为检索用例设计。这些模型在Massive Text Embedding Benchmark (MTEB)检索基准测试中提供了领先的检索性能,为组织在结合专有数据集与大型语言模型(LLMs)进行检索增强生成(RAG)或语义搜索服务时提供了新的优势。这些模型的尺寸从超小型(xs)到大型(l),具有不同的上下文窗口和参数数量,以满足不同企业的延迟、成本和检索性能需求。
DuerOS X是小度基于百度文心大模型推出的全球首个AI原生操作系统。它彻底颠覆了传统的人适应系统的模式,实现了端到端连接用户的意图与任务,极大地拓展了操作系统的边界。DuerOS X全面应用了文心大模型,通过模型路由架构,能够灵活调度不同的文心模型去解决不同难度的问题,更高效、更精准、更经济。个性化长短记忆的存储、提取和理解能力,使得DuerOS X能够更清楚地记住历史内容与用户个性化偏好。此外,多模态感知技术的应用,让DuerOS X产生更丰富的感知力,无论是通过语音、文字还是表情与小度沟通,都能准确地理解用户的意图,并给出恰当的回应。
abab 6.5系列包含两个模型:abab 6.5和abab 6.5s,均支持200k tokens的上下文长度。abab 6.5包含万亿参数,而abab 6.5s则更高效,能在1秒内处理近3万字的文本。它们在知识、推理、数学、编程、指令遵从等核心能力测试中表现出色,接近行业领先水平。
mistral-common是一套帮助您处理Mistral模型的工具。它不仅包含文本到token的转换,还增加了工具解析和结构化对话。目前发布了三个版本的tokenizer,分别适用于不同的模型集合。
AI语法检查与改写工具- LanguageTool是一款免费的语法检查工具,可以检测文本中的语法错误并提供改写建议。它能够检测出拼写错误、语法问题、常见词汇混淆和标点符号错误,并提供改写建议、同义词替换和简洁句子重写。该工具适用于多种语言,支持多个平台和应用场景,如社交媒体、电子邮件和网页。
AI 3D Generation是Spline推出的一款3D设计工具,它支持文本到3D生成和图像到3D生成,允许用户通过简单的文本提示或2D图像自动创建出详细且精确的3D模型。该工具具有生成变体与混合、直观且适合初学者、创建独特的3D库、平台集成与实时协作、易于集成和发布等功能。
FocuSee 自动跟踪光标移动,应用动态缩放效果,为您节省宝贵时间和额外的努力。适用于演示,教程,推广视频等多种场景。
Ai-to-pptx 是一个使用 AI 技术 (ChatGpt 和 Gemini) 制作 PPTX 的助手,支持在线修改和导出 PPTX。主要功能包括使用 ChatGPT 等大语言模型生成大纲、允许用户再次修改内容、选择不同模板、在线修改 PPTX 的文字、样式、图片等,支持导出 PPTX、PDF、PNG 等多种格式。价格为付费,商业授权价格为 22000 元人民币或 3000 美元。
CodeQwen1.5是一个基于Qwen语言模型的代码专家模型,拥有7B参数,支持92种编程语言,最长支持64K的上下文输入。它具备代码生成、长序列建模、代码修改和SQL能力等,旨在提高开发人员的工作效率,简化软件开发流程。
PixArt-Sigma是一个基于PyTorch的模型定义、预训练权重和推理/采样代码的集合,用于探索4K文本到图像生成的弱到强训练扩散变换器。它支持从低分辨率到高分辨率的图像生成,提供了多种功能和优势,如快速体验、用户友好的代码库和多种模型选择。
InstantMesh是一个基于LRM架构的前馈框架,用于从单张图像高效生成3D网格。它支持低内存GPU环境,并能生成具有纹理映射的3D网格模型。
MagicClothing是一种基于潜在扩散模型(LDM)的新型网络架构,专门用于服装驱动的图像合成任务。它能够根据文本提示生成穿着特定服装的定制化角色图像,同时确保服装细节的保留和对文本提示的忠实呈现。该系统通过服装特征提取器和自注意力融合技术,实现了高度的图像可控性,并且可以与ControlNet和IP-Adapter等其他技术结合使用,以提升角色的多样性和可控性。此外,还开发了匹配点LPIPS(MP-LPIPS)评估指标,用于评价生成图像与原始服装的一致性。
FireCrawl 是一款由 Mendable.ai 开发的开源项目,它能够无需站点地图即可抓取任何网站的所有可访问子页面,并将这些内容转换为干净、格式化的Markdown文档。它特别适合数据科学家、机器学习工程师、内容创作者和市场分析师使用,以从网站内容中提取有价值的信息。FireCrawl 能够处理使用JavaScript动态渲染的内容,提供API服务,支持自托管,并与多种开发者工具和框架集成。
Atlas是波士顿动力公司开发的一款先进的人形机器人,它结合了数十年的研究和实际经验,旨在解决当今工业领域中最艰巨的挑战。新一代的Atlas机器人是全电动的,比以往的液压版本更强大,动作范围更广,能够更高效地完成各种任务。Atlas机器人配备了新的AI和机器学习工具,如强化学习和计算机视觉,以确保它们能够适应复杂的现实世界情况。此外,Atlas将与波士顿动力公司的Orbit™软件集成,该软件提供了一个集中的平台来管理整个机器人车队、站点地图和数字化转型数据。
Stable Diffusion 3是一款先进的文本到图像生成系统,它在排版和提示遵循方面与DALL-E 3和Midjourney v6等顶尖系统相匹敌或更优。该系统采用新的多模态扩散变换器(MMDiT)架构,使用不同的权重集来改善图像和语言的表示,从而提高文本理解和拼写能力。Stable Diffusion 3 API现已在Stability AI开发者平台上线,与Fireworks AI合作提供快速可靠的API服务,并承诺在不久的将来通过Stability AI会员资格开放模型权重以供自托管。
奇布塔是基于人工智能生成技术的绘本创作平台,提供各种风格的有声绘本创作功能,帮助用户创作优质的绘本内容。定价灵活多样,定位于绘本创作者和儿童阅读者市场。