-
公开(公告)号：CN104008149B
公开(公告)日：2017-10-10
申请号：CN201410212448.X
申请日：2014-05-16
Applicant: 西北工业大学
IPC: G06F17/30
Abstract: 本发明公开了一种面向CPS的事件模型时空信息表示与处理方法，其包括如下操作：定义CPS事件模型的时空信息表示方法，CPS事件模型包括基本事件模型和扩展信息集；定义基本事件模型，用于表示一个事件来自数据源的最基本的事件信息；定义扩展信息集，定义CPS事件可能携带的各种类型的属性信息；将基本事件模型到扩展信息集进行映射和扩展；获取事件的时空信息；对基于时空信息的事件条件进行判定，判定捕获者接收到的CPS事件是否满足某种约束条件决定是否产生CPS响应动作。上述方案可有效解决CPS应用中事件的时空数据语义多样化，上层应用软件难以直接应用的问题。
-
公开(公告)号：CN103699743B
公开(公告)日：2017-01-25
申请号：CN201310723208.1
申请日：2013-12-25
Applicant: 西北工业大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于CPS-ADL模型向混合程序转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，其特征在于：在CPS-ADL平台上采用扩展的混成系统描述语言E-HYSDEL对CPS进行建模；给出HP模型的形式化定义HPM，并在满足模型转换一致性的前提下建立CPS-ADL模型元素与HP模型元素之间的转换规则；基于这些转换规则，将具体CPS的模型描述代码自动转换为混合程序；按照定理证明器KeYmaera的输入格式，由混合程序和以动态微分逻辑描述的系统属性公式生成KeYmaera的输入文件；在KeYmaera中打开输入文件，进行推理验证。本发明细化了基于CPS-ADL模型向HP转换的方法和机制，实现了CPS-ADL模型元素向HP模型元素转换的规则。
-
公开(公告)号：CN104008149A
公开(公告)日：2014-08-27
申请号：CN201410212448.X
申请日：2014-05-16
Applicant: 西北工业大学
IPC: G06F17/30
Abstract: 本发明公开了一种面向CPS的事件模型时空信息表示与处理方法，其包括如下操作：定义CPS事件模型的时空信息表示方法，CPS事件模型包括基本事件模型和扩展信息集；定义基本事件模型，用于表示一个事件来自数据源的最基本的事件信息；定义扩展信息集，定义CPS事件可能携带的各种类型的属性信息；将基本事件模型到扩展信息集进行映射和扩展；获取事件的时空信息；对基于时空信息的事件条件进行判定，判定捕获者接收到的CPS事件是否满足某种约束条件决定是否产生CPS响应动作。上述方案可有效解决CPS应用中事件的时空数据语义多样化，上层应用软件难以直接应用的问题。
-
公开(公告)号：CN103699743A
公开(公告)日：2014-04-02
申请号：CN201310723208.1
申请日：2013-12-25
Applicant: 西北工业大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于CPS-ADL模型向混合程序转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，其特征在于：在CPS-ADL平台上采用扩展的混成系统描述语言E-HYSDEL对CPS进行建模；给出HP模型的形式化定义HPM，并在满足模型转换一致性的前提下建立CPS-ADL模型元素与HP模型元素之间的转换规则；基于这些转换规则，将具体CPS的模型描述代码自动转换为混合程序；按照定理证明器KeYmaera的输入格式，由混合程序和以动态微分逻辑描述的系统属性公式生成KeYmaera的输入文件；在KeYmaera中打开输入文件，进行推理验证。本发明细化了基于CPS-ADL模型向HP转换的方法和机制，实现了CPS-ADL模型元素向HP模型元素转换的规则。
-
-
-
Search Results
4
records
(took 0.016 seconds)
