提出了一种使用标准和本体论的信息模型来为自动化系统中的人工智能应用提供清晰和结构化的文档，通过实际示例验证了该模型在改进文档实践并帮助可持续实施人工智能在工业环境中的有效性。

Jul, 2024

使用本体论的方法，将应用数学中的建模 - 仿真 - 优化工作流的数学模型和数值算法表示出来，以构建 FAIR 数学研究数据。通过介绍多孔介质微裂纹分析的具体例子，展示了本体论如何表征基础数学模型及其相应的数值算法。

Oct, 2023

该论文描述了一种扩展一阶逻辑的方法，使方案更加容易修改，并引入了一个保护机制来保证公式的正确性，同时将该方案应用于四个不同问题领域的知识表示中。

Feb, 2022

本文介绍数学知识管理中语义方法的调查研究，涵盖本体模型、数学知识本体论以及数学公式搜索和学习。

Aug, 2014

该论文提出了一种利用自然语言处理技术从无结构自然语言文本中自动生成系统图的方法，其目的是为系统工程师提供更加标准、全面和自动化的起点，并在六个案例中进行了验证。

Aug, 2022

本文基于领域非特定的语言，评估了复杂系统分析流程的每个步骤，包括系统和数据的收集、数学形式主义的不同用途和与其相关的计算方法，讨论了依赖性如何产生及其如何改变结果解释或整个分析流程，并通过两个真实世界的例子说明了研究问题、所选数学表示形式和研究对象选择对结果的影响。

Jun, 2020

基于 Jennifer Nado 对分类程序作为概念工程的目标的定义，我们描述了一种使用大型语言模型实现此类程序的方法。然后，我们使用 Wikidata 知识图中的数据来评估两个典型概念工程项目的概念定义：国际天文学联合会对 “行星” 的重新定义和 Haslanger 对 “女性” 的改善分析。我们讨论了这项工作对概念工程理论和实践的意义。代码和数据可在 GitHub 上找到。

Dec, 2023

使用模型驱动工程的系统建模语言 SysML 对机器学习任务进行协同定义的方法能够整合不同数据源，定义语义连接、数据处理步骤，从而将机器学习的特性整合到系统工程技术中，促进了各个领域的知识整合，实现了将机器学习引入工业界的目标。

Jul, 2023

本文提出知识表示与推理技术在自动驾驶汽车领域的应用。利用本文提出的 6 层模型创建了一个正式的场景模型，并利用本体论对交通场景因素进行建模和推理，得出交通状况关键因素。我们采用联合描述逻辑和规则推理器，并开展了一项基于大规模无人机数据集的实验评估。

May, 2022

本文介绍了一个形式化的模型，用于在开放链接数据云中表示自然语言的数学事实，该模型用于 OntoMath PRO 专业数学本体论的开发，OntoMath 数字生态系统的语义出版平台是一个中心组件，用于数学知识管理，包括数学公式的语义搜索和数学论文的推荐系统。

Mar, 2023