公开(公告)号：CN107805261A

公开(公告)日：2018-03-16

申请号：CN201710970429.7

申请日：2017-10-18

Applicant: 南京大学(苏州)高新技术研究院

Inventor： 马科锋 ,  徐同强 ,  杨阳

IPC: C07F9/54

CPC classification number: C07F9/5456

Abstract: 本发明提供了一种3,4,5-三(十四烷氧基)1,4-双(二苯基卤化鏻)丁烷自组装材料，以期形成较强的两条离子键双骨架与长链烷基间伦敦色散力，实现高度有序的自组装结构材料；其合成主要通过1,4-双(二苯膦基)丁烷与3,4,5-三(十四烷氧基)氯化苄发生取代反应生成3,4,5-三(十四烷氧基)1,4-双(二苯基氯化鏻)丁烷，并通过乙酸乙酯重结晶进行纯化，然后以乙基黄原酸根作为阴离子交换剂，再和氢溴/碘酸反应就可生成相应的3,4,5-三(十四烷氧基)1,4-双(二苯基溴/碘化鏻)丁烷。该种自组装季鏻盐将为锂离子导电、卟啉基电致化学发光、模板制备、纳米材料等应用技术领域提供新型的介质材料。

公开(公告)号：CN103218497A

公开(公告)日：2013-07-24

申请号：CN201310146928.6

申请日：2013-04-24

Applicant: 南京大学

Inventor： 卜磊 ,  杨阳 ,  李宣东

IPC: G06F17/50

Abstract: 本发明提供一种基于增量线性规划的动态系统在线增量式快速验证系统及方法。所述方法是首先加载动态系统的问题模型，然后将其与原问题模型进行对比，根据对比结果修改原问题模型；然后使用新的问题模型、原线性规划求解模型根据编码规则修改原线性规划求解模型，从而得到修改后的线性规划求解模型；最后使用线性规划的增量求解技术，利用修改后的线性规划求解模型求解新的问题模型，并给出求解结果。该方法在基于线性规划的线性混成自动机可达性分析方法的基础上，提出了动态的问题模型修改策略，并复用原问题的求解结果来加速新问题的求解，以达到动态系统的在线增量式快速验证，显著提高了问题的求解速度，可以满足动态系统验证的实时性要求。