-
公开(公告)号：CN105260295A
公开(公告)日：2016-01-20
申请号：CN201510581206.2
申请日：2015-09-14
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种时间多栈下推网络的静态转换方法，首先，为了描述实时系统中并发递归机制，以及线程之间的交互，在MPDN的基础上引入时钟，提出TMPDN模型，并给出其语法及操作语义。其次，利用时钟域等价的优化技术，通过静态转换方法，将连续时间的TMPDN模型转换成离散的MPDN模型。本发明能够实现同时实现实时并发系统的实时性和并发性的描述，并能为实时并发程序的形式化验证提供保证。
-
公开(公告)号：CN105183652A
公开(公告)日：2015-12-23
申请号：CN201510581987.5
申请日：2015-09-14
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 本发明公开一种时间动态下推网络的转换方法，用于描述含有递归、动态线程创建的实时并发递归建模。首先在DPN中引入描述连续时间的全局时钟，以及能描述与时间相关全局变量和栈字符“年龄”的实数时钟，从而可对基于共享内存进行异步通信，且带有动态线程创建的实时并发系统进行建模。其次对基于整数划分的时钟等价技术，给出一种基于时钟关键点的优化技术，缩减时钟区间，从而缩减转换后的状态空间。由于时间动态下推网络为一种实时并发递归程序的抽象模型，基于关键点的时钟等价优化技术把该模型转换为动态下推网络，这样通过确认动态下推网络模型的执行是否会运行到错误状态，从而检测出此模型即所对应并发递归程序中的错误或漏洞。
-
公开(公告)号：CN104267936A
公开(公告)日：2015-01-07
申请号：CN201410470378.8
申请日：2014-09-16
Applicant: 桂林电子科技大学
IPC: G06F9/44
Abstract: 基于树语义的异步动态下推网络可达性分析方法属于软件安全、可靠性技术领域，其特征在于将树语义引入到异步动态下推网络中，通过构建一个中间模型模拟模型的树语义，并采用上下文限界方法使模型的可达性为可判定，计算有限的k次上下文执行内的可达格局集合，通过计算可达格局集合与目标格局集合的交集是否为空，判断出目标格局集合是否可达，从而确定程序的抽象模型中是否存在设计错误或漏洞，保证模型的正确与可靠。
-
公开(公告)号：CN102135991A
公开(公告)日：2011-07-27
申请号：CN201110059701.9
申请日：2011-03-11
Applicant: 桂林电子科技大学
IPC: G06F17/30
Abstract: 本发明为基于后向学习的动态多属性服务选择方法，第一步为基于后向学习的用户偏好学习：初始化服务集合、用户集合、服务评价等级集合、UQEL表。用户多次调用服务并给出评价，用户对服务的评价映射为对相应非功能属性的评价，添加到该用户的UQEL表，最终得到用户偏好表。第二步为基于权重的动态多属性服务选择：根据用户需求生成候选服务集合，获得用户偏好集合，计算各非功能属性权重，生成动态决策矩阵序列，计算用户偏好向量与候选服务非功能属性向量的加权夹角余弦、每个观测时间的权重、每个候选服务在各个观测时间的加权余弦和，选择加权和最大的服务推荐给用户。本法为自适应的服务选择，无需用户过多参与，方便使用，服务选择适应好。
-
公开(公告)号：CN107103361B
公开(公告)日：2021-01-26
申请号：CN201710238014.0
申请日：2017-04-13
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于粗糙集与回答集的变压器故障诊断方法和系统，通过故障编码对应相应的故障类型，从而构成故障诊断知识库，通过气体采样器采集特征气体含量与知识库中的知识匹配，最终自动产生诊断结果。本发明是以知识表示为基础，以实用化为目的，可以轻松的处理庞大的未加整理的知识，能够与知识的追加、修正和清除进行简单地对应，适用于规则和数据具有模糊度的场合。本发明将粗糙集理论与ASP程序相结合，构建了基于粗糙集理论与ASP的变压器故障诊断专家系统‑‑RS‑ASP，该方法对三比值法的临界值进行处理，使原三比值法更加完整，准确率更高。
-
Patent Agency Ranking
公开(公告)号：CN111856954A
公开(公告)日：2020-10-30
申请号：CN202010699554.0
申请日：2020-07-20
Applicant: 桂林电子科技大学
IPC: G05B15/02 , G05B19/418
Abstract: 本发明公开一种基于粗糙集理论与规则相结合的智能家居数据补全方法，使用粗糙集属性约简算法将冗余信息去除，避免多于信息对数据补全产生。粗糙集理论使用信息熵的概念，能够发现数据之间潜在关系，而不是简单的数据之间线性关系。根据约简结果形成的规则符合决策系统中行为习惯，缺省推理允许信息在不完全情况下做出合适的推理，符合现实推理需求。粗糙集理论将连续数据离散化处理，在智能家居决策系统中，系统不需要准确数据，只需要传感器达到某个范围内就能做出决策，因此本方法能够实现智能家居决策系统中缺失值补全，提高决策系统的可靠性和准确性，提供良好的用户体验。
-
公开(公告)号：CN107067114B
公开(公告)日：2020-07-28
申请号：CN201710262502.5
申请日：2017-04-20
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于回答集程序的调机路径规划方法，针对单台编组调机的路径移动编排，给出了回答集程序结合随机产生器的方法。首先将典型编组站中调车场的轨道进行类型分类，接着将实例图中所停放车厢的位置按轨道类型转换成网络图，然后将网络图转换成规则集通过各种符合人工经验的约束条件来得到路径规划的方案，且还需要再利用随机产生器来随机生成与调车场轨道数目相对应的规则集，以应对现实场景中不断扩增的调车场轨道数目。本发明是一种理论和建模语言的结合对调机移动的路径进行规划的技术，利用随机产生器生成与轨道数目相对应的程序编码，最终自动的生成规划结果。
-
公开(公告)号：CN108509375A
公开(公告)日：2018-09-07
申请号：CN201810340885.8
申请日：2018-04-17
Applicant: 桂林电子科技大学
Abstract: 基于有效节点全方位最短连接的处理器阵列芯片复用方法属于处理器阵列重构技术领域，尤其涉及处理器阵列芯片的复用技术领域，其特征在于，对于处理器阵列芯片内烧制的失效处理器单元阵列，先后一次使用从左到右，然后再从右到左的贪心列路由算法程序分别得到两个在逻辑列左、右分布位置上相互互补的目标阵列，然后再在同一个处理器单元阵列即物理阵列上按有效处理器单元的坐标位置，标注出两个已取得的互补的目标阵列，即可获得一个完整的目标阵列。本发明具有速度快，易于普及推广的优点。
-
公开(公告)号：CN105183652B
公开(公告)日：2018-01-30
申请号：CN201510581987.5
申请日：2015-09-14
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 本发明公开一种时间动态下推网络的转换方法，用于描述含有递归、动态线程创建的实时并发递归建模。首先在DPN中引入描述连续时间的全局时钟，以及能描述与时间相关全局变量和栈字符“年龄”的实数时钟，从而可对基于共享内存进行异步通信，且带有动态线程创建的实时并发系统进行建模。其次对基于整数划分的时钟等价技术，给出一种基于时钟关键点的优化技术，缩减时钟区间，从而缩减转换后的状态空间。由于时间动态下推网络为一种实时并发递归程序的抽象模型，基于关键点的时钟等价优化技术把该模型转换为动态下推网络，这样通过确认动态下推网络模型的执行是否会运行到错误状态，从而检测出此模型即所对应并发递归程序中的错误或漏洞。
-
公开(公告)号：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的协商建议生成算法，可以有效的解决顺序协商中的一些问题。
-
-
-
-
-
-
-
-
-
Search Results
35
records
(took 0.036 seconds)
