【摘要】本发明公开了一种基于NuSMV的服务组合规则路由的正确性验证方法。本发明首先对于每一个原子服务,建立表示整个业务流程的组合服务模型六元组。其次为组合服务模型服务六元组定义一个NuSMV验证程序的状态变量,根据组合服务模型六元组的消息
【摘要】 本发明的热像挑选通知装置和热像挑选通知方法, 涉及热像装置、热像处理装置,以及红外热成像检测的应用领域。现有技术的热像装置,拍摄时需依靠使用者的主观经验来拍摄被摄体热像,工作量大,并且难以保证热像的质量;本发明提供一种热像挑选通知装置和热像挑选通知方法,能自动检测出所获取的热像数据帧中特定被摄体热像的规定信息,或还考虑辅助信息的因素,以此自动选择符合规定条件的热像数据帧并进行通知,以利于进一步进行分析、存储等处理或操作。 【专利类型】发明申请 【申请人】杭州美盛红外光电技术有限公司 【申请人类型】企业 【申请人地址】310051 浙江省杭州市滨江区滨安路1180号1、2号厂房间西侧五楼连廊501室 【申请人地区】中国 【申请人城市】杭州市 【申请人区县】滨江区 【申请号】CN201210584238.4 【申请日】2012-12-27 【申请年份】2012 【公开公告号】CN103900709A 【公开公告日】2014-07-02 【公开公告年份】2014 【IPC分类号】G01J5/10; G01J5/02 【发明人】王浩 【主权项内容】热像挑选通知装置,具有,获取部,用于获取热像数据帧;热像存储部,用于存储所述获取部获取的多帧热像数据帧;检测部,用于响应规定的指示,基于热像存储部中存储的多帧热像数据帧,检测热像数据帧中与特定被摄体热像有关的规定信息;比较部,用于基于检测部检测获得的规定信息和/或基于检测获得的规定信息而得到的评价值,对多个热像数据帧进行比较;通知部,根据比较部的比较结果,进行通知。。 【当前权利人】杭州美盛红外光电技术有限公司 【当前专利权人地址】浙江省杭州市滨江区滨安路1180号1、2号厂房间西侧五楼连廊501室 【专利权人类型】有限责任公司(自然人投资或控股) 【统一社会信用代码】91330110670649992D 【引证次数】5.0 【被引证次数】1 【自引次数】2.0 【他引次数】3.0 【被他引次数】1.0 【家族引证次数】5.0 【家族被引证次数】1
未经允许不得转载:http://www.zhongzhencnc.com/1791524429.html






