搜索结果: 1-4 共查到“知识要闻 计算机科学技术基础学科 实时”相关记录4条 . 查询时间(0.203 秒)
中国科学院软件所在实时系统不透明性的可判定问题取得理论进展(图)
系统 理论 观测 自动机
2024/9/20
2024年7月24日,中国科学院软件研究所天基综合信息系统全国重点实验室安杰副研究员(第一作者)的论文The Opacity of Timed Automata被形式化方法领域顶级国际学术会议International Symposium on Formal Methods (FM 2024)接收。论文关注实时系统的不透明性(Opacity)这一信息安全性质,针对广泛使用的实时系统形式模型时间自动...
2024年3月11日,《自然·神经科学》在线发表了题为《实时分析大规模神经成像,实现神经动态的闭环研究》的论文,报道了中国科学院脑科学与智能技术卓越中心杜久林研究组、穆宇研究组和自动化研究所蒿杰研究组的合作研究。研究成果已授权发明专利“光学脑机接口系统和方法”(专利号:ZL202310131178.9)。
航空瞬变电磁(AEM)法对地形适应性强,采集效率高,是重要的浅地表勘探方法。