XiaoMi-AI文件搜索系统
World File Search SystemZK
空间技术
在欧洲，后共产主义国家与西欧国家在空间技术研究方面仍然存在明显差距，但捷克共和国的地位相对较高，例如在轨道上活跃卫星数量或空间计划总体资金投入方面的指标。捷克共和国的地位正在提高，特别是由于其参与欧洲航天局 (ESA) 的计划。捷克共和国的专利活动与世界相比总体较低，包括在空间技术领域，但捷克共和国在空间技术方面的专业化在出版物中正在增加。捷克共和国空间技术研究的重要领域是航天器推进技术、先进材料技术、传感器和测量仪器技术或电信设备技术，但除此之外，该领域的研究重点非常多样化。知识中心主要围绕布拉格捷克技术大学和布尔诺技术大学的院系、航空研究与测试研究所以及一些公司建立，例如 Frentech Aerospace、SAB Aerospace、霍尼韦尔国际、5M、Huld、OHB Czechspace、LK Engineering、TOSEDA 等。公共机构和私营部门之间存在着重要的合作。
评估聚合物电解质的性能...
尽管在1980年代，在某些疾病中，在某些疾病中使用ECT不太优先，但在某些疾病中，ECT的使用开始增加，因为它用精神药物提供了足够的治疗活性。[2]精神病性抑郁症，自尊的风险，对治疗无反应，躁狂交流，catatonic补贴精神分裂症，精神分裂症障碍，有机病因学，del妄，神经恶性恶性综合征（NMS）的息肉病例是ECT的主要用途。[3,4]第二和第三层仪式可以用作怀孕期间的ECT治疗选择。[5]除此之外，ECT是老年患者的首选治疗方法，由于其效果开始时其速度和可靠性，因此伴随医学或神经系统状况。[6] ECT在精神疾病的治疗中具有重要的位置，并且对ECT的研究进展和应用程序方案的发展。随着应用形式的发展，对治疗的反应将增加，副作用将减少。另一方面，在理解疾病的伦理学作用方面，对ECT的治疗机制的理解可能很重要。在本文中，已经检查了有关ECT应用程序和神经生物学的当前研究，并汇总了新的发展。
天然填料基复合材料 - 出版商面板
目的：第一个目标是摆脱废物并减少环境污染，另一个目标是研究这些纤维对聚酯性能（复合材料的弯曲和拉伸试验阻力）的影响并将其用于应用。此外，还研究了湿度环境对复合材料性能的影响。设计/方法/方法：使用天然纤维，即被视为废物的蛋壳和锯末与聚酯。制备了几个不同重量百分比（30％和40％）的样品，研究了它们的机械性能，并将其浸泡在水中15天。并研究水对这些性能的影响。研究发现，可以将这些纤维（废物）与聚酯一起使用并从中受益。研究发现，当向聚酯中添加纤维时，拉伸强度会降低，但弯曲会增加强度。最后，研究发现，当将样品浸入水中时，材料会变弱，其机械性能会下降。发现：可以注意到，添加 40% 和 30% 的天然纤维可以改善聚酯在弯曲试验中的机械性能，其中弯曲试验随着纤维体积分数的增加而增加。可以注意到，添加 40% 和 30% 的天然纤维会降低聚酯在拉伸试验中的机械性能（拉伸强度）。当用水处理天然复合材料 15 天时，水会降低弯曲和拉伸试验的机械性能。研究的局限性/含义：通过工作发现本研究的局限性之一是，增加添加到聚酯中的纤维的重量比会导致聚酯失效，因此我们建议使用较低重量比的纤维。实际意义：通过工作发现本研究的局限性之一是，增加添加到聚酯中的纤维的重量比会导致聚酯失效，因此我们建议使用较低重量比的纤维。原创性/价值：这项研究的原创价值在于利用被视为废物的纤维，重新利用它们，并利用在某些不需要高机械性能复合材料的应用中。关键词：聚酯树脂、复合天然材料、拉伸和弯曲试验对本文的引用应以以下方式给出：AA Nayeeif、ZK Hamdan、ZW Metteb、FA Abdulla、NA Jebur，天然填料基复合材料，材料科学与工程档案 116/1 (2022) 5-13。DOI：https://doi.org/10.5604/01.3001.0016.0972
根据脑信号预测语音发音运动——初步结果
摘要 增强和替代通信技术（例如脑机接口，BCI）可以直接读取脑信号来替代失去的语言能力。国际上已开展了初步研究以开发脑信号（例如EEG、sEEG、ECoG）和基于语音的BCI，然而，缺乏将非侵入性EEG、发音和语音信号一起检查并分析大脑中的规划过程、发音运动和产生的语音信号之间的相互作用的组合方法。通过本研究中提出的多模式（脑电图、舌头超声和语音）分析和综合，我们超越了最现代的国际趋势。我们将利用基于舌头超声的发音数据来扩展对言语过程中脑信号的分析，以提供更多可比较的生物信号。我们使用深度神经网络根据脑电图测量的脑信号来预测有关发音运动（舌头超声图像）的信息。根据结果，可以证明脑电图和舌超声之间的关系。这项研究的长期目标是为基于语音的脑机接口做出贡献：其结果可能被应用于例如：作为言语障碍者的交流辅助工具。关键词：语音技术、超声波、脑电图、深度学习
跨塔斯曼 Furio 补贴飞机跟踪航空俱乐部...
欢迎阅读 KiwiFlyer 杂志第四期。本期的一大亮点是参与撰写各种文章的众多撰稿人。事实上，撰稿人不少于十人。除了减轻编辑的工作量外，这无疑有助于增加杂志的多样性和趣味性，因为在许多情况下，撰稿人都撰写了他们自己的爱好或对航空的特殊兴趣。您可以从字里行间感受到他们的热情。弗兰克·帕克 (Frank Parker) 讲述了他最喜爱的哈佛大学 (Harvard) 最近 70 岁生日的故事。另一方面，贾尼斯·安格斯 (Janice Angus) 撰写了最近三场航空建模活动。彼得·加登 (Peter Garden) 提供了 Rotary 内容，他利用我们的来宾评论页面向读者介绍了新成立的新西兰直升机协会 (NZ Helicopter Association)。比尔·比尔德 (Bill Beard) 继续他的保险系列，克里斯·吉 (Chris Gee) 撰写了他在 Whenuapai 航空展上的一天。有两篇文章介绍了航空俱乐部，均由俱乐部的爱好者撰写。如果您是俱乐部的忠实会员，并希望在 KiwiFlyer 上宣传您所在地区的活动，请致电或发送电子邮件给我们，附上一些文字和图片。我们与 Giovanni Nustrini 会面，写下了他乘坐 Furio 前往阿瓦隆的旅程，故事中有几个轶事一定会让读者微笑。Stuart Clumpas 为我们提供了 PilotExpo 的导演总结，这确实是一场精彩的活动，尽管周六全天都在下雨。我们还有关于
księgaAbstraktów摘要书
植物生产和农产品的加工有助于形成大量的木质纤维素废物。其中很大一部分是Pomace，稻草，木木屑以及纸浆和咖啡渣。这些废物不容易使用，它们很容易受到微生物学污染，并且分解时间通常很长。为了解决这个问题，您可以将蘑菇与诸如胸膜胸膜胸膜菌，胸膜胸膜胸膜胸膜和小丁氏菌Edodes等蘑菇一起使用，由于分泌的溶液外酶，可以将含有木质素纤维素和纤维素的各种含量与低分子化合物的溶液蛋白质和纤维素含量分散。在废物底物上繁殖蘑菇时，您可以将成果的产生与合成酶结合在一起，因为在胸膜属和小鼻菌的蘑菇中，在水果酶期间，分泌酶的活性增加了。这项工作的目的是确定从选定碱的繁殖中获得的纤维素分解酶的潜力：胸膜胸膜胸膜胸膜，胸膜胸膜胸膜，小扁豆edodes在含有咖啡地和木材的废物培养基上。在准备好的废物底物的实验部分中，进行了选定碱的繁殖。在繁殖过程中，每周采集地面样品，然后用柠檬酸盐缓冲液提取并清洁以获得纤维素制剂。使用DNS方法，使用Lowry方法的蛋白质以及通过羧甲基螺旋糖反应的方式来表征制剂。获得的结果证实了使用由咖啡咖啡和木材组成的废物基材进行小学繁殖和酶生产的可能性。从L. edodes和P. p. ofteatus育种获得的制剂的特征是比商业目的更大的活性，而P. Erityne则相似。
程良教授
学术出版物（精选） 1. Pei, ZF; Lei, HL; Cheng, L.* ，用于癌症治疗诊断的生物活性无机纳米材料。化学学会评论 2023, 52 (6), 2031-2081。 2. Lei, HL; Li, QG; Li, GQ; Wang, TY; Lv, XJ; Pei, ZF; Gao, X.; Yang, NL; Gong, F.; Yang, YQ; Hou, GH; Chen, MJ; Ji, JS*; Liu, Z.*; Cheng, L.* ，具有 STING 活化双重扩增的锰钼酸盐纳米点用于金属免疫治疗的“循环”治疗。生物活性材料 2024, 31, 53-62。 3. Wang, YJ; Gong, F.*；Han, ZH; Lei, HL; Zhou, YK; Cheng, SN; Yang, XY; Wang, TY; Wang, L.; Yang, NL; Liu, Z.; Cheng, L.*，缺氧氧化钼纳米增敏剂用于超声增强癌症金属免疫治疗。Angewandte Chemie-International Edition 2023, 62, e202215467 4. Wang, L.; Zhang, BR; Yang, XT; Guo, ST; Waterhouse, GIN; Song, GR; Guan, SY*; Liu, A. H*.; Cheng, L.*；Zhou, SY，通过阿托伐他汀-铁蛋白Gd层状双氢氧化物有针对性地缓解缺血性中风再灌注。生物活性材料 2023, 20, 126-136。 5. Wang, L.；Mao, Z.；Wu, J.；Cui, XL；Wang, YJ；Yang, NL；Ge, J.； Lei, HL; Han, ZH; Tang, W.; Guan, SY; Cheng, L.*，设计层状双氢氧化物基声催化剂以增强声动力免疫治疗。纳米今日 2023, 49。6. Cheng, SN; Chen, L.; Gong, F.; Yang, XY; Han, ZH; Wang, YJ; Ge, J.; Gao, X.; Li, YT; Zhong, XY; Wang, L.; Lei, HL; Zhou, XZ; Zhang, ZL*; Cheng, L.*，具有炎症微环境调节功能的 PtCu 纳米声敏剂可增强声动力细菌消除和组织修复。先进功能材料 2023, 33, 2212489 7. Wang, ZK; Zhang, P.; Yin, CY; Li, YQ; Liao, ZY; Yang, CH; Liu, H.; Wang, WY; Fan, CD*; Sun, DD*; Cheng, L.*，抗生素衍生的碳纳米点修饰水凝胶通过生物膜损伤增强活性氧的抗感染作用。先进功能材料 2023, 33, 2300341
obecnośćMózguwświaDomości：Enpiryczny状态
这本书是我对意识问题的多年兴趣的摘要。在八十年代初，我开始在贾吉伦大学心理学研究所组织心理生理实验室时，我还试图探索心理学心理学问题的当代版本。读物的读数使我进入了作者处理这个谈话面孔的困难的规模。我必须承认我被这个问题陷入了困境。随着时间的流逝，我意识到，我试图组织和综合有关我在许多出版物中发现的大脑关系问题的理论词和观点，这对它们的多样性毫无结果。尽管如此，这是一种“智力交流”，我可以跟随牛市和个人作者的贝萨，并选择自己的最爱。我也有诱惑将自己的想法放在这个“镶木木材”上。我证实了自己的事实，即解决意识问题对于发展心理思想很重要。在1988年，使用Kościuszko基金会的奖学金，我去了加利福尼亚，希望与众多出版物的著名作者托马斯·纳索拉斯（Thomas Natsoulas）见面，以及其他意识主题的语义方面。Natsoulas友好地接受了我，批判性地评论了，但我早些时候给了他的文字，然后询问了我的专业活动的其他领域。他承认，这种研究没有具体的想法。当他发现我参与心理生理学研究时，他开始说服我对有意识现象进行实验研究。最后，他表达了一个信念，即缺乏经验数据有可能对意识问题进行灭菌考虑。与托马斯·纳索拉斯（Thomas Natsoulas）会面无疑使我考虑了实验研究有意识现象的方式。当时，基于
JAYPIRCA（吡托替尼）：首个用于治疗复发/复发性套细胞淋巴瘤的非共价布鲁顿酪氨酸激酶抑制剂
产品特性简要概述 ▼ 该药品尚需进一步监测。这将允许快速获取新的安全信息。我们要求医疗保健专业人员报告任何疑似不良反应。有关报告不良反应的详细信息，请参阅产品特性完整摘要的第 4.8 节。 JAYPIRCA 100 毫克和 50 毫克薄膜包衣片：Jaypirca（吡托替尼）是一种抗癌药物，是布鲁顿酪氨酸激酶的非共价抑制剂。成分：每片薄膜包衣片含100毫克或50毫克吡托替尼（辅料为乳糖一水合物）。适应症：作为单一疗法，用于治疗既往接受过布鲁顿酪氨酸激酶抑制剂治疗的复发或难治性套细胞淋巴瘤成年患者。剂量和用法：建议剂量为每天一次 200 毫克，每天大约同一时间服用。应将药片整个吞下，无论是否进食。治疗应持续至病情进展或出现不可接受的毒性。如果患者呕吐或漏服药物，应按预定时间服用下一剂，而不要服用额外剂量。如果出现以下任何一种情况，应暂停使用 Jaypirca，直至症状缓解至 1 级或恢复至基线水平：伴有发烧和/或感染的 3 级中性粒细胞减少症、持续 ≥7 天的 4 级中性粒细胞减少症、伴有出血的 3 级血小板减少症、4 级血小板减少症、3 级或 4 级非血液学毒性。无症状淋巴细胞增多症不被视为不良反应，患者应继续服用 Jaypirca。在一项临床研究中，有限数量的患者通过减少剂量来控制不良事件。无需根据年龄以及轻度、中度或重度肾功能或肝功能不全患者调整剂量。目前尚无关于该产品对儿童和青少年（<18岁）的安全性和有效性的数据。吡托替尼过量服用的症状尚未确定，且无针对吡托替尼过量服用的特定治疗方法。若发生药物过量的情况，应密切监测患者并给予适当的支持治疗。禁忌症：对活性物质或任何赋形剂过敏。特别警告：接受治疗的患者中曾出现严重感染，包括死亡病例。对于机会性感染风险较高的患者，应考虑进行预防性抗菌治疗。根据感染的严重程度以及是否伴有中性粒细胞减少症，可能需要中断产品的给药。接受治疗的患者，无论是否伴有血小板减少症，都曾发生过出血事件，包括致命病例。应监测患者是否出现出血的体征和症状。与 Jaypirca 共同使用时，应权衡抗凝或抗血小板治疗的风险和益处，并应考虑额外监测出血迹象。尚未评估 Jaypirca 与华法林或其他维生素 K 拮抗剂的使用效果。如果发生 3 级或 4 级出血事件，应停止使用该产品。根据手术类型和出血风险，应考虑手术前后 3 至 5 天暂停使用 Jaypirca 的利益风险平衡。接受治疗的患者出现过 3 级或 4 级血细胞减少症，包括中性粒细胞减少症、贫血和血小板减少症；治疗期间应根据临床指征监测全血细胞计数。根据血细胞减少的程度，可能需要中断产品的给药。在接受治疗的患者中观察到心房颤动/扑动，特别是有心房颤动病史和/或多种心血管合并症的患者。应监测心房颤动和心房扑动的症状，并根据临床指征进行心电图检查。根据心房颤动/扑动的程度，可能需要停用该药物。接受治疗的患者中经常观察到其他原发性恶性肿瘤，最常见的是非黑色素瘤皮肤肿瘤。应监测患者是否患有皮肤癌，并建议他们保护自己避免日晒。罕见的是，Jaypirca 治疗期间曾报告出现肿瘤溶解综合征 (TLS)。罹患 TLS 风险较高的患者是治疗前肿瘤负担较高的患者。应评估患者是否有潜在的 TLS，并根据临床指征进行密切监测。患有半乳糖不耐症、完全乳糖酶缺乏症或葡萄糖-半乳糖吸收不良的患者不应服用此药。该产品1片含钠量少于1mmol。相互作用：与 CYP3A 抑制剂一起使用时，Jaypirca 无需调整剂量；如果可能，避免同时使用强 CYP3A 诱导剂（例如利福平、卡马西平、苯妥英）。当与质子泵抑制剂共同使用时，吡托替尼的药代动力学没有临床显著差异。吡托替尼可能会增加 CYP2C8 底物、BCRP 底物、P-gp 底物、CYP2C19 底物和 CYP3A 底物的血浆浓度。如果无法避免与 CYP2C8 底物（例如瑞格列奈、达塞布韦、司来帕、罗格列酮、吡格列酮和孟鲁司特）、治疗指数较窄的 BCRP 底物（例如高剂量甲氨蝶呤、米托蒽醌）、治疗指数较窄的 P-gp 底物（例如达比加群酯和地高辛）、治疗指数较窄的 CYP2C19 底物（例如苯巴比妥和美芬妥英）和治疗指数较窄的 CYP3A 底物（例如阿芬太尼、咪达唑仑、他克莫司）共同给药，则应考虑进行仔细的临床监测。生育能力、妊娠和哺乳：目前还没有关于吡托替尼对人类生育能力影响的数据。吡托替尼给孕妇服用可能会对胎儿造成伤害。怀孕期间不应使用 Jaypirca。育龄妇女在治疗期间以及服用最后一剂 Jaypirca 后 5 周内必须使用可靠的避孕方法。建议男性采取有效的避孕措施，并且在治疗期间以及服用最后一次 Jaypirca 后 3 个月内不要生育孩子。在治疗期间以及服用最后一剂 Jaypirca 后一周内应停止母乳喂养。对驾驶和使用机器能力的影响：Jaypirca 对驾驶或使用机器的能力有轻微影响。一些患者在使用 Jaypirca 治疗期间报告出现疲劳、头晕和乏力等症状，在评估驾驶和使用机器的能力时应考虑到这些情况。不良反应：各级别最常见的不良反应是疲劳（26.3%）、中性粒细胞减少症（22.8%）、腹泻（22.1%）和挫伤（19.0%）。最常见的严重（≥3级）不良反应是：中性粒细胞减少症（19.7%）、贫血（7.9%）和血小板减少症（6.6%）。 11.3% 的患者出现了与 Jaypirca 相关的严重不良反应，最常见的严重不良反应（发生在 ≥1% 的患者中）是肺炎（4.7%）、中性粒细胞减少症（2.2%）、贫血（1.7%）和泌尿道感染（1.0%）。 0.3% 的患者（2 名患者）因肺炎出现致命不良反应，0.1% 的患者（1 名患者）因出血出现致命不良反应。包装、调剂和付款：每包28、30或84片50毫克薄膜包衣片，或每包28、30、56、60、84或168片100毫克薄膜包衣片（PCTFE/PVC泡罩包装，铝箔密封）。市场上有售 28 片 100 毫克片剂的包装。该产品仅凭处方购买，不属于公共医疗保险覆盖范围。储存条件：不需要任何特殊的储存条件。营销授权持有人：Eli Lilly Nederland BV，Papendorpseweg 83, 3528 BJ Utrecht，荷兰。营销授权号及文本最后修订日期：EU/1/23/1738/001-009； 8.10. 2024 在开具产品处方前，请仔细阅读完整的产品特性摘要。产品特性概要的全文可从 VPOIS spol 网站获得。 Lilly：https://www.lilly.cz/cs/produkty/vpois.aspx 或地址：ELI LILLY ČR, sro, Pobřežní 394/12, 186 00 Prague 8，电话：234 664 111中性粒细胞减少症（22.8%）、腹泻（22.1%）和挫伤（19.0%）。最常见的严重（≥3级）不良反应是：中性粒细胞减少症（19.7%）、贫血（7.9%）和血小板减少症（6.6%）。 11.3% 的患者出现了与 Jaypirca 相关的严重不良反应，最常见的严重不良反应（发生在 ≥1% 的患者中）是肺炎（4.7%）、中性粒细胞减少症（2.2%）、贫血（1.7%）和泌尿道感染（1.0%）。 0.3% 的患者（2 名患者）因肺炎出现致命不良反应，0.1% 的患者（1 名患者）因出血出现致命不良反应。包装、调剂和付款：每包28、30或84片50毫克薄膜包衣片，或每包28、30、56、60、84或168片100毫克薄膜包衣片（PCTFE/PVC泡罩包装，铝箔密封）。市场上有售 28 片 100 毫克片剂的包装。该产品仅凭处方购买，不属于公共医疗保险覆盖范围。储存条件：不需要任何特殊的储存条件。营销授权持有人：Eli Lilly Nederland BV，Papendorpseweg 83, 3528 BJ Utrecht，荷兰。营销授权号及文本最后修订日期：EU/1/23/1738/001-009； 8.10. 2024 在开具产品处方前，请仔细阅读完整的产品特性摘要。产品特性概要的全文可从 VPOIS spol 网站获得。 Lilly：https://www.lilly.cz/cs/produkty/vpois.aspx 或地址：ELI LILLY ČR, sro, Pobřežní 394/12, 186 00 Prague 8，电话：234 664 111中性粒细胞减少症（22.8%）、腹泻（22.1%）和挫伤（19.0%）。最常见的严重（≥3级）不良反应是：中性粒细胞减少症（19.7%）、贫血（7.9%）和血小板减少症（6.6%）。 11.3% 的患者出现了与 Jaypirca 相关的严重不良反应，最常见的严重不良反应（发生在 ≥1% 的患者中）是肺炎（4.7%）、中性粒细胞减少症（2.2%）、贫血（1.7%）和泌尿道感染（1.0%）。 0.3% 的患者（2 名患者）因肺炎出现致命不良反应，0.1% 的患者（1 名患者）因出血出现致命不良反应。包装、调剂和付款：每包28、30或84片50毫克薄膜包衣片，或每包28、30、56、60、84或168片100毫克薄膜包衣片（PCTFE/PVC泡罩包装，铝箔密封）。市场上有售 28 片 100 毫克片剂的包装。该产品仅凭处方购买，不属于公共医疗保险覆盖范围。储存条件：不需要任何特殊的储存条件。营销授权持有人：Eli Lilly Nederland BV，Papendorpseweg 83, 3528 BJ Utrecht，荷兰。营销授权号及文本最后修订日期：EU/1/23/1738/001-009； 8.10. 2024 在开具产品处方前，请仔细阅读完整的产品特性摘要。产品特性概要的全文可从 VPOIS spol 网站获得。 Lilly：https://www.lilly.cz/cs/produkty/vpois.aspx 或地址：ELI LILLY ČR, sro, Pobřežní 394/12, 186 00 Prague 8，电话：234 664 111cz/cs/produkty/vpois.aspx 或联系地址：ELI LILLY ČR, sro, Pobřežní 394/12, 186 00 Prague 8，电话：234 664 111cz/cs/produkty/vpois.aspx 或联系地址：ELI LILLY ČR, sro, Pobřežní 394/12, 186 00 Prague 8，电话：234 664 111
艺术报告的状态：经过验证的计算
尽管我们描述了图1，可以在几轮互动中提供证明。能够验证的计算问题补充了程序验证问题（PVP）。验证依赖于有用的冗余。我们需要对同一事物的两个描述，然后将一个描述与另一件事进行比较。程序验证确定我们已经正确地表达了一个给定的计算。我们通过将其与更高级别的规范进行比较来做出判断。在能够验证的计算问题中，给出了计算f。我们没有针对特定验证f。相反，我们想知道供者执行的执行是否与f的表达相一致。本最先进的报告中调查的文献提出了概率证明的理论。该领域的中心结果是概率可检查的证明定理（PCPT）。PCP有必要的结果。对于任何有效的数学断言，可以编码该断言的证明。PCP表明，我们可以使用此编码来检查断言的有效性，通过仅检查其他地方执行的证据中的恒定点。PCP的实际后果是在图中的协议中应用。1。考虑计算F，输入X和假定的输出y。有一种证明和随机检查方法可以保证以下内容。如果y = f（x）正确，则verifier将接受证明。图如果y̸= f（x），则Verifier几乎总是拒绝证明。证明可能需要在供供者和verifier之间进行相互作用。verifier拒绝此类证据的事实几乎总是编码绑定的错误。这意味着，在分析中有一定概率的情况下，Verifier将错误地将错误的答案视为正确的答案。1不会明确检查结果y。它的工作要少。如果要检查结果y = f（x），则需要重新进行计算。与问题陈述相矛盾，不是意图。因此，PCP允许随机验证者访问所谓的证明，以通过仅查询几个证明位来验证表单y = f（x）的输入语句。零知识PCP（ZK-PCP）增强了标准PCP。在零知识证明（ZK）中，一个方可以向另一方证明给定的语句是正确的。它可以做到这一点，同时避免提供任何其他信息，除了该陈述确实是正确的事实。有大量的文献专门用于概率可检查的证明协议。PCP理论的原始幼稚实现非常慢。从那时起，性能就已经有所改善。早期工具使用了计算的低级代表。这些低级协议实体的高级语言中的新工具编译程序。一些出版物报告了可能解决现实世界问题的有效验证者。对其他论文和书籍进行了调查，但被省略了。，但看来这些系统仅限于较小的执行，这主要是由于供款的费用。我们的最初印象是这些系统仅限于特殊用途的应用。本最先进的报告从文献中调查了128篇论文，其中包含4,000多页。所调查的论文绝大多数是数学上的。我们总结了构成可验证计算基础的主要概念。该报告包含两个主要部分。首先，较大的部分涵盖了理论基础，可用于可检查和零知识证明。第二部分包含对当前实践的描述，