哲思浸润出的软件理论之花

他终于有了一个答案,理论与技术可以统一到同一个体系中,用以提升软件生产率并提高软件可靠性。从逻辑到软件1983年IFIP巴黎大会上,唐稚松向同行报告了可执行时序逻辑语言XYZ/E的想法。然而,现场专家的第一反应是怀疑,却又说不上来不妥之处。唐稚松深知,要将数理逻辑与计算机技术结合起来,在理论研究与技术创新的...

伟思医疗: 南京伟思医疗科技股份有限公司2023年年度报告

??电刺激类康复医????????将电刺激技术运用于康复治疗或评估的医疗器械,包括主设备电刺激??????????????????指??????疗器械????????????仪及配套的电极耗材等??电生理类康复医??????????????????指??将电生理技术运用于康复治疗或评估的医疗器械...

星宸科技:公司在设备端和边缘侧均有相关AI算力产品,具体您可详见...

星宸科技董秘:您好,公司在机器人方面已有相关芯片量产,主要应用于家庭及商用清洁扫地机器人,我们持续关注人形机器人相关技术的发展趋势。谢谢您对公司的关注!投资者:公司有Al大模型?无人驾驶可用星宸产品?星宸科技董秘:您好,公司主要关注于SoC的研发和销售,持续关注AI大模型进展,是为了相关SoC布局。公司正在与客户洽...

清溢光电: 2023年度向特定对象发行A股股票预案

LTPS??????????????????????指??????术,是运用于??TFT-LCD??和??AMOLED??面板的一种技术,??????????????????????????????????????该技术具有高分辨率、反应速度快、高开口率等优点????????????????????????????????...

四川绵阳“人工智能+”成果斩获我国智能科学技术最高奖

这套全检系统实现了对连接器最小0.02毫米的全种类缺陷检测,达到产品零缺陷的目标。“接下来,我们将把这套检测系统运用于更多场景,精准‘狙击’每一个影响产品质量的外观缺陷。同时,还将继续深耕人工智能领域,做出具有长虹特色的人工智能技术。”四川长虹AI实验室高级研究员刘明华说。

猿辅导积极推动AI技术融合教育 人工智能+模式重塑行业生态

从概念提出到现在,AI技术的发展已经过去几十年(www.e993.com)2024年11月14日。在其爆发到凛冬的循环中,AI逐渐被运用于教育领域,给予了人们无限的想象空间。在教育领域,以猿辅导为代表的教育科技企业就将AI技术与自身产品深度融合,取得了不错的成效。在人工智能技术支持下,教育模式正在发生变革和生态重构。未来,学生的学习场景不局限于课堂,特别是...

人工智能:一项战略性技术的应用及治理

可以从三个层面来理解人工智能所带来的影响。从赋能的角度看,人工智能将大幅提升战场的决策和行动能力。当前,人工智能技术已被大量运用到军事和情报领域。在军事领域,决策辅助系统、智能化后勤保障、无人机群、无人舰艇等各种类型的人工智能武器正广泛应用于战场实验,将会推动军事变革从信息化作战转向智能化作战。从自主...

如何用AI守护“星星的孩子”?探访成都这家人工智能企业|AI向新力

成都前沿类脑人工智能创新中心随着科技的进步，人工智能技术逐渐运用于孤独症诊疗与康复阶段，AI技术如何有效地帮助孤独症患儿？6月初，记者走进成都前沿类脑人工智能创新中心，实地体验AI科技如何助力这样一些特殊群体。现场体验诊疗设备孤独症辅助诊断系统准确率超过91%“当前，我国主流的孤独症诊断方式是通过筛查量表...

上工美影视多媒体技术专业创新举措,AI引入手工艺非遗教学

人工智能技术与非遗传承的结合,是一个充满创新和潜力的新领域。运用人工智能工具进行创新设计,也是新一代手工艺学生所必备的专业技能。影视多媒体技术专业及时跟进社会技术发展热点,前瞻性地优化、提升教学安排,在原先专业课程基础上引入人工智能教学内容,将有助于培养新一代复合型人才,并有效地在设计创新、艺术教育、作...

人工智能+量化!太平资产王振州:积极推动人工智能为投资赋能

人工智能+量化投资,将会如何发展?早在2018年,太平资产就将人工智能技术运用于量化策略。在2023年权益类保险资管产品中,太平资产采用了人工智能技术的一只量化产品业绩排名前列。人工智能如何与量化投资结合,有何发展前景和潜在风险?作为权益市场的重要机构投资者,保险资金如何在波动行情下开展量化投资?