-
公开(公告)号：CN113238759A
公开(公告)日：2021-08-10
申请号：CN202110399134.5
申请日：2021-04-14
Applicant: 西安电子科技大学
Abstract: 本发明属于计算机程序设计语言及应用技术领域，公开了一种类Python程序设计语言XD‑M的解释系统及方法，所述类Python程序设计语言XD‑M的解释方法包括：对于XD‑M语言中的基本语句和源自建模仿真验证语言MSVL的语句，通过调用MSVL解释器底层接口的方法进行解释；对于具有XD‑M语言特性的语句，为语句建立等价的MSVL语法树，扩展底层接口，编写底层对该语句的解释方法。本发明使用XD‑M语言编写的XD‑M程序可以进行建模、仿真和验证，提高了XD‑M语言的正确性、可靠性和安全性，实现类Python的使用简单变量而无需类型声明的编程风格，提高XD‑M程序的灵活性；依托MinGW开发环境。
-
公开(公告)号：CN113238759B
公开(公告)日：2023-02-03
申请号：CN202110399134.5
申请日：2021-04-14
Applicant: 西安电子科技大学
Abstract: 本发明属于计算机程序设计语言及应用技术领域，公开了一种类Python程序设计语言XD‑M的解释系统及方法，所述类Python程序设计语言XD‑M的解释方法包括：对于XD‑M语言中的基本语句和源自建模仿真验证语言MSVL的语句，通过调用MSVL解释器底层接口的方法进行解释；对于具有XD‑M语言特性的语句，为语句建立等价的MSVL语法树，扩展底层接口，编写底层对该语句的解释方法。本发明使用XD‑M语言编写的XD‑M程序可以进行建模、仿真和验证，提高了XD‑M语言的正确性、可靠性和安全性，实现类Python的使用简单变量而无需类型声明的编程风格，提高XD‑M程序的灵活性；依托MinGW开发环境。
-
公开(公告)号：CN102170332B
公开(公告)日：2013-06-12
申请号：CN201110127447.1
申请日：2011-05-18
Applicant: 西安电子科技大学
CPC classification number: Y02D70/00
Abstract: 一种基于喷泉码和网络编码的机会路由协议数据分发方法，具体步骤包括：(1)在TinyOS系统下，将所有网络节点编号，建立路由信息；(2)将数据分段并编号，计算每个节点的接收阈值；(3)源节点采用喷泉码对数据进行预编码，维护一个控制网络中数据包数量的发送窗口；(4)中间节点对同一段的数据包采用网络编码，使用机会路由方法发送编码数据；(5)信宿节点对数据进行网络解码，对网络解码后的数据段进行喷泉码解码。本发明实现了网络编码和机会路由的结合，增加单次传输的信息量，减少数据包的传输和重传次数，具有可靠数据传输、提高网络效率和节省传感器节点能量消耗的优点。
-
公开(公告)号：CN102170332A
公开(公告)日：2011-08-31
申请号：CN201110127447.1
申请日：2011-05-18
Applicant: 西安电子科技大学
CPC classification number: Y02D70/00
Abstract: 一种基于喷泉码和网络编码的机会路由协议数据分发方法，具体步骤包括：(1)在TinyOS系统下，将所有网络节点编号，建立路由信息；(2)将数据分段并编号，计算每个节点的接收阈值；(3)源节点采用喷泉码对数据进行预编码，维护一个控制网络中数据包数量的发送窗口；(4)中间节点对同一段的数据包采用网络编码，使用机会路由方法发送编码数据；(5)信宿节点对数据进行网络解码，对网络解码后的数据段进行喷泉码解码。本发明实现了网络编码和机会路由的结合，增加单次传输的信息量，减少数据包的传输和重传次数，具有可靠数据传输、提高网络效率和节省传感器节点能量消耗的优点。
-
-
-
Search Results
4
records
(took 0.023 seconds)
