搜索结果: 1-15 共查到“计算机科学技术 实时”相关记录584条 . 查询时间(0.17 秒)
中国科学院软件所在实时系统不透明性的可判定问题取得理论进展(图)
系统 理论 观测 自动机
2024/9/20
2024年7月24日,中国科学院软件研究所天基综合信息系统全国重点实验室安杰副研究员(第一作者)的论文The Opacity of Timed Automata被形式化方法领域顶级国际学术会议International Symposium on Formal Methods (FM 2024)接收。论文关注实时系统的不透明性(Opacity)这一信息安全性质,针对广泛使用的实时系统形式模型时间自动...
2024年3月11日,《自然·神经科学》在线发表了题为《实时分析大规模神经成像,实现神经动态的闭环研究》的论文,报道了中国科学院脑科学与智能技术卓越中心杜久林研究组、穆宇研究组和自动化研究所蒿杰研究组的合作研究。研究成果已授权发明专利“光学脑机接口系统和方法”(专利号:ZL202310131178.9)。
人工智能可以实时预测聚变堆等离子体不稳定性
人工智能 聚变堆 等离子体 不稳定性
2024/4/25
中国科学院深圳先进技术研究院专利:实时客流特征分析方法及系统
中国科学院深圳先进技术研究院 专利 实时客流 特征分析
2023/11/11
实时生成海量数字盲文,AI帮视障人士无障碍阅读
数字盲文 AI 视障人士 无障碍阅读
2023/1/3
盲文AI实时翻译算法是本软件的核心技术之一,可以实时生成海量盲文数字资源。其运行逻辑是首先将中文、英文等文字编码格式统一转换为Unicode格式,然后选择盲文类型,再调用盲文AI实时翻译算法,就可以输出国家通用盲文、现行盲文、全拼盲文、双拼盲文。
航空瞬变电磁(AEM)法对地形适应性强,采集效率高,是重要的浅地表勘探方法。
浙江大学计算机辅助设计与图形学国家重点实验室周昆教授领衔完成的“真实感图形的实时计算理论与方法”获国家自然科学奖二等奖(图)
浙江大学计算机辅助设计与图形学国家重点实验室 周昆 真实感图形 实时计算 国家自然科学奖
2022/5/30