XiaoMi-AI文件搜索系统
World File Search System保证系统
在自主系统中实现定时保证
由于与物理世界的持续相互作用而摘要，自主的网络物理系统（CPS）都需要函数和时间正确性。尽管实时计算的理论基础最近取得了进步，但在现代CPS平台中有效利用这些结果通常会涉及领域的专业知识，并向许多开发人员带来了非平凡的挑战。要了解构建实时软件的实际挑战，我们对7个代表性CPS开源项目的189个软件问题进行了调查。通过这种表现，我们发现大多数错误是由于网络和物理状态之间的时间不对。这激发了我们抽象三个关键的时间属性：新鲜度，一致性和稳定性。使用新开发的概念，即数据流动能力（DFA），旨在捕获数据流的时间/可用性期望，我们展示了如何将这些基本证券表示为数据流的时序约束。为了实现DFA的时机保证，我们设计和实施了Kairos，该Kairos自动检测和构成正时限制违规行为。为了检测违规行为，Kairos将基于API的注释的策略定义转化为运行时程序仪器。为了减轻违规行为，它提供了一个基础架构，以弥合不同抽象层的调度程序之间的语义差距，以进行协调的努力。在三个现实世界中的CPS平台上进行的端到端评估表明，Kairos在引入最小的2时提高了定时性和安全性。8％的运行时间开销。
稳态视觉诱发电位识别与便携式脑机接口系统实现
致谢 ............................................................................................................................. 67
农业食物系统碳足迹评价Carbon footprint assessment of Agri ...
Product CF Report on low-carbon agricultural and rural development in China (2023) 中国农业农村低 碳发展报告
保证
1 美国德克萨斯州圣安东尼奥市德克萨斯大学圣安东尼奥健康学院德克萨斯肝病研究所；2 英国伯明翰大学医学与牙科学院肝脏与胃肠道研究中心、国家健康研究中心伯明翰生物医学研究中心、英国伯明翰伊丽莎白女王大学医院肝病科；3 美国华盛顿州西雅图市西北肝病研究所；4 美国密歇根州底特律市韦恩州立大学医学院亨利福特医院肝病学分部；5 美国加利福尼亚州萨克拉门托市加州大学戴维斯医学院胃肠病学和肝病学分部； 6 巴塞罗那医院诊所肝脏科、August Pi i Sunyer 生物医学研究所 (IDIBAPS)、肝脏和消化酶红色生物医学研究中心 (CIBEREHD)，西班牙巴塞罗那； 7 多伦多大学多伦多肝病中心胃肠病学和肝病学部，加拿大安大略省多伦多市； 8 吉利德科学公司，美国加利福尼亚州福斯特城； 9 CymaBay Therapeutics, Inc.，美国加利福尼亚州弗里蒙特； 10 迈阿密大学医学院消化健康和肝病科，美国佛罗里达州迈阿密
利用储能系统实现可再生能源微电网灵活安全运行的研究综述
A Review on the Utilization of Energy Storage System for the Flexible and Safe Operation of Renewable Energy Microgrids LIU Chang 1 , ZHUO Jiankun 1* , ZHAO Dongming 2 , LI Shuiqing 1 , CHEN Jingshuo 2 , WANG Jinxing 1 , YAO Qiang 1
基于AI语音交互和专业分类的安规题库快速查找系统
Key words : voice interaction; safety regulation question bank; quick find; text feature 中图分类号 : TM08 文献标识码 : A 文章编号 : 1008-6226 (2023) 12-0027-03
战术显控系统人机交互中的特征整合设计研究 - 包装工程
编码特征作为预测结果，邀请用户进行认知情况调 研。从用户调研数据的计算结果可知，用户对不同特 征编码的认知存在一定的共性，有共同的认知习惯。 1 ）就属性语义来看，认知效率主要受色相、明 度、饱和度、尺寸、位置、形状的影响。色相：国军 标对色彩的应用有明确的规范，在进行色相编码时， 应考虑用户对专用色彩属性的认知习惯，严格遵守色 彩使用规范。对于没有硬性规定的色彩，也应以用户 过往的知识、经验为基础进行编码设计。如，在界面 设计中，一般认为红色表示危险，黄色表示警告，绿 色表示安全。明度：实验表明，在深色背景下，明度 越高信息等级越高。战术显控系统复杂性较高，合适 的明度编码设计适合应用于信息层级设计，能够有效 降低用户的学习成本。饱和度：饱和度取决于该色中 含色成分和消色成分（灰色）的比例。含色成分越大， 饱和度越大；消色成分越大，饱和度越小 [14] 。高饱和 度的色彩编码方式更能引起视觉关注，帮助用户集中 注意力。形状：在战术显控系统中，涉及形状属性的 元素主要为图形和符号，包括通用类和特殊类。在进 行形状编码时，现有图符应遵循沿用的原则，新的图 符应结合现实形态、行业背景进行设计，以符合用户 认知习惯、缩短学习过程，提高交互效率。尺寸：根 据实验结果显示，信息尺寸的大小与信息的重要等级 成正比，信息越重要，尺寸越大。位置：用户对显示 屏上的信息关注度依次为中间、左上方、右上方、左 下方、右下方 [15] 。在进行界面布局时，应注意信息等 级与其在界面中位置的一致性，同时要保证同类信息 的位置编码统一。 2 ）就情感语义来看，战时用户的生理和心理负 荷较高，任务情景的不确定性易增加用户的操作压 力 [5] 。在进行交互界面设计时应考虑信息编码元素的 情感性。从实验结果来看，影响情感语义的特征主要 为形状和色彩。尖锐的形态容易让用户产生较大的心 理压力，而圆润浑厚的形状更容易使用户平静。在进 行形状编码时，可采用倒角的设计手法。根据蒙赛尔 色彩体系对色彩要素的划分及实验结果，战术显控系 统的主色可以选用冷色调，明度、饱和度不宜过高， 以避免色彩刺激增加用户的焦虑感。而对于重点信息 和即时变化类信息，可采用高明度或高饱和度的色 彩，以提高用户的警觉性。
深部地热能系统主要挑战与耦合储能的增强型创新开发模式
hibit降低了渗透性，因此需要建立有效的地热系统（EGS）以利用深度地热能。在EGS中，用于液压压裂用于储层刺激，以人为增强的地热储层具有较高的渗透性。当前的深地热储量刺激技术主要是从石油和天然气部门采用的液压压裂过程中借来的，对刺激性能，地震风险控制和有效的地热储层的热萃取产生了限制。这项研究总结了深度地热能的液压压裂的特征：（1）剪切机理主导着断裂诱导的损伤。（2）冷水注入诱导的差分温度所产生的拉伸应力鼓励裂缝进一步传播。（3）连续的水注入使孔压力保持高于地层压力，从而为裂缝保持良好的条件保持开放。因此，EGS中的液压压裂不需要支撑剂。这与石油和天然气井的液压破裂完全不同，这在很大程度上依赖于支撑剂。此外，这项研究系统地分析了EGS的四个主要挑战：低发电能力，注入和生产井之间的连通性差，诱发破坏性地震的风险以及在没有补贴的情况下获得利润的困难。这项研究通过数值模拟研究了Regs的优势。根据创新的破裂和能量回收的各个方面，本研究提出了一种与能源存储相结合的创新增强的开发模式，称为再生工程的地热系统（REGS）。结果表明，与水平井以及不等的间距，区域和注射水的体积的多阶段分裂可以增强注入和生产井之间的连通性。破裂过程在Regs中进行了优化。具体来说，采用了多阶段裂纹。在每个阶段，早期的水注射率迅速增加，并在晚期逐渐下降。这可以防止在井眼压力下突然波动，从而控制诱发地震的幅度并防止破坏性地震。Regs整合了可再生能源的大规模地下存储，实现了多能补充并增强了Regs项目的生产寿命和盈利能力。这项研究的最终成员将为试点项目和标准化促进技术的标准化奠定基础，用于融合的热量和发电，与储能集成在一起，用于中国深地热能。
为具有未知动态的系统提供安全保证
摘要 - 随着自主系统在我们的社会中变得越来越综合和积分，需要准确建模并安全地控制这些系统的需求已大大增加。在过去的十年中，使用深度学习技术来建模和控制系统很难使用第一原理建模。但是，为此类系统提供安全保证仍然很困难，部分原因是学习模型的不确定性。在这项工作中，我们旨在为不容易从第一原则衍生而来的系统提供安全保证，因此，使用深度学习技巧更加有助于学习。鉴于感兴趣的系统和安全限制系统，我们从数据中学习了系统动态的集合模型。利用集合不确定性作为学习动力学模型中不确定性的量度，我们计算了最大的鲁棒控制不变式集合，从该集合开始，该系统从该集合开始，从而确保系统满足实现模型不确定性的条件下的安全性约束，这些模型不确定性包含在预定的可允许模型集合中。我们证明了使用倒置的模拟案例研究的方法的有效性，并与Turtlebot进行了硬件实验。实验表明，我们的方法可鲁棒化系统对模型不确定性的控制作用，并在不过分限制的情况下产生安全行为。可以在项目网站1上找到代码和随附的视频。
