-
Patent Agency Ranking
公开(公告)号：CN115293044A
公开(公告)日：2022-11-04
申请号：CN202210959371.7
申请日：2022-08-10
Applicant: 东南大学
IPC: G06F30/27 , G06F17/16 , G06F119/02
Abstract: 本申请公开了一种固体火箭发动机性能关键影响因素的参数推荐方法，所述方法以一个固体火箭发动机(SRM)内弹道性能预测神经网络模型为基础，包括固体火箭发动机设计参数项影响力计算、固体火箭发动机设计主要参数项筛选和固体火箭发动机设计参数寻优三个步骤：通过参数项影响力计算得到该模型的各个输入参数对于预测结果的影响力大小；通过参数项筛选寻找出对结果影响显著的参数；通过遗传算法进行启发式搜索，得到满足性能指标要求的参数值组合。
-
公开(公告)号：CN107092515A
公开(公告)日：2017-08-25
申请号：CN201710157112.1
申请日：2017-03-16
Applicant: 东南大学
IPC: G06F9/45
Abstract: 本发明公开一种基于回答集逻辑程序的LPMLN推理方法，1、首先输入LPMLN程序和推理参数，其中推理参数包括强转化参数等，然后对输入的LPMLN程序进行语法分析，从而得到输入程序的Herbrand域以及关键的语法要素；2、根据步骤一中的强转化参数判断输入的LPMLN程序是进行强转化操作还是弱转化操作，并通过强转化或弱转化方法转化为对应的回答集程序；3、调用回答集程序推理机求解步骤二中转化得到的回答集程序；4、将步骤三中通过回答集程序推理机求解输出的可能世界变换为输入LPMLN程序所对应的推理结果。本发明能够在线性时间内将输入的LPMLN程序转化为相应的回答集程序，并利用回答集程序推理机实现其推理。
-
公开(公告)号：CN103295064B
公开(公告)日：2015-12-02
申请号：CN201310266629.6
申请日：2013-06-27
Applicant: 东南大学
Abstract: 本发明公开了一种对基于临床医学指南的活动图进行形式化的方法，通过形式化基于临床医疗指南的活动图，把实际的领域问题转化成活动图中搜索子图的问题。本方法首先用图论的方法对基于临床实践指南的活动图及子图进行符号定义，以便准确匹配到可以使用本方法的研究对象；然后对特定的研究对象，即活动图，给出回答集程序语言的表示方法；接着给出推理所需要的规则集，从而构建出完整的可供推理的回答集程序。整个过程直观自然，便于操作。
-
公开(公告)号：CN103020714B
公开(公告)日：2015-04-15
申请号：CN201210529095.7
申请日：2012-12-10
Applicant: 东南大学
IPC: G06N5/04
Abstract: 本发明公开了一种基于生成-验证的认知描述程序的求解方法，当输入一个认知描述程序：首先，在词法、语法正确性分析和安全检查基础上，构建认知描述程序的谓词依赖图，据此对程序分块并生成块的拓扑排序，然后，使用正向推理技术，依据拓扑排序，依次实例化程序块，最终生成实例化的认知描述程序。其次，对实例化的认知描述程序求其恒真恒假字集，用于删除冗余规则和冗余字，以简化程序。然后，根据谓词依赖图确定主观字之间的依赖关系，依据主观字之间的依赖关系启发式生成程序的可能解。此后，通过验证主观字取值是否正确，确定这个可能解是否是认知描述程序的解。整个求解方法采用回溯过程生成所有可能解，并验证得到程序所有解。
-
公开(公告)号：CN103295064A
公开(公告)日：2013-09-11
申请号：CN201310266629.6
申请日：2013-06-27
Applicant: 东南大学
Abstract: 本发明公开了一种对基于临床医学指南的活动图进行形式化的方法，通过形式化基于临床医疗指南的活动图，把实际的领域问题转化成活动图中搜索子图的问题。本方法首先用图论的方法对基于临床实践指南的活动图及子图进行符号定义，以便准确匹配到可以使用本方法的研究对象；然后对特定的研究对象，即活动图，给出回答集程序语言的表示方法；接着给出推理所需要的规则集，从而构建出完整的可供推理的回答集程序。整个过程直观自然，便于操作。
-
-
-
-
Search Results
15
records
(took 0.022 seconds)
