公开(公告)号：CN104268057B

公开(公告)日：2017-09-26

申请号：CN201410495693.6

申请日：2014-09-24

Applicant: 河海大学

Inventor： 张鹏程 ,  余俊 ,  冯钧 ,  朱跃龙 ,  万定生 ,  刘宗磊 ,  庄媛 ,  周宇鹏 ,  肖艳

IPC: G06F11/30

Abstract: 本发明公开一种Android平台下的模块化系统的监控系统及方法，根据系统行为计算出相应的监控系数，如果监控系数大于目标监控系数则通过远程云端对已知系统进行监控，反之，如果小于目标监控系数则在本地对系统进行监控，从而阻止系统失效，同时监控行为的分散为系统带来的性能负载也是极其有限的；Android平台本地监控实时性更强，能对系统进行有效监控但对系统造成一定资源的消耗；云端监控对目标系统不造成任何资源上的消耗，同时云端监控生成的日志可利用云平台处理大数据的能力进行监控日志分析；监控系数是根据模块化系统的系统行为是否为计算资源紧凑型、内存空间紧凑型以及时间紧凑型等因素计算得来，用以判断监控行为是放在本地或者云端。

公开(公告)号：CN118010963A

公开(公告)日：2024-05-10

申请号：CN202311860709.4

申请日：2023-12-31

Applicant: 江西省公路工程有限责任公司 ,  江西省交通工程集团有限公司 ,  河海大学 ,  宿迁学院 ,  江西交通职业技术学院 ,  江西省长大桥隧研究设计院有限公司

Inventor： 余俊 ,  谢甲闰 ,  金焱 ,  刘禄厚 ,  杨璐 ,  邓俊双 ,  刘圣洁 ,  张声福 ,  聂军红 ,  刘昌雨 ,  杨舒宇 ,  刘文牛 ,  余秀强 ,  樊力强 ,  周胜波

IPC: G01N33/38

Abstract: 本发明公开了边坡混凝土浇筑技术领域的边坡混凝土的环境模拟装置，旨在为业界提供用模拟验证混凝土浇筑在边坡的实际工况的新手段。其包括：坡面模拟件用于模拟实际工况下的坡面的岩质土质，伸缩装置驱动坡面模拟件绕转动连接点以改变坡面模拟件的角度，模拟实际工况下的坡面斜率；混凝土或水容置于浇筑模拟箱内，通过带孔板落入坡面模拟件表面，以模拟实际工况下的坡面浇筑和降雨。

公开(公告)号：CN103500134A

公开(公告)日：2014-01-08

申请号：CN201310481229.7

申请日：2013-10-15

Applicant: 河海大学

Inventor： 张鹏程 ,  余俊

IPC: G06F11/30

Abstract: 本发明公开一种基于属性序列图的监听器生成系统和方法，通过属性序列图对已知系统的行为的描述，得到与之对应的博弈结构，最终得到与系统以及环境中参加交互的组件一一对应的监听器，对已知系统进行监控，从而达到阻止系统失效的发生的目的，属性序列图编辑器，提供完全图形化的窗口以供用户画出系统中的交互；属性序列图转化为博弈结构的规则(标准)，将属性序列图根据该规则转化成博弈结构；博弈结构窗口，显示由属性序列图生成的博弈结构；博弈结构转化为监听器的规则(标准)，博弈结构根据该规则生成多个监听器；监听器窗口，显示所有的监听器.本发明根据博弈结构具有多值语义的特性，获取更详细的监控结果并且提供所需的信息以实现阻止和恢复失效。

公开(公告)号：CN103500134B

公开(公告)日：2017-02-01

申请号：CN201310481229.7

申请日：2013-10-15

Applicant: 河海大学

Inventor： 张鹏程 ,  余俊

IPC: G06F11/30

Abstract: 本发明公开一种基于属性序列图的监听器生成系统和方法，通过属性序列图对已知系统的行为的描述，得到与之对应的博弈结构，最终得到与系统以及环境中参加交互的组件一一对应的监听器，对已知系统进行监控，从而达到阻止系统失效的发生的目的，属性序列图编辑器，提供完全图形化的窗口以供用户画出系统中的交互；属性序列图转化为博弈结构的规则(标准)，将属性序列图根据该规则转化成博弈结构；博弈结构窗口，显示由属性序列图生成的博弈结构；博弈结构转化为监听器的规则(标准)，博弈结构根据该规则生成多个监听器；监听器窗口，显示所有的监听器.本发明根据博弈结构具有多值语义的特性，获取更详细的监控结果并且提供所需的信息以实现阻止和恢复失效。

公开(公告)号：CN104268057A

公开(公告)日：2015-01-07

申请号：CN201410495693.6

申请日：2014-09-24

Applicant: 河海大学

Inventor： 张鹏程 ,  余俊 ,  冯钧 ,  朱跃龙 ,  万定生 ,  刘宗磊 ,  庄媛 ,  周宇鹏 ,  肖艳

IPC: G06F11/30

Abstract: 本发明公开一种Android平台下的模块化系统的监控系统及方法，根据系统行为计算出相应的监控系数，如果监控系数大于目标监控系数则通过远程云端对已知系统进行监控，反之，如果小于目标监控系数则在本地对系统进行监控，从而阻止系统失效，同时监控行为的分散为系统带来的性能负载也是极其有限的；Android平台本地监控实时性更强，能对系统进行有效监控但对系统造成一定资源的消耗；云端监控对目标系统不造成任何资源上的消耗，同时云端监控生成的日志可利用云平台处理大数据的能力进行监控日志分析；监控系数是根据模块化系统的系统行为是否为计算资源紧凑型、内存空间紧凑型以及时间紧凑型等因素计算得来，用以判断监控行为是放在本地或者云端。