-
公开(公告)号：CN107085793A
公开(公告)日：2017-08-22
申请号：CN201710262500.6
申请日：2017-04-20
Applicant: 桂林电子科技大学
CPC classification number: G06F8/22 , G06F8/31 , G06Q20/405 , H04L67/2871
Abstract: 本发明公开基于回答集程序设计的引入中间人的协商方法，通过)引入一个中立的agent，使得协商agent可以同时提出自己的建议，通过中间agent的引导来完成协商过程；同时，通过在协商的准备阶段，由协商agent向中间agent提交关于协商物品的已知事实以及可获取的相关文字，来减少协商agent的不诚信行为。本发明分析中间Agent的作用，给出了协商流程，建立了具有中间Agent的协商模型，利用ASP语言来实现中间Agent的基本功能并给出协商Agent的协商建议生成算法，可以有效的解决顺序协商中的一些问题。
-
公开(公告)号：CN106355252A
公开(公告)日：2017-01-25
申请号：CN201610748840.5
申请日：2016-08-29
Applicant: 桂林电子科技大学
CPC classification number: G06N5/022 , G06F17/30289
Abstract: 本发明为一种基于访问控制权限的ASP知识库增量式验证方法，ASP知识库P性质f为已验证性质，f1为待验证性质，f2是f1中的未验证性质。本法首先向ASP知识库中的规则加入访问控制权限，构造基于访问控制权限的ASP知识库模型；再根据权限依赖关系获得f的性质规则权限集M和f2的性质规则权限集N，判断M与N的关系，排除f1不成立的情况。最后利用f中的信息简化验证f2。本方法通过设置访问控制权限避免对已验证性质的重新验证，仅需对部分ASP知识库P进行增量式性质验证，有效地提高了性质验证效率；可以一次性验证多条性质，避免多次运行验证工具造成的大量上下文切换的开销。
-
公开(公告)号：CN106250352A
公开(公告)日：2016-12-21
申请号：CN201610628002.4
申请日：2016-08-03
Applicant: 桂林电子科技大学
IPC: G06F15/78
CPC classification number: G06F15/7867
Abstract: 本发明公开了一种可重构处理器阵列的抽象模型方法,包括如下步骤：基本设计思想、构造算法、模型和原阵列的映射函数、抽象的属性保留证明和算法在抽象模型中的实现，主阵列被视为一个具体模型，针对可重构处理器阵列提出了一个重构抽象模型及抽象算法CAM，逻辑阵列由一组逻辑列组成，对于一个逻辑列c，c中的一部分单元属于抽象阵列H′，这部分单元可表示为c∩H′，假设逻辑阵列包含所有的物理行，在此假设下，MLA是一个拥有最大列数的逻辑阵列，GCR采用的是从左到右构造逻辑列的贪心策略，在构造逻辑列的过程中，在每次迭代中会将相邻集中最左端的处理器单元归入该逻辑列。
-
公开(公告)号：CN106201988A
公开(公告)日：2016-12-07
申请号：CN201610628004.3
申请日：2016-08-03
Applicant: 桂林电子科技大学
IPC: G06F15/78
CPC classification number: G06F15/7867
Abstract: 本发明公开了一种重构高性能目标阵列的方法，包括如下步骤：逻辑列的可满足性，逻辑列重叠区域的可满足性，可满足性模型变量约束规则，目标阵列可满足性模型生成算法，基于目标阵列可满足性模型的高性能目标阵列完备算法，基于目标阵列可满足性模型的高性能目标阵列非完备算法，该步骤用于提高目标阵列的性能，GNPTASAT算法至少要找到与CMTA算法求得的目标阵列相互等价的目标阵列时才会终止，极大的提高了重构目标阵列的性能，算法GNPTASAT优越于算法CMTA和算法DP_GCR，实验数据证明对于重构高性能目标阵列具有极大的益处。
-
公开(公告)号：CN102929781B
公开(公告)日：2015-08-26
申请号：CN201210450761.8
申请日：2012-11-12
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 基于上下文定界的消息队列通信并发递归程序的验证方法属于软件安全、可靠性技术领域，其特征在于通过对每个下推系统迭代地应用Post*算法，穷尽搜索其执行的状态空间，并通过有限的上下文切换次数k利用上下文切换函数实现不同上下文间的切换，以模拟各个进程之间的交错执行，得到k次上下文执行内的可达格局集合，通过计算可达格局集合与目标格局集合的交集是否为空，判断出目标格局集合即状态是否可达，从而确定程序中存在的设计错误或漏洞，保证程序的正确与可靠。本发明无需用户过多参与，实现了基于可达性求解的程序自动化检验，而且格局计算过程简单而有效，在良序排队约束的条件下，本发明提出的上下文定界可达性是可以判定的。
-
Patent Agency Ranking
公开(公告)号：CN102929781A
公开(公告)日：2013-02-13
申请号：CN201210450761.8
申请日：2012-11-12
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 基于上下文定界的消息队列通信并发递归程序的验证方法属于软件安全、可靠性技术领域，其特征在于通过对每个下推系统迭代地应用Post*算法，穷尽搜索其执行的状态空间，并通过有限的上下文切换次数k利用上下文切换函数实现不同上下文间的切换，以模拟各个进程之间的交错执行，得到k次上下文执行内的可达格局集合，通过计算可达格局集合与目标格局集合的交集是否为空，判断出目标格局集合即状态是否可达，从而确定程序中存在的设计错误或漏洞，保证程序的正确与可靠。本发明无需用户过多参与，实现了基于可达性求解的程序自动化检验，而且格局计算过程简单而有效，在良序排队约束的条件下，本发明提出的上下文定界可达性是可以判定的。
-
公开(公告)号：CN117422153A
公开(公告)日：2024-01-19
申请号：CN202311555214.0
申请日：2023-11-21
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种基于观察交互的多智能体协调方法，涉及多智能体强化学习技术领域，包括以下步骤：S1：观察信息交互：同时存在多个智能体与环境交互时，每个智能体将其获得的局部观察结果和最后的操作作为输入，输入到MAIT中，通过MAIT进行观察信息交互；S2：观察动作建模：智能体交互后的观察与智能体动作建立联系，选出当前环境状态下最优动作，采用MAIT中的多头注意力机制确定重要性权重，完成观察与动作之间的建模；S3：决策优化：通过将智能体局部观察进行优化，优化观察与动作之间的建模，实现智能体决策网络的优化。本发明采用上述方法利用交互网络交互每个智能体局部观察，加深智能体在有限设定中对全局环境的观察，提升多智能体间的协作能力。
-
-
公开(公告)号：CN116468097A
公开(公告)日：2023-07-21
申请号：CN202310456117.X
申请日：2023-04-25
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种面向目标的多智能体协调方法，包括如下步骤：步骤1、高层策略目标分配；步骤2、低层策略动作输出；步骤3、奖励调控。这种方法实现多智能体之间的协调决策和系统整体的优化和稳定性，针对多智能体系统的策略评估和改进方法，实现模型的自适应调整和优化，研究奖励调控机制，降低奖励偏差对策略学习的影响，提高智能体的学习和适应能力。
-
公开(公告)号：CN111935241B
公开(公告)日：2022-03-04
申请号：CN202010686695.9
申请日：2020-07-16
Applicant: 桂林电子科技大学
IPC: H04L67/1042 , H04L67/12 , H04L67/56 , G08B25/00
Abstract: 本发明公开一种基于数据分发网络的边缘服务智能协同方法，构建了包括智能家居、智能社区和安防中心等三种Agent，通过基于MQTT协议的数据分发集群网络，实现边缘服务智能协同处理复杂事件。另外，在本发明采用的数据分发网络中，包括了多个基于“发布/订阅”模型的代理节点，Agent和这些MQTT‑Broker之间构成相互连通的网络拓扑，实现分布式环境下边缘节点的实时交互。因此，本发明可以在资源受限的边缘环境中，实现智能服务中边缘节点对复杂情景事件的智能协同执行。
-
-
-
-
-
-
-
-
-
Search Results
48
records
(took 0.028 seconds)
