XiaoMi-AI文件搜索系统
World File Search System系统建模
骨干 - 扇区耦合的适应能源系统建模框架
Influence of public acceptance of wind turbines on renewable expansion • Expansion planning for Ireland and Germany (resolution: 8 sub- regions each) for 2030 with high renewable shares • Maximum onshore wind potential constraint based on local public‘s acceptance (from survey data) • In Germany, onshore wind is mainly substituted by PV, while in Ireland, it is mainly substituted by offshore wind • Constrained onshore potential slightly在爱尔兰的成本上涨比德国的成本上涨的成本增加（爱尔兰：2.55％，德国：0.5％）
基于Petri网的实时嵌入式系统建模与验证技术
嵌入式系统应用范围广泛，从家用电器和移动设备到医疗设备和车辆控制器。它们通常以实时行为为特征，其中许多必须满足严格的可靠性和正确性要求。在本文中，我们专注于实时嵌入式系统建模和形式化验证方面的研究。首先，我们基于 Petri 网定义了一个实时嵌入式系统的形式化计算模型。我们的模型可以捕捉此类系统的重要特征，并允许以不同粒度级别表示它们。我们的建模形式化具有明确定义的语义，因此它支持精确的系统表示、使用形式化方法来验证其正确性以及设计过程中不同任务的自动化。其次，我们提出了一种以我们的建模形式化方法表示的实时嵌入式系统形式化验证问题的方法。我们利用模型检查来证明某些属性（以时间逻辑公式表示）是否适用于系统模型。我们引入了系统程序将我们的模型转换为时间自动机，以便可以使用可用的模型检查工具。各种示例（包括现实的工业案例）证明了我们的方法在实际应用中的可行性。
基于Petri网的实时嵌入式系统建模与验证技术
嵌入式系统应用范围广泛，从家用电器和移动设备到医疗设备和车辆控制器。它们通常以实时行为为特征，其中许多必须满足严格的可靠性和正确性要求。在本文中，我们专注于实时嵌入式系统建模和形式化验证方面的研究。首先，我们基于 Petri 网定义了一个实时嵌入式系统的形式化计算模型。我们的模型可以捕捉此类系统的重要特征，并允许以不同粒度级别表示它们。我们的建模形式化具有明确定义的语义，因此它支持精确的系统表示、使用形式化方法来验证其正确性以及设计过程中不同任务的自动化。其次，我们提出了一种以我们的建模形式化方法表示的实时嵌入式系统形式化验证问题的方法。我们利用模型检查来证明某些属性（以时间逻辑公式表示）是否适用于系统模型。我们引入了系统程序将我们的模型转换为时间自动机，以便可以使用可用的模型检查工具。各种示例（包括现实的工业案例）证明了我们的方法在实际应用中的可行性。
利用人工智能进行发动机燃烧系统建模和燃烧控制
收集了净扭矩和NOx排放量等性能数据。使用基于 APRBS 和 Chirp 信号的输入信号，我们获得了大约 68.9 小时的训练数据和大约 8.3 小时的模型验证数据。此外，为了验证目的，我们还获取了日本目前用于乘用车认证测试的WLTC全球统一测试循环下的30分钟模拟驾驶数据。请注意，用于获取验证数据的 APRBS 和 Chirp 信号不包含在用于获取训练数据的输入信号中。 VDE模型中数据采样周期为0.01秒，数值实验获取的数据点数如表2所示。 2.2 AI引擎模型构建及性能评估 本研究在构建重现VDE特征的AI引擎模型时，采用了神经网络这种机器学习算法，也是一种模仿人类神经系统的数学模型。 AI发动机模型被设想用作第3章中描述的燃烧控制器的状态预测模型。在这里，我们构建了一个模型来预测燃烧控制器控制的三个目标：燃烧重心位置、燃烧周期和净扭矩。表3给出了AI引擎模型的输入和输出参数列表。对于输入参数，事先使用XGBoost（eXtreme Gradient Boosting）9）构建预测模型，并利用SHAP（SHapley Additive exPla-nations）10）进行重要性分析，选取对预测目标影响力较大的参数。此外，对于输入参数，进气压力和进气氧浓度是使用过去四秒的时间序列数据来测量的，同时考虑到瞬态运行期间的响应延迟。 在建立模型时，神经网络中超参数的设置对准确率有很大的影响。因此，在本研究中，我们使用树结构 Parzen 估计器 (TPE)11) 来优化隐藏层的数量和神经元的数量。在 TPE 中，我们设置了最小化评估函数的超参数。
复杂系统建模信息模型说明：从需求到 V&V
随着系统复杂性的不断增加，系统开发变得越来越重要。复杂系统的安全性在很大程度上依赖于所涉及系统或子系统及其环境之间存在的复杂相互依赖性所产生的新兴属性。系统工程 (SE) 是复杂系统设计的理想框架。随着系统和项目复杂性的增加，对系统工程的需求也随之增加。安全的系统工程方法始于一个基本假设，即只有在考虑到所有相关变量以及社会和技术方面之间的关系时，才能充分处理安全属性。系统工程的基础被表述为系统大于其各部分之和的原则。安全管理必须遵循 SE 的所有步骤，从需求定义到系统的验证和确认。安全的集成必须涉及所有系统工程过程。在我们的方法 [2] 中，我们确定了安全评估所涉及的所有子流程，并指出了必须如何考虑它们。换句话说，EIA-632 标准 [7] 的子流程在安全性方面进行了翻译或改进，并纳入了系统设计流程。
对美国的决策支持 - 零碎的环境和电力系统建模能力
摘要可再生能源过渡正在导致美国和加拿大之间的电力贸易增加，加拿大水力发电提供了公司的低碳电源以及美国风和太阳能发电的可变性但是，长期购买协议和跨务传输项目是有争议的，魁北克，加拿大和美国东北部之间的四个拟议传输线被取消了2018年以来。在这里，我们认为，与替代方案相比，缺乏开源数据和工具来理解新水力发电生成和传输基础设施的权衡，这使争议加剧了。此差距包括增量传输和发电项目对整个系统经济学的影响，例如，新的传输项目如何影响对现有市场的出口或激励新一代。我们确定了数据合成和模型开发的优先领域，例如在能源系统模型中整合链接的水力发电和水文相互作用，并公开释放（通过公用事业）或（由研究人员）（研究人员）水力发电和操作参数。公开可用的环境（例如流量，降水）和技术经济（例如成本，储层尺寸，）数据可用于参数化自由使用且可扩展的模型。现有模型已通过加拿大公用事业的运营数据进行了校准，这些数据限制了这些工具已用于回答的科学和商业问题范围以及所涉及的当事方范围。使用高度解决的国家规模的公共数据进行的研究在其他国家（尤其是美国）存在，并证明了更大的透明度和可扩展性如何推动行业行动。改善加拿大的数据可用性可以促进（1）增加广泛参与者参与脱碳计划的方法； （2）允许公众对环境，健康和经济成果的独立特征； （3）确定与社区价值一致的脱碳途径。
风光储氢耦合发电系统建模与控制策略
摘要：风光互补发电制氢是解决风电和太阳能发电随机性强、波动性大的重要手段。本文将永磁直驱风力发电机组、光伏发电单元、电池组、电解槽组装在交流母线内，建立了风光储氢耦合发电系统数学模型及PSCAD/EMTDC中的仿真模型，设计了能量协调控制策略。经过仿真，提出的控制策略能有效降低风电和太阳能发电的弃风率，平抑风电和太阳能发电的波动，验证了建立的模型的正确性和控制策略的有效性和可行性。
基于Petri网的实时嵌入式系统建模与验证技术
嵌入式系统应用范围广泛，从家用电器和移动设备到医疗设备和车辆控制器。它们通常以实时行为为特征，其中许多必须满足严格的可靠性和正确性要求。在本文中，我们专注于实时嵌入式系统建模和形式化验证方面的研究。首先，我们基于 Petri 网定义了一个实时嵌入式系统的形式化计算模型。我们的模型可以捕捉此类系统的重要特征，并允许以不同粒度级别表示它们。我们的建模形式化具有明确定义的语义，因此它支持精确的系统表示、使用形式化方法来验证其正确性以及设计过程中不同任务的自动化。其次，我们提出了一种以我们的建模形式化方法表示的实时嵌入式系统形式化验证问题的方法。我们利用模型检查来证明某些属性（以时间逻辑公式表示）是否适用于系统模型。我们引入了系统程序将我们的模型转换为时间自动机，以便可以使用可用的模型检查工具。各种示例（包括现实的工业案例）证明了我们的方法在实际应用中的可行性。
基于Petri网的实时嵌入式系统建模与验证技术
嵌入式系统应用范围广泛，从家用电器和移动设备到医疗设备和车辆控制器。它们通常以实时行为为特征，其中许多必须满足严格的可靠性和正确性要求。在本文中，我们专注于实时嵌入式系统建模和形式化验证方面的研究。首先，我们基于 Petri 网定义了一个实时嵌入式系统的形式化计算模型。我们的模型可以捕捉此类系统的重要特征，并允许以不同粒度级别表示它们。我们的建模形式化具有明确定义的语义，因此它支持精确的系统表示、使用形式化方法来验证其正确性以及设计过程中不同任务的自动化。其次，我们提出了一种以我们的建模形式化方法表示的实时嵌入式系统形式化验证问题的方法。我们利用模型检查来证明某些属性（以时间逻辑公式表示）是否适用于系统模型。我们引入了系统程序将我们的模型转换为时间自动机，以便可以使用可用的模型检查工具。各种示例（包括现实的工业案例）证明了我们的方法在实际应用中的可行性。
迈向地球表面系统建模的智能革命，以深1 </div>
Cuddy 12，Sujan Koirala 13，Zang 14，Carlo Ratti 15，Michael C. Barton