-
公开(公告)号：CN113010158B
公开(公告)日：2022-09-06
申请号：CN202110290814.3
申请日：2021-03-18
Applicant: 中国科学技术大学
Abstract: 本发明提出一种纯状态的触发动作编程范式到事件驱动系统的转换方法，包括：步骤1：解析用户输入的SS(状态‑状态)规则集合并将解析结果传给动作序列信息生成模块；步骤2：动作序列信息生成模块将同一动作实体的SS规则序列按照期望状态组分类，计算实体要到达X指定状态时所有可能的动作序列和每种动作序列的执行前提Cj，得到二元组集合PairsX，求出与规则组不兼容的条件ΨX；步骤3：事件筛选模块根据实体能力抽象W对ΨX做关键值分析，生成候选事件并筛选；步骤4：EE(事件‑事件)中间表示生成模块接受筛选后的事件集与PairsX作为输入，对PairsX中的每个元组产生动作序列为的EE规则集；步骤5：经规则合并和可读性化简后由EE规则集生成器汇总输出，实现从SS规则得到对应的EE规则。
-
公开(公告)号：CN113010158A
公开(公告)日：2021-06-22
申请号：CN202110290814.3
申请日：2021-03-18
Applicant: 中国科学技术大学
Abstract: 本发明提出一种纯状态的触发动作编程范式到事件驱动系统的转换方法，包括：步骤1：解析用户输入的SS(状态‑状态)规则集合并将解析结果传给动作序列信息生成模块；步骤2：动作序列信息生成模块将同一动作实体的SS规则序列按照期望状态组分类，计算实体要到达X指定状态时所有可能的动作序列和每种动作序列的执行前提Cj，得到二元组集合PairsX，求出与规则组不兼容的条件ΨX；步骤3：事件筛选模块根据实体能力抽象W对ΨX做关键值分析，生成候选事件并筛选；步骤4：EE(事件‑事件)中间表示生成模块接受筛选后的事件集与PairsX作为输入，对PairsX中的每个元组产生动作序列为的EE规则集；步骤5：经规则合并和可读性化简后由EE规则集生成器汇总输出，实现从SS规则得到对应的EE规则。
-
公开(公告)号：CN117790702A
公开(公告)日：2024-03-29
申请号：CN202211183797.4
申请日：2022-09-27
Abstract: 本申请实施例提供一种电极材料，所述电极材料包括由多个一次颗粒聚集而成的二次颗粒，所述二次颗粒包括内层和包覆于所述内层外侧的外层，其中，所述内层的一次颗粒的平均粒径大于所述外层的一次颗粒的平均粒径。该电极材料能够均匀化二次颗粒在充放电过程中的应力分布，从而一定程度抑制晶界开裂现象，提升材料的循环稳定性，改善电池性能。本申请实施例还提供了该电极材料的制备方法，以及电极材料前驱体及其制备方法。
-
公开(公告)号：CN117380181A
公开(公告)日：2024-01-12
申请号：CN202311553314.X
申请日：2023-11-17
Applicant: 中国科学技术大学
Abstract: 本发明公开了一种光照调控M/TiO2催化CO2转化活性的方法，通过简单浸渍法制备不同的金属氧化物催化剂M/TiO2(M为Pt、Pd、Ni、Cu、Ag、Au)，使用固定光源照射催化剂，利用光照调变催化剂表面电子结构，影响催化剂表面温度，进而提高催化CO2加氢的性能。与传统热催化CO2加氢相比，本发明通过在反应中加上光源照射M/TiO2表面，调控催化剂电子结构，提高催化CO2加氢的性能。
-
-
-
Search Results
4
records
(took 0.042 seconds)
