【摘要】本发明公开了一种基于NuSMV的服务组合规则路由的正确性验证方法。本发明首先对于每一个原子服务，建立表示整个业务流程的组合服务模型六元组。其次为组合服务模型服务六元组定义一个NuSMV验证程序的状态变量，根据组合服务模型六元组的消息
【摘要】 本发明提供了一种偏氟乙烯共聚物，含有偏氟乙烯单体和至少一种具有结构式(I)所示的改性马来酸酯类单体(结构式及各取代基见说明书)，改性马来酸酯类单体占总共聚单体的质量配比为大于0～20%。本发明还提供了偏氟乙烯共聚物的制备方法。本发明提供的偏氟乙烯共聚物粘结强度高，尤其适合用于锂离子电池。 【专利类型】发明申请 【申请人】中化蓝天集团有限公司; 浙江蓝天环保高科技股份有限公司 【申请人类型】企业 【申请人地址】310051 浙江省杭州市滨江区江南大道96号 【申请人地区】中国 【申请人城市】杭州市 【申请人区县】滨江区 【申请号】CN201210287063.0 【申请日】2012-08-14 【申请年份】2012 【公开公告号】CN103588922A 【公开公告日】2014-02-19 【公开公告年份】2014 【IPC分类号】C08F214/22; C08F222/16; C08F2/24; C08F2/18; H01M4/62; H01G9/042 【发明人】吴于松; 朱伟伟; 方敏; 董经博 【主权项内容】1.一种偏氟乙烯共聚物，其特征在于所述偏氟乙烯共聚物含有偏氟乙烯单体和至少一种改性马来酸酯类单体，改性马来酸酯类单体占总共聚单体的质量配比为大于0～20%，所述改性马来酸酯类单体具有如下结构式(I)：(I)其中：R1选自C3-C8烷基、含有任选自O、S、N、Cl和Br中的至少一个杂原子取代的C1-C8烷基；R2、R3独立地选自氢原子、C1-C8烷基、含有任选自O、S、N、Cl和Br中的至少一个杂原子取代的C1-C8烷基。 【当前权利人】中化蓝天集团有限公司; 浙江蓝天环保高科技股份有限公司 【当前专利权人地址】浙江省杭州市滨江区江南大道96号; 浙江省杭州市杭州经济技术开发区5号大街27号 【专利权人类型】其他有限责任公司; 其他股份有限公司(非上市) 【统一社会信用代码】91330000724538711A; 913300007258592188 【引证次数】14.0 【被引证次数】15 【自引次数】1.0 【他引次数】13.0 【被自引次数】4.0 【被他引次数】11.0 【家族引证次数】14.0 【家族被引证次数】15
未经允许不得转载：http://www.zhongzhencnc.com/1791527217.html
