XiaoMi-AI文件搜索系统
World File Search System功能模型
航空安全风险分析计划
• 风险建模： - 使用系统功能模型提供有关风险来源的知识。- 确定有关促进、预防、减轻或加剧危险的因素和条件的信息。- 识别组织压力源的影响。- 开发事故成因模型、危险描述和危险关键性。• 分析概念开发： - 调查和设计决策支持、风险指标和安全绩效衡量的概念。利用定性和定量方法来评估系统组件性能的充分性、危险的存在和严重性、系统组织防御的稳健性以及系统安全属性的质量。• 数据采集： - 开发数据收集方法、工作任务工具、样本大小计划并评估现有数据源。• 分析方法和决策支持系统 (DSS)： - 为最终用户开发 DSS 工具。
运动图像标准配置文件 MISP-2022.1
图 1：支持 MISP 的标准生态系统 ...................................................................................................................... 11 图 2：组成运动图像的图像说明 ...................................................................................................................... 14 图 3：运动图像功能模型和构建块功能 ...................................................................................................... 16 图 4：图像序列 ...................................................................................................................................... 18 图 5：以颜色为例的图像解剖 ...................................................................................................................... 19 图 6：逐行全局、逐行滚动和隔行扫描的示例 ............................................................................................. 21 图 7：运动图像的类别 ............................................................................................................................. 23 图 8：0 类运动图像转换 ............................................................................................................................. 27 图 9：MPEG-2 传输流容器 ............................................................................................................. 38 图 10：2x2 图像几何说明 ............................................................................................................................. 40 图 11：运动图像数据规范化 ............................................................................................................................. 45 图 12：收藏示例（MISB ST 0601）................................................................................ 49
使用自回归语言模型设计现实的监管DNA
顺式调节元件（CRE），例如启动子和增强子，是调节基因表达的DNA序列。CRE的活性受到序列基序的顺序，组成和间距的影响，这些序列基序被称为转录因子（TFS）结合的序列基序。合成CRE具有特定特性。在这里，我们提出了Reglm，这是一个设计具有所需属性的合成CRE的框架，例如高，低或细胞类型 - 特定活动，并使用自回归语言模型与有监督的序列到功能模型结合。我们使用框架设计合成酵母启动子和细胞类型 - 特定的人类增强剂。我们证明，我们方法产生的合成CRE不仅被预测具有所需的功能，而且还包含类似于实验验证的CRE的生物学特征。reglm因此促进了现实的调节DNA元素的设计，同时提供了对顺式调节代码的见解。
跨越不同神经系统的视觉信息解码...
摘要：视觉在智能中扮演着特殊角色。视觉信息是感官信息的很大一部分，它被输入到人脑中，形成各种类型的认知和行为，使人类成为智能体。最近的进展导致了受大脑启发的机器视觉算法和模型的发展。这些方法的关键组成部分之一是利用生物神经元背后的计算原理。此外，先进的实验神经科学技术已经产生了不同类型的神经信号，这些信号携带着重要的视觉信息。因此，迫切需要绘制出从神经信号中读取视觉信息的功能模型。在这里，我们简要回顾了这一问题的最新进展，重点介绍了机器学习技术如何帮助开发用于处理各种类型神经信号的模型，从细尺度神经尖峰和单细胞钙成像到粗尺度脑电图 (EEG) 和脑信号的功能性磁共振成像记录。
![arxiv：2308.14663v2 [CS.LO] 2024年1月15日](/simg/g:\will\search\icon\source\4\47b84ad167a03e860b8082de03e6510180fdae2e.webp)
arxiv：2308.14663v2 [CS.LO] 2024年1月15日
摘要。自我适应是自主系统的关键特征，必须应对其环境和内部状态中的不确定性。自适应系统通常被建模为具有托管子系统的两层系统，可处理域关注和实施适应性逻辑的管理子系统。我们考虑了自适应机器人系统的案例研究；更具体地说，一种用于管道检查的水下水下车辆（AUV）。在本文中，我们使用功能吸引的概率模型检查器Profeat对其进行建模和分析。AUV的功能是在功能模型中建模的，从而捕获了AUV的可变性。这使我们能够将AUV的托管子系统建模为一个系统家族，每个家庭成员都对应于AUV的有效功能配置。AUV的管理子系统被建模为在此类有效的特征配置之间动态切换的控制层，这取决于环境和内部条件。我们使用此模型来分析AUV的概率奖励和安全性。
COVID-19对家庭一级的经济影响
世界各地的政府采取了措施，以遏制导致经济活动受到限制的病毒传播。虽然经济影响多种多样且广泛蔓延，但从政策的角度来看，对家庭层面检查影响的兴趣至关重要。这有助于监视主要的社会经济指标的进度，并及时，适当的政策回应。在这种情况下，该观点论文概述了基于影响评估的文献来检查Covid-19在家庭级指标数量上的影响时采用的方法。本文还概述了一个框架，用于识别关键优先级领域，特别是参考尼泊尔。，我们提出了标准的家庭健康生产功能模型，将准实验设计用作研究家庭一级影响的候选人。同样，与贫困，食品和营养，教育，健康和劳动力市场有关的指标对于尼泊尔的发展愿望和轨迹引起了主要兴趣。我们希望本文将有助于选择适当的方法来评估家庭层面的影响并了解尼泊尔的政策和数据上下文。
考虑不精确性的复杂系统高效可靠性分析
本文研究了考虑不精确性的复杂系统的可靠性。通过结合来自不同领域（即结构可靠性和系统可靠性）的两种方法，我们得到了一种新方法。生存特征、模糊概率理论和两种版本的非侵入随机模拟 (NISS) 方法的概念经过调整和合并，提供了一种有效的方法来量化考虑整个不确定性谱的复杂系统的可靠性。新方法结合了其两个原始组件的优势特征：1. 由于生存特征的分离特性，计算工作量显著减少，即一旦计算出系统结构，就可以测试概率部分的任何可能特征，而无需重新计算结构；2. 由于采用了改进的 NISS 方法，样本量显著减少，只需要进行一次随机模拟，避免了传统上采用的双循环模拟。除了理论方面的融合之外，该方法还用于分析轴流压缩机和任意复杂系统的功能模型，提供准确的结果并展示出效率和广泛的适用性。
布拉格捷克理工大学电工技术...
上市时间是决定集成电路设计开发成本的关键因素。自动化部分设计过程的工具可以节省开发时间，因为本质上是跳过了这些部分。在本项目中，基于现有存储器设计，使用 Cadence SKILL 语言为此目的开发了一个只读存储器生成器。此设计是一个具有 12 位输入地址的 1.8 V 异步存储器。位线的数量直接对应于输出数据总线的宽度。生成器功能包括存储器原理图和布局生成、存储器重新编程、自动解码和布局后访问时间模拟，以及生成用于 Verilog 中解码模拟的功能模型。可以使用直接集成到 Cadence Virtuoso 菜单中图形用户界面单独运行这些功能。在正常条件下，创建的内存范围从 128 B 到 65.536 kB，访问时间从 4.2 ns 到 6.9 ns。角运行显示最多比原始值增加 78%。此外，生成的内存布局面积从 21397 µm2 到 829776 µm2。最大内存生成时间为 1 小时 31 分钟。
优化在产品开发早期阶段的应用，使用小型无人机案例研究
摘要。创新产品开发涉及许多工具、方法和途径，以便更快地创造更好的产品并满足客户需求。两种广泛使用的方法是产品生命周期管理 (PLM) 和基于模型的系统工程 (MBSE)。然而，结合方法论 PLM MBSE 的软件工具并不多；可以提到 LMS 系统合成软件，目前正在积极开发中。它用于创建系统模型，其中包括能够描述多物理域中系统行为的功能模型。因此，当产品的系统模型是多学科的时，参数值描述系统的最佳状态并不明显。出于这些原因，在产品开发的早期阶段，应用多学科优化技术和特定工具来计算开发系统的适当参数至关重要。本研究致力于将不同的优化工具（如 pSeven 和 Optimus Noesis）应用于构成小型无人机 (UAV) 数字孪生的数值模型。本文介绍了这项研究的结果，特别是优化问题的公式、详细的数值模型和计算结果。主要思想是，优化不应作为单独数值模型的附加工具，而应将其作为与 PLM 和 MBSE 工具一起应用的强大手段，以确保产品
建筑环境的数字孪生
本文的总体目标是通过借鉴现有的制造业数字孪生 (DT) 研究，为更好地理解建筑环境中的数字孪生 (DT) 范式做出贡献。DT 是一种产品生命周期管理信息构造，已迁移到建筑环境中，而近年来，该主题的研究发展迅速。与早期研究阶段一样，建筑环境中的数字孪生研究有机发展，为成熟的定义和强大的研究框架奠定了基础。由于制造业的数字孪生研究最为发达，本文旨在通过分析制造业文献中报道的数字孪生系统的结构和功能，加深对建筑环境中数字孪生的理解。首先，本文对数字孪生、信息物理系统 (CPS) 和建筑信息模型 (BIM) 进行了全面的回顾和比较。然后，介绍了对数字孪生结构和功能描述的审查和分类结果。本文审查了 54 份学术出版物和行业报告，并详细分析了它们的结构和功能描述。确定了三种结构模型（即概念模型、系统架构和数据模型）和三种功能模型（流程和通信模型）。还审查了 DT 成熟度模型。从审查的描述中，DT 概念模型分为四类（原型、模型 b