XiaoMi-AI文件搜索系统
World File Search Systemones
计算机中的微型电子管
计算机中的微型电子管 微型电子管早在 50 年代中期就已用于计算机或外围接口，但如今几乎找不到任何证据。由于价格昂贵，它们的使用可能仅限于机载或军用产品。当提到微型电子管时，我们必须考虑到它们包括两大类，即丝状电子管和间接加热阴极型。间接加热型只能减小体积，而丝状电子管则具有进一步的优势，即极低的功率要求和非常快的加热速度。从那时起，我开始寻找 50 年代基于微型电子管的计算机的证据。起点是雷神公司的几则广告，大约在 50 年代中期，它们提议在计算机应用中使用丝状微型电子管。
管道报告 » 2022
就其本质而言，世界纪录纪念的是无与伦比的表现。但它们也成为评判其他类似努力的基准。在许多人看来，新冠疫苗研发的卓越成就是对下一次疫苗研发的期待。一些疫苗开发商甚至打算做得更好：为应对下一次全球大流行，流行病防范创新联盟承诺执行一项“100 天任务”，在首次对一种新型病毒威胁的基因组进行测序后的三个多月内，提供针对病原体 X 的疫苗。3 这对于正在发生的大流行的疫苗研发来说意味着什么？这些大流行有着真实的名字，早在新冠疫情之前就已存在，并且每年仍将继续夺走数百万人的生命，而全世界仍在等待（新的）疫苗。
可靠分布式系统的不可靠故障检测器
我们引入了不可靠故障检测器的概念，并研究了如何使用它们来解决具有崩溃故障的异步系统中的共识问题。我们用两个属性来描述不可靠故障检测器——完整性和准确性。我们表明，即使使用犯了无数错误的不可靠故障检测器，也可以解决共识问题，并确定哪些可用于解决共识问题，尽管发生了任何数量的崩溃，哪些需要大多数正确的进程。我们证明，在具有崩溃故障的异步系统中，共识和原子广播可以相互简化；因此上述结果也适用于原子广播。一篇配套论文表明，这里介绍的故障检测器之一是解决共识问题的最弱故障检测器 [Chandra 等人。1992]。
引用了原始发表的论文（记录的版本）：Lai，H.，Kannas，C.，Hassen，A。等（2025）。 MEA
我们基于蒙特卡洛树搜索形式主义引入了一种多目标搜索算法，以进行反归结计划。多目标搜索允许将各种目标组合起来，而无需考虑其规模或加权因素。为基于这种新型算法进行基准测试，我们在八个反曲面实验中采用了四个目标。目标范围从基于起始材料和步骤计数的简单目标到基于综合复杂性和路线相似性的复杂范围。我们表明，通过仔细的复杂目标，多目标算法可以优于单目标搜索，并提供更多样化的解决方案。但是，对于许多靶标化合物，单目标设置是等效的。尽管如此，我们的算法为合成计划中的特定应用程序纳入了新的目标。
抗炎药候选者预防和治疗心血管疾病
图1。用于研究DNA G4或IMS的方法论摘要。它们包括低吞吐量方法。低通量可以分为生物物理和生化方法。高通量可以分类为基于计算机的预测[5,6]和实验法学研究。Experimental omics studies include small-molecule ligand coupled with DNA polymerases top assay (G4-seq) [7,8], antibody [BG4-(Ch)IP-seq, iM-IP-seq] [9,12,14,15], truncated native protein (G4P-seq) [10], and small-molecule ligand affinity capture （G4DP-SEQ）[11]测序。黑色箭头指示植物中使用的方法，红色问号表示人类而非植物中使用的方法，而蓝色问号表示未在人类和植物中应用的潜在方法。缩写：DNA G4S，DNA G-四链体； ims，i-motifs。
未来系外行星直接成像太空任务的日冕仪设计调查
美国宇航局正在着手一项雄心勃勃的计划，以开发宜居世界天文台 (HWO) 旗舰项目，以执行转换天体物理学，以及直接拍摄大约 25 颗可能与地球相似的行星的图像并通过光谱分析它们是否存在生命迹象。这项任务由 Astro2020 推荐，它还推荐了一种新的旗舰制定方法，该方法基于增加早期、前阶段 A 交易和技术成熟的范围和深度。HWO 任务的一项关键能力是抑制星光。为了为未来的架构交易提供信息，有必要调查广泛的候选技术，从相对成熟的技术（例如 LUVOIR 和 HabEx 报告中描述的技术）到相对较新的和新兴的技术，这些技术可能会带来突破性的性能。在本文中，我们总结了由美国宇航局的系外行星外显子计划 (ExEP) 资助的一项工作，该工作旨在调查 HWO 的潜在日冕仪选项。具体来说，我们的结果包括：（1）一个来自世界各地日冕仪社区的不同日冕仪设计的数据库，这些设计可能与 HWO 兼容；（2）评估标准，例如预期任务收益和在阶段 A 之前成熟到 TRL 5 的可行性；（3）一个统一的建模管道，用于处理来自 (1) 的设计并输出来自 (2) 的任何机器可计算标准的值；（4）设计成熟度的评估，以及其他机器无法计算的标准；（5）一个表格，展示设计和我们结果的执行摘要。虽然本次调查不负责对不同的日冕仪设计进行筛选或优先排序，但其成果旨在促进未来的 HWO 贸易研究。
基于 FPGA 的剪枝神经网络可靠性评估
卷积神经网络（CNN）被广泛用于图像分类。为了使CNN适合在资源有限的系统（如FPGA）上实现，剪枝是一种降低复杂度的流行技术。本文以VGG16为例，评估了剪枝后的CNN对FPGA加速器权重和配置内存错误的鲁棒性，并考虑了两种流行的剪枝方法（基于幅度和过滤器剪枝）。特别地，基于故障注入实验测试了原始VGG16和具有不同剪枝率的VGG16的精度损失，结果表明两种剪枝方法对权重和配置内存的错误影响不同。对于权重错误，使用两种方法剪枝的网络在剪枝率较高的情况下表现出更高的可靠性，但使用过滤器剪枝的网络可靠性相对较低。对于配置内存错误，大约30%的配置位上的错误会影响CNN操作，其中只有14%会导致显着的精度损失。但相同关键比特位对于两种剪枝方法的影响是不同的，采用基于量级方法剪枝后的网络可靠性低于原始VGG16，而采用过滤器剪枝后的网络可靠性高于原始VGG16。从CNN加速器的结构和两种剪枝方法的性质出发，解释了这种不同的影响，并评估了基于量级方法量化对CNN可靠性的影响。
McKesson新的电子Tagalert温度监测器
这些监视器类似于当前在冷冻现代Covid货物中使用的监视器，并且它们在发货期间都监视着温暖和冷偏移。McKesson除了这些新显示器外，还将继续使用合格的冷却器并打包。
量子密钥分布和区块链
这种假设已有数十年了。但是，量子计算机的兴起威胁了当前密码系统的安全性。量子计算机和动力的量楼可以一次执行多个计算，使他们能够从相应的公共密钥中计算任何实体的私钥，因此，在远小于当前计算允许的时间内破解典型的加密方法。大规模的商业量子计算机尚未广泛使用，但是企业必须在该技术中存在较新的阶段时立即进行防御措施。公司必须将两个选项公司首先替换现有的计算加密方法（基于不同的假设），这些方法希望比现有的新闻更安全，其次是完全消除假设并依靠QKD来确保量子的未来。