XiaoMi-AI文件搜索系统
World File Search System多用
定时征收的挑战：位置纸
在本文中，我们探索了有效的方法来证明椭圆曲线配对关系的正确性。基于配对的加密协议，例如Groth16和Plonk Snarks和BLS签名方案，在公共区块链（例如以太坊）中广泛使用，很大程度上归功于其小尺寸。对于许多用例，诸如SNARK内部的“电路”验证的验证相对较高的配对计算成本仍然是一个实际问题。这自然出现在基于BLS共识方案的递归snark组成和snark中。为了改善配对验证，我们首先证明配对验证的最终启动步骤可以用更有效的“残基检查”代替，可以将其纳入米勒循环中。然后，我们通过计算所有必要的线来降低米勒循环的成本，以及当预先确定第二个配对参数时，这是特别有效的。使用固定公共密钥以及基于KZG的Snarks（如Plonk）和三个Groth16配对中的两个签名的BLS签名就是这种情况。最后，我们通过组合商来展示如何改善[GAR]方案，这使我们能够更有效地证明更高的关系关系。这些技术也自然而然地将配对验证（例如链验证）或比特币智能合约的BITVM（2）协议的一部分。我们实例化算法并显示BN254曲线的结果。
使用策略图
摘要：在过去几年中，基于人工智能（AI）的算法迅速增加。但是，AI技术的某些方面受到了严格的审查。例如，在许多用例中，尚不清楚算法的决定是否得到充分了解并符合人类的理解。有解决这些问题的方法在许多领域至关重要，尤其是每当人类和聪明的（物理或虚拟）代理必须在共同的环境中合作时。在本文中，我们基于基于策略图（PG）基于离散谓词的创建（PG）的解释性方法，这些谓词表示并解释了在多机构合作环境中训练有素的代理商的行为。我们表明，从这些策略图中，可以自动生成替代解释剂的策略。这些策略可用于测量PGS通过原始不透明代理和替代物之间进行公平的行为比较来衡量解释的可靠性。The contributions of this paper represent the first use case of policy graphs in the context of explaining agent behaviour in cooperative multi- agent scenarios and present experimental results that sets this kind of scenario apart from previous implementations in single-agent scenarios: when requiring cooperative behaviour, predicates that allow representing observations about the other agents are crucial to replicate the opaque agent's behaviour and increase the reliability of explanations.
混合CPU，GPU，QPU基础架构用于混合量子...
混合量子经典计算基础架构是研究用例的有趣场景和研究，以便最好地使用当前的量子硬件。这种方法允许使用CPU和GPU基础架构和算法最有效地使用现有的量子硬件。目标演示的目标是介绍多个QPU+CPU+GPU混合量子量子计算集成和用例。位于远端端的量子 - 经典计算测试台 - Poznan超级计算和网络中心（PSNC）办公室和SC24场地将与专用的经典直接链路相互联系，该连接在量子加密后（PQC）和量子密钥分布（QKD）技术的基础上均可确保其固定。在长距离链接上，数据将由PQC算法加密，并在PSNC Office和Short QKD链接中本地进行SC24场地。此设置将展示分布式混合量子基础架构如何工作以及如何从计算认证和安全性的角度与最新的PQC和QKD Technologies相互连接。PQC算法将使用经典的DWDM服务和加密发电机确保长距离链接加密。在本地，作为最后一英里解决方案，链接可以通过QKD技术直接确定并与本地网络数据传输（例如MacSec服务）集成。这样的分布式环境将实施来自不同领域的许多用例
@75印度的人工智能之旅
技术发展迅速，呈指数级发展。我们需要确保在获取知识和在适当时机应用知识方面处于领先地位。特别是，当我们将人工智能 (AI) 和机器学习 (ML) 用于更多用例时。随着第四次工业革命即将到来，印度已准备好利用这些机遇。这是通过正确采用人工智能技术并为我们的下一代做好准备来实现的。值得一提的是，我们的政府在采用人工智能方面一直处于领先地位。人工智能的实用性已在抗击 COVID-19 、将远程教育、远程医疗、远程法律和远程银行服务推广到大众甚至排在最后一排的人中证明了其价值。正如我们的总理所说，“技术的进步不能以进一步扩大社会之间在技术使用方面的差异为代价，相反，技术的发展必须植根于 Sabka Saath、Sabka Vikas 和 Sabka Prayas 的道德观念。” 秉承这一愿景，MeitY 已成功启动多项举措，以提高透明度和服务交付，并推动我们朝着成为 AI 全球中心的目标迈进。我很高兴 MeitY、NeGD、NASSCOM 和多个利益相关者正在共同开发国家 AI 门户网站，并推出了包含 75 个 AI 用例的汇编，这些用例来自政府、学术界、企业和初创公司，这些举措独一无二，有益于改善普通公民的生活。我希望读者会觉得我们过去几年所做的创新很有趣，并且值得花时间去了解。
数字兄弟姐妹改善自主驾驶测试
基于抽象模拟的测试是确保自动驾驶软件可靠性的重要步骤。实际上，当公司依靠第三方通用类似物（无论是内部还是外包测试）时，测试结果对真正的自动驾驶汽车的普遍性受到威胁。在本文中，我们通过引入数字兄弟姐妹的概念来增强基于仿真的测试，这是一种多用模拟器方法，该方法在多个具有不同技术的通用模拟器上测试给定的自动驾驶汽车，该工具在测试过程中作为合奏集体运作。我们在一个案例研究中的方法举例说明了我们的方法，该案例研究着重于测试自动驾驶汽车的车道保存组件。我们将两个开源模拟器用作数字兄弟姐妹，我们从经验上将这种多模拟器方法与在大量测试用例上的物理缩放自动驾驶汽车的数字双胞胎进行了比较。我们的方法需要以道路点序列的形式为每个单独的模拟器生成和运行测试用例。然后，使用特征图在模拟器之间迁移测试用例，以表征锻炼的驾驶条件。最后，联合预测的失败概率是计算的，并且仅在兄弟姐妹之间达成一致的情况下才报告失败。我们的经验评估表明，数字兄弟姐妹的集合故障预测因子优于每个单独的模拟器，可以预测数字双胞胎的故障。我们讨论了案例研究的发现，并详细介绍了我们的方法如何帮助对自动驾驶软件自动测试感兴趣的研究人员。
![arxiv：2305.08060v2 [CS.SE] 2024年4月24日](/simg/g:\will\search\icon\source\a\af2d83b1b0da84a24ba64f62f94c32bbecd1cb70.webp)
arxiv：2305.08060v2 [CS.SE] 2024年4月24日
基于抽象模拟的测试是确保自动驾驶软件可靠性的重要步骤。实际上，当公司依靠第三方通用模拟器（无论是内部还是外包测试）时，测试结果对真正的自动驾驶汽车的概括性就受到威胁。在本文中，我们通过引入数字兄弟姐妹的概念来增强基于仿真的测试，这是一种多用模拟器方法，该方法在多个具有不同技术的通用模拟器上测试给定的自动驾驶汽车，该工具在测试过程中作为合奏集体运作。我们在一个案例研究中的方法举例说明了我们的方法，该案例研究着重于测试自动驾驶汽车的车道保存组件。我们使用两个开源模拟器作为数字兄弟姐妹，我们从经验上比较了这种多模拟器方法与在大型测试用例上的物理缩放自动驾驶汽车的数字双胞胎进行比较。我们的方法需要以道路点序列的形式为每个单独的模拟器生成和运行测试用例。然后，使用特征图在模拟器之间迁移测试用例，以表征锻炼的驾驶条件。最后，联合预测的失败概率是计算的，并且仅在兄弟姐妹之间达成一致的情况下才报告失败。我们的经验评估表明，数字兄弟姐妹的集合故障预测因子优于每个单独的模拟器，可以预测数字双胞胎的故障。我们讨论了案例研究的发现，并详细介绍了我们的方法如何帮助对自动驾驶软件自动测试感兴趣的研究人员。
电力服务要求
人孔：馈线电缆接头 ............................................................................................................................. RS-94 人孔：开关 / 保险丝柜，25kV ............................................................................................................. RS-96 人孔：开关 / 保险丝柜，12 或 25kV ............................................................................................. RS-97 人孔：开关 / 保险丝柜，联合客户 ............................................................................................. RS-97C 人孔（维护）：开关 / 保险丝柜，12 或 25kV ............................................................................. RS-97M 12kV 人孔垫：毗邻公共 ROW ............................................................................................. RS-98 12kV 人孔垫：不毗邻公共 ROW ............................................................................................. RS-99 12kV 人孔垫和电容器垫：毗邻公共 ROW ............................................................................. RS-100 12kV 人孔垫和电容器垫：不毗邻公共 ROW ............................................................................. RS-101 25kV 人孔垫：与公共 ROW 相邻 ............................................................................................. RS-110 25kV 人孔垫：不与 ROW 相邻 ............................................................................................. RS-111 25kV 人孔垫和电容垫：与公共 ROW 相邻 ............................................................................. RS-112 25kV 人孔垫和电容垫：不与公共 ROW 相邻 ............................................................................. RS-113 开关、保险丝、仪表柜人孔垫 ............................................................................................. RS-116 地下开关室，15kV ............................................................................................................. RS-117 人孔：IntelliTEAM 开关 ............................................................................................................. RS-118 盖子：箱子和室 ............................................................................................................................. RS-H 计量设备：安装要求目录：计量设备安装要求 ............................................................................. RPI-INX 计量和服务安装：一般要求................................................................................................ RPI-G 临时服务安装：120/240 伏，单相，UG........................................................ RPI-1 单户住宅电表位置........................................................................................................ RPI-2 临时面板支架............................................................................................................................. RPI-3 单相多户住宅电表位置 ............................................................................................................. RPI-4 组合电表面板：住宅，最大 225A ............................................................................................. RPI-8 400 安培住宅电表主服务设备 ............................................................................................................. RPI-9 带工厂安装的测试旁路设施的商用电表面板，最大 100/200 A ............................................................. RPI-11 服务面板终端部分（仅限客户自有服务） ............................................................................. RPI-12 480 伏独立服务的标签要求 ............................................................................................. RPI-13 电流变压器柜 ............................................................................................................................. RPI-14 商用电表和服务设备位置 ............................................................................................................. RPI-28 带面板和测试开关的仪器变压器柜..................................................................................... RPI-30 计量设备：材料要求目录：计量设备材料要求............................................................................... RPM-INX 一般要求：计量和服务安装....................................................................................... RPM-G NVE 批准的 EUSERC 图纸......................................................................................................... RPM-EUSERC 单相基座......................................................................................................................... RPM-A................................................................ RPI-14 商用仪表和服务设备位置 .......................................................................................................... RPI-15 电缆立管、住宅单仪表、CIC、地下 ........................................................................................ RPI-23 电缆立管、商用多用仪表、NVE 电缆、地下 ............................................................................. RPI-24 典型仪表布置 ............................................................................................................................. RPI-28 带面板和测试开关的仪器变压器柜 ............................................................................................. RPI-30 计量设备：材料要求目录：计量设备材料要求 ............................................................................. RPM-INX 一般要求：计量和服务安装 ............................................................................................. RPM-G NVE 认可的 EUSERC 图纸 ............................................................................................. RPM-EUSERC 单相基座 ............................................................................................................................. RPM-A................................................................ RPI-14 商用仪表和服务设备位置 .......................................................................................................... RPI-15 电缆立管、住宅单仪表、CIC、地下 ........................................................................................ RPI-23 电缆立管、商用多用仪表、NVE 电缆、地下 ............................................................................. RPI-24 典型仪表布置 ............................................................................................................................. RPI-28 带面板和测试开关的仪器变压器柜 ............................................................................................. RPI-30 计量设备：材料要求目录：计量设备材料要求 ............................................................................. RPM-INX 一般要求：计量和服务安装 ............................................................................................. RPM-G NVE 认可的 EUSERC 图纸 ............................................................................................. RPM-EUSERC 单相基座 ............................................................................................................................. RPM-A
![arxiv：2408.07892v1 [cs.cy] 2024年8月15日](/simg/g:\will\search\icon\source\4\4d83e7ba1547a7117480db026f553e9e637562fd.webp)
arxiv：2408.07892v1 [cs.cy] 2024年8月15日
匿名是在线的重要原则。但是，恶意演员长期以来一直使用误导性身份来进行欺诈，传播虚假信息并执行其他欺骗性计划。随着越来越有能力的AI的出现，坏演员可以扩大其操作的潜在规模和有效性，从而加强在线平衡匿名和可信赖性的挑战。在本文中，我们分析了一种应对这一挑战的新工具的价值：“人格证书”（PHCS），数字证书，使用户能够证明他们是真实的人，而不是AIS，而不是在线服务，而无需透露任何个人信息。这些凭据可以由一系列受信任的机构发行 - 政府或其他方面。PHC系统可能是本地或全局，并且不需要基于生物识别技术。AI的两种趋势有助于挑战的紧迫性：AI在线人士的不可区分性（即栩栩如生的内容和化身，代理活动）以及AI的可扩展性提高（即成本效益，可访问性，可访问性）。借鉴了对匿名证书和“人格证明”系统的悠久研究历史，人格证书为人们提供了一种在线平台上信任的方式，并为服务提供商提供了减少不良演员滥用的新工具。相比之下，现有的自动欺骗（例如Captchas）的对策不足以抵抗复杂的AI，而严格的身份验证解决方案对于许多用例来说都是私有的。在调查了人格证书的好处后，我们还研究了部署风险和设计挑战。我们以可行的下一步措施为决策者，技术人员和标准机构进行了可行的结论，可以与公众协商。
针对细胞类型特异性靶向的精准干预是……
免疫检查点阻断代表了人类癌症治疗的突破，但只有少数患者从这种疗法中获得临床益处。一个关键问题是如何将以沙漠或抑制性免疫为特征的“冷”肿瘤塑造成“热”表型 [1]。环 GMP-AMP 合酶 - 干扰素基因刺激因子 (cGAS-STING) 通路是先天免疫感应的基本调节器，有可能通过激活多种细胞类型（包括树突状细胞、单核细胞甚至肿瘤细胞）中的 I 型干扰素 (IFN) 依赖性反应来增强肿瘤排斥 [2]，这在许多用干扰素基因刺激因子 (STING) 激活疗法治疗的临床前小鼠肿瘤模型中得到了证实。已经开发了大量 STING 激动剂，其中数十种已进入临床试验，但到目前为止，它们都没有显示出有希望的结果，即使与抗程序性死亡 1 (PD-1) 结合也是如此。其潜在机制在很大程度上是未知的。现在，Li 等人在最近的《自然》研究文章中向我们展示了他们令人鼓舞的发现，即全身性地递送 STING 激动剂可通过 B 细胞衍生的白细胞介素 (IL)-35 抑制自然杀伤 (NK) 细胞介导的抗肿瘤反应，这种方式依赖于干扰素调节因子 3 (IRF3)，但不依赖于 I 型干扰素 [3]。他们首先在患有胰腺导管腺癌的小鼠中全身性地递送多种 STING 激动剂。
基于实时设计稳健的四轴飞行器软件...
摘要。目前，制造可靠的无人机（无人机）是科学和技术的一项重要任务，因为此类设备在数字经济和现代生活中有很多用例，所以我们需要确保它们的可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。此类操作系统的一个很好的例子是开源 POK（分区操作内核）。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式验证方法。我们还提供了使用演绎方法在代码级别以及使用微分动态逻辑在信息物理系统级别验证属性的示例，以证明稳定性。