智能配电网态势感知(Situation Awareness of Smart Distribution Network,SASDN)是配电网稳定运行和精准调度的基础。然而,SASDN面临着通信延时、科学计算耗时、不同子站系统响应时长不一等所引起的一系列时滞不确定性问题，常导致智能配电网精准调度失效，限制了其应用范围。针对该问题，本项目拟采用区间仿射方法研究SASDN时滞不确定性。首先，构建SASDN时滞区间仿射模型，深入探索SASDN时滞的作用机理；其次，基于Lyapunov直接法，探索SASDN时滞区间

以大跨屋盖雪荷载为研究对象，结合长期积累的屋面雪荷载实测数据，综合考虑风雪耦合作用下单次降雪过程和雪热耦合作用下降雪间隔期雪荷载演变过程，以风雪热耦合作用为切入点，系统研究基于多次降雪的大跨度复杂屋盖雪荷载演变机理；利用考虑多因素耦合效应的多次降雪累积雪荷载实测方法，多指标可控的低温风雪热联合试验方法以及精细化数值模拟方法，深入地研究大跨屋盖雪荷载的分布规律，定量地揭示风致雪漂移，热力融雪，多次降雪累积等因素对屋面雪荷载的影响机理；提出考虑周围环境遮挡效应的大跨度屋盖雪荷载设计方法，给出相应的概念设计准则

NONTECHNICAL SUMMARYThis award supports research,education,and outreach activities focused on understanding materials properties driven by the coupling between electrons and the vibrations of atom lattices in solids.This electron-lattice vibration interac

The field of program synthesis aims to create tools that can automatically create a program from a specification of desired behavior.Synthesis holds the promise of easing the burden on programmers(e.g.,by finding solutions to tricky special cases automati

2024年度については,当初の予定通り,格子ベースの集団保証署名の実現と,これら格子ベースの圧縮可能署名と集団保証を基礎として,圧縮可能集団署名の設計を実施できている.一方，最新研究を調査したところ述語集約署名が提唱されていることが判明した.この述語集約署名に対する不正特定機能を実現することが,今後の良い方向性との着想を得た.以上より上述の通り結論付けた.2024年度については,まずは2023年度から実施している格子ベースの集団保証署名を実現すことと,これら格子ベースの圧縮可能署名と集団保証を基礎として,

本年度は、異なるアニオン種を用いた単結晶セミクラスレートハイドレートの電気伝導率測定を行った。また、セミクラスレートハイドレート内のプロトン伝導メカニズムの解明にも取り組んだ。まず、いくつかの典型的な単結晶セミクラスレートハイドレートの電気伝導率を測定したところ、ハライドイオン(F-,Cl-,Br-)のサイズが小さくなるにつれて、プロトン伝導率は低下することを明らかにした。さらに、水酸化物イオン(OH-)をアニオンとするセミクラスレートハイドレートは、ハライド型のセミクラスレートハイドレートに比べて数桁高