变分量子算法已被引入作为一类有前途的量子-经典混合算法,它已经可以通过采用参数化量子电路与当今可用的嘈杂量子计算硬件一起使用。考虑到量子电路编译的非平凡性质和量子计算的微妙性,验证这些参数化电路是否已正确编译至关重要。已经存在处理无参数电路的既定等效性检查程序。但是,尚未提出能够处理带参数电路的方法。这项工作填补了这一空白,表明可以使用基于 ZX 演算的等效性检查方法以纯符号方式验证参数化电路的等效性。同时,可以利用参数化电路固有的自由度,用传统方法有效地获得不等式证明。我们实现了相应的方法并证明了最终的方法是完整的。实验评估(使用 Qiskit 提供的整个参数化 ansatz 电路库作为基准)证明了所提方法的有效性。该实现是开源的,作为等效性检查工具 QCEC(https://github.com/cda-tum/qcec)的一部分公开可用,该工具是慕尼黑量子工具包(MQT)的一部分。
1.0 技术和监管背景《清洁水法》 (CWA) 授权美国环保署和各州制定和实施水质标准,以保护人类健康和环境。粪便污染中的病原体和病毒是一种严重的污染物,会对接触受污染水体的人们的健康造成负面影响。美国环保署在 20 世纪 70 年代建议使用粪大肠菌群作为粪便污染和胃肠道疾病风险的病原体指标 1。20 世纪 70 年代和 80 年代初期的研究和流行病学研究表明,肠球菌可作为海水粪便污染和胃肠道疾病风险的指标,大肠杆菌 (E. coli) 可作为淡水中粪便污染和胃肠道疾病风险的指标。美国环保署于 1986 年更新了其粪便指标建议,以反映这些发现。
变换。对数正态分布变量(x)与变异系数(CV)之间的关系为CV 2 = exp(σr 2 )-1。 *2 使用90%置信区间的评估方法。 *3 本指南中使用的评估方法使用生物利用度的几何平均比率。
在可靠性分析中,主要有两种方法可以改进不可修复系统的设计。这两种方法是:(i)缩减法,该法假定可以通过将一组部件的故障率降低因子ρ(0 < ρ < 1)来改进系统;(ii)冗余法,实际上该法又分为多种冗余方法,如热冗余、温冗余、冷冗余和不完全开关冗余的冷冗余[1]。冗余和缩减方法也可用于改进可修复系统。此外,可通过将某些系统部件的修复率提高因子σ(σ > 1)来改进可修复系统[2]。对于最小尺寸和重量过大的系统,使用冗余法可能不是一种实用的解决方案[3]。因此,出现了可靠性/可用性等价概念。在这种概念中,按照减少或增加方法设计的改进系统必须等同于按照指定的冗余方法之一设计的改进系统。也就是说,使用这个概念,可以说系统性能可以通过替代设计得到改善[4]。在这种情况下,不同的系统设计