公开(公告)号：CN113238759B

公开(公告)日：2023-02-03

申请号：CN202110399134.5

申请日：2021-04-14

Applicant: 西安电子科技大学

Inventor： 段振华 ,  谷宇天 ,  张南 ,  田聪 ,  王小兵 ,  赵亮 ,  陆旭 ,  于斌 ,  张捷

IPC: G06F8/41 ,  G06F8/76

Abstract: 本发明属于计算机程序设计语言及应用技术领域，公开了一种类Python程序设计语言XD‑M的解释系统及方法，所述类Python程序设计语言XD‑M的解释方法包括：对于XD‑M语言中的基本语句和源自建模仿真验证语言MSVL的语句，通过调用MSVL解释器底层接口的方法进行解释；对于具有XD‑M语言特性的语句，为语句建立等价的MSVL语法树，扩展底层接口，编写底层对该语句的解释方法。本发明使用XD‑M语言编写的XD‑M程序可以进行建模、仿真和验证，提高了XD‑M语言的正确性、可靠性和安全性，实现类Python的使用简单变量而无需类型声明的编程风格，提高XD‑M程序的灵活性；依托MinGW开发环境。

公开(公告)号：CN113238759A

公开(公告)日：2021-08-10

申请号：CN202110399134.5

申请日：2021-04-14

Applicant: 西安电子科技大学

Inventor： 段振华 ,  谷宇天 ,  张南 ,  田聪 ,  王小兵 ,  赵亮 ,  陆旭 ,  于斌 ,  张捷

IPC: G06F8/41 ,  G06F8/76

Abstract: 本发明属于计算机程序设计语言及应用技术领域，公开了一种类Python程序设计语言XD‑M的解释系统及方法，所述类Python程序设计语言XD‑M的解释方法包括：对于XD‑M语言中的基本语句和源自建模仿真验证语言MSVL的语句，通过调用MSVL解释器底层接口的方法进行解释；对于具有XD‑M语言特性的语句，为语句建立等价的MSVL语法树，扩展底层接口，编写底层对该语句的解释方法。本发明使用XD‑M语言编写的XD‑M程序可以进行建模、仿真和验证，提高了XD‑M语言的正确性、可靠性和安全性，实现类Python的使用简单变量而无需类型声明的编程风格，提高XD‑M程序的灵活性；依托MinGW开发环境。