吸力式沉箱基础因具有施工简单、可重复利用及造价低等优点，在海洋平台建造中得到了广泛的运用。海洋平台在正常工作中，不仅受到上部平台的自重外还经常受到风、浪等长期循环荷载作用，同时吸力式沉箱基础的安装过程也会对海洋平台的稳定性产生影响，所以在吸力式沉箱基础的设计过程中有必要考虑贯入过程及长期循环荷载对其承载特性的影响。本项目通过模型试验和理论分析相结合的方法研究吸力式沉箱基础的贯入过程对其承载特性的影响以及静荷载、长期动力循环荷载作用下吸力式沉箱基础的破坏性状，建立吸力式沉箱基础与土的接触弱化模型，提出吸力式

厚煤层长壁高强度开采造成的上覆岩层与地表破坏更为严重，上覆岩层内裂缝带可能直通地表或者覆岩裂缝与地表裂缝相贯通，在覆岩中形成垮落带、裂缝带的“两带”破坏模式，造成工作面涌水、漏风、溃砂、压架等生产安全问题及地表生态环境破坏问题。本项目通过现场调研、现场观(探)测、室内模拟实验和理论分析等相结合的研究方法，在分析高强度开采覆岩与地表破坏规律主控因素的基础上，研究厚煤层高强度开采上覆岩层破坏演化特征、“两带”破坏高度及其计算方法，研究高强度开采地表非连续破坏特征及地表裂缝深度，建立厚煤层高强度开采覆岩与地表破

PROJECT SUMMARY/ABSTRACT Patients with acute respiratory distress syndrome (ARDS) often require mechanical ventilation (MV), which further induces lung injury (ventilator-induced lung injury, VILI). VILI is associated with substantial morbidity and mortal

Project Summary/AbstractBiochemical imaging using hyperpolarized(HP)nuclei now offers the possibility of extending the inherentpower of 13C NMR to rapidly image intermediary metabolism in human patients.The recent installation of aclinical polarizer in th

本研究課題では,安心安全な社会の実現を目的として,エッジコンピューティング環境における高信頼化手法を提案してきた.クラウドコンピューティング環境は一極集中型であることから,現在ではエッジコンピューティングが主流となっている.このようなエッジコンピューティングは,分散型環境であることから,運用段階における信頼性評価と管理が難しい.こうしたエッジコンピューティング環境に対する信頼性評価法として,ジャンプ拡散過程モデルの数理的深化と高性能化とともに,申請者の既存研究を数理的に精緻化した.具体的には,数理モデルと

Outline of Research at the Start:AIを用いたソフトウェアは,AIモジュールのブラックボックス性のために従来の形式検証手法をそのまま適用することが困難である.このようなソフトウェア安全性を向上させるための形式検証手法の確立に向けて,内部動作が明らかではなく,期待される動作の形式的仕様記述も困難であるモジュールを含むシステムの動作を検証するための手法を研究する.より具体的には,AIモジュールを含むソフトウェアへの適用を志向した,形式的仕様が与えられていないブラックボックスな部