牵引齿轮传动系统的动态特性对高速动车组运行的安全性、舒适性和可靠性影响重大。齿轮修形优化是提高传动性能、减振降噪的有效措施，课题拟基于齿轮修形原理、柔体动力学理论、噪声辐射理论及有限元—边界元方法，分析牵引斜齿轮的啮合性能及工况载荷特点，研究以噪声最小为直接目标的修形优化方法；建立系统动力学有限元和声学边界元耦合模型，探寻齿轮传动过程中噪声随修形参数的变化规律，建立两者之间的直接映射关系；提出多工况下齿轮修形优化指标权重的决策方法，建立满足多工况运行条件的齿轮修形多目标优化模型并加以验证。研究内容包括:(

针对与冲击地压灾害孕育、预测和控制等方面密切相关的地质环境、构造条件、区域应力场及开采扰动作用等关键性基础问题，提出将冲击地压灾源体分为核心破裂区、释能区以及周边“相关区域”的核心概念，通过开采扰动作用与区域应力场的多尺度协同分析，将区域地质与矿井地质、区域构造与矿井构造、覆岩结构与采场结构等地质因素和构造因素融为一体，通过灾源体与周边“相关区域内”多场耦合机理与多尺度的协同机制分析，寻求开采扰动过程中冲击地压灾源体内部之间及其与周边区域地层之间潜在的多尺度协同机制，建立冲击地压灾源体发生冲击失稳的力—能

Commodities:Animals:bovine,goats,poultry,sheep,swine Animal Products:meatPractices:Animal Production:meat processing,meat processing facilities Crop Production:food processing Education and Training:mentoring Sustainable Communities:employment opportuniti

Commodities:Animals:bees Animal Products:honeyPractices:Animal Production:animal protection and health Crop Production:beekeeping Education and Training:farmer to farmer Farm Business Management:sustainability of beekeeping practice for older beekeepers o

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

緊急ワークフロー実行のためのスケジューリング手法を提案して査読付き論文に採択されるなど、学術的な成果を順調に発表できている。また、量子アニーリングやその関連技術を組合せ最適化問題の高速化に適用して評価する基礎研究も、計画通り進展した。それに加えて、津波シミュレーションコードのGPUへの移植や、緊急ジョブ実行フレームワークの開発を開始するなど、ソフトウェア開発も順調に進捗している。さらには、実用的なワークフローの設計とそれに基づく評価のために、SPring-8に関してそのセンサースペックやセンサー近傍で行わ