XiaoMi-AI文件搜索系统
World File Search System难用
语言模型作为编译器：模拟伪代码执行改善语言模型中的算法推理
算法推理任务涉及涉及逻辑模式的算法，例如完成Dyck语言，尽管他们最近的成功，但对大语言模型（LLMS）构成了挑战。先前的工作已使用LLM来生成程序语言，并应用了外部计算机来执行此类任务。然而，当飞行时，很难用解决方案的正确逻辑生成可执行的代码。即使这样，一个实例的代码也无法重用其他实例，尽管它们可能需要相同的逻辑来解决。我们提出了t Hink-和-e Xecute，这是一个新的框架，改善了LLMS的算法 - 固有推理：（1）在T Hink中，我们发现了在所有实例中共享的任务级逻辑，并用伪代码表达逻辑； （2）在e x -ecute中，我们将任务级伪代码量身定制为每个实例并模拟其执行。t hink-和-e xecute在算法算法推理任务中的表现优于几个强大的基线（包括婴儿床和锅）。我们表现出使用任务级伪代码而不是一一生成实例特定解决方案的优点。另外，我们表明，即使对自然语言指导进行了自然语言指导，伪代码也可以更好地改善LMS的推理。
非归一化谐波的物理解释......
不可归一化状态很难用正统的量子形式来解释，但通常作为量子引力中物理约束的解出现。我们认为，导航波理论对不可归一化量子态给出了直接的物理解释，因为该理论只需要配置的归一化密度即可生成统计预测。为了更好地理解这种状态，我们从导航波的角度对谐振子的不可归一化解进行了首次研究。我们表明，与正统量子力学的直觉相反，不可归一化本征态及其叠加态是束缚态，因为速度场 v y → 0 大于 ± y 。我们认为，为这种状态定义一个物理上有意义的平衡密度需要一个新的平衡概念，称为导航波平衡，它是量子平衡概念的概括。我们定义了一个新的 H 函数 H pw ，并证明导航波平衡中的密度使 H pw 最小化，是等变的，并且随时间保持平衡。在与放松到量子平衡的假设类似的假设下，我们证明了粗粒度 H pw 的 H 定理。我们从由于扰动和环境相互作用导致的不可归一化状态的不稳定性的角度解释了导航波理论中量化的出现。最后，我们讨论了在量子场论和量子引力中的应用，以及对导航波理论和量子基础的一般影响。
岩池作为环境 DNA 来源，用于检测濒危的皮尔巴拉橄榄蟒 ( Liasis olivaceus barroni )
环境 DNA (eDNA) 研究正在改变全球范围内的生物监测，但由于爬行动物的脱落率较低，其适用性受到限制。因此，eDNA 作为一种生物监测工具在澳大利亚可能有相当大的局限性，因为 40% 的陆地脊椎动物都是爬行动物。然而，有必要评估方法改进（例如针对某些底物）是否可以提高检测爬行动物 eDNA 的能力。皮尔巴拉橄榄蟒（Liasis olivaceus barroni）是一种罕见且难以捉摸的澳大利亚顶级捕食者，具有较高的保护优先权。与许多其他蛇类一样，皮尔巴拉橄榄蟒很难用传统的调查方法监测；因此，探索基于 eDNA 的方法非常重要。众所周知，蟒蛇偶尔会栖息在岩石池中。因此，开发一种可靠的基于 eDNA 的方法来检测水中的蟒蛇将提供一种急需的替代方法。在这里，我们使用之前开发的针对爬行动物的宏条形码检测方法，对从西澳大利亚皮尔巴拉地区六个广阔地点的 40 个岩石池和排水池中采集的总共 228 个水样进行测序，并确认在六个广泛采样地点中的三个地点的 12 个水池中的 37 个样本中存在皮尔巴拉橄榄蟒 eDNA。还检测到了其他脊椎动物，包括其他爬行动物、两栖动物、哺乳动物和鸟类。我们记录的从岩石池水样中检测皮尔巴拉橄榄蟒 eDNA 的能力代表着朝着基于 eDNA 的该物种精确监测迈出了重要一步。
新技术对经济和社会的影响
技术在识别社会现象方面发挥着重要作用，而这些现象很难用更传统的方法识别和分析。经济和社会技术尤其受此影响。因此，技术往往以低维的方式表示现实，而不考虑其现实影响。有关经济和社会现象的详细信息越来越多，利用这种信息丰富的工具特别有用。因此，社会科学中几乎每个知识领域都向令人着迷的新视角开放了。许多经济学家和社会科学家认为，技术进步是国家、地区和城市经济增长的主要驱动力之一。由于技术进步，可以更有效地生产更多更好的商品和服务，这有助于繁荣。在本文中，作者试图对技术领域的领先书籍及其对经济和社会的影响进行详细的研究和评论。了解技术和创新的当前和未来影响将非常有益。技术不仅改变了我们生产和联系的方式，还使更多的人能够创造和测试新事物和新想法，从而降低创新和产品开发的成本和风险，发展中国家也是如此。公共部门和私营部门之间的合作对于数字时代的成功至关重要。为了避免垄断并保护公民，政府和监管机构必须确保监管与创新保持同步。作者乐观地认为，随着我们采用越来越多的新技术并享受其好处，对未来就业的担忧将会消退。我们准备在未来几年经历广泛的变革，这使得未来看起来更加光明。
技术概要 技术报价详情
使用 RNA 干扰 (RNAi) 下调特定基因来调节 T 细胞功能，在推进许多免疫相关疾病（包括癌症、炎症、自身免疫和病毒感染）的靶向治疗方面具有巨大潜力。造血细胞，尤其是原代 T 淋巴细胞，通常很难用小干扰 RNA (siRNA) 转染。在此，我们描述了一种使用靶向脂质纳米颗粒 (tLNP) 将 siRNA 特异性地递送到小鼠 CD4+ T 细胞的新策略。为了提高 siRNA 递送的效率，这些 tLNP 已与几种脂质一起配制，旨在提高 siRNA 递送的稳定性和效率。tLNP 表面用抗 CD4 单克隆抗体 (mAb) 功能化，以允许将 siRNA 特异性地递送到 CD4+ T 淋巴细胞。体外，tLNP 通过仅靶向原代 CD4+ T 淋巴细胞而不靶向其他细胞类型表现出特异性。这些粒子的全身静脉内给药导致有效结合并被多个解剖部位的 CD4+ T 淋巴细胞吸收，包括脾脏、腹股沟淋巴结、血液和骨髓。tLNPs 的沉默发生在循环和静息 CD4+ T 淋巴细胞的一个子集中。有趣的是，我们表明 tLNPs 内化而不是内体逃逸是一个基本事件，它早在全身给药后一小时内就发生，决定了 tLNPs 的功效。总之，这些结果表明 tLNPs 可能为操纵 T 细胞功能开辟新途径，并可能有助于建立 RNAi 作为白细胞相关疾病的治疗方式。项目 ID：10-2016-962
基于 SIC 的固态功率控制器
最新一代战斗机采用 270Vdc 电源系统 [1]。这种高压直流电源系统很难用传统断路器保护，因为电流在故障期间不会像交流电源系统那样每周期自动归零两次，因此触点电弧是一个问题。固态功率控制器 (SSPC) 是断路器的固态等效物，不会产生电弧，并且比机械断路器对故障的响应更快 [2]。目前的 SSPC 受到可用功率半导体的限制，只能支持较低的电压和电流 [8,9]。本论文介绍了 SSPC 的设计和实验结果，该 SSPC 使用 SiC 功率 JFET 作为 SSPC 电源开关，将 SSPC 功能扩展到更高的电压和电流，而其空间比 Si 电源开关实际可实现的空间更小。研究从 SSPC 电源开关的热分析开始，这将指导由 Solid State Devices Inc. (SSDI) 使用 SiCED 和/或 Semisouth LLC 的 JFET 制造的 SiC JFET 多芯片电源模块的开发。多个多芯片电源模块将并联以构成 SSPC 开关。制造的器件在静态和动态热性能以及静态和动态电气性能上进行了评估。除了 SiC 模块研究外，还完成了能够在 200ºC 下工作的高压 SSPC 控制电路的详细设计，包括详细分析、建模和模拟、详细原理图和详细图纸。最后，制造并测试选定控制电路的面包板以验证模拟结果。还开发了在 SSPC 应用特有的瞬态热条件下测试 SiC JFET 器件的方法。关键词：SiC、JFET、SSPC、热分析、多芯片
环丙沙星加剧了平滑肌细胞的功能障碍，在胸部主动脉瘤的微生物生理模型中
引言胸动脉瘤（TAA）是一种多因素心血管疾病，其主动脉夹层（AD）或破裂的风险很大。已知某些因素会影响TAA的发展，包括衰老，性别，结缔组织障碍，动脉粥样硬化，吸烟，高血压和家族史（1，2）。氟喹诺酮是最常见的抗生素类别之一，由于其广谱覆盖范围，出色的口服生物利用度，广泛的组织渗透以及历史上很少的不良影响（3，4）。最近，研究人员发现，氟喹诺酮的使用构成增加主动脉瘤（AA）/AD的风险。此外，AA/AD患者的氟喹诺酮暴露不良的风险很高（5-13）。先前的研究引起了人们对在高风险人群中使用氟喹诺酮类药物的关注。然而，很难通过进行临床试验来研究TAA患者氟喹诺酮类药物的潜在机制，这在药物暴露下可能有害和致命。因此，在最近的研究中已使用TAA动物模型，包括Marfan综合征相关和零星的TAA模型，以研究氟喹诺酮暴露（12，13）。然而，动物模型中的药物反应无法反映人类的实际机制，因为物种差异很大。此外，当前使用的TAA动物模型仅代表了TAA的部分类型。例如，在环丙沙星的博览中尚未探索双质主动脉瓣相关（与BAV相关）TAA的TAA，因为很难用有效的BAV相关TAA渗透率构建动物模型（14）。
战争中平民的保护 - DiVA 门户网站
摘要 条约和习惯法都绝对禁止直接攻击平民。然而，平民并不总是受到保护，因为国际法中也规定了例外情况。这些例外情况是由于在保护平民和民用物体与有效军事进步之间取得平衡而产生的。直接攻击和这些不分皂白的攻击之间的差异非常明显，国际法和国家法律意见中都有所体现。当某些军事优势因素超过保护平民或民用物体的利益时，不分皂白的攻击被视为合法。这被称为比例原则或比例评估，对于交战国的决策者和军事指挥官来说至关重要。什么构成对平民的合法攻击将在军事进步的更大优势中得到体现。因此，在决定是否发动攻击之前，决定发动攻击的人一方面要考虑军事进步，另一方面要考虑保护平民和民用物体。在决定此事时，需要考虑客观因素和主观因素。客观因素可能是确定某个建筑物或某个人是否应被视为平民。也可能是技术因素，例如在评估军事目标时选择的武器或与平民的距离。主观因素更难决定，因为它们通常涉及预期的军事优势。如果预期的军事优势被认为不够重要，则不应发动攻击。然而，由于其主观性，这是一个有争议的领域。在决定不分皂白的攻击是否合法或非法时，这一比例原则是关键。可以理解的是，主观评估取决于许多因素，有时很难用理论方式充分解释。该体系包含条约和习惯法，虽然并不总是能够充分解释比例原则在实践中的含义，但却相当全面。
![第 9 章 巴甫洛夫、斯金纳和其他行为主义者对人工智能的贡献 *** Witold Kosinski 和 Dominika Zaczek-Chrzanowska 波兰-日本信息技术研究所，波兰-日本计算机技术研究中心 ul. Koszykowa 86, 02-008 Warszawa wkos@pjwstk.edu.pl mado@pjwstk.edu.pl 摘要 将在真实和人工系统的背景下提供一种智能行为的定义。将简要介绍学习原理，从巴甫洛夫的经典条件作用开始，到桑代克和斯金纳的强化反应和操作性条件作用，最后到托尔曼和班杜拉的认知学习。本文将描述行为主义中最重要的人物，尤其是那些对人工智能做出贡献的人物。本文将介绍一些根据这些原理行事的人工智能工具。本文将尝试说明何时一些简单的行为修改规则可以导致复杂的智能行为。 1. 智能：描述 毫无疑问，行为主义者对人工智能的发展做出了巨大贡献。动物学习理论的证据，尤其是行为主义者发现的学习规律，多年来吸引了人工智能领域的研究人员，许多模型都以此为基础。智能是一个复杂而有争议的概念，因此很难用一个简单的定义来概括它。根据 Jordan 和 Jordan [1] 的说法，将智能视为我们用来描述具有一定质量的行为的概念是恰当的。在这方面应该使用两个标准，即速度（即代理执行需要智力的特定任务的速度）和能力（即代理可以执行的任务的难度）。另一方面，我们可以找到另一种智能定义，即执行认知过程的能力。有三个基本的认知过程：1) 抽象，2) 学习，3) 处理新颖性。该领域的杰出研究人员对智力给出了许多定义，例如，它被定义为：](/simg/g:\will\search\icon\source\6\627f48c0041fd2d34b503b6ed02bb4f19b9f3644.png)
第 9 章 巴甫洛夫、斯金纳和其他行为主义者对人工智能的贡献 *** Witold Kosinski 和 Dominika Zaczek-Chrzanowska 波兰-日本信息技术研究所，波兰-日本计算机技术研究中心 ul. Koszykowa 86, 02-008 Warszawa wkos@pjwstk.edu.pl mado@pjwstk.edu.pl 摘要 将在真实和人工系统的背景下提供一种智能行为的定义。将简要介绍学习原理，从巴甫洛夫的经典条件作用开始，到桑代克和斯金纳的强化反应和操作性条件作用，最后到托尔曼和班杜拉的认知学习。本文将描述行为主义中最重要的人物，尤其是那些对人工智能做出贡献的人物。本文将介绍一些根据这些原理行事的人工智能工具。本文将尝试说明何时一些简单的行为修改规则可以导致复杂的智能行为。 1. 智能：描述 毫无疑问，行为主义者对人工智能的发展做出了巨大贡献。动物学习理论的证据，尤其是行为主义者发现的学习规律，多年来吸引了人工智能领域的研究人员，许多模型都以此为基础。智能是一个复杂而有争议的概念，因此很难用一个简单的定义来概括它。根据 Jordan 和 Jordan [1] 的说法，将智能视为我们用来描述具有一定质量的行为的概念是恰当的。在这方面应该使用两个标准，即速度（即代理执行需要智力的特定任务的速度）和能力（即代理可以执行的任务的难度）。另一方面，我们可以找到另一种智能定义，即执行认知过程的能力。有三个基本的认知过程：1) 抽象，2) 学习，3) 处理新颖性。该领域的杰出研究人员对智力给出了许多定义，例如，它被定义为：
第 9 章 巴甫洛夫、斯金纳和其他行为主义者对人工智能的贡献 *** Witold Kosinski 和 Dominika Zaczek-Chrzanowska 波兰-日本信息技术研究所，波兰-日本计算机技术研究中心 ul. Koszykowa 86, 02-008 Warszawa wkos@pjwstk.edu.pl mado@pjwstk.edu.pl 摘要 将在真实和人工系统的背景下提供一种智能行为的定义。将简要介绍学习原理，从巴甫洛夫的经典条件作用开始，到桑代克和斯金纳的强化反应和操作性条件作用，最后到托尔曼和班杜拉的认知学习。本文将描述行为主义中最重要的人物，尤其是那些对人工智能做出贡献的人物。本文将介绍一些根据这些原理行事的人工智能工具。本文将尝试说明何时一些简单的行为修改规则可以导致复杂的智能行为。 1. 智能：描述 毫无疑问，行为主义者对人工智能的发展做出了巨大贡献。动物学习理论的证据，尤其是行为主义者发现的学习规律，多年来吸引了人工智能领域的研究人员，许多模型都以此为基础。智能是一个复杂而有争议的概念，因此很难用一个简单的定义来概括它。根据 Jordan 和 Jordan [1] 的说法，将智能视为我们用来描述具有一定质量的行为的概念是恰当的。在这方面应该使用两个标准，即速度（即代理执行需要智力的特定任务的速度）和能力（即代理可以执行的任务的难度）。另一方面，我们可以找到另一种智能定义，即执行认知过程的能力。有三个基本的认知过程：1) 抽象，2) 学习，3) 处理新颖性。该领域的杰出研究人员对智力给出了许多定义，例如，它被定义为：
针对无意义或罕见突变的新治疗方法
• 无义突变：它们在 DNA 序列的某个点（根据突变而变化）包含三个碱基（密码子），发出信号来中断 CFTR 蛋白的合成：它们也称为“停止”突变。由此产生的蛋白质被截断和去除•错义突变：导致 DNA 序列中碱基三联体交换的突变：这意味着在蛋白质链的某个点上，一个氨基酸被另一个氨基酸取代。这种替换不会去除蛋白质，但可以决定或多或少严重的功能改变，这取决于链的点和被替换的氨基酸的类型。在意大利，它们约占所有突变的 7%：最常见的（约 5%）是 N1303K。 • 移码突变：非常罕见（并且通常很难用当前技术识别），通过插入（添加）或删除（截断）大段 DNA 导致基因序列的重大改变，从而大大阻止 CFTR 蛋白的合成。在意大利，总体而言，它们所占比例不到 0.5%：例如 541delC 或 3667ins4（“del”或“ins”代表删除或插入）。 • 剪接突变：“剪接”是将基因的“编码”DNA 部分（称为“外显子”）中包含的遗传信息转移到信使 RNA 的机制，信使 RNA 负责控制蛋白质的合成。剪接机制受基因的“非编码”部分（称为“内含子”）的调控。与其他突变不同，剪接突变位于内含子中，而不是外显子中。这些突变会破坏代码的传输，通过或多或少地阻止正常 CFTR 蛋白的合成（具体取决于突变的类型）：本质上，这些突变会导致一定比例的正常 CFTR 和一定比例的改变或缺失的 CFTR。患有这些突变的人的临床情况取决于在合成过程中保留了多少正常 CFTR