XiaoMi-AI文件搜索系统
World File Search SystemPOK
基于视觉反应的脑部疾病计算机视觉
4 BIAI INC.，美国马萨诸塞州切姆斯福德，5 BIAI Intelligence Biotech LLC，中国深圳，6 哈佛大学医学院神经内科，美国马萨诸塞州波士顿，7 波士顿大学眼科协会眼科系视网膜分部，美国马萨诸塞州波士顿，8 中国科学院深圳先进技术研究院高性能计算中心，中国深圳，9 广州医科大学附属脑科医院（广州惠爱医院）情感障碍科和情绪与脑科学院士工作站，中国广州，10 暨南大学粤港澳中枢神经系统 (CNS) 再生研究所，中国广州，11 复旦大学数学科学学院非线性数学模型与方法重点实验室，中国上海，12 麻省总医院精神病学系抑郁症临床与研究项目，美国马萨诸塞州波士顿， 13 香港大学眼科学系脑与认知科学国家重点实验室，香港薄扶林
基于视觉反应的脑部疾病计算机视觉
4 BIAI INC.，美国马萨诸塞州切姆斯福德，5 BIAI Intelligence Biotech LLC，中国深圳，6 哈佛大学医学院神经内科，美国马萨诸塞州波士顿，7 波士顿大学眼科协会眼科系视网膜分部，美国马萨诸塞州波士顿，8 中国科学院深圳先进技术研究院高性能计算中心，中国深圳，9 广州医科大学附属脑科医院（广州惠爱医院）情感障碍科和情绪与脑科学院士工作站，中国广州，10 暨南大学粤港澳中枢神经系统 (CNS) 再生研究所，中国广州，11 复旦大学数学科学学院非线性数学模型与方法重点实验室，中国上海，12 麻省总医院精神病学系抑郁症临床与研究项目，美国马萨诸塞州波士顿， 13 香港大学眼科学系脑与认知科学国家重点实验室，香港薄扶林
柬埔寨自然历史杂志
在全球范围内，淡水生物多样性面临着越来越多的威胁（Dudgeon等，2006）和下湄公河下游盆地（LMB）的养生社区，这表明了这一趋势。气候变化，水力发电发展和人口越来越多的是盆地的主要压力源（Lauri等，2012; Pokhrel等，2018; Yoshida等，2020），涵盖了大约571,000 km 2，遍及Cambodia，Cambodia，Thailand，Laos和Vietnam。在柬埔寨，湄公河进入该国与老挝的边界，并流向向南480公里的流动，到达与越南的边界。在向南流动时，它是由大型支流提供的，包括Sekong，Sesan和Sre Pok（3s）河流，这些河流排出南部老挝，越南中部和柬埔寨东北部。此外，柬埔寨西亚最大的湖泊（The Tonle Sap）。作为一个热带流域，湖泊经常性潮湿季节和相关的湿地流动，该湖泊支持了一个超过1000多种鱼类的富有成效和多样化的社区（Hortle，2009a; Rainboth et al。，2012）。由于物种适应季节性可用的，高生产力的栖息地（Poulsen et al。，2002），因此物种适应了盆地的季节性脉冲驱动丰度。该生态系统每年的收获超过200万吨，由数百种物种组成，为超过7000万人提供了粮食安全（Hortle，2009b； Fao，2020）。这意味着监测鱼类社区至关重要，既是生物多样性损失的预警系统，又是评估保护措施的影响。然而，柬埔寨在大型热带河流系统中的生物视为监测所常见的挑战，包括
基于实时设计稳健的四轴飞行器软件...
摘要。目前，制造可靠的无人机（无人机）是科学和技术的一项重要任务，因为此类设备在数字经济和现代生活中有很多用例，所以我们需要确保它们的可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。此类操作系统的一个很好的例子是开源 POK（分区操作内核）。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式验证方法。我们还提供了使用演绎方法在代码级别以及使用微分动态逻辑在信息物理系统级别验证属性的示例，以证明稳定性。
基于实时设计强大的四轴飞行器软件...
摘要。目前，制造可靠的无人机是科学技术领域的一项重要任务，因为此类设备在数字经济和现代生活中有很多用途，因此我们需要确保其可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。开源 POK（分区操作内核）就是这种操作系统的一个很好的例子。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式化验证方法。我们还使用演绎方法在代码级别提供可验证属性的示例，并使用差分动态逻辑在信息物理系统级别提供可验证属性的示例，以证明稳定性。
基于实时设计强大的四轴飞行器软件...
摘要。目前，制造可靠的无人机（无人机）是科学和技术的一项重要任务，因为此类设备在数字经济和现代生活中有很多用例，所以我们需要确保它们的可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。此类操作系统的一个很好的例子是开源 POK（分区操作内核）。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式验证方法。我们还提供了使用演绎方法在代码级别以及使用微分动态逻辑在信息物理系统级别验证属性的示例，以证明稳定性。
基于实时设计强大的四轴飞行器软件...
摘要。目前，制造可靠的无人机是科学技术领域的一项重要任务，因为此类设备在数字经济和现代生活中有很多用途，因此我们需要确保其可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。开源 POK（分区操作内核）就是这种操作系统的一个很好的例子。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式化验证方法。我们还使用演绎方法在代码级别提供可验证属性的示例，并使用差分动态逻辑在信息物理系统级别提供可验证属性的示例，以证明稳定性。
基于实时设计强大的四轴飞行器软件...
摘要。目前，制造可靠的无人机是科学技术领域的一项重要任务，因为此类设备在数字经济和现代生活中有很多用途，因此我们需要确保其可靠性。在本文中，我们建议用低成本组件组装四轴飞行器以获得硬件原型，并使用现有的开源软件解决方案开发具有高可靠性要求的飞行控制器软件解决方案，该解决方案将满足航空电子软件标准。我们将结果用作教学课程“操作系统组件”和“软件验证”的模型。在研究中，我们分析了四轴飞行器及其飞行控制器的结构，并提出了一种自组装解决方案。我们将 Ardupilot 描述为无人机的开源软件、适当的 APM 控制器和 PID 控制方法。当今航空电子飞行控制器可靠软件的标准是实时分区操作系统，该系统能够以预期的速度响应来自设备的事件，并在隔离分区之间共享处理器时间和内存。开源 POK（分区操作内核）就是这种操作系统的一个很好的例子。在其存储库中，它包含一个四轴飞行器系统的示例设计，使用 AADL 语言对其硬件和软件进行建模。我们将这种技术与模型驱动工程应用于在真实硬件上运行的演示系统，该系统包含一个以 PID 控制作为分区过程的飞行管理过程。使用分区操作系统将飞行系统软件的可靠性提升到了一个新的水平。为了提高控制逻辑的正确性，我们建议使用形式化验证方法。我们还使用演绎方法在代码级别提供可验证属性的示例，并使用差分动态逻辑在信息物理系统级别提供可验证属性的示例，以证明稳定性。
新加坡近期电影中的基础设施美学
从 20 世纪 90 年代末开始，新加坡电影开始在戛纳和柏林等国际电影节上受到关注。这些独立制作的电影代表着新加坡在世界电影中的复兴，充斥着精神崩溃的受害者的故事，他们是独裁保姆国家和无情资本主义的受害者。它们在银幕上投射了僵化的社会经济政策的外部影响和内部后果，这些政策施加了普遍的压力并造成了不可逆转的心理损失。电影制作人向内寻求洞察力，并从自我分析中走出来，在一系列电影中演绎了一套流行的主题，这些电影被明确或隐晦地视为新加坡国家电影的组成部分（Chua 和 Yeo 2003；Berry 和 Farquhar 2006，215）。例如，回顾邱志杰的开创性长片《面薄面》（1995 年）和《十二层楼》（1997 年）所引领的叙事，我们会看到疏离和孤立的人物，他们经常是无依无靠的，甚至精神错乱的。从视觉上看，他们的痛苦可以追溯到城市建筑的霸道垂直性，尤其是平淡无奇的野蛮公共住房，这些公共住房象征着国家权力强加给居民的永久不动产（Sim 2020，99-100；Chua and Yeo 2003，118；Wee 2012，983-84）。蔡明发和黄梅森（2012 年）以诗意的方式阐述了这种“悲情美学”，通过这种美学，这些卑微的人物既可以被解读为受害者的悲情，也可以被解读为新自由主义个人主义的坚韧化身。也就是说，这些双面人物既是受害者的社会政治批判，也是胜利民族意识形态的确认。重点是，两种解释都深入到内部的当地情况中去寻找解释背景。
对话式人工智能在
摘要 本研究评估了对话式人工智能 (CAI) 在纠正认知偏差和识别人机交互中的情感方面的有效性，这对于数字心理健康干预至关重要。认知偏差——系统性偏离规范思维——会影响心理健康，加剧抑郁和焦虑等状况。治疗聊天机器人可以使认知行为疗法 (CBT) 更易于获得且更实惠，提供可扩展和即时的支持。该研究采用结构化方法，使用基于临床的虚拟案例场景模拟典型的用户-机器人交互。在两类认知偏差中评估了表现和情感识别：心智理论偏差（人工智能拟人化、对人工智能的过度信任、归因于人工智能）和自主性偏差（控制错觉、基本归因错误、公正世界假设）。使用定性反馈机制和序数量表来量化基于准确性、治疗质量和对 CBT 原则的遵守情况的反应。通过脚本交互评估治疗机器人（Wysa、Youper）和通用 LLM（GTP 3.5、GTP 4、Gemini Pro），由认知科学家和临床心理学家双重审查。统计分析表明，治疗机器人在偏见纠正方面始终优于非治疗机器人，并且在 6 种情感识别偏见中有 4 种表现出色。数据表明，非治疗聊天机器人在解决某些认知偏见方面更有效。关键词：认知偏见、对话式人工智能、聊天机器人、数字心理健康、偏见纠正、情感识别 * 通讯作者。电子邮件：marcin.rzadeczka@umcs.pl，邮寄地址：Wydział Filozofii i Socjologii UMCS, pl。Marii Curie-Skłodowskiej 4， pok。204, 20-031 卢布林数据和协议：https://data.mendeley.com/datasets/h2xn2bxz5r/1 预印本 doi：https://doi.org/10.48550/arXiv.2406.13813