XiaoMi-AI文件搜索系统
World File Search System功能强大
生成式 AI 工具 – 物理系指导
伦敦帝国理工学院 Blackett 实验室 2024 年 9 月 16 日 v1.1 生成式 AI 工具——物理系指导背景 生成式人工智能 (GAI) 工具，例如 ChatGPT、Scribe、GITHub Copilot 等，在工业和学术界变得无处不在。这些工具可以帮助开展研究、增进理解和提高产出。但是，如果误用或未仔细审查输出而使用，则会带来严重风险。我们根据最新的大学生成式 AI 工具指导概述了一些一般要点。 • AI 模型功能强大，可有效地用于检查您的书面作业质量、激发新想法或生成复杂主题的简化解释以支持您的学习。但是，这些模型在处理数学信息、科学证据和代码方面的成功有限。模型的训练基于有限的、有时是陈旧的信息。AI 模型的预测性质意味着它们通常无法区分准确的参考和捏造。因此，它通常会返回不正确、不相关或错误的信息。 • 将他人或他人创建的作品和评估当作自己的作品提交，属于剽窃，是一种作弊行为。这包括人工智能生成的内容。请参阅学院的学术不端行为政策了解更多信息（另请参阅物理剽窃指南）。
直接成像掩模版写入器
下一代成像技术融合了我们可调四波 LED 投影仪技术、新数据处理方法、外部光栅化引擎、无捕获相关数据重新加载、全区域高分辨率缩放、产量和质量改进工具等诸多方面的重大进步。吞吐量：下一代光引擎功能强大，允许您根据吞吐量选择更少的光引擎，从而降低机器投资成本。四波：下一代采用 360、370、390、405nm LED。这些 LED 可以进行调整以匹配光刻胶灵敏度，从而提高成像效率和调整壁陡度，并允许灵活选择光刻胶和阻焊层类型。符合 DART 标准：下一代包括外部光栅化引擎。这允许高速光栅化，包括数字线宽补偿和缩放，无需等待。使用 DART 优化套件进行全过程控制。视觉增强：Miva 的新视觉技术允许特征测量并改善目标获取。 NextGen 的视野更大，使面板放置更加简单，并且无需重新加载与捕获相关的数据。分辨率：NextGen 目前提供 30µm、15µm 或 6µm 分辨率。
提高商业数字摄影测量系统的自动化程度和灵活性 Younian Wang、Xinghe Yang、Mladen Stojic、Brad Skelton
徕卡测量系统，GIS 和测绘部门 2801 Buford Highway，亚特兰大，佐治亚州，美国 younian.wang@gis.leica-geosystems.com IC WG II/IV 关键词：数字、摄影测量、测绘、软件、软拷贝、自动化、算法、GIS。 摘要 经过大约 20 年的数字摄影测量系统研究和开发，商业软件系统变得越来越强大，能够解决大多数摄影测量测绘问题。另一方面，用户对数字摄影测量系统更高自动化和更大灵活性的需求不断增加，特别是随着各种新型高分辨率机载和星载相机的使用。为了满足市场需求和挑战，一种新的数字摄影测量系统应运而生。它被称为徕卡摄影测量套件。本文介绍了徕卡摄影测量套件的主要特点和功能。介绍了提高自动化和生产率的各种技术。阐述了易用性和高灵活性的设计理念和实施策略。介绍了传感器建模、DTM 提取和编辑以及制图要素采集的强大功能。演示了自动内部定位、自动点测量、自动 DTM 提取和自动图像镶嵌算法。多个示例和独立测试结果表明，Leica 摄影测量套件是一款功能强大且可靠的数字摄影测量系统，适用于高级摄影测量师和 GIS 专业人员。1 简介
naysayer证明 - 密码学EPRINT档案
在大多数具有编程功能的区块链中，例如以太坊[W + 14]，开发人员被激励以最大程度地减少链链程序的存储和计算复杂性。具有高度计算或存储的应用产生的大量费用，通常称为气体，以补偿网络中的验证器。通常，这些费用会传递给应用程序的用户。高气成本促使许多应用程序利用可验证的计算[GGP10]，将昂贵的操作放置到执行任意计算并提供简洁的非互动证明（SNARK）的功能强大但不受信任的脱链实体的昂贵操作（SNARK）是正确的。在零知识证明（即ZKSNARKS）的情况下，该计算甚至取决于验证者不知道的秘密输入。可验证的计算导致范式，其中智能合约虽然能够进行任意计算，但主要充当验证符，并将所有重要的计算外包外包。激励应用程序是汇总，它将许多用户的交易结合到单个智能合约中，该合约验证了所有用户都已正确执行的证明。但是，验证这些证据仍然很昂贵。例如，迄今为止，Starkex汇总已经花费了数十万美元来验证周五多项式承诺的开放证明。1
提高商业数字摄影测量系统的自动化程度和灵活性 Younian Wang、Xinghe Yang、Mladen Stojic、Brad Skelton
徕卡测量系统，GIS 和测绘部门 2801 Buford Highway，亚特兰大，佐治亚州，美国 younian.wang@gis.leica-geosystems.com IC WG II/IV 关键词：数字、摄影测量、测绘、软件、软拷贝、自动化、算法、GIS。 摘要 经过大约 20 年的数字摄影测量系统研究和开发，商业软件系统变得越来越强大，能够解决大多数摄影测量测绘问题。另一方面，用户对数字摄影测量系统更高自动化和更大灵活性的需求不断增加，特别是随着各种新型高分辨率机载和星载相机的使用。为了满足市场需求和挑战，一种新的数字摄影测量系统应运而生。它被称为徕卡摄影测量套件。本文介绍了徕卡摄影测量套件的主要特点和功能。介绍了提高自动化和生产率的各种技术。阐述了易用性和高灵活性的设计理念和实施策略。介绍了传感器建模、DTM 提取和编辑以及制图要素采集的强大功能。演示了自动内部定位、自动点测量、自动 DTM 提取和自动图像镶嵌算法。多个示例和独立测试结果表明，Leica 摄影测量套件是一款功能强大且可靠的数字摄影测量系统，适用于高级摄影测量师和 GIS 专业人员。1 简介
提高商业数字摄影测量系统的自动化程度和灵活性 Younian Wang、Xinghe Yang、Mladen Stojic、Brad Skelton
徕卡测量系统，GIS 和测绘部门 2801 Buford Highway，亚特兰大，佐治亚州，美国 younian.wang@gis.leica-geosystems.com IC WG II/IV 关键词：数字、摄影测量、测绘、软件、软拷贝、自动化、算法、GIS。 摘要 经过大约 20 年的数字摄影测量系统研究和开发，商业软件系统变得越来越强大，能够解决大多数摄影测量测绘问题。另一方面，用户对数字摄影测量系统更高自动化和更大灵活性的需求不断增加，特别是随着各种新型高分辨率机载和星载相机的使用。为了满足市场需求和挑战，一种新的数字摄影测量系统应运而生。它被称为徕卡摄影测量套件。本文介绍了徕卡摄影测量套件的主要特点和功能。介绍了提高自动化和生产率的各种技术。阐述了易用性和高灵活性的设计理念和实施策略。介绍了传感器建模、DTM 提取和编辑以及制图要素采集的强大功能。演示了自动内部定位、自动点测量、自动 DTM 提取和自动图像镶嵌算法。多个示例和独立测试结果表明，Leica 摄影测量套件是一款功能强大且可靠的数字摄影测量系统，适用于高级摄影测量师和 GIS 专业人员。1 简介
革命性的早期疾病检测：阿曼2型糖尿病筛查的高临界性4D CNN模型
在高强度钢（HSS）梁中使用周期性的基于椭圆形的网络（EBW）开口在近年来越来越受欢迎，这主要是由于高强度重量比和降低地板高度，这是由于允许不同的公用事业服务通过网络开放的原因。但是，这些部分容易受到Web-Post屈曲（WPB）故障模式的影响，因此必须使用准确的设计工具来预测Web-Post屈曲容量。因此，本文旨在通过（EBW）开口（EBW）开口来预测HSS光束中WPB容量的各种机器学习（ML）方法的能力，并评估现有分析设计模型的性能。为此，考虑了S460，S690和S960钢等级，开发和验证了数值模型，目的是进行总共10,764个Web-POST有限元模型。该数据用于训练和验证包括人工神经网络（ANN），支持向量机回归（SVR）和基因表达编程（GEP）的不同ML算法。最后，本文提出了用于WPB电阻预测的新设计模型。结果将详细讨论，并将其与数值模型和现有的分析设计方法进行了比较。基于机器学习预测的提议的设计模型被证明是功能强大，可靠和高效的设计工具，可用于对HSS梁的WPB电阻进行定期（EBW）开口的WPB电阻。
迈向商业领域更高的自动化和灵活性...
Leica Geosystems，GIS 和测绘部门 2801 Buford Highway，亚特兰大，佐治亚州，美国 younian.wang@gis.leica-geosystems.com IC WG II/IV 关键词：数字、摄影测量、测绘、软件、软拷贝、自动化、算法、GIS。摘要 经过大约 20 年的数字摄影测量系统研究和开发，商业软件系统变得越来越强大，能够解决大多数摄影测量测绘问题。另一方面，用户对数字摄影测量系统更高自动化和更大灵活性的需求不断增加，特别是随着各种新型高分辨率机载和星载相机的使用。为了满足市场需求和挑战，一种新的数字摄影测量系统已经开发出来。它被称为 Leica 摄影测量套件。本文介绍了徕卡摄影测量套件的主要特点和功能。介绍了提高自动化和生产率的各种技术。解释了易于使用和高灵活性的设计理念和实施策略。介绍了传感器建模、DTM 提取和编辑以及制图特征收集的强大功能。演示了自动内定位、自动点测量、自动 DTM 提取和自动图像镶嵌的算法。多个示例和独立测试结果表明，徕卡摄影测量套件是一款功能强大且可靠的数字摄影测量系统，适用于高级摄影测量师和 GIS 专业人员。1 简介
利用下一代肺泡 2 型类器官平台模拟肺腺癌的多种遗传亚型
肺癌是全球癌症相关死亡的主要原因。肺腺癌 (LUAD) 是最常见的组织学亚型，占所有病例的 40%。虽然现有的基因工程小鼠模型 (GEMM) 重现了人类 LUAD 的组织学进展和转录进化，但它们耗时且技术要求高。相比之下，细胞系移植模型快速灵活，但这些模型无法捕捉疾病进展的全部范围。类器官技术提供了一种创建下一代癌症模型的方法，该模型整合了自体系统和基于移植的系统的最有利特征。然而，目前缺乏强大而可靠的 LUAD 类器官平台。在这里，我们描述了在类器官培养中持续扩增小鼠肺泡 2 型 (AT2) 细胞（LUAD 的主要起源细胞）的优化条件。这些类器官表现出 AT2 细胞的典型特征，包括标记基因表达、层状体的存在以及分化为 AT1 谱系的能力。我们利用该系统开发了灵活且多功能的免疫功能正常的类器官模型，用于 KRAS 、 BRAF 和 ALK 突变型 LUAD。值得注意的是，类器官肿瘤表现出广泛的负担和完全渗透性，并且在组织病理学上与原发肿瘤没有区别。总之，该类器官平台是一个功能强大、用途广泛的新型 LUAD 研究模型系统。
![arXiv:2501.04661v1 [cs.CL] 2025 年 1 月 8 日](/simg/9\9fe58559bff64e656410c92855b2f5594d1bede8.png)
arXiv:2501.04661v1 [cs.CL] 2025 年 1 月 8 日
大型语言模型尽管功能强大，但往往会以令人惊讶和难以预测的方式失败。由于它们是基于大量网络规模的数据进行训练的，因此评估它们对语言的真正“理解”尤其具有挑战性。因此，我们利用构造语法 (CxG) 构建了一个评估系统，以系统地评估 LLM 中的自然语言理解 (NLU)，该评估系统可以洞悉语言元素（称为构造 (Cxns)）所捕获的含义。CxG 非常适合此目的，因为它为构建有针对性的评估集提供了理论基础。这些数据集经过精心构建，包含不太可能出现在预训练数据中的示例，但直观且易于人类理解，从而实现更有针对性和更可靠的评估。我们的实验重点关注下游自然语言推理和推理任务，通过将 LLM 对通过 8 个独特 Cxns 传达的底层含义的理解与人类的理解进行比较。结果表明，虽然 LLM 展示了一些结构信息知识，但即使是包括 GPT-o1 在内的最新模型也难以理解这些结构信息所传达的抽象含义，正如测试句子与其预训练数据不同的情况下所证明的那样。我们认为，这种情况可以更准确地测试真正的语言理解能力，凸显了 LLM 语义能力的关键局限性。我们将我们的新数据集和相关实验数据（包括提示和模型响应）公开。