-
公开(公告)号：CN103319341A
公开(公告)日：2013-09-25
申请号：CN201310265895.7
申请日：2013-06-28
Applicant: 华东师范大学
CPC classification number: Y02P20/584
Abstract: 本发明公开了一种油酸甲酯的合成方法，其特点是该方法将油酸与甲醇在H2SO4/SiO2固载型催化剂下进行酯化反应，然后将反应液过滤，滤液经柱层析提纯得无色透明油状液体油酸甲酯；所述油酸与甲醇的摩尔比为1：1.5~5；所述催化剂与油酸的摩尔比为1:10~50。本发明与现有技术相比具有工艺简单、操作方便，生产成本低，产率高，反应条件更温和，进一步降低原材料消耗降低，产率可提高到90%以上，生产成本明显降低，而且催化剂后处理简单、污染小并可循环使用，是一种绿色环保和经济高效且很有应用前景的油酸甲酯的合成方法。
-
公开(公告)号：CN101717949A
公开(公告)日：2010-06-02
申请号：CN200910198924.6
申请日：2009-11-17
Applicant: 华东师范大学
Abstract: 本发明公开了一种对乙烯基苯乙酸的制备方法，其特点是该方法以对氯甲基苯乙烯、四正丁基四氟硼酸铵和N，N-二甲基甲酰胺混合，并在常压下饱和CO2后以恒电流电解，电解液经酸化、提纯得对乙烯基苯乙酸。本发明与现有技术相比具有合成工艺简单，操作方便原料易得，成本低，收率高，不污染环境的优点，而且对温室效应气体二氧化碳进行了有效利用，不仅节约生产成本，也大大减少了大气污染，缓解了能源日益枯竭的问题，对环境保护具有十分重大的意义，是一种很有工业合成价值的工艺路线。
-
公开(公告)号：CN113961446A
公开(公告)日：2022-01-21
申请号：CN202111043109.X
申请日：2018-03-08
Applicant: 华东师范大学
IPC: G06F11/36
Abstract: 本发明公开了一种应用于针对源代码的运行时形式化验证方法中的验证系统，所述系统包括：切面类文件及监视器文件自动生成工具，用户可定义描述程序性质的LTL线性时态逻辑公式以及配置文件，通过该工具自动生成监测程序性质的切面类以及监测程序状态的检测器；通过将修改后的SystemC的仿真内核与运用切面类形式的插桩源代码，以及检测器联合编译，形成可运行目标文件，运行该文件，以检测程序的动态执行，实时验证系统的性质。本发明可以应用到嵌入式系统及大型软件系统的形式化验证中，能够提高软件的安全性、可靠性。
-
公开(公告)号：CN108536581A
公开(公告)日：2018-09-14
申请号：CN201810189354.3
申请日：2018-03-08
Applicant: 华东师范大学
IPC: G06F11/36
Abstract: 本发明公开了一种针对源代码的运行时形式化验证方法，根据源程序所需满足的性质以及工具所需参数编写用于生成监视器与切面类的配置文件；根据编写的配置文件使用运行时验证工具自动化生成监视器以及切面类；根据生成的切面类将所涉及的变量置入源程序；修改仿真内核以适用于运行时验证方法；使用生成的监测器对插桩后的源程序运行状态进行实时监测；监测器根据程序运行的轨迹对性质进行形式化验证，若出现违反验性质的路径，则记录或者进行程序的自动修复。本发明所述方法可以应用到嵌入式系统及大型软件系统的形式化验证中，能够提高软件的安全性、可靠性。
-
公开(公告)号：CN115458077A
公开(公告)日：2022-12-09
申请号：CN202211132187.1
申请日：2022-09-16
Abstract: 本发明涉及基于人工智能的药物研发领域，公开了一种基于公开文献中的图像和文本数据构建近药空间数据库的方法及其系统，通过构建结合图像识别神经网络和命名实体识别的神经网络的多模态融合系统，可同时处理公开文献中的图像数据及文本数据，分别提取所述图像数据和文本数据中涵盖的分子结构信息，并基于此进一步构建近药空间数据库，为扩大近药空间带来了新的机遇，获取的具有良好可合成性、成药性及生物活性的分子结构可用于拓展近药空间，在药物研发前期提供大量的近药分子用于先导化合物筛选，从而可大大加速药物研发进程。
-
Patent Agency Ranking
公开(公告)号：CN101591248A
公开(公告)日：2009-12-02
申请号：CN200910053584.8
申请日：2009-06-23
Applicant: 华东师范大学
Abstract: 本发明公开了一种苯甲酸甲酯的合成方法，特点是该方法以N，N－二甲基甲酰胺、四乙基碘化铵和溴苯混合，在常压下饱和CO2后以恒电流电解，电解液经酯化、旋蒸后得苯甲酸甲酯。本发明与现有技术相比具有方法简单，操作方便、安全，原料易得，成本低，产率高，不污染环境的优点，并对温室效应气体二氧化碳进行了有效利用，不仅节约生产成本，也大大减少了大气污染，缓解了能源日益枯竭的问题，对环境保护具有十分重大的意义，是一种很有工业合成价值的工艺路线。
-
公开(公告)号：CN101260532A
公开(公告)日：2008-09-10
申请号：CN200810036040.6
申请日：2008-04-15
Applicant: 华东师范大学
IPC: C25B3/04
Abstract: 一种α－苯基－乙酰丙酸的一室型电化学合成方法，属于电化学技术领域。在一室型电解槽中，以镁棒作阳极，不锈钢片作阴极，Ag/AgI为参比电极，乙腈作溶剂，四乙基四氟硼酸铵作支持电解质，电解反应的底物是亚苄基丙酮，在通常压CO2、不同温度和不同电位下，进行恒电位电解。停止电解后，反应混合物用2mol/L HCl酸化，乙醚萃取后醚层用NaOH洗至水层呈碱性，水层再加入HCl至酸性，乙醚萃取，醚层用饱和NaCl水溶液洗后无水MgSO4干燥，旋蒸后得到产物α－苯基－乙酰丙酸。该法具有反应原料简单易得，价格便宜，反应过程绿色化，操作简便安全，产率高，成本低的优点，是一种高附加值的工艺路线。
-
公开(公告)号：CN113961446B
公开(公告)日：2025-02-14
申请号：CN202111043109.X
申请日：2018-03-08
Applicant: 华东师范大学
IPC: G06F11/3604 , G06F11/362
Abstract: 本发明公开了一种应用于针对源代码的运行时形式化验证方法中的验证系统，所述系统包括：切面类文件及监视器文件自动生成工具，用户可定义描述程序性质的LTL线性时态逻辑公式以及配置文件，通过该工具自动生成监测程序性质的切面类以及监测程序状态的检测器；通过将修改后的SystemC的仿真内核与运用切面类形式的插桩源代码，以及检测器联合编译，形成可运行目标文件，运行该文件，以检测程序的动态执行，实时验证系统的性质。本发明可以应用到嵌入式系统及大型软件系统的形式化验证中，能够提高软件的安全性、可靠性。
-
公开(公告)号：CN108536581B
公开(公告)日：2021-11-19
申请号：CN201810189354.3
申请日：2018-03-08
Applicant: 华东师范大学
IPC: G06F11/36
Abstract: 本发明公开了一种针对源代码的运行时形式化验证方法，根据源程序所需满足的性质以及工具所需参数编写用于生成监视器与切面类的配置文件；根据编写的配置文件使用运行时验证工具自动化生成监视器以及切面类；根据生成的切面类将所涉及的变量置入源程序；修改仿真内核以适用于运行时验证方法；使用生成的监测器对插桩后的源程序运行状态进行实时监测；监测器根据程序运行的轨迹对性质进行形式化验证，若出现违反验性质的路径，则记录或者进行程序的自动修复。本发明所述方法可以应用到嵌入式系统及大型软件系统的形式化验证中，能够提高软件的安全性、可靠性。
-
公开(公告)号：CN103364794B
公开(公告)日：2015-03-04
申请号：CN201310294367.4
申请日：2013-07-12
Applicant: 华东师范大学
IPC: G01S17/89
Abstract: 本发明公开了一种基于关联光学的单次成像及存取方法，该方法使用激光作为光源，基于存储介质的散射过程，利用强度关联测量实现成像及存取。该方法需要在光路中设置存储介质，并将待测物体放置在探测光路中，写光将待测物体的位相存入存储介质中，读光再将待测物体的位相从存储介质中读出，结合一阶关联测量，通过对单次写读过程中产生的散射光信号进行时间积分的二阶关联计算，可以获得稳定的位相关联函数，从而实现单次成像及存取。相较于传统成像方法，灵敏度高，而相较于传统的关联光学成像，可以实现单次成像及存取。
-
-
-
-
-
-
-
-
-
Search Results
17
records
(took 0.027 seconds)
