公开(公告)号：CN104899037B

公开(公告)日：2018-05-01

申请号：CN201510319556.1

申请日：2015-06-11

Applicant: 上海大学

Inventor： 高洪皓 ,  陈颖 ,  田野 ,  曾红卫 ,  缪淮扣

IPC: G06F9/44 ,  G06F11/36

Abstract: 本发明涉及一种基于模型的侵入式灰盒组装验证方法，属于软件工程技术领域，包括步骤：1)流程设计：根据待开发软件的业务逻辑，设计由多个抽象构件构成的工作流模型；2)实例化：根据工作流中各抽象构件的功能要求和接口信息在实例构件库中检索，并确认是否存在匹配的单一实例构件，若为是，则将该实例构件插入至抽象构件所在位置，若为否，则选择多个实例构件组合为复合构件并侵入至抽象构件所在位置；3)性质验证：转化实例化所产生的配置文件，得到适合于模型检验器NuSMV执行的Kripke结构脚本，并基于该脚本验证构件组装过程的正确性和安全性。与现有技术相比，本发明具有提高基于构件的软件开发效率等优点。

公开(公告)号：CN104899037A

公开(公告)日：2015-09-09

申请号：CN201510319556.1

申请日：2015-06-11

Applicant: 上海大学

Inventor： 高洪皓 ,  陈颖 ,  田野 ,  曾红卫 ,  缪淮扣

IPC: G06F9/44 ,  G06F11/36

Abstract: 本发明涉及一种基于模型的侵入式灰盒组装验证方法，属于软件工程技术领域，包括步骤：1)流程设计：根据待开发软件的业务逻辑，设计由多个抽象构件构成的工作流模型；2)实例化：根据工作流中各抽象构件的功能要求和接口信息在实例构件库中检索，并确认是否存在匹配的单一实例构件，若为是，则将该实例构件插入至抽象构件所在位置，若为否，则选择多个实例构件组合为复合构件并侵入至抽象构件所在位置；3)性质验证：转化实例化所产生的配置文件，得到适合于模型检验器NuSMV执行的Kripke结构脚本，并基于该脚本验证构件组装过程的正确性和安全性。与现有技术相比，本发明具有提高基于构件的软件开发效率等优点。

公开(公告)号：CN104888520A

公开(公告)日：2015-09-09

申请号：CN201510222846.4

申请日：2015-05-05

Applicant: 上海大学 ,  国核电站运行服务技术有限公司

Inventor： 蒲华燕 ,  陈功 ,  张宝军 ,  罗均 ,  谢少荣 ,  李哲 ,  陶泽勇 ,  周路生 ,  田野 ,  陶霖

IPC: B01D35/02

Abstract: 本发明公开了一种基于复合材料的防异物气囊装置，它包括橡胶气囊、橡胶带、过滤网、吊环组件、保持架、气动快插接头、气管和比例压力阀。所述橡胶气囊由内囊、外囊和气嘴组成，橡胶气囊由内囊和外囊通过特殊工艺紧密接合在一起，内囊材料为单一的橡胶，外囊材料为表面涂有橡胶材料的涤纶；所述橡胶带、所述过滤网及所述吊环组件均硫化一体成型在所述橡胶气囊上；所述保持架安装在所过滤网上，与所述橡胶气囊保持同心；所述气动快插接头通过螺纹与橡胶气囊上气嘴相连接；所述比例压力阀通过所属气管与所述气动快插接头相连接。本装置用在需要过滤且承受一定冲击力但很难固定的竖直管道中，用于取代原有的通过复杂机械结构实现功能的过滤装置。

公开(公告)号：CN100401435C

公开(公告)日：2008-07-09

申请号：CN200510111918.4

申请日：2005-12-23

Applicant: 上海大学

Inventor： 李瑛 ,  朱明原 ,  金红明 ,  姜娟 ,  杨秋平 ,  田野 ,  张小磊

IPC: H01F41/02

Abstract: 本发明涉及一种各向异性粘结钕铁硼磁体的制备方法，该方法包括以下步骤：按照常规压制成形法将各向异性钕铁硼磁粉、粘结剂以及其他添加剂混合后进行压制成坯；将上述获得的压坯放入带有磁场的固化炉中进行固化处理，磁场为恒定或脉冲磁场，磁场强度为1-100特斯拉，脉冲磁场的频率为0.03～0.1赫兹，固化温度为100-250℃，固化时间为10分钟-2小时，即得到各向异性粘结钕铁硼磁体。

公开(公告)号：CN1794387A

公开(公告)日：2006-06-28

申请号：CN200510111918.4

申请日：2005-12-23

Applicant: 上海大学

Inventor： 李瑛 ,  朱明原 ,  金红明 ,  姜娟 ,  杨秋平 ,  田野 ,  张小磊

IPC: H01F41/02

Abstract: 本发明涉及一种各向异性粘结钕铁硼磁体的制备方法，该方法包括以下步骤：按照常规压制成形法将各向异性钕铁硼磁粉、粘结剂以及其他添加剂混合后进行压制成坯；将上述获得的压坯放入带有磁场的固化炉中进行固化处理，磁场为恒定或脉冲磁场，磁场强度为1－100特斯拉，脉冲磁场的频率为0.03～0.1赫兹，固化温度为100－250℃，固化时间为10分钟－2小时，即得到各向异性粘结钕铁硼磁体。

公开(公告)号：CN104888520B

公开(公告)日：2017-03-15

申请号：CN201510222846.4

申请日：2015-05-05

Applicant: 上海大学 ,  国核电站运行服务技术有限公司

Inventor： 蒲华燕 ,  陈功 ,  张宝军 ,  罗均 ,  谢少荣 ,  李哲 ,  陶泽勇 ,  周路生 ,  田野 ,  陶霖

IPC: B01D35/02

Abstract: 本发明公开了一种基于复合材料的防异物气囊装置，它包括橡胶气囊、橡胶带、过滤网、吊环组件、保持架、气动快插接头、气管和比例压力阀。所述橡胶气囊由内囊、外囊和气嘴组成，橡胶气囊由内囊和外囊通过特殊工艺紧密接合在一起，内囊材料为单一的橡胶，外囊材料为表面涂有橡胶材料的涤纶；所述橡胶带、所述过滤网及所述吊环组件均硫化一体成型在所述橡胶气囊上；所述保持架安装在所过滤网上，与所述橡胶气囊保持同心；所述气动快插接头通过螺纹与橡胶气囊上气嘴相连接；所述比例压力阀通过所属气管与所述气动快插接头相连接。本装置用在需要过滤且承受一定冲击力但很难固定的竖直管道中，用于取代原有的通过复杂机械结构实现功能的过滤装置。