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

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

相关内容

军事防务数据板块介绍：系统化采集、存储、管理、分析与军事国防安全相关信息的专用数据板块，其核心在于整合全球新兴国防技术（军事人工智能、无人系统等）、热点案例（俄乌战争、美以伊战争）等方面的最新时讯、研究报告/论文、条令法规、案例分析，为战略研判、情报分析、决策支持等提供知识支撑。
《美国陆军研究实验室概述》20页slides
《美国陆军研究实验室概述》20页slides
专知会员服务
52+阅读 · 2023年4月24日
基于模型的系统工程《基于MBSE进行需求建模》CMU 28页slides
基于模型的系统工程《基于MBSE进行需求建模》CMU 28页slides
专知会员服务
70+阅读 · 2023年4月21日
基于模型的系统工程（MBSE）|《基于MBSE的威胁建模概述》CMU，2023最新50页slides
基于模型的系统工程（MBSE）|《基于MBSE的威胁建模概述》CMU，2023最新50页slides
专知会员服务
134+阅读 · 2023年4月20日
《基于模型的系统工程方法应用于任务工程建模用例》169页报告
《基于模型的系统工程方法应用于任务工程建模用例》169页报告
专知会员服务
154+阅读 · 2023年4月5日
《采用 AI 系统的伦理、偏见和关键考虑因素》CMU 48页slides
《采用 AI 系统的伦理、偏见和关键考虑因素》CMU 48页slides
专知会员服务
32+阅读 · 2022年12月5日
《机器学习模型中不确定性的量化和推理》CMU2022最新29页slides
《机器学习模型中不确定性的量化和推理》CMU2022最新29页slides
专知会员服务
57+阅读 · 2022年11月28日
《多范式建模与仿真：系统工程视角》CMU 2022最新24页slides
《多范式建模与仿真：系统工程视角》CMU 2022最新24页slides
专知会员服务
59+阅读 · 2022年11月4日
【剑桥大学博士论文】计算机系统中的端到端深度强化学习，188页pdf
【剑桥大学博士论文】计算机系统中的端到端深度强化学习，188页pdf
专知会员服务
40+阅读 · 2022年10月31日
不可错过！CMU最新《机器学习》2021课程，26讲从线性模型到强化学习
不可错过！CMU最新《机器学习》2021课程，26讲从线性模型到强化学习
专知会员服务
82+阅读 · 2021年9月25日
模型优化基础，Sayak Paul，67页ppt
模型优化基础，Sayak Paul，67页ppt
专知会员服务
77+阅读 · 2020年6月8日
《基于模型的系统工程方法应用于任务工程建模用例》169页报告
《基于模型的系统工程方法应用于任务工程建模用例》169页报告
专知
61+阅读 · 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日
【牛津大学博士论文】深度迁移学习贝叶斯推断，157页pdf
【牛津大学博士论文】深度迁移学习贝叶斯推断，157页pdf
专知
5+阅读 · 2022年9月28日
【斯坦福博士论文】不确定性和信息为机器学习提供决策支持，235页pdf
【斯坦福博士论文】不确定性和信息为机器学习提供决策支持，235页pdf
专知
9+阅读 · 2022年9月10日
谷歌为1000+「长尾」语言创建机器翻译系统，Google翻译已支持部分小众语言
谷歌为1000+「长尾」语言创建机器翻译系统，Google翻译已支持部分小众语言
机器之心
0+阅读 · 2022年5月25日
《机器学习与公平性》新书发布，附127页PDF下载
《机器学习与公平性》新书发布，附127页PDF下载
专知
25+阅读 · 2019年9月13日
【MBSE】基于模型的系统工程在航空发动机控制设计中的应用
【MBSE】基于模型的系统工程在航空发动机控制设计中的应用
产业智能官
23+阅读 · 2019年7月3日
视觉推理任务中的ImageNet：斯坦福GQA数据集重磅发布
视觉推理任务中的ImageNet：斯坦福GQA数据集重磅发布
专知
23+阅读 · 2019年1月30日
并发程序测试及其关键技术研究
国家自然科学基金
1+阅读 · 2014年12月31日
支持非常规突发事件应急决策的模型形式化表示和模型组合方法研究
国家自然科学基金
0+阅读 · 2013年12月31日
指挥控制系统的能力需求模型分析及验证方法研究
国家自然科学基金
26+阅读 · 2012年12月31日
基于DSM的效能仿真领域特定组合建模方法
国家自然科学基金
3+阅读 · 2012年12月31日
支持演化的可信软件过程研究
国家自然科学基金
0+阅读 · 2012年12月31日
自然语言模糊语义形式化表达、定量分析与应用研究
国家自然科学基金
1+阅读 · 2012年12月31日
实时安全关键系统的建模、仿真与验证
国家自然科学基金
1+阅读 · 2012年12月31日
文本语义模型和子空间聚类研究
国家自然科学基金
1+阅读 · 2009年12月31日
基于进程网络的Web服务组合建模和验证方法研究
国家自然科学基金
0+阅读 · 2009年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日
Scalable Optimal Margin Distribution Machine
Arxiv
0+阅读 · 2023年6月5日
Correcting auto-differentiation in neural-ODE training
Arxiv
0+阅读 · 2023年6月3日
Exploring Turn Signal Usage Patterns in Lane Changes: A Bayesian Hierarchical Modelling Analysis of Realistic Driving Data
Arxiv
0+阅读 · 2023年6月2日
Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines
Arxiv
0+阅读 · 2023年6月2日
A Survey of Large Language Models
A Survey of Large Language Models
Arxiv
501+阅读 · 2023年3月31日
An Interpretable Reasoning Network for Multi-Relation Question Answering
Arxiv
13+阅读 · 2018年6月1日
Self-Attention with Relative Position Representations
Arxiv
14+阅读 · 2018年3月6日
Deep Semantic Role Labeling with Self-Attention
Arxiv
13+阅读 · 2017年12月5日
VIP会员
相关主题
军事防务
基于模型的系统工程
测试与评估
卡内基梅隆大学 (Carnegie Mellon University)
最新内容
博士论文 | 通用智能机器人：从大规模模仿学习到跨本体与长期记忆
博士论文 | 通用智能机器人：从大规模模仿学习到跨本体与长期记忆
专知会员服务
3+阅读 · 9月12日
课程 | 宾大世界模型课程：从动力学预测到机器人与智能体
课程 | 宾大世界模型课程：从动力学预测到机器人与智能体
专知会员服务
9+阅读 · 9月12日
《将智能体人工智能集成到多域海军指挥与控制中：信任与作战采用的混合方法分析》90页报告
《将智能体人工智能集成到多域海军指挥与控制中：信任与作战采用的混合方法分析》90页报告
专知会员服务
10+阅读 · 9月11日
《人工智能（AI）赋能的兵棋推演智能体训练》报告
《人工智能（AI）赋能的兵棋推演智能体训练》报告
专知会员服务
6+阅读 · 9月11日
失去控制的指挥：人工智能时代的任务式指挥
失去控制的指挥：人工智能时代的任务式指挥
专知会员服务
8+阅读 · 9月11日
美国的新国家安全科技战略思考
美国的新国家安全科技战略思考
专知会员服务
4+阅读 · 9月11日
《俄罗斯精确打击的演变：采用大规模精确打击》报告
《俄罗斯精确打击的演变：采用大规模精确打击》报告
专知会员服务
8+阅读 · 9月10日
《心理战艺术与机器学习科学的交汇》2026最新100页报告
《心理战艺术与机器学习科学的交汇》2026最新100页报告
专知会员服务
5+阅读 · 9月10日
《异构无人机蜂群中的自组织：通过局部规则实现透明、韧性与适应性蜂群行为》2026最新200页报告
《异构无人机蜂群中的自组织：通过局部规则实现透明、韧性与适应性蜂群行为》2026最新200页报告
专知会员服务
11+阅读 · 9月10日
《人工智能（AI）智能体兵棋推演决策的可视化理解》报告
《人工智能（AI）智能体兵棋推演决策的可视化理解》报告
专知会员服务
6+阅读 · 9月10日
美国开始在五个军事基地进行为期一年的定向能反无人机试验
美国开始在五个军事基地进行为期一年的定向能反无人机试验
专知会员服务
5+阅读 · 9月10日
综述 | 面向大模型智能体的图结构个性化记忆
综述 | 面向大模型智能体的图结构个性化记忆
专知会员服务
7+阅读 · 9月10日
综述 | 机器人策略验证器：为什么没有免费的检查器
综述 | 机器人策略验证器：为什么没有免费的检查器
专知会员服务
5+阅读 · 9月10日
《复杂空战仿真中多智能体强化学习：可解释性驱动集成大语言模型和知识图谱》最新30页报告
《复杂空战仿真中多智能体强化学习：可解释性驱动集成大语言模型和知识图谱》最新30页报告
专知会员服务
7+阅读 · 9月9日
《多智能体强化学习方法的空战仿真评估》最新30页报告
《多智能体强化学习方法的空战仿真评估》最新30页报告
专知会员服务
6+阅读 · 9月9日
相关VIP内容
《美国陆军研究实验室概述》20页slides
《美国陆军研究实验室概述》20页slides
专知会员服务
52+阅读 · 2023年4月24日
基于模型的系统工程《基于MBSE进行需求建模》CMU 28页slides
基于模型的系统工程《基于MBSE进行需求建模》CMU 28页slides
专知会员服务
70+阅读 · 2023年4月21日
基于模型的系统工程（MBSE）|《基于MBSE的威胁建模概述》CMU，2023最新50页slides
基于模型的系统工程（MBSE）|《基于MBSE的威胁建模概述》CMU，2023最新50页slides
专知会员服务
134+阅读 · 2023年4月20日
《基于模型的系统工程方法应用于任务工程建模用例》169页报告
《基于模型的系统工程方法应用于任务工程建模用例》169页报告
专知会员服务
154+阅读 · 2023年4月5日
《采用 AI 系统的伦理、偏见和关键考虑因素》CMU 48页slides
《采用 AI 系统的伦理、偏见和关键考虑因素》CMU 48页slides
专知会员服务
32+阅读 · 2022年12月5日
《机器学习模型中不确定性的量化和推理》CMU2022最新29页slides
《机器学习模型中不确定性的量化和推理》CMU2022最新29页slides
专知会员服务
57+阅读 · 2022年11月28日
《多范式建模与仿真：系统工程视角》CMU 2022最新24页slides
《多范式建模与仿真：系统工程视角》CMU 2022最新24页slides
专知会员服务
59+阅读 · 2022年11月4日
【剑桥大学博士论文】计算机系统中的端到端深度强化学习，188页pdf
【剑桥大学博士论文】计算机系统中的端到端深度强化学习，188页pdf
专知会员服务
40+阅读 · 2022年10月31日
不可错过！CMU最新《机器学习》2021课程，26讲从线性模型到强化学习
不可错过！CMU最新《机器学习》2021课程，26讲从线性模型到强化学习
专知会员服务
82+阅读 · 2021年9月25日
模型优化基础，Sayak Paul，67页ppt
模型优化基础，Sayak Paul，67页ppt
专知会员服务
77+阅读 · 2020年6月8日
热门VIP内容
相关资讯
《基于模型的系统工程方法应用于任务工程建模用例》169页报告
《基于模型的系统工程方法应用于任务工程建模用例》169页报告
专知
61+阅读 · 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日
【牛津大学博士论文】深度迁移学习贝叶斯推断，157页pdf
【牛津大学博士论文】深度迁移学习贝叶斯推断，157页pdf
专知
5+阅读 · 2022年9月28日
【斯坦福博士论文】不确定性和信息为机器学习提供决策支持，235页pdf
【斯坦福博士论文】不确定性和信息为机器学习提供决策支持，235页pdf
专知
9+阅读 · 2022年9月10日
谷歌为1000+「长尾」语言创建机器翻译系统，Google翻译已支持部分小众语言
谷歌为1000+「长尾」语言创建机器翻译系统，Google翻译已支持部分小众语言
机器之心
0+阅读 · 2022年5月25日
《机器学习与公平性》新书发布，附127页PDF下载
《机器学习与公平性》新书发布，附127页PDF下载
专知
25+阅读 · 2019年9月13日
【MBSE】基于模型的系统工程在航空发动机控制设计中的应用
【MBSE】基于模型的系统工程在航空发动机控制设计中的应用
产业智能官
23+阅读 · 2019年7月3日
视觉推理任务中的ImageNet：斯坦福GQA数据集重磅发布
视觉推理任务中的ImageNet：斯坦福GQA数据集重磅发布
专知
23+阅读 · 2019年1月30日
相关基金
并发程序测试及其关键技术研究
国家自然科学基金
1+阅读 · 2014年12月31日
支持非常规突发事件应急决策的模型形式化表示和模型组合方法研究
国家自然科学基金
0+阅读 · 2013年12月31日
指挥控制系统的能力需求模型分析及验证方法研究
国家自然科学基金
26+阅读 · 2012年12月31日
基于DSM的效能仿真领域特定组合建模方法
国家自然科学基金
3+阅读 · 2012年12月31日
支持演化的可信软件过程研究
国家自然科学基金
0+阅读 · 2012年12月31日
自然语言模糊语义形式化表达、定量分析与应用研究
国家自然科学基金
1+阅读 · 2012年12月31日
实时安全关键系统的建模、仿真与验证
国家自然科学基金
1+阅读 · 2012年12月31日
文本语义模型和子空间聚类研究
国家自然科学基金
1+阅读 · 2009年12月31日
基于进程网络的Web服务组合建模和验证方法研究
国家自然科学基金
0+阅读 · 2009年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日
Scalable Optimal Margin Distribution Machine
Arxiv
0+阅读 · 2023年6月5日
Correcting auto-differentiation in neural-ODE training
Arxiv
0+阅读 · 2023年6月3日
Exploring Turn Signal Usage Patterns in Lane Changes: A Bayesian Hierarchical Modelling Analysis of Realistic Driving Data
Arxiv
0+阅读 · 2023年6月2日
Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines
Arxiv
0+阅读 · 2023年6月2日
A Survey of Large Language Models
A Survey of Large Language Models
Arxiv
501+阅读 · 2023年3月31日
An Interpretable Reasoning Network for Multi-Relation Question Answering
Arxiv
13+阅读 · 2018年6月1日
Self-Attention with Relative Position Representations
Arxiv
14+阅读 · 2018年3月6日
Deep Semantic Role Labeling with Self-Attention
Arxiv
13+阅读 · 2017年12月5日
微信扫码咨询专知VIP会员
Top