公开(公告)号：CN103246770B

公开(公告)日：2015-10-14

申请号：CN201310168258.8

申请日：2013-05-08

Applicant: 南京大学

Inventor： 王林章 ,  俞磊 ,  卜磊 ,  李宣东 ,  陈志

IPC: G06F17/50 ,  G06F11/36

CPC classification number: G06F8/35 ,  G06F11/3604 ,  G06F11/3668 ,  G06F17/5009

Abstract: 本发明是一种基于活动图模型的系统行为仿真方法，首先读取并解析待仿真的统一建模语言活动图模型，从中抽取出重要的模型元素信息并在内存中构建一个完整的模型映射；然后对读入的统一建模语言活动图模型进行解析，分别从统一建模语言活动图模型中解析出各种模型元素；再结合采用混合执行的思想对其进行持续的具体执行、符号执行以及约束求解，在达到节点覆盖度阈值的情况下结束该过程；最后使用上一步收集到的仿真用例对统一建模语言活动图模型进行仿真执行。实现了用于统一建模语言活动图模型仿真执行的仿真用例自动生成、统一建模语言活动图模型的仿真执行环境构建、统一建模语言活动图模型仿真用例的节点覆盖度信息统计以及仿真执行结果反馈。

公开(公告)号：CN106040301A

公开(公告)日：2016-10-26

申请号：CN201610409852.5

申请日：2016-06-12

Applicant: 南京大学 ,  扬州工业职业技术学院 ,  江苏扬农化工集团有限公司

Inventor： 徐林 ,  王芳 ,  黄杰军 ,  范以宁 ,  俞磊 ,  丁克鸿 ,  徐清 ,  顾克军

IPC: B01J31/22 ,  C07C49/04 ,  C07C45/45

CPC classification number: B01J31/1805 ,  B01J2231/42 ,  B01J2531/0213 ,  B01J2531/16 ,  B01J2531/62 ,  B01J2531/821 ,  B01J2531/822 ,  B01J2531/824 ,  B01J2531/828 ,  B01J2531/842 ,  B01J2531/847 ,  C07C45/45 ,  C07C49/04

Abstract: 本发明属于催化技术领域，涉及一种合成甲基异丁基酮催化剂制备方法及其应用；具体而言，涉及一种以丙酮和异丙醇为原料一步合成甲基异丁基酮的催化剂制备方法及其应用。本发明通过一种自制的高分子金属络合催化剂催化丙酮与异丙醇反应一步法直接合成MIBK，温度为80～120℃，反应时间为10～24小时，丙酮转化率35.9～38.8％，MIBK选择性94.3～95.9％，催化剂能够稳定套用。该反应中，异丙醇作为氢源，释放出一分子的氢后，产生的副产物为丙酮，可作为合成MIBK的原料重新加以利用，从整体上考虑，该方法不需要使用氢气，且反应为常压或微正压，无废弃物产生，满足绿色、清洁生产需求。

公开(公告)号：CN103246770A

公开(公告)日：2013-08-14

申请号：CN201310168258.8

申请日：2013-05-08

Applicant: 南京大学

Inventor： 王林章 ,  俞磊 ,  卜磊 ,  李宣东 ,  陈志

IPC: G06F17/50 ,  G06F11/36

CPC classification number: G06F8/35 ,  G06F11/3604 ,  G06F11/3668 ,  G06F17/5009

Abstract: 本发明是一种基于活动图模型的系统行为仿真方法，首先读取并解析待仿真的统一建模语言活动图模型，从中抽取出重要的模型元素信息并在内存中构建一个完整的模型映射；然后对读入的统一建模语言活动图模型进行解析，分别从统一建模语言活动图模型中解析出各种模型元素；再结合采用混合执行的思想对其进行持续的具体执行、符号执行以及约束求解，在达到节点覆盖度阈值的情况下结束该过程；最后使用上一步收集到的仿真用例对统一建模语言活动图模型进行仿真执行。实现了用于统一建模语言活动图模型仿真执行的仿真用例自动生成、统一建模语言活动图模型的仿真执行环境构建、统一建模语言活动图模型仿真用例的节点覆盖度信息统计以及仿真执行结果反馈。

公开(公告)号：CN106040301B

公开(公告)日：2019-01-15

申请号：CN201610409852.5

申请日：2016-06-12

Applicant: 南京大学 ,  扬州工业职业技术学院 ,  江苏扬农化工集团有限公司

Inventor： 徐林 ,  王芳 ,  黄杰军 ,  范以宁 ,  俞磊 ,  丁克鸿 ,  徐清 ,  顾克军

IPC: B01J31/22 ,  C07C49/04 ,  C07C45/45

Abstract: 本发明属于催化技术领域，涉及一种合成甲基异丁基酮催化剂制备方法及其应用；具体而言，涉及一种以丙酮和异丙醇为原料一步合成甲基异丁基酮的催化剂制备方法及其应用。本发明通过一种自制的高分子金属络合催化剂催化丙酮与异丙醇反应一步法直接合成MIBK，温度为80～120℃，反应时间为10～24小时，丙酮转化率35.9～38.8％，MIBK选择性94.3～95.9％，催化剂能够稳定套用。该反应中，异丙醇作为氢源，释放出一分子的氢后，产生的副产物为丙酮，可作为合成MIBK的原料重新加以利用，从整体上考虑，该方法不需要使用氢气，且反应为常压或微正压，无废弃物产生，满足绿色、清洁生产需求。