会员服务
AI与军事 · 基于模型的系统工程 · 测试与评估 · 卡内基梅隆大学 (Carnegie Mellon University) ·
2023 年 4 月 23 日
《将MBSE模型转化为可正式验证的语言，以支持测试和评估》CMU最新27页slides
专知会员服务
专知会员服务
专知，提供专业可信的知识分发服务，让认知协作更快更好！

成为VIP会员查看完整内容
原文
54

相关内容

人工智能在军事中可用于多项任务，例如目标识别、大数据处理、作战系统、网络安全、后勤运输、战争医疗、威胁和安全监测以及战斗模拟和训练。
基于模型的系统工程《基于MBSE进行需求建模》CMU 28页slides
基于模型的系统工程《基于MBSE进行需求建模》CMU 28页slides
专知会员服务
67+阅读 · 2023年4月21日
基于模型的系统工程（MBSE）|《基于MBSE的威胁建模概述》CMU，2023最新50页slides
基于模型的系统工程（MBSE）|《基于MBSE的威胁建模概述》CMU，2023最新50页slides
专知会员服务
132+阅读 · 2023年4月20日
《采用 AI 系统的伦理、偏见和关键考虑因素》CMU 48页slides
《采用 AI 系统的伦理、偏见和关键考虑因素》CMU 48页slides
专知会员服务
31+阅读 · 2022年12月5日
《多范式建模与仿真：系统工程视角》CMU 2022最新24页slides
《多范式建模与仿真：系统工程视角》CMU 2022最新24页slides
专知会员服务
57+阅读 · 2022年11月4日
不可错过！CMU最新《机器学习》2021课程，26讲从线性模型到强化学习
不可错过！CMU最新《机器学习》2021课程，26讲从线性模型到强化学习
专知会员服务
82+阅读 · 2021年9月25日
《基于模型的系统工程方法应用于任务工程建模用例》169页报告
《基于模型的系统工程方法应用于任务工程建模用例》169页报告
专知
57+阅读 · 2023年4月6日
不可错过！CMU《结构化数据机器学习》课程，附Slides
不可错过！CMU《结构化数据机器学习》课程，附Slides
专知
0+阅读 · 2022年11月2日
Google探索全新NLU任务「自然语言评估」，正式面试前让AI帮你热个身！
Google探索全新NLU任务「自然语言评估」，正式面试前让AI帮你热个身！
新智元
0+阅读 · 2022年11月1日
【剑桥大学博士论文】计算机系统中的端到端深度强化学习，188页pdf
【剑桥大学博士论文】计算机系统中的端到端深度强化学习，188页pdf
专知
6+阅读 · 2022年10月31日
视觉推理任务中的ImageNet：斯坦福GQA数据集重磅发布
视觉推理任务中的ImageNet：斯坦福GQA数据集重磅发布
专知
23+阅读 · 2019年1月30日
指挥控制系统的能力需求模型分析及验证方法研究
国家自然科学基金
25+阅读 · 2012年12月31日
基于DSM的效能仿真领域特定组合建模方法
国家自然科学基金
3+阅读 · 2012年12月31日
自然语言模糊语义形式化表达、定量分析与应用研究
国家自然科学基金
1+阅读 · 2012年12月31日
实时安全关键系统的建模、仿真与验证
国家自然科学基金
1+阅读 · 2012年12月31日
组合Web服务的建模与验证
国家自然科学基金
1+阅读 · 2008年12月31日
On the Parameterized Complexity of Computing $st$-Orientations with Few Transitive Edges
Arxiv
0+阅读 · 2023年6月5日
Nonparametric Iterative Machine Teaching
Arxiv
0+阅读 · 2023年6月5日
Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines
Arxiv
0+阅读 · 2023年6月2日
An Interpretable Reasoning Network for Multi-Relation Question Answering
Arxiv
13+阅读 · 2018年6月1日
Deep Semantic Role Labeling with Self-Attention
Arxiv
13+阅读 · 2017年12月5日
VIP会员
相关主题
AI与军事
基于模型的系统工程
测试与评估
卡内基梅隆大学 (Carnegie Mellon University)
相关VIP内容
基于模型的系统工程《基于MBSE进行需求建模》CMU 28页slides
基于模型的系统工程《基于MBSE进行需求建模》CMU 28页slides
专知会员服务
67+阅读 · 2023年4月21日
基于模型的系统工程（MBSE）|《基于MBSE的威胁建模概述》CMU，2023最新50页slides
基于模型的系统工程（MBSE）|《基于MBSE的威胁建模概述》CMU，2023最新50页slides
专知会员服务
132+阅读 · 2023年4月20日
《采用 AI 系统的伦理、偏见和关键考虑因素》CMU 48页slides
《采用 AI 系统的伦理、偏见和关键考虑因素》CMU 48页slides
专知会员服务
31+阅读 · 2022年12月5日
《多范式建模与仿真：系统工程视角》CMU 2022最新24页slides
《多范式建模与仿真：系统工程视角》CMU 2022最新24页slides
专知会员服务
57+阅读 · 2022年11月4日
不可错过！CMU最新《机器学习》2021课程，26讲从线性模型到强化学习
不可错过！CMU最新《机器学习》2021课程，26讲从线性模型到强化学习
专知会员服务
82+阅读 · 2021年9月25日
热门VIP内容
相关资讯
《基于模型的系统工程方法应用于任务工程建模用例》169页报告
《基于模型的系统工程方法应用于任务工程建模用例》169页报告
专知
57+阅读 · 2023年4月6日
不可错过！CMU《结构化数据机器学习》课程，附Slides
不可错过！CMU《结构化数据机器学习》课程，附Slides
专知
0+阅读 · 2022年11月2日
Google探索全新NLU任务「自然语言评估」，正式面试前让AI帮你热个身！
Google探索全新NLU任务「自然语言评估」，正式面试前让AI帮你热个身！
新智元
0+阅读 · 2022年11月1日
【剑桥大学博士论文】计算机系统中的端到端深度强化学习，188页pdf
【剑桥大学博士论文】计算机系统中的端到端深度强化学习，188页pdf
专知
6+阅读 · 2022年10月31日
视觉推理任务中的ImageNet：斯坦福GQA数据集重磅发布
视觉推理任务中的ImageNet：斯坦福GQA数据集重磅发布
专知
23+阅读 · 2019年1月30日
相关基金
指挥控制系统的能力需求模型分析及验证方法研究
国家自然科学基金
25+阅读 · 2012年12月31日
基于DSM的效能仿真领域特定组合建模方法
国家自然科学基金
3+阅读 · 2012年12月31日
自然语言模糊语义形式化表达、定量分析与应用研究
国家自然科学基金
1+阅读 · 2012年12月31日
实时安全关键系统的建模、仿真与验证
国家自然科学基金
1+阅读 · 2012年12月31日
组合Web服务的建模与验证
国家自然科学基金
1+阅读 · 2008年12月31日
相关论文
On the Parameterized Complexity of Computing $st$-Orientations with Few Transitive Edges
Arxiv
0+阅读 · 2023年6月5日
Nonparametric Iterative Machine Teaching
Arxiv
0+阅读 · 2023年6月5日
Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines
Arxiv
0+阅读 · 2023年6月2日
An Interpretable Reasoning Network for Multi-Relation Question Answering
Arxiv
13+阅读 · 2018年6月1日
Deep Semantic Role Labeling with Self-Attention
Arxiv
13+阅读 · 2017年12月5日
微信扫码咨询专知VIP会员
Top