-
公开(公告)号:CN102339421A
公开(公告)日:2012-02-01
申请号:CN201010237198.7
申请日:2010-07-26
Applicant: 华东师范大学
Abstract: 根据本发明的一个方面,提供一种用于县域生态建设管理的决策支持系统,包括人机交互界面模块、后台控制模块,所述后台控制模块包括决策模块与知识库模块,其中,所述决策模块包括相互耦合运作的合成体模块,其用于允许用户选择决策问题、输入策略变量值并对反馈内容进行查询和储存,并以此驱动模拟体模型组的运算过程;模拟体模块,其用于对决策问题需要参数进行模拟计算,输出参数结果进入评估体模块,其用于进而筛选评价结果和优选策略反馈给合成体模块,由所述人机交互界面模块输出。根据本发明提供的决策支持系统,包括数理统计模型和空间分析模型为基本工具模型,提供一系列生态问题的评估、模拟和预测解决方案。
-
公开(公告)号:CN114741278A
公开(公告)日:2022-07-12
申请号:CN202210283082.X
申请日:2022-03-22
Applicant: 华东师范大学
IPC: G06F11/36
Abstract: 本申请提供了一种机载软件中目标代码到源代码的验证分析系统,具体的,第一代码模块根据第一目标代码通过反汇编得到第一汇编代码,根据第一汇编代码进行反编译得到第一C代码;关系映射模块将第一C代码与源代码进行对比,得到源代码变量名之间的对应关系;根据对应关系,结合第一汇编代码,得到源代码变量名与汇编代码的指令中逻辑地址的关系映射表;第二代码模块根据第二目标代码通过反汇编得到第二汇编代码;根据关系映射表对汇编代码进行反编译,得到第二C代码;第一验证分析模块将第二C代码与源代码进行对比,得到第一验证结果。本申请解决了IDA Pro不能对COFF格式文件进行反编译的缺陷,提供了新的可执行目标代码到源代码可追溯性验证思路。
-
公开(公告)号:CN119735600A
公开(公告)日:2025-04-01
申请号:CN202411598009.7
申请日:2024-11-11
Applicant: 华东师范大学 , 国科大杭州高等研究院
IPC: C07D495/04 , A61K31/4365 , A61P3/10 , A61P1/16 , A61P9/12 , A61P3/06 , A61P3/04
Abstract: 本发明公开了一种结构新颖的3‑脲基取代噻吩并[2,3‑b]吡啶类化合物及其制备方法和应用。所述制备方法为5‑溴噻吩并[2,3‑b]吡啶‑3‑胺与氯甲酸苯酯或硫代氯甲酸苯酯发生亲核取代反应生成中间体,所述中间体与取代的胺发生亲核取代反应生成关键中间体,随后所述关键中间体与取代的芳基硼酸或硼酸酯或取代的芳胺在碱性条件下发生钯催化的Suzuki偶联反应或Buchwald–Hartwig偶联反应,得到目标产物3‑脲基取代噻吩并[2,3‑b]吡啶类化合物。本发明所述3‑脲基取代噻吩并[2,3‑b]吡啶类化合物作为DRAK2抑制剂在代谢综合征治疗药物开发中具有一定的前景。
-
公开(公告)号:CN114780961A
公开(公告)日:2022-07-22
申请号:CN202210224290.2
申请日:2022-03-07
Applicant: 华东师范大学
IPC: G06F21/57
Abstract: 本发明公开了一种结合自注意力机制的模糊测试漏洞挖掘方法,包括数据捕获步骤,数据预处理步骤,模型搭建步骤,模型训练步骤,以及模糊测试数据生成步骤,通过上述方法对大量通信数据模式的挖掘,可以获得一个特定的生成模型来生成类似的工控系统通信数据,将生成的数据发送到待测试的工控系统,并记录系统产生的异常行为进而来发现工控系统的漏洞,并且不需要利用协议规范,解决了传统的网络协议模糊测试方法严重依赖于协议规范的问题。提前发现潜在的威胁并进行修补,对保障国家基础设施安全,制造业安全,人民安全都具有重要现实意义。
-
公开(公告)号:CN113553580A
公开(公告)日:2021-10-26
申请号:CN202110785171.X
申请日:2021-07-12
Applicant: 华东师范大学
Abstract: 本发明公开了一种针对非平衡数据的入侵检测方法,包括获取步骤,代码读取步骤,分类步骤,上采样步骤,以及入侵检测步骤,上述方法,在数据集构建中,通过对数据进行重采样,消除部分类别的不平衡,另外在入侵检测模型上进一步削减不平衡数据分类的难度,可以有效解决入侵检测方法中针对不平衡数据检测的问题,并能进一步提高保障方法安全的能力,做到高效智能。
-
公开(公告)号:CN113553246A
公开(公告)日:2021-10-26
申请号:CN202110785853.0
申请日:2021-07-12
Applicant: 华东师范大学
Abstract: 本申请实施例中提供了一种面向计算平台的系统评估装置,包括:公式转换模块:用于根据计算机的非形式化描述语言转化得到符号逻辑的等价公式;霍尔三元组模型模块:用于根据所述符号逻辑的等价公式构建得到霍尔三元组模型;部分正确性验证模块:用于根据所述霍尔三元组模型进行自动路径测试,得到模型部分正确性结果;完全正确性验证模块:用于根据所述霍尔三元组模型分析系统程序终止性,得到模型完全正确性结果。解决了现有技术的传统评估系统检测技术需要依赖人工逐句对系统进行验证造成的评估结果不准确的问题。
-
公开(公告)号:CN113553108A
公开(公告)日:2021-10-26
申请号:CN202110785851.1
申请日:2021-07-12
Applicant: 华东师范大学
IPC: G06F9/4401 , G06F21/60 , G06F8/65 , G06F8/61
Abstract: 本申请公开了一种用于校验操作系统前置软件的系统,包括:信任链校验模块,用于使用内部存储器启动信任链,采用数字签名验证技术,依次验证BootLoader的签名和内核的签名。通过信任链校验模块使用内部存储器启动信任链,采用数字签名验证技术,依次验证BootLoader的签名和内核的签名,可以校验前置软件内容的完整性和来源的真实性,不需要增加额外的硬件便可有效保障嵌入式系统启动时可信性的方法。利用完整性验证技术和数字签名技术建立嵌入式可信启动信任链,能够有效地保护预期度量值。通过验证签名的技术可以验证启动实体内容的完整性和来源的真实性,有效地保证系统启动过程的可信性,可广泛应用于严格控制成本的嵌入式系统开发中,提高系统的高可信能力。
-
公开(公告)号:CN103951649A
公开(公告)日:2014-07-30
申请号:CN201410164011.3
申请日:2014-04-22
Applicant: 华东师范大学
IPC: C07D333/28 , C07D409/04 , C07D409/12 , C07D213/61 , C07D307/56 , A61K31/381 , A61K31/341 , A61K31/44 , A61K31/4436 , A61K31/506 , A61P35/00 , A61P35/02
CPC classification number: C07D333/28 , C07D213/61 , C07D307/56 , C07D333/24 , C07D409/04 , C07D409/12
Abstract: 本发明公开了一种式(I)所示的杂环取代异羟肟酸类芳香酰胺化合物及其药学上可接受的盐,以及其作为新型的羟肟酸类组蛋白去乙酰化酶抑制剂的应用。本发明还公开了含有本发明式(I)化合物或其药物组合物在制备预防和/或治疗由于组蛋白乙酰化失调引起的疾病的药物中的用途、以及其在制备治疗各种恶性肿瘤生长、转移和复发等疾病的药物中的应用。
-
-
-
-
-
-
-