-
公开(公告)号：CN108052446A
公开(公告)日：2018-05-18
申请号：CN201711307692.4
申请日：2017-12-11
Applicant: 苏州大学
Abstract: 本发明公开了一种Web服务组合的建模及概率验证方法，包括：根据获取到的BPEL源码建立对应的WSC‑XTS模型；将所述WSC‑XTS模型转化为对应的CTMC模型；将所述CTMC模型及预设的属性规约输入到概率模型检测器中对所述WSC‑XTS模型进行验证；获得验证结果。本发明基于BPEL源码建立的WSC‑XTS模型中的相关内容均可以直接从BPEL源码中直接获取，因此整个建模及验证过程更加简单。
-
公开(公告)号：CN108040015A
公开(公告)日：2018-05-15
申请号：CN201711262494.0
申请日：2017-12-04
Applicant: 苏州大学
IPC: H04L12/801
Abstract: 本发明公开了一种处理数据的方法及系统，所述方法包括：接收终端发送的数据信息；从预设的数据库中获取与所述数据信息对应的逻辑信息，以及与所述逻辑信息对应的执行指令；根据所述逻辑信息确定执行终端，并发送所述执行指令至所述执行终端，以使所述执行终端执行相应的操作。由此根据接收到的数据信息，直接获取预先存储的逻辑信息和执行指令，并立即执行相应的操作，从而提高了处理数据的效率，也节约了时间；同时，也无需跨网络将数据信息发送至远端的管理端，避免了网络阻塞和网络延时，从而节约了资源和成本。相应的，本发明公开的一种处理数据的系统，也同样具有上述技术效果。
-
公开(公告)号：CN108052446B
公开(公告)日：2021-04-23
申请号：CN201711307692.4
申请日：2017-12-11
Applicant: 苏州大学
Abstract: 本发明公开了一种Web服务组合的建模及概率验证方法，包括：根据获取到的BPEL源码建立对应的WSC‑XTS模型；将所述WSC‑XTS模型转化为对应的CTMC模型；将所述CTMC模型及预设的属性规约输入到概率模型检测器中对所述WSC‑XTS模型进行验证；获得验证结果。本发明基于BPEL源码建立的WSC‑XTS模型中的相关内容均可以直接从BPEL源码中直接获取，因此整个建模及验证过程更加简单。
-
公开(公告)号：CN103678834A
公开(公告)日：2014-03-26
申请号：CN201410006569.9
申请日：2014-01-07
Applicant: 苏州大学
Abstract: 本发明公开了一种信息物理融合系统CPS的建模方法及装置，该方法包括：分析信息物理融合系统CPS的功能需求，获得N个目标功能需求；其中，N为整数；分别建立N个目标功能需求的N个原子服务模型；组合N个原子服务模型，获得组合服务模型；由上可见，采用本发明的方法及装置，可实现对CPS的建模。
-
公开(公告)号：CN107180133B
公开(公告)日：2020-08-25
申请号：CN201710354495.1
申请日：2017-05-18
Applicant: 苏州大学
IPC: G06F30/20
Abstract: 本发明公开了一种CPS建模的方法及装置，根据预设模型融合规则，将预先建立的基本网模型和方面网模型进行融合，得到CPS模型；其中，上述预设模型融合规则包括表征各个方面网模型间执行顺序的组合规则，以及基本网模型与方面网模型间的编织规则。在本申请中，利用方面网模型间的组合规则，明确了方面网间的执行顺序，克服了方面网间的冲突；利用基本网模型和方面网模型间的编织规则，可以正确无冲突地将方面网编织入系统中，克服了基本网模型和方面网模型间的冲突，进而保证了系统的安全性和稳定性。可见，本申请克服建模时的冲突问题，提高CPS系统的安全性和稳定性。
-
Patent Agency Ranking
公开(公告)号：CN107180133A
公开(公告)日：2017-09-19
申请号：CN201710354495.1
申请日：2017-05-18
Applicant: 苏州大学
IPC: G06F17/50
Abstract: 本发明公开了一种CPS建模的方法及装置，根据预设模型融合规则，将预先建立的基本网模型和方面网模型进行融合，得到CPS模型；其中，上述预设模型融合规则包括表征各个方面网模型间执行顺序的组合规则，以及基本网模型与方面网模型间的编织规则。在本申请中，利用方面网模型间的组合规则，明确了方面网间的执行顺序，克服了方面网间的冲突；利用基本网模型和方面网模型间的编织规则，可以正确无冲突地将方面网编织入系统中，克服了基本网模型和方面网模型间的冲突，进而保证了系统的安全性和稳定性。可见，本申请克服建模时的冲突问题，提高CPS系统的安全性和稳定性。
-
公开(公告)号：CN103699647B
公开(公告)日：2017-02-15
申请号：CN201310731193.3
申请日：2013-12-26
Applicant: 苏州大学
IPC: G06F17/30
Abstract: 本申请公开了一种字符串词典的索引方法，包括：获取待测字符串键P；查询预先建立的包括索引Trie和标签Trie的索引模型，其中：所述索引Trie由多个节点，及节点之间路径上的字符串标签首字母组成，各节点中携带字符串键的值及字符串标签的尾字符串在标签Trie中的节点编号；所述标签Trie上每个节点到根节点之间的路径上存储的字符串，为所述索引Trie上携带当前节点编号的节点对应的字符串标签的尾字符串。本申请将原有的Patricia Trie分解为一个索引Trie和一个标签Trie，索引Trie只记录字符串标签的首字母，其尾字符串由标签Trie提供，相比于原有的Patricia Trie需要记录全部的字符串标签，大大减少了存储空间。
-
公开(公告)号：CN104333602A
公开(公告)日：2015-02-04
申请号：CN201410654289.9
申请日：2014-11-17
Applicant: 苏州大学
IPC: H04L29/08
Abstract: 本申请公开了一种面向物联网的环境感知方法、装置及自适应系统，其中，方法包括：预先建立了与用户需求信息对应的环境信息模型，根据用户不同的需求信息，建立不同的环境信息模型，环境信息模型指示了采集信息的种类和信息的描述，在响应用户的需求信息时，调用预存的与所述需求信息对应的环境信息模型，并利用调用的环境信息模型进行环境信息的采集及后续处理。本申请针对不同种类的环境信息采用不同的调用策略和采集方式，减少了冗余数据的产生，提高了信息的质量，同时也提高了运行效率。
-
公开(公告)号：CN103699762A
公开(公告)日：2014-04-02
申请号：CN201410017878.6
申请日：2014-01-15
Applicant: 苏州大学
IPC: G06F17/50
Abstract: 一种基于统计模型检测的CPS属性验证方法，包括以下步骤：S1、设置通信端口将混成自动机扩展为扩展混成自动机，并获取CPS模型通过所述扩展混成自动机运行的轨迹。S2、构造用于产生所述CPS模型运行的轨迹样本的监视器，并将所述监视器生成的轨迹样本作为SMC统计验证阶段的输入。S3、使用统计评估技术收集所述CPS模型满足特定属性的证据，并使用预设的第二算法判断CPS模型是否满足所述特定属性。
-
公开(公告)号：CN104333602B
公开(公告)日：2017-12-26
申请号：CN201410654289.9
申请日：2014-11-17
Applicant: 苏州大学
IPC: H04L29/08
Abstract: 本申请公开了一种面向物联网的环境感知方法、装置及自适应系统，其中，方法包括：预先建立了与用户需求信息对应的环境信息模型，根据用户不同的需求信息，建立不同的环境信息模型，环境信息模型指示了采集信息的种类和信息的描述，在响应用户的需求信息时，调用预存的与所述需求信息对应的环境信息模型，并利用调用的环境信息模型进行环境信息的采集及后续处理。本申请针对不同种类的环境信息采用不同的调用策略和采集方式，减少了冗余数据的产生，提高了信息的质量，同时也提高了运行效率。
-
-
-
-
-
-
-
-
-
Search Results
15
records
(took 0.016 seconds)
