期刊文献+
共找到140篇文章
< 1 2 7 >
每页显示 20 50 100
基于解空间裁剪度的多智能体路径规划算法
1
作者 岳荣康 龙吟 《计算机与数字工程》 2025年第2期389-394,共6页
基于冲突的搜索算法(Conflict Base Search,CBS)是当前多智能体路径规划的主要方法之一,并且它与互斥锁传播(Mutex Propagation,MP)方法结合还能够进一步提升搜索无冲突路径的性能。然而,基于冲突与互斥锁传播的搜索算法(CBS-MP)存在难... 基于冲突的搜索算法(Conflict Base Search,CBS)是当前多智能体路径规划的主要方法之一,并且它与互斥锁传播(Mutex Propagation,MP)方法结合还能够进一步提升搜索无冲突路径的性能。然而,基于冲突与互斥锁传播的搜索算法(CBS-MP)存在难以准确区分次要冲突和一般冲突的问题。为此,提出基于解空间裁剪程度的CBS-MP算法。该方法通过设定不同互斥锁对于解空间的裁剪程度为启发值,搜索出对于其他智能体解空间影响程度最小的路径解,然后将得到的路径解作为其他智能体的约束,搜索彼此无冲突的解。相比于现有CBS-MP算法,该方法不仅完善了对于不同碰撞类型的处理,还进一步提升路径搜索性能。实验结果表明在一般冲突和次要冲突频发的无障碍环境中该方法的性能优势较为明显。 展开更多
关键词 多智能体 路径规划 互斥锁传播 无障碍环境 多值决策图
在线阅读 下载PDF
微内核操作系统互斥量模块功能正确性的形式化验证 被引量:1
2
作者 张林雁 李希萌 +3 位作者 施智平 关永 曹钦翔 张倩颖 《软件学报》 EI CSCD 北大核心 2024年第9期4179-4192,共14页
操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测... 操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测试手段无法穷尽系统中的所有潜在错误,因而操作系统验证有必要使用具有严格数学理论基础的形式化方法.在操作系统中,互斥量可协调多任务对资源的访问,是一种常用的任务同步方式,其功能正确性对于保障多任务应用的正确性十分关键.基于定理证明方法,在交互式定理证明器Coq中对某抢占式微内核操作系统的互斥量模块进行代码级形式化建模,给出其接口函数的形式化规范,并实现这些接口函数的功能正确性验证. 展开更多
关键词 互斥量 功能正确性 形式化验证 定理证明 Coq定理证明器
在线阅读 下载PDF
业务互斥路由的多网负载均衡算法 被引量:1
3
作者 施加轮 刘逢清 +5 位作者 陈思颖 姚文杰 范炜琳 陈爽 林烨婷 邓舒 《计算机应用与软件》 北大核心 2024年第12期123-130,共8页
针对智能电网采用光纤通道传输电力差动保护业务时存在大量超负载设备和光缆的问题,建立负载受限条件下业务互斥路由的多网负载均衡模型,提出实现多网负载均衡优化的整数线性规划算法。以中国某省的多个电力光纤通信网为例进行优化求解... 针对智能电网采用光纤通道传输电力差动保护业务时存在大量超负载设备和光缆的问题,建立负载受限条件下业务互斥路由的多网负载均衡模型,提出实现多网负载均衡优化的整数线性规划算法。以中国某省的多个电力光纤通信网为例进行优化求解,求解结果表明所提优化算法能较大程度上减少超负载设施数(其中作为主要优化目标的中断保护业务超负载设施数比现路由方法减少约67%),并把高负载设施上的业务均衡到低负载设施上承载。 展开更多
关键词 多网络 互斥路由 负载均衡 优化算法 智能电网
在线阅读 下载PDF
基于互斥量的MbedOS调度机制剖析
4
作者 刘长勇 王宜怀 《吉林大学学报(信息科学版)》 CAS 2024年第2期284-293,共10页
为了能清晰理解互斥量对共享资源的独占访问原理与机制,在简要分析实时操作系统的互斥量的含义、应用场合、调度机制以及关键要素作用的基础上,对mbedOS互斥量调度机制进行了理论剖析。以KL36芯片为例对mbedOS的互斥量进行了实践,基于... 为了能清晰理解互斥量对共享资源的独占访问原理与机制,在简要分析实时操作系统的互斥量的含义、应用场合、调度机制以及关键要素作用的基础上,对mbedOS互斥量调度机制进行了理论剖析。以KL36芯片为例对mbedOS的互斥量进行了实践,基于时序图采用printf方法直观地输出了线程响应互斥量的调度过程信息,并对互斥量调度机制的实时性能进行分析。通过对互斥量调度机制的剖析,有助于进一步分析mbedOS的其他同步与通信方式,也可为深入理解其他实时操作系统的同步与通信手段提供参考借鉴。 展开更多
关键词 实时操作系统 互斥量 mbedOS实时操作系统 KL36芯片 printf输出
在线阅读 下载PDF
基于Nios Ⅱ双核处理器的数字水印系统设计 被引量:1
5
作者 郝世博 许江淳 郝君坦 《计算机应用与软件》 CSCD 北大核心 2013年第5期92-96,共5页
为了提高数字水印系统的处理速度,引入多核处理技术非常必要。提出一种基于NiosⅡ双核处理器的数字水印系统的设计方案。系统采用主从处理器架构,处理器之间通过Mutex互斥硬核和共享存储进行通信。利用栅障同步机制和有限状态机思想进... 为了提高数字水印系统的处理速度,引入多核处理技术非常必要。提出一种基于NiosⅡ双核处理器的数字水印系统的设计方案。系统采用主从处理器架构,处理器之间通过Mutex互斥硬核和共享存储进行通信。利用栅障同步机制和有限状态机思想进行相关硬件系统搭建和软件程序设计。系统采用一种基于DCT变换和Arnold置乱的新型彩色图像水印算法。实验证明,与基于单个NiosⅡ处理器、ARM或者DSP实现的数字水印嵌入式系统相比,双核系统在没有增加过多硬件资源占用的基础上,有效提高了数字水印处理的执行效率,同时兼顾了很好的便携性。 展开更多
关键词 NiosⅡ双核处理器 mutex 栅障同步 Qsys 数字水印
在线阅读 下载PDF
Microsoft Win32应用程序接口(API)中同步机制的使用
6
作者 张恩胜 《鞍山师范学院学报》 1999年第3期46-49,共4页
总结了MicrosoftWin32API中同步对象的特性及在编写MicrosoftWin32应用程序时如何运用这些同步对象 .
关键词 mutex对象 事件对象 信号灯对象
在线阅读 下载PDF
双MicroBlaze软核处理器的SOPC系统设计 被引量:1
7
作者 李金凤 施慧彬 杨定定 《单片机与嵌入式系统应用》 2013年第1期15-18,共4页
设计了一款基于双MicroBlaze软核处理器、面向嵌入式领域的SOPC系统,在信息处理繁忙的情况下,实现两软核处理器之间的同步、通信和中断功能,提高信息吞吐率和系统灵活性,降低设备尺寸。两处理器之间通过Mutex模块实现同步功能,通过Mail... 设计了一款基于双MicroBlaze软核处理器、面向嵌入式领域的SOPC系统,在信息处理繁忙的情况下,实现两软核处理器之间的同步、通信和中断功能,提高信息吞吐率和系统灵活性,降低设备尺寸。两处理器之间通过Mutex模块实现同步功能,通过Mailbox模块实现通信和中断功能,通过共享BRAM模块实现大块通信功能,并进行了有效的功能验证。该SOPC系统在XUPV5-LX110T开发板上得到验证。测试结果表明,两软核处理器之间有效地实现了同步,通信和中断功能,达到了预期的效果,验证了方案的有效性。 展开更多
关键词 MICROBLAZE 双核 SOPC mutex MAILBOX BRAM
在线阅读 下载PDF
面向拓扑空间实体的扩展锁技术 被引量:6
8
作者 程昌秀 申排伟 陆锋 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第2期209-214,共6页
借鉴操作系统中有关进程管理的理论 ,提出了一套面向拓扑空间实体的扩展锁技术 该技术实现了并行加锁与解锁事务间的同步与互斥管理 ,避免了死锁检测、事务回滚等操作带来的系统开销 ,提高了系统的运行效率 另外 ,在空间锁事务管理中... 借鉴操作系统中有关进程管理的理论 ,提出了一套面向拓扑空间实体的扩展锁技术 该技术实现了并行加锁与解锁事务间的同步与互斥管理 ,避免了死锁检测、事务回滚等操作带来的系统开销 ,提高了系统的运行效率 另外 ,在空间锁事务管理中使用的队列管理机制对提高系统的有序运转有十分重要的意义 实验证明 :该技术以相关管理逻辑代码的时间开销为代价 。 展开更多
关键词 拓扑 空间实体 并行 同步 互斥
在线阅读 下载PDF
多线程编程模型的研究与应用 被引量:9
9
作者 吴丹 傅秀芬 +1 位作者 苏磊 林乔捷 《广东工业大学学报》 CAS 2008年第1期47-49,共3页
在同步机制的基础上,结合局域网内网审计系统项目的实际开发经验,总结了流水线模型、对等工作组模型、客户端/服务器模型、主从架构模型和其它模型等共5种常见多线程编程模型,并介绍如何将这些模型运用到局域网内网安全审计系统中.
关键词 多线程 互斥量 条件变量 编程模型
在线阅读 下载PDF
Linux互斥锁机制的研究及改进 被引量:5
10
作者 赵慧斌 李小群 +1 位作者 孙玉芳 叶以民 《计算机科学》 CSCD 北大核心 2003年第8期169-171,共3页
Applications with real-time constraints are not only growing in the field of embedded system,but gainingpopularity in the desktop environment as well. At the same time, using an opened source system,Linux,as the sup-p... Applications with real-time constraints are not only growing in the field of embedded system,but gainingpopularity in the desktop environment as well. At the same time, using an opened source system,Linux,as the sup-ported OS is more and more appealing to many developers. So it is regarded as a potential aspect by many users to im-prove Linux performance to satisfy the real-time requirements. The article discusses the mutex implementation ofLinux in depth and on the basis of that, gives rise to methods to improve the deficiency. An implementation underversion of 2.2 series is brought forward. 展开更多
关键词 LINUX 操作系统 中断处理 时钟管理 互斥锁机制
在线阅读 下载PDF
一个基于多线程的优先级继承协议锁的算法研究 被引量:5
11
作者 郭长国 周明辉 +1 位作者 王怀民 许勇 《计算机研究与发展》 EI CSCD 北大核心 2002年第12期1550-1555,共6页
实时线程库对构造实时中间件和开发具有良好可移植性、有实时要求的分布式应用具有重要意义 .防止优先级翻转的线程互斥和同步机制是实现实时线程库的核心 ,目前多数的线程库都缺乏这种机制 .基于优先级继承协议 ,提出了一个防止优先级... 实时线程库对构造实时中间件和开发具有良好可移植性、有实时要求的分布式应用具有重要意义 .防止优先级翻转的线程互斥和同步机制是实现实时线程库的核心 ,目前多数的线程库都缺乏这种机制 .基于优先级继承协议 ,提出了一个防止优先级反转的互斥算法 .算法能够保证操作的原子性 ,可以避免发生死锁 ,且能够有效地防优先级翻转 .在 Windows和 Solaris平台上对性能进行了分析 ,并将算法应用到了实时 展开更多
关键词 多线程 算法 优先级继承协议锁 操作系统 固定优先级调度 线程库
在线阅读 下载PDF
一种解决多星遥感地面接收资源冲突及优化的方法 被引量:6
12
作者 王无敌 周志鑫 +2 位作者 李湘 詹明 王宏琦 《系统工程与电子技术》 EI CSCD 北大核心 2011年第6期1299-1304,共6页
针对多星遥感任务规划中的地面接收资源冲突问题,提出了一种利用互斥关系矩阵解决多星遥感中地面接收资源冲突及优化分配的技术,详细解释了互斥矩阵技术的实现方法;应用该技术能够给出多种无冲突的优化分配预案。同时以遥感任务完成量... 针对多星遥感任务规划中的地面接收资源冲突问题,提出了一种利用互斥关系矩阵解决多星遥感中地面接收资源冲突及优化分配的技术,详细解释了互斥矩阵技术的实现方法;应用该技术能够给出多种无冲突的优化分配预案。同时以遥感任务完成量为基准,根据卫星星上数据存储能力和星地数据传输能力,采用优化决策技术建立了一种地面接收资源分配的综合评价模型,用来对多个地面站分配的无冲突预案进行评估,解决多星遥感地面接收资源分配的最优化问题。 展开更多
关键词 地面接收资源冲突 互斥矩阵 无冲突预案评估 综合评价模型
在线阅读 下载PDF
高可信度最小约简属性启发策略 被引量:3
13
作者 尹林子 李勇刚 +1 位作者 阳春华 桂卫华 《自动化学报》 EI CSCD 北大核心 2012年第11期1751-1756,共6页
为提高启发式算法计算最小约简的可信度,基于可辨识矩阵,研究了属性之间存在的吸收、排斥以及互斥等特征,分析其与最小约简的关联,提出了对应的最小约简属性启发策略,建立了各个特征下属性启发策略的可信度计算模型.在此基础上,按照可... 为提高启发式算法计算最小约简的可信度,基于可辨识矩阵,研究了属性之间存在的吸收、排斥以及互斥等特征,分析其与最小约简的关联,提出了对应的最小约简属性启发策略,建立了各个特征下属性启发策略的可信度计算模型.在此基础上,按照可信度排序,形成了一种综合的高可信度最小约简属性启发策略,并给出了具体的约简算法.理论和实验分析表明,本文策略具有可信度高且可信度可以估计等优点,能有效提升最小约简算法的性能. 展开更多
关键词 属性吸收 属性排斥 属性互斥 最小约简 可信度
在线阅读 下载PDF
Linux下互斥机制及其分析 被引量:12
14
作者 李晋 葛敬国 《计算机应用研究》 CSCD 北大核心 2005年第8期72-74,77,共4页
详细介绍了在Linux环境下,特别是内核态下可能遇到的各种互斥场景,依据代码执行路径对其进行了分类。在此基础上,比较了各种互斥问题的解决方案的使用环境、优缺点以及使用时要注意的问题。
关键词 中断屏蔽 原子操作 互斥 自旋锁 信号量
在线阅读 下载PDF
Linux下的多线程编程 被引量:4
15
作者 杨传安 王国夫 张海勋 《应用科技》 CAS 2001年第5期28-30,共3页
介绍了Linux多线程库、几种线程间互斥和同步方法的实现 ,及多线程程序的基本程序结构。
关键词 Linux线程 死锁 互斥 同步 多线程编程 控制 多线程程序
在线阅读 下载PDF
基于多线程的多串行通信任务的实现 被引量:8
16
作者 李志俊 程涛 《武汉理工大学学报(交通科学与工程版)》 北大核心 2002年第5期575-578,共4页
根据串口通信的基本原理 ,介绍了利用 WIN3 2 API编程 ,基于单进程和多线程的多任务的串行通信 ,实现在一台计算机上对两个 PLC控制网络的数据进行通信的任务 ,并对影响串行通信的因素进行了探讨 .有效地解决了在串口通信中的实时响应问... 根据串口通信的基本原理 ,介绍了利用 WIN3 2 API编程 ,基于单进程和多线程的多任务的串行通信 ,实现在一台计算机上对两个 PLC控制网络的数据进行通信的任务 ,并对影响串行通信的因素进行了探讨 .有效地解决了在串口通信中的实时响应问题 ,降低了数据丢失率 。 展开更多
关键词 串行通信 WIN32API 多线程 事件驱动 实现方法 组成 原理
在线阅读 下载PDF
分布式系统设计中的互斥问题 被引量:4
17
作者 王昕晔 叶慧娟 李新 《海军工程大学学报》 CAS 2003年第5期105-112,共8页
介绍了互斥问题的基本概念,并针对分布式系统设计中的互斥问题分析了非基于令牌和基于令牌的两种解决方案.通过对典型算法的分析,有助于对分布式系统形成可操作的数学模型.
关键词 分布式系统 互斥问题 令牌 算法 数学模型
在线阅读 下载PDF
嵌入式图形系统Nano-X多线程改造 被引量:3
18
作者 张杰 阳富民 涂刚 《计算机工程与设计》 CSCD 北大核心 2005年第1期259-261,共3页
分析嵌入式图形系统Nano-X客户端和服务器的通讯机制;针对通讯机制中同步和异步的请求应答过程,分别采 用有效的方式保证不同线程对临界资源进行正确的互斥访问,使Nano-X支持多线程的应用程序,同时又不影响程序的 运行效率。
关键词 嵌入式图形系统 Nano-X 同步 异步 多线程 互斥
在线阅读 下载PDF
Windows多线程同步技术研究 被引量:12
19
作者 吕浩勇 余启港 董元和 《计算机与现代化》 2006年第10期86-89,共4页
首先对多线程的优点和缺点及线程同步重要性进行了论述,然后重点对Windows操作系统线程间多种同步技术进行深入探讨,对每种同步技术给出了应用实例,并提供了应用实例源代码。
关键词 多线程 同步 互斥 信号灯
在线阅读 下载PDF
相斥邻域的覆盖粗糙集实值属性约简 被引量:3
20
作者 张灵均 徐久成 +1 位作者 李双群 李晓艳 《山东大学学报(理学版)》 CAS CSCD 北大核心 2012年第1期77-82,共6页
粗糙集理论是一种有效的属性约简方法,但不能直接处理实值数据。针对此问题,本文首先介绍了邻域和覆盖的概念,在此基础上构造了覆盖自约简和覆盖间约简(属性约简)算法;然后通过讨论邻域内各样本之间关系,提出了相斥元的定义,相斥元的存... 粗糙集理论是一种有效的属性约简方法,但不能直接处理实值数据。针对此问题,本文首先介绍了邻域和覆盖的概念,在此基础上构造了覆盖自约简和覆盖间约简(属性约简)算法;然后通过讨论邻域内各样本之间关系,提出了相斥元的定义,相斥元的存在可能导致决策正域计算错误,从而得到不符合数据表实际情况的属性依赖性,因此给出了分解相斥元的方法;最后在四个实值的基因表达数据库上进行了实验,结果表明该属性约简算法是有效的,并相对于现有其他算法具有较高的分类精度。 展开更多
关键词 相斥元 邻域 覆盖粗糙集 属性约简
原文传递
上一页 1 2 7 下一页 到第
使用帮助 返回顶部