基于类别数学理论方法的计算机辅助设计方法学规定的发展和发展

DOI:

评审日期

出版日期

注解: 本文的研究对象是计算机辅助设计理论中使用的方法。 计算机辅助设计技术理论基础的发展是一个重要的科学问题。 解决这个问题的方法之一是将其简化为用于描述多种技术的单一通用形式主义，这在设计复杂的异构系统以用于它们对这些技术的集成和协调时会 这个问题的解决方案直接取决于数学装置的选择。 本文提出了利用类别的数学理论创建计算机辅助设计方法。 本文考虑了基于类别的数学理论创建计算机辅助设计数学设备的方法，允许在不同抽象层次上确定数学模型及其之间的关系。 论文表明,在制定从一般概念表示到主题任务概念表示的映射模式时,其基本基础是:模型形成的统一数学装置;模型形成模式的统一结构;循环规律的存在。在主题问题的概念表示模型中显示一般概念表示模型的规律性，代表了在功能动态和静态组件之间形成（建立）联系的过程中应用抽象的身份，以及在同一抽象层次上应用具有相同类型表示的模型的身份。

出版日期: