CN112395818A - 基于SysML的硬件算法模型构建方法 - Google Patents

基于SysML的硬件算法模型构建方法 Download PDF

Info

Publication number
CN112395818A
CN112395818A CN202011393225.XA CN202011393225A CN112395818A CN 112395818 A CN112395818 A CN 112395818A CN 202011393225 A CN202011393225 A CN 202011393225A CN 112395818 A CN112395818 A CN 112395818A
Authority
CN
China
Prior art keywords
text
name
model
sysml
vhdl
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN202011393225.XA
Other languages
English (en)
Other versions
CN112395818B (zh
Inventor
刘越
赵淳
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Beijing Information Science and Technology University
Original Assignee
Beijing Information Science and Technology University
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Beijing Information Science and Technology University filed Critical Beijing Information Science and Technology University
Priority to CN202011393225.XA priority Critical patent/CN112395818B/zh
Publication of CN112395818A publication Critical patent/CN112395818A/zh
Application granted granted Critical
Publication of CN112395818B publication Critical patent/CN112395818B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design verification, e.g. functional simulation or model checking

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)

Abstract

本发明公开了一种基于SysML的硬件算法模型构建方法,涉及建模仿真技术领域。包括以下步骤:通过SysML建立硬件算法的模块定义图和内部模块图;将模块定义图和内部模块图存储为第一文本,确立模块定义图和内部模块图与第一文本的对应关系;利用KMP算法提取第一文本并确立第一文本与VHDL元模型的映射规则;调用VHDL元模型,根据映射规则将第一文本转换为VHDL语言的第二文本。使用本发明方法将模型转换为VHDL语言进行硬件算法模型构建,提高了硬件建模的效率,解决了复杂产品建模过程中各种模型难以统一的问题,并且方法简便易实现。

Description

基于SysML的硬件算法模型构建方法
技术领域
本发明涉及建模仿真技术领域,更具体的说是涉及一种基于SysML的硬件算法模型构建方法。
背景技术
在硬件电路模型构建过程中,一般采用VHDL来描述数字电路逻辑。超高速集成电路硬件描述语言诞生于1982年,最初是美国国防部为其超高速集成电路研究计划提出的硬件描述语言,目的是为了把电子电路的设计意义以文字或文件的方式保存下来,以便其他人能轻易了解电路的设计。但是VHDL语法复杂难懂,需要具有电路设计相关经验的专业人员进行设计。但针对复杂算法的硬件核化需求,许多算法专业人员并不了解VHDL,而硬件专业人员不了解算法。
随着建模仿真技术的不断发展,人们建模的系统也变得更加复杂。不同种类、不同领域的模型有许多不同种类的模型语言,为了满足系统工程的实际需要,统一大多数不同类型的模型,国际系统工程学会INCOSE(International Council on SystemsEngineering)和对象管理组织OMG提出一种新的系统建模语言——SysML(SystemsModeling Language),作为系统工程的标准建模语言。它是在统一建模语言(UnifiedModeling Language,UML)的基础上提出的一种通用建模语言,可以支持包含硬件、软件、信息等多领域系统的描述、设计、分析,描述系统的结构和行为。现如今如何利用SysML实现各类复杂算法的硬件模型构建是本领域技术人员亟待解决的问题。
发明内容
有鉴于此,本发明提供了一种基于SysML的硬件算法模型构建方法,以解决复杂产品建模过程中各种模型难以统一的问题,便于不熟悉硬件建模语言的人快速构建硬件电路模型。
为了实现上述目的,本发明采用如下技术方案:一种基于SysML的硬件算法模型构建方法,具体步骤包括如下:
通过SysML建立硬件算法的模块定义图和内部模块图;
将所述模块定义图和内部模块图存储为第一文本,确立所述模块定义图和内部模块图与所述第一文本的对应关系;
利用KMP算法提取所述第一文本并确立所述第一文本与VHDL元模型的映射规则;
调用所述VHDL元模型,根据所述映射规则将所述第一文本转换为VHDL语言的第二文本。
优选的,所述模块定义图和内部模块图以uml2.5.1版本导出为第一文本。
优选的,所述VHDL元模型包括实体元模型、元件元模型、信号元模型、端口元模型、端口映射元模型。
优选的,所述第一文本中标签名为packagedElement且xmi:type属性值为uml:Class的元素的name属性值表示实体名。
优选的,所述实体名下包含标签名为ownedAttribute且xmi:type属性值为uml:Property的元素的name属性值为元件名,所述元件名是所述实体名的下层模块。
优选的,xmi:type属性值为uml:Class的nestedClassifier节点表示实体模块,其子元素节点名为ownedAttribute且xmi:type属性值为uml:Port的节点表示属于所述实体模块的端口,name属性的值即为端口名。
优选的,所述VHDL元模型中的信号名称在所述第一文本中表示为nestedClassifier元素的子元素ownedConnector的name属性的值,信号所连接的端口是ownedConnector元素的子元素节点的role属性的值。
优选的,根据所述映射规则将所述第一文本转换为VHDL语言的第二文本的具体步骤如下:
在所述第一文本中获取标签名为packagedElement的节点列表,根据xmi:type属性的值将packagedElement节点分为三种,根据不同的属性以及所述第一文本与VHDL模型的映射关系可以得到实体名称、元件名称、数据类型;
在所述第一文本中获取packagedElement的子元素节点列表和nestedClassifier的子节点列表,根据所述第一文本与VHDL模型的映射关系得到信号名、端口映射、端口名、端口数据宽度。
经由上述的技术方案可知,与现有技术相比,本发明公开提供了一种基于SysML的硬件算法模型构建方法,本发明的有益效果为:
1、本发明针对复杂产品建模过程中各种模型难以统一的问题,提出了一种基于SysML的硬件算法模型构建方法。针对SysML建模的特点,将模型转换为VHDL语言实现的硬件算法模型,提高了硬件建模的效率;
2、本发明给出了具体的数据生成步骤,包括SysML模型构建、SysML与VHDL的映射关系、编写转换程序,方法简便易实现。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案,下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据提供的附图获得其他的附图。
图1附图为从xmi到VHDL实体名称和结构体名称的映射过程图;
图2附图为从xmi到VHDL端口信息的映射过程图;
图3附图为从xmi到VHDL元件声明、元件例化的映射过程图;
图4附图为从xmi到VHDL端口映射的映射过程图;
图5附图为从xmi到VHDL信号的映射过程图;
图6附图为本发明方法总体流程图。
具体实施方式
下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
本发明实施例公开了一种基于SysML的硬件算法模型构建方法,具体步骤包括如下:
步骤一:通过SysML建立硬件算法的模块定义图和内部模块图;
模块定义图给出模型的各个模块名称、类型、关联关系,表示硬件电路中的实体和模块以及模块间的关联关系,内部模块图给出模型的端口、端口类型、数据流动方向等,表示硬件电路中的端口、信号、端口映射等。
步骤二:将模块定义图和内部模块图存储为第一文本,确立模块定义图和内部模块图与第一文本的对应关系;
其中标签名为packagedElement并且xmi:type属性值为uml:Class的元素表示的是模块定义图中的一个模块,name属性的属性值为该模块的名称,它可以包含n个标签名为ownedAttribute,xmi:type属性值为uml:Property的子元素,每一个子元素代表一个与它的父元素所表示的实体为组合关联关系的模块。
每一个标签名为nestedClassifier,xmi:type属性值为uml:Class的元素代表一个模块。这个元素的标签名为ownedConnector,xmi:type属性值为uml:Connector的子元素表示模块间的连接线;nestedClassifier的标签名为ownedAttribute且xmi:type属性值为uml:Port的子元素的name属性值表示模块的端口名,该元素的子元素又包含这个端口的属性;nestedClassifier的标签名为ownedConnector的子元素end中属性role的值与端口节点的xmi:id的属性值一致,代表了连接线两端分别连接的端口。实体端口的元素节点下的lowerValue节点和upperValue节点的value属性的值表述该端口的数据宽度;实体端口的元素节点下的type属性的值为标识端口的数据类型的字符串,根据该字符串可以得到数据类型名称。第一文本中关于数据类型的描述在xmi:type属性为uml:DataType的packagedElement元素节点中,该节点的name属性的值为数据类型,xmi:id属性的值是一串唯一标识该种数据类型的字符串。
需要说明的是,第一文本的存储格式为uml2.5.1版本的xmi文本。模块定义图和内部模块图与xmi文本的对应关系如下表所示:
Figure BDA0002813465700000051
步骤三:利用KMP算法提取第一文本并确立第一文本与VHDL元模型的映射规则;
一个完整的VHDL程序通常包括库的声明(Library)、实体定义(Entity)、结构体定义(Architecture)。
如图1所示为实体名称与结构体名称的映射过程,右侧为VHDL语言片段,虚线箭头表示该XMI属性与VHDL片段中的相关内容存在映射关系。实线箭头表示在树形结构的XMI文本中获取该属性值的过程。在图1中,在所有packagedElement节点中,获取xmi:type属性为uml:class的节点,取符合条件的节点获取他们的name属性值,该值对应的是实体(entity_name)和结构体(architecture_name)的名称。
需要进一步说明的是,针对本发明,KMP算法的具体实施过程为:
KMP算法是一种改进的字符串匹配算法,其关键是利用匹配失败后的信息,尽量减少模式串与主串的匹配次数以达到快速匹配的目的。KMP算法的核心是利用匹配失败后的信息,尽量减少模式串与主串的匹配次数以达到快速匹配的目的。
例如,在本发明方法中硬件电路模型的端口(port)数据类型是根据SysML模型描述文件中唯一标识数据类型的id进行匹配得到的,描述端口数据类型语句为type="Ua34a1219-4e02-4c0f-814d-f93facac2bba",定义数据类型的语句为xmi:id="Ua34a1219-4e02-4c0f-814d-f93facac2bba"。根据KMP算法,将数据类型的id的值存放在一维数组中,记为数组P,将SysML文本中描述某一端口的节点存放在另一个一维数组中,记为数组T。定义指针i和指针j指向数组中的元素。初始状态下i和j分别指向数组T[0]和P[0]位置,比较元素值是否相同,在上述例子中T[0]=U,P[0]=U,则指针同时向后移动一位,比较T[1]和P[1]的值,T[1]=a,P[1]=a,指针再次向后移动,以此类推直至比较完整个数组。
如图2所示为从xmi到VHDL端口的映射过程,首先获取到一个packagedELement节点,再按照nestedClassifer—ownedAttribute—lowerValue/upperValue—xmi:type—uml:literalString—value的顺序获取到value的属性值,该值对应了VHDL语言中端口数据类型中定义的的数据位数(portWidth);
按照nestedClassifer—ownedAttribute—xmi:type—uml:port的顺序得到符合条件的节点,获取这个节点的name属性的值,与之对应的是VHDL语言中的端口的端口名称(portName);
获取nestedClassifer—ownedAttribute—type的属性值,再按照packagedElement—xmi:type的—uml:Datatype—xmi:id的顺序获取xmi:id的值,xmi:id的值将唯一标识一种数据类型,将其与前面获得的type值进行比对,如果匹配即获取该packagedElement节点的name属性值,即VHDL中端口的数据类型(datatype);
在图3中,按照packagedElement—uml:class—name的顺序获取一个实体的名称,寻找与该名称匹配的packagedElement节点,如果该节点下存在owneAttribute节点,则按照xmi:type—uml:property—name的顺序得到name的属性值,即VHDL中属于一个实体的元件的名称(component_name)。
在图4中,按照packageElement—nestedClassifer—ownedConnector—name的顺序得到的属性值即为VHDL语言中的信号名(signalName);再按照ownedConnector—end—role的顺序得到的属性值为与该信号相连接的端口的xmi:id的属性值,再根据xmi:id的值,按照ownedAttribute—xmi:type—uml:port—name的顺序,得到xmi:id值所对应的端口名(portName)。
如图5所示,先获取owendconnector节点,再获取xmi:type属性值,选择属性值为uml:Connector的节点,获取这些节点的name属性的值,对应VHDL语言中的信号名(signalname)。
步骤四:调用VHDL元模型,根据映射规则将第一文本转换为VHDL语言的第二文本。
需要说明的是,第二文本存储格式为VHDL语言的vhd文件。
进一步的,其中,VHDL元模型包括实体元模型、元件元模型、信号元模型、端口元模型、端口映射元模型。
对xmi文本进行解析的具体步骤为:
1)在xmi整个文本中获取标签名为packagedElement的节点列表,根据xmi:type属性的值:uml:DataType、um:Class、uml:Package可以将packagedElement节点分为三种,根据不同的属性以及上述步骤的映射规则可以得到实体名称、元件名称、数据类型;
2)在文中获取packagedElement的子元素节点列表,它的子元素节点有ownedAttribute、nestedClassifier两种;
3)获取nestedClassifier的子节点列表,nestedClassifier的子元素分别有ownedConnector和ownedAttribute,根据上述步骤的映射规则可以得到信号名、端口映射、端口名、端口数据宽度。
利用本发明提出的一种基于SysML的硬件算法模型构建方法,解决了复杂产品建模过程中各种模型难以统一的问题,编写转换程序,方法简便易实现,针对SysML建模的特点,将模型转换为VHDL语言实现的硬件算法模型,提高了硬件建模的效率。
本说明书中各个实施例采用递进的方式描述,每个实施例重点说明的都是与其他实施例的不同之处,各个实施例之间相同相似部分互相参见即可。对于实施例公开的装置而言,由于其与实施例公开的方法相对应,所以描述的比较简单,相关之处参见方法部分说明即可。
对所公开的实施例的上述说明,使本领域专业技术人员能够实现或使用本发明。对这些实施例的多种修改对本领域的专业技术人员来说将是显而易见的,本文中所定义的一般原理可以在不脱离本发明的精神或范围的情况下,在其它实施例中实现。因此,本发明将不会被限制于本文所示的这些实施例,而是要符合与本文所公开的原理和新颖特点相一致的最宽的范围。

Claims (8)

1.一种基于SysML的硬件算法模型构建方法,其特征在于,具体步骤包括如下:
通过SysML建立硬件算法的模块定义图和内部模块图;
将所述模块定义图和内部模块图存储为第一文本,确立所述模块定义图和内部模块图与所述第一文本的对应关系;
利用KMP算法提取所述第一文本并确立所述第一文本与VHDL元模型的映射规则;
调用所述VHDL元模型,根据所述映射规则将所述第一文本转换为VHDL语言的第二文本。
2.根据权利要求1所述的一种基于SysML的硬件算法模型构建方法,其特征在于,所述模块定义图和内部模块图以uml2.5.1版本导出为第一文本。
3.根据权利要求1所述的一种基于SysML的硬件算法模型构建方法,其特征在于,所述VHDL元模型包括实体元模型、元件元模型、信号元模型、端口元模型、端口映射元模型。
4.根据权利要求1所述的一种基于SysML的硬件算法模型构建方法,其特征在于,所述第一文本中标签名为packagedElement且xmi:type属性值为uml:Class的元素的name属性值表示实体名。
5.根据权利要求4所述的一种基于SysML的硬件算法模型构建方法,其特征在于,所述实体名下包含标签名为ownedAttribute且xmi:type属性值为uml:Property的元素的name属性值为元件名,所述元件名是所述实体名的下层模块。
6.根据权利要求1所述的一种基于SysML的硬件算法模型构建方法,其特征在于,xmi:type属性值为uml:Class的nestedClassifier节点表示实体模块,其子元素节点名为ownedAttribute且xmi:type属性值为uml:Port的节点表示属于所述实体模块的端口,name属性的值即为端口名。
7.根据权利要求1所述的一种基于SysML的硬件算法模型构建方法,其特征在于,所述VHDL元模型中的信号名称在所述第一文本中表示为nestedClassifier元素的子元素ownedConnector的name属性的值,信号所连接的端口是ownedConnector元素的子元素节点的role属性的值。
8.根据权利要求4所述的一种基于SysML的硬件算法模型构建方法,其特征在于,根据所述映射规则将所述第一文本转换为VHDL语言的第二文本的具体步骤如下:
在所述第一文本中获取标签名为packagedElement的节点列表,根据xmi:type属性的值将packagedElement节点分为三种,根据不同的属性以及所述第一文本与VHDL模型的映射关系得到实体名称、元件名称、数据类型;
在所述第一文本中获取packagedElement的子元素节点列表和nestedClassifier的子节点列表,根据所述第一文本与VHDL模型的映射关系得到信号名、端口映射、端口名、端口数据宽度。
CN202011393225.XA 2020-12-02 2020-12-02 基于SysML的硬件算法模型构建方法 Active CN112395818B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202011393225.XA CN112395818B (zh) 2020-12-02 2020-12-02 基于SysML的硬件算法模型构建方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202011393225.XA CN112395818B (zh) 2020-12-02 2020-12-02 基于SysML的硬件算法模型构建方法

Publications (2)

Publication Number Publication Date
CN112395818A true CN112395818A (zh) 2021-02-23
CN112395818B CN112395818B (zh) 2023-05-26

Family

ID=74605769

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202011393225.XA Active CN112395818B (zh) 2020-12-02 2020-12-02 基于SysML的硬件算法模型构建方法

Country Status (1)

Country Link
CN (1) CN112395818B (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115830200A (zh) * 2022-11-07 2023-03-21 北京力控元通科技有限公司 三维模型的生成方法、三维图形的渲染方法、装置及设备

Citations (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8346793B1 (en) * 2010-08-31 2013-01-01 The Mathworks, Inc. Techniques for suggesting correct identifiers
US9081761B1 (en) * 2010-08-31 2015-07-14 The Mathworks, Inc. Mistake avoidance and correction suggestions
CN105677563A (zh) * 2016-01-05 2016-06-15 南昌航空大学 一种基于SysML模块图的集成测试序列生成方法
CN106096126A (zh) * 2016-06-08 2016-11-09 华东师范大学 一种基于SysML/MARTE的信息物理融合系统的建模方法
CN107563055A (zh) * 2017-08-31 2018-01-09 中国电子科技集团公司第二十九研究所 一种基于功能失效风险传递模型的系统安全设计方法
US10114917B1 (en) * 2016-08-01 2018-10-30 The Mathworks, Inc. Systems and methods for mapping executable models to programmable logic device resources
US10181059B1 (en) * 2007-06-19 2019-01-15 The Mathworks, Inc. Modeling a physical component interface in a unified modeling language model
CN109255193A (zh) * 2018-09-26 2019-01-22 中国航空综合技术研究所 基于模型转换的飞机后缘襟翼控制系统的设计方法
CN110502808A (zh) * 2019-08-02 2019-11-26 中国航空无线电电子研究所 面向SysML的系统安全性分析方法和装置
CN110502211A (zh) * 2019-08-02 2019-11-26 中国航空无线电电子研究所 一种基于SysML模块图的AADL模型构造方法

Patent Citations (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US10181059B1 (en) * 2007-06-19 2019-01-15 The Mathworks, Inc. Modeling a physical component interface in a unified modeling language model
US8346793B1 (en) * 2010-08-31 2013-01-01 The Mathworks, Inc. Techniques for suggesting correct identifiers
US9081761B1 (en) * 2010-08-31 2015-07-14 The Mathworks, Inc. Mistake avoidance and correction suggestions
CN105677563A (zh) * 2016-01-05 2016-06-15 南昌航空大学 一种基于SysML模块图的集成测试序列生成方法
CN106096126A (zh) * 2016-06-08 2016-11-09 华东师范大学 一种基于SysML/MARTE的信息物理融合系统的建模方法
US10114917B1 (en) * 2016-08-01 2018-10-30 The Mathworks, Inc. Systems and methods for mapping executable models to programmable logic device resources
CN107563055A (zh) * 2017-08-31 2018-01-09 中国电子科技集团公司第二十九研究所 一种基于功能失效风险传递模型的系统安全设计方法
CN109255193A (zh) * 2018-09-26 2019-01-22 中国航空综合技术研究所 基于模型转换的飞机后缘襟翼控制系统的设计方法
CN110502808A (zh) * 2019-08-02 2019-11-26 中国航空无线电电子研究所 面向SysML的系统安全性分析方法和装置
CN110502211A (zh) * 2019-08-02 2019-11-26 中国航空无线电电子研究所 一种基于SysML模块图的AADL模型构造方法

Non-Patent Citations (9)

* Cited by examiner, † Cited by third party
Title
GEORGE-DIMITRIOS KAPOS 等: "A Declarative Approach for Transforming SysML Models to Executable Simulation Models", 《IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS: SYSTEMS》 *
GEORGE-DIMITRIOS KAPOS 等: "Model-based system engineering using SysML:Deriving executable simulation models with QVT", 《2014 IEEE INTERNATIONAL SYSTEMS CONFERENCE PROCEEDINGS》 *
LIU YUE 等: "Amodeling method of algorithm-hardware based on SysML", 《INTERNATIONAL JOURNAL OF MODELING, SIMULATION, AND SCIENTIFIC COMPUTING》 *
唐红英 等: "面向SysML的系统安全性分析工具与实例研究", 《计算机科学》 *
普措才仁 等: "基于深度学习模型的非结构化数据标注方法研究", 《西北民族大学学报(自然科学版)》 *
曹备: "模型驱动的"系统的系统"建模与仿真研究", 《中国优秀硕士学位论文全文数据库 信息科技辑》 *
阚宝铎: "基于SysML的北斗接收机建模与仿真研究", 《中国优秀硕士学位论文全文数据库 信息科技辑》 *
陈红涛: "从面向对象视角认识基于模型的系统工程", 《科技导报》 *
马钊坤 等: "基于UML的SoC层次化设计模型研究", 《计算机工程与设计》 *

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115830200A (zh) * 2022-11-07 2023-03-21 北京力控元通科技有限公司 三维模型的生成方法、三维图形的渲染方法、装置及设备
CN115830200B (zh) * 2022-11-07 2023-05-12 北京力控元通科技有限公司 三维模型的生成方法、三维图形的渲染方法、装置及设备

Also Published As

Publication number Publication date
CN112395818B (zh) 2023-05-26

Similar Documents

Publication Publication Date Title
US8954482B2 (en) Managing data flows in graph-based computations
CN103412853B (zh) 一种针对文档转换器的测试用例自动生成方法
CN104360865A (zh) 一种序列化方法、反序列化方法及相关设备
CN115016784B (zh) 低代码应用复用方法、应用解析系统、设备及存储介质
US20200151582A1 (en) Ascriptive and descriptive entities for process and translation: a limited iterative ontological notation
EP1231547B1 (en) System and method for mapping structured documents to structured data of program language and program for executing its method
CN109933589B (zh) 用于数据汇总的基于ElasticSearch聚合运算结果的数据结构转换方法
CN112395818B (zh) 基于SysML的硬件算法模型构建方法
CN114692532A (zh) 芯片系统的集成方法、装置及计算机可读存储介质
CN113608903A (zh) 一种基于xml语言的故障管理方法
CN116050312A (zh) 基于链表树的硬件逻辑设计层次结构信息提取方法及系统
Lacroix et al. Data structures for CAD object description
JP2824482B2 (ja) 2分決定グラフの変数順決定方式
CN112100970B (zh) 图形化显示时钟结构的方法及系统
CN109858169B (zh) 一种基于Modelica的模型平坦化方法
CN113778886B (zh) 一种测试用例的处理方法和装置
Alibay et al. alchemlyb Documentation
CN114818612A (zh) 一种基于结构化数据的报表代码的处理方法及相关设备
Kamath et al. Automatic integration of digital system requirements using schemata
CN117540052A (zh) 描述文件的生成方法、装置、计算机设备和存储介质
KR20150074611A (ko) 관계형 데이터베이스, 데이터를 xml로 변환하는 방법 및 장치
CN116627525A (zh) 一种web前端应用约定式状态管理配置方法及系统
CN114816387A (zh) 实体类生成方法及装置
CN116737216A (zh) 技术资源的管理方法、装置、设备、存储介质和程序产品
Abels et al. Semantic Interoperability for Technology-Enhanced Learning Platforms

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant