-
公开(公告)号:CN110777831A
公开(公告)日:2020-02-11
申请号:CN201911035931.4
申请日:2019-10-29
申请人: 中铁隧道集团二处有限公司 , 武汉工程大学
发明人: 王坤 , 何进江 , 张卫中 , 刘学霸 , 黄章君 , 杨艳玲 , 宋康年 , 肖尊群 , 叱清俊 , 范东升 , 谭建兵 , 李征 , 刘波 , 汪建卫 , 张世杰 , 冯飞 , 林兵 , 张随涛 , 李少贤 , 王帅
摘要: 本发明公开了一种地铁车站深基坑分台阶开挖涌水的集中外排系统及方法,地铁车站深基坑分台阶开挖涌水的集中外排系统,包括用于上下台阶储水用的上部台阶储水池和下部台阶储水池,上部台阶储水池和下部台阶储水池通过输水管道连接,输水管道上旁接有向外排水的排水管道;以排水管道在输水管道的连接点为界,输水管道分为靠近上部台阶储水池的上输水管道和靠近下部台阶储水池的下输水管道,下输水管道处旁接有抽水管道,抽水管道的端口与下部台阶储水池连接,且抽水管道上设有水泵。本发明明结构简单、操作方便、使用灵活,可实现分层多级控制,管道架设也有很强的灵活性,节约了大量的排水设备、电费、人力维护及机械设备使用等费用。
-
公开(公告)号:CN101957792A
公开(公告)日:2011-01-26
申请号:CN201010262900.5
申请日:2010-08-26
申请人: 武汉工程大学
IPC分类号: G06F11/36
摘要: 本发明涉及一种基于契约的AOP应用程序中行为冲突问题的自动检查方法,包括有以下步骤:1)基于契约式设计思想,使用Java Annotation描述基础程序和方面代码的相关契约;2)抽取源代码中的契约,通过断言验证程序生成工具把已抽取的契约转换成断言验证程序;3)执行包含断言验证程序的目标文件,从而在程序运行时实现行为冲突的自动检测。本发明的有益效果在于:可以在程序运行阶段实现Aspect组合中行为冲突的自动检测,为Aspect的安全组合提供了保障,有利于构建高可信的面向方面软件。
-
公开(公告)号:CN101930365A
公开(公告)日:2010-12-29
申请号:CN201010262841.1
申请日:2010-08-26
申请人: 武汉工程大学
IPC分类号: G06F9/44
摘要: 本发明涉及一种基于元数据和反射机制的AOP应用程序中结构冲突的处理方法,包括有以下步骤:1)把反射体系结构中的元层当作基础程序和Aspect的中间层;2)为基础程序中需要反射的类或方法创建用于描述概念层中与基础程序对应的逻辑信息、物理信息以及两者之间映射关系的XML文件;3)基础程序添加标注或更新标注;4)根据XML文件中的逻辑信息,更新与逻辑信息对应的物理信息;5)由转换程序自动生成元层程序,由元层程序完成反射体系结构中精化与反射的实现。本发明的有益效果在于:可以灵活的选择反射粒度大小,程序的执行方式比较灵活,没有AOP语言的限定要求,使用方法上具有更强的通用性。
-
公开(公告)号:CN211547778U
公开(公告)日:2020-09-22
申请号:CN201921831860.4
申请日:2019-10-29
申请人: 中铁隧道集团二处有限公司 , 武汉工程大学
发明人: 王坤 , 何进江 , 张卫中 , 刘学霸 , 黄章君 , 杨艳玲 , 宋康年 , 肖尊群 , 叱清俊 , 范东升 , 谭建兵 , 李征 , 刘波 , 汪建卫 , 张世杰 , 冯飞 , 林兵 , 张随涛 , 李少贤 , 王帅
摘要: 本实用新型公开了一种地铁车站深基坑分台阶开挖涌水的集中外排系统,包括用于上下台阶储水用的上部台阶储水池和下部台阶储水池,上部台阶储水池和下部台阶储水池通过输水管道连接,输水管道上旁接有向外排水的排水管道;以排水管道在输水管道的连接点为界,输水管道分为靠近上部台阶储水池的上输水管道和靠近下部台阶储水池的下输水管道,下输水管道处旁接有抽水管道,抽水管道的端口与下部台阶储水池连接,且抽水管道上设有水泵。本实用新型明结构简单、操作方便、使用灵活,可实现分层多级控制,管道架设也有很强的灵活性,节约了大量的排水设备、电费、人力维护及机械设备使用等费用。(ESM)同样的发明创造已同日申请发明专利
-
-
-