XiaoMi-AI文件搜索系统
World File Search Systemconstraints
具有碳约束的水力热系统中的战略存储使用
他们引入了在NASH-Cournot模型中难以解决的非跨性别。例如，Ramos等。（1998）使用侧面限制来反映战略行为，以便仅当单位投入时，边际收入大于或等于边际成本。但是，正如Hobbs（2001）所提到的那样，这种约束可能会繁琐，包括在多期模型中。
美国太阳能和风能可靠性的地球物理约束
更广泛的背景 许多电力行业脱碳计划要求未来 4 80% 的电力由太阳能和风能提供。然而，太阳能和风能对发电结构的贡献程度将受到太阳能和风能资源的时间和空间变化以及电力需求的时间和位置以及电力系统的其他特征（例如，输电网、能源存储、需求管理、可调度电力、可靠性要求等）的限制。。在这里，我们分析了 36 年的全球每小时天气数据，以评估美国太阳能和风能的地球物理资源特征。我们发现，要实现太阳能和风能满足的 B 80% 的需求，需要美国范围的输电网或 12 小时的能源存储（ B 5.4 TW h）。超过 80% 后，克服季节和天气变化所需的能量存储量或多余的太阳能/风能发电量将迅速增加。今天，这将非常昂贵。相对低成本、可调度、低 CO 2 排放电力的可用性将消除对这种额外太阳能和风能或能量存储容量的需求，同时满足数十年时间范围内的可靠性要求。
与任务优先限制的人类机器人共享工作空间协作的软件工具
人类机器人共享工作空间中的一个关键挑战是定义决策标准，以选择浮华，有效和安全的协作的下一个任务。在工业环境中使用机器人时，任务可能符合要执行的优先限制。在机器人独自结束之前，当人无法执行任务时，行业中的优先限制的一个典型例子发生在汇编站。本文介绍了一种基于最大熵逆最佳控制的方法，用于识别人类目标的概率分布，并将其包含在人类机器人共享 - 工作空间协作的软件工具中。软件分析人类目标和目标优先限制，并且能够确定最佳机器人目标以及相对运动计划。所使用的方法是一种用于管理目标优先限制的算法和用于选择下一个机器人动作的部分可观察到的马尔可夫决策过程（POMDP）。与15名参与者进行了比较研究，在现实世界中进行了。该实验的重点是评估任务效果，任务效率和人类满意度。所提出的模型显示机器人闲置时间的减少并增加了人类满意度。
对地球聚合物材料的系统评价：创新，主要约束和决议
抽象地球聚合物是一种新型的环保生物降解材料，预计出现会减少波特兰水泥制造公司引起的二氧化碳排放。地球聚合物材料具有非凡的机械性能和其他令人钦佩的特性，例如火灾和耐腐蚀性。除了对周围环境的有害影响外，大多数工业固体废物（ISW）和废闷底灰（WSBA）被堆积起来，充满了土地质量。重新处理可以使其适合用作制造地球聚合物的材料。他们可以有效地吸附重金属，染料或色素以及其他放射性污染物，这对人类未来的发展非常有帮助。另一方面，由于地球聚合物材料的特征，其功能远远超过了。在本研究中已知有关地球聚合物材料的特定有用信息。这项研究涵盖了地质聚合物材料的来源，地质聚合过程，激活剂的类别，它们的形成技术以及地球聚合物材料的不同使用区域。此外，讨论了影响地球聚合物材料机械特征的因素。最后，总结了这些材料的不足和用法区域，并且它们的进化被删节，以准备理论或假设的基础，以持续改善地质聚合物材料。
具有附带约束的小型开放经济模型中的平稳性诱导技术
在商务周期频率上。2我在这篇简短的论文中显示的是，一旦我添加了附带约束，这种等价性就不再存在，因此EDF模型和DEIR模型之间的选择不再是一个琐碎的问题。i建立在基线小型开放经济模型的基础上。我首先添加了上述文献中的EDF和DEIR机制，然后，我还添加了一个简单的财务约束，例如Mendoza（2002），该文献也用于突然停止。3后者意味着国内代理商不能从世界资本市场借入超过其资产的一小部分，因此，当它具有束缚时，就像突然停止一样。为了证明这两种机制的不同含义，我首先解决并评估这两个模型（即EDF和DEIR）通过比较侧支约束结合和不结合时的稳态解。然后，我解决并评估它们的动态。特别是我认为这两个模型恰好处于财务上不受限制的稳态平衡（在模型之间相同），然后被TFP的暂时不利冲击击中。再次，我比较了有和没有附带约束的两个模型，在这种情况下，我使用Guerrieri和Iacoviello（2015）的方法来允许偶尔具有结合的侧支约束。我的主要结果如下。这既适用于稳态和过渡。因此，一旦我添加了附带约束，适当的参数组合不足以使这些流行的模型规范等效。财务约束的存在打破了EDF与DEIR模型之间的等价性，更普遍地打破了对使小型开放经济模型固定方式无动于衷的著名结果。鉴于此，对两个模型的动力学进行了比较表明，EDF模型预测，与DEIR模型相对较慢的经济经济恢复较慢，从而使经济上的经济恢复较慢，这也有助于使小型开放经济模型更接近风格化的事实。非等效性结果来自外国债券和资本的Euler方程，从某种意义上说，侧支约束的引入增加了额外的扭曲，也称为资产定价楔形，在EDF和DEIR模型之间有差异。这让人想起资产负债表货币政策的文献。一旦添加金融摩擦（例如借用限制，交易成本，细分市场，道德危害等）进入华莱士（Wallace）（1981）基线模型，不同的平衡页面票面策略可能会导致不同的资产定价楔形，这使这些政策及其组合会影响实际的经济活动（请参阅Walsh 2017，第11.5章，以获取综述）。纸张的其余部分如下。第2节介绍了经济环境。第3节解决了模型。最后一部分关闭了这篇简短的论文。
具有预算限制的替代市场：解决竞争和最佳价格
摘要。从收入和福利的角度，已经广泛研究了具有多种可分割商品的市场。一般而言，众所周知，嫉妒的收入最大成果可能导致福利低于竞争均衡结果。我们研究一个市场，在该市场中，买家拥有具有线性替代估值和预算限制的准公用事业，并且卖方必须找到价格和嫉妒的无嫉妒分配，以最大程度地提高收入或福利。我们的设置镜面市场，例如交换财务资产的拍卖和拍卖。我们证明，独特的竞争平衡价格也是嫉妒的无限收入。最大收入和福利的巧合令人惊讶，即使买家具有分段线性的估值，也会崩溃。我们介绍了需求不超过供应的“可行”价格集的新颖特征，表明该集合具有最低价格的价格向量，并证明这些价格使收入和福利最大化。证明还意味着一种用于查找此独特价格向量的算法。
使用惩罚最小二乘>的符号回归中的形状约束
摘要。我们研究了形状约束（SC）的添加及其在符号识别步骤（SR）的参数识别步骤中的考虑。sc是一种将有关未知模型函数形状的先验知识引入SR的手段。与以前在SR中探索过SC的工作不同，我们建议在使用基于梯度的NU-MERIMILICE优化的参数识别期间最大程度地减少SC违规行为。我们测试了三种算法变体，以评估其在识别合成生成数据集的三个符号表达式时的性能。本文研究了两种基准方案：一个具有不同噪声水平的基准，另一个具有不同的培训数据。结果表明，当数据稀缺时，将SC纳入表达搜索特别有益。与仅在选择过程中使用SC相比，我们在参数识别期间最小化违规行为的方法在我们的某些测试用例中显示出具有统计学意义的好处，在任何情况下都没有明显更糟。
插入安全芯片：LLM驱动机器人代理的执行限制
摘要 - 大型语言模型（LLM）的最新进展已使新的研究领域LLM代理通过利用在预训练期间获得的LLM的世界知识和一般推理来解决机器人技术和计划任务。然而，尽管已经付出了巨大的努力来教机器人“ dos”，但“毫无疑问”受到了相对较少的关注。我们认为，对于任何实际用法，教机器人“不”：传达有关禁止行动的明确指示，评估机器人对这些限制的理解，最重要的是，最重要的是，确保合规性至关重要。此外，可以进行验证的安全操作对于满足全球标准（例如ISO 61508）的部署至关重要，这些标准是定义在全球工业工厂环境中安全部署机器人的标准。旨在在协作环境中部署LLM代理，我们提出了一个基于线性时间逻辑（LTL）的可查询安全约束模块，该模块同时使NAT-URAL语言（NL）可以进行时间约束，以编码，安全性侵犯推理和解释和解释以及不安全的动作。为了证明我们系统的有效性，我们在虚拟机环境和真实机器人中进行了实验。实验结果表明，我们的系统严格遵守安全限制，并具有复杂的安全限制，强调了其实用性的潜力。
受时间限制的飞机下降操作的最佳轨迹管理
图列表。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。vii 表格列表。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。ix 出版物列表。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。xi 协议。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。xiii 摘要。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。xv 摘要。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。xvii 符号。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。xix 缩略词列表。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。xxv
PandaX-4T 实验中轴矢量和赝标量介导的 WIMP-原子核相互作用的限制
周黄 a 、陈成汉 a 、阿卜杜萨拉姆·阿卜都克里木 a 、子浩博 a 、陈伟 a 、陈迅 a,t 、陈云华 h 、陈成 o 、程兆堪 p 、崔相宜 m 、范英杰 q 、方德清 r 、毛昌波 、付孟廷 g 、耿力生 b,c,d 、卡尔·吉博尼 a 、顾林辉 a 、郭旭源 a 、何昌达 a 、何金荣 h 、黄迪 a 、黄彦林 s 、侯汝泉 t 、吉向东 l 、军永林 、李晨翔 a 、李家福 、李明传 h 、林淑 n 、李帅杰 m 、清林 e,f 、刘江来 a,m,t,1 、陆晓英 j,k 、罗灵隐克,罗云阳 f , 马文波 a , 马尔玉刚 , 毛亚军 g , 孟跃 a,t , 宁旭阳 a , 宁春齐 h , 钱志成 a , 香香任 j,k , Nasir Shaheed j,k , 尚松 h , 尚晓峰 a , 沉国芳 b , 林斯 a , 孙文亮 h , 谭安迪 l , 陶毅 a,t , 安庆王 j,k , 王萌 j,k , 王秋红 r , 王少波 a,1 , 王四光 g , 王伟 o , 王秀丽 n , 王周 a,t,m , 魏月欢 p , 吴萌萌 o , 吴伟豪 a , 夏经凯 a , 肖孟娇 l , 肖翔 o , 谢鹏伟 m , 严彬彬 a,t , 严希宇 s ,杨吉军 a 、杨勇 a 、于春旭 q 、袁居民 j,k 、袁哲 r 、曾新宁 a 、张丹 l 、张敏珍 a 、张鹏 h 、张世波 a 、张舒 o 、张涛 a 、张迎新 j,k 、张媛媛 m 、李赵 a 、郑其斌 s 、周吉芳 h 、宁周 a,t, * ,周小鹏 b , 周勇 h , 周玉波 a