XiaoMi-AI文件搜索系统
World File Search SystemAD14
执行摘要报告
AD8 ECSS 空间项目管理 - 配置和信息管理，ECSS- M-ST-40C Rev.1，2009 年 3 月 AD9 ECSS 空间项目管理 - 风险管理，ECSS-M-ST-80C，2008 年 7 月 AD10 ECSS - M - ST - 60C 空间项目管理：成本和进度管理，2008 年 7 月 AD11 ECSS 空间产品保证 - 安全，ECSS-Q-ST-40C，2009 年 3 月 AD12 ECSS 空间产品保证 - 危害分析，ECSS-Q-ST-40-02C，2008 年 11 月 AD13 ECSS 空间产品保证 - 关键项目控制，ECSS-Q-ST-40- 04C，2008 年 7 月 AD14 ECSS-E-TM-10-25 - 工程设计模型数据交换 - CDF（2010 年 10 月 20 日） AD15 EL3 ECSM 任务前期 A – 成本估算模板（MS Excel 文件）v10.1、ESA-TECSYC-CT-2021-026022 AD16 EL3 ECSM 任务前期 A – 成本要求和成本核算假设、ESA-TECSYC-RS-2021-026021 AD17 ECSM 技术预算模板
经典可访问预言机下的经典与量子建议和证明
量子信息通常比经典信息具有更丰富的结构，至少直观上是如此。第一个（但通常是错误的）想法是相位和幅度是连续的，并且量子信息可能能够存储比经典信息多出指数或无限多的信息；但这始终不正确 1 。由于经典信息和量子信息具有截然不同的性质，学界在不同背景和方向研究它们之间的区别，包括建议辅助量子计算[NY04、Aar05、Aar07、AD14、NABT14、HXY19、CLQ19、CGLQ20、GLLZ21、Liu22]、QMA 与 QCMA（即具有量子或经典见证的量子 NP）[AN02、AK07、FK18、NN22]、量子与经典通信复杂性[Yao93、BCW98、Raz99、AST + 03、BYJK04、Gav08] 等等。理解它们之间差异的一种方法是研究单向通信复杂度：即 Alice 和 Bob 想要用他们的私有输入联合计算一个函数，但 Alice 和 Bob 之间只允许进行一次量子/经典通信。在众多研究中，Bar-Yossef、Jayram 和 Kerenidis [ BYJK04 ] 展示了量子和经典单向通信复杂度之间的指数分离，即所谓的隐藏匹配问题。另一种方法是研究 QMA 与 QCMA 。2007 年，Aaronson 和 Kuperberg [ AK07 ] 展示了关于黑盒量子幺正的黑盒分离，而关于经典预言机的相同分离仍是一个悬而未决的问题。十多年后，Fefferman 和 Kimmel [ FK18 ] 使用分布式就地证明了第二种黑盒分离