期刊文献+
共找到1,025篇文章
< 1 2 52 >
每页显示 20 50 100
微内核操作系统互斥量模块功能正确性的形式化验证
1
作者 张林雁 李希萌 +3 位作者 施智平 关永 曹钦翔 张倩颖 《软件学报》 EI CSCD 北大核心 2024年第9期4179-4192,共14页
操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测... 操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测试手段无法穷尽系统中的所有潜在错误,因而操作系统验证有必要使用具有严格数学理论基础的形式化方法.在操作系统中,互斥量可协调多任务对资源的访问,是一种常用的任务同步方式,其功能正确性对于保障多任务应用的正确性十分关键.基于定理证明方法,在交互式定理证明器Coq中对某抢占式微内核操作系统的互斥量模块进行代码级形式化建模,给出其接口函数的形式化规范,并实现这些接口函数的功能正确性验证. 展开更多
关键词 互斥 功能正确性 形式化验证 定理证明 Coq定理证明器
下载PDF
基于互斥量的MbedOS调度机制剖析
2
作者 刘长勇 王宜怀 《吉林大学学报(信息科学版)》 CAS 2024年第2期284-293,共10页
为了能清晰理解互斥量对共享资源的独占访问原理与机制,在简要分析实时操作系统的互斥量的含义、应用场合、调度机制以及关键要素作用的基础上,对mbedOS互斥量调度机制进行了理论剖析。以KL36芯片为例对mbedOS的互斥量进行了实践,基于... 为了能清晰理解互斥量对共享资源的独占访问原理与机制,在简要分析实时操作系统的互斥量的含义、应用场合、调度机制以及关键要素作用的基础上,对mbedOS互斥量调度机制进行了理论剖析。以KL36芯片为例对mbedOS的互斥量进行了实践,基于时序图采用printf方法直观地输出了线程响应互斥量的调度过程信息,并对互斥量调度机制的实时性能进行分析。通过对互斥量调度机制的剖析,有助于进一步分析mbedOS的其他同步与通信方式,也可为深入理解其他实时操作系统的同步与通信手段提供参考借鉴。 展开更多
关键词 实时操作系统 互斥 mbedOS实时操作系统 KL36芯片 printf输出
下载PDF
一种基于动作条件互斥的处理动作条件效果的算法
3
作者 谷文祥 赵成丽 于志恒 《东北师大学报(自然科学版)》 CAS CSCD 北大核心 2007年第2期28-32,共5页
在给出动作无条件互斥、动作半条件互斥和动作全条件互斥等概念的基础上,提出一种新的算法,在规划图的扩张阶段建立各种互斥关系,在规划解的搜索过程中利用这些互斥关系,判断是否需要进行条件冲突检测,从而加快了有效规划的搜索,提高了... 在给出动作无条件互斥、动作半条件互斥和动作全条件互斥等概念的基础上,提出一种新的算法,在规划图的扩张阶段建立各种互斥关系,在规划解的搜索过程中利用这些互斥关系,判断是否需要进行条件冲突检测,从而加快了有效规划的搜索,提高了系统的效率. 展开更多
关键词 条件效果 动作无条件互斥 动作半条件互斥 动作全条件互斥
下载PDF
英语静态汉语动态间的竞争互斥与共生互容
4
作者 吴克炎 童小兰 《大理大学学报》 2024年第9期56-60,共5页
二语习得的“费时低效”现象是由于对二语了解不到位造成的。对二语习得加以微观研究后发现:汉语为母语的英语学习者在学习初期,通常处于英汉双语竞争互斥的状态,而且由于汉语占有很大优势,母语负迁移难以消除。归纳英语静态与汉语动态... 二语习得的“费时低效”现象是由于对二语了解不到位造成的。对二语习得加以微观研究后发现:汉语为母语的英语学习者在学习初期,通常处于英汉双语竞争互斥的状态,而且由于汉语占有很大优势,母语负迁移难以消除。归纳英语静态与汉语动态间的竞争互斥导致的负迁移类型,其中不仅包括以往研究涉及到的语病,还包括以往研究通常忽视的不地道表达情况。提出通过努力将它们转化成共生互容,英语习得将高效进行。理念上重视、行动上落实是共生互容的有效途径。 展开更多
关键词 费时低效 英语静态 汉语动态 竞争互斥 共生互容
下载PDF
基于遗传算法的磁互斥振动能量采集器多参数优化方法
5
作者 叶信威 戴厚德 +1 位作者 夏许可 姚瀚晨 《微纳电子技术》 CAS 2024年第6期106-115,共10页
为了提高电磁式振动能量采集器的发电效率,为无线传感网络和可穿戴电子设备提供微型、高效、可持续的供电装置,提出了一种基于遗传算法的磁互斥振动能量采集器多参数优化方法。由于多级磁铁同极互斥结构的弹簧-阻尼-质量模型参数复杂,... 为了提高电磁式振动能量采集器的发电效率,为无线传感网络和可穿戴电子设备提供微型、高效、可持续的供电装置,提出了一种基于遗传算法的磁互斥振动能量采集器多参数优化方法。由于多级磁铁同极互斥结构的弹簧-阻尼-质量模型参数复杂,通过将磁铁个数、磁铁长度、线圈相数、各相线圈长度、线圈连接方式的最大发电效率问题描述为遗传算法的多参数优化问题,实现发电效率最大化条件下能量采集器结构参数组合的精确匹配。实验结果表明,参数优化后样机发电性能显著提升,在激励加速度为0.5g、频率为9.5 Hz时,优化前后样机输出电压均达到峰值,分别为2.18和4.86 V。在激励加速度分别为0.3g、0.5g、0.7g时,优化后样机最大输出电压分别为3.68、4.86、6.0 V,最大输出功率分别为9.28、16.18、24.66 mW。 展开更多
关键词 遗传算法 参数优化 磁同极互斥 振动能量采集器 无线传感网络
下载PDF
互斥关系模式挖掘算法研究 被引量:4
6
作者 张洋 陈未如 纪元 《计算机工程与设计》 CSCD 北大核心 2008年第22期5776-5779,共4页
序列模式挖掘是数据挖掘的一个重要领域,结构关系模式挖掘是在序列模式挖掘基础上提出的一种新的挖掘任务。重点对结构关系模式的一个重要分支——互斥关系模式进行了研究,在给出与互斥关系模式相关概念的基础上讨论了互斥关系模式挖掘... 序列模式挖掘是数据挖掘的一个重要领域,结构关系模式挖掘是在序列模式挖掘基础上提出的一种新的挖掘任务。重点对结构关系模式的一个重要分支——互斥关系模式进行了研究,在给出与互斥关系模式相关概念的基础上讨论了互斥关系模式挖掘的两种算法,即基本检测法和分类检测法。实验结果表明,两种算法都是有效的,在序列模式数量很大时,分类检测法的挖掘效率高于基本检测法。结构关系模式挖掘和序列模式挖掘一样在实际应用中有着重要的价值,一些在序列模式挖掘过程中不能发现的隐藏模式将在结构关系模式中被发现,互斥关系模式的研究将进一步为结构关系模式挖掘理论的完善提供支持。 展开更多
关键词 结构关系模式 互斥 互斥关系模式 支持度 序列
下载PDF
Linux多线程的互斥与同步控制及实践 被引量:3
7
作者 刘俞 《安徽冶金科技职业学院学报》 2005年第2期53-57,共5页
随着计算机软硬件的发展,对计算机的执行效率的要求不断提高,多线程技术应运而生,现在已被许多操作系统所支持。介绍了多线程系统中互斥与同步机制,在Linux系统下利用信号量操作及利用pthread多线程函数编程实现多线程间的互斥与同步控... 随着计算机软硬件的发展,对计算机的执行效率的要求不断提高,多线程技术应运而生,现在已被许多操作系统所支持。介绍了多线程系统中互斥与同步机制,在Linux系统下利用信号量操作及利用pthread多线程函数编程实现多线程间的互斥与同步控制,并以生产者和消费者问题为例进行分析与实践。 展开更多
关键词 线程 多线程 互斥 同步 互斥 信号量
下载PDF
一种基于消息槽的K资源互斥算法
8
作者 赵淑梅 秦杰 《计算机系统应用》 2008年第4期35-37,共3页
在银行系统等有多个实体同时活跃的分布式应用中,必须妥善解决不同实体对资源的需求,即同步与互斥。本文基于令牌的K资源互斥算法,提出了基于消息槽的K资源互斥算法,该算法能有效满足K资源分布式环境下同步与互斥的要求。
关键词 实体 分布式应用 同步与互斥 K资源互斥 消息槽
下载PDF
经济指标在互斥方案间比较判断时的缺陷与改进
9
作者 谢虹 《统计与决策》 CSSCI 北大核心 2007年第9期128-129,共2页
对于不同投资额的互斥投资方案,常以其投资差额(即所谓的增额投资)的经济性来判断其优劣。动态增额投资指标(增额投资净现值与增额投资内部收益率)判断方法就是将一个投资方案比另一个投资方案多投资部分与由此带来的收益变化额进... 对于不同投资额的互斥投资方案,常以其投资差额(即所谓的增额投资)的经济性来判断其优劣。动态增额投资指标(增额投资净现值与增额投资内部收益率)判断方法就是将一个投资方案比另一个投资方案多投资部分与由此带来的收益变化额进行比较,借助于基准收益率以决定方案之间相对优劣的判断方法。其主导思想是考察两投资方案间的“增额投资”的经济性。如果增额投资部分判断可行,则值得在较小投资方案的基础上增加此部分投资,即投资大的方案较优;否则就不值得增加投资,即投资小的方案较优。 展开更多
关键词 判断方法 互斥方案 经济指标 互斥投资方案 内部收益率 缺陷 基准收益率 投资差额
下载PDF
1inux操作系统中互斥与同步控制
10
作者 李国禄 王霞 《青海师专学报》 2007年第5期109-111,共3页
通过分析linux内核,讨论了linux操作系统内核同步机制基本原理,介绍了linux系统中互斥与同步机制的实现方法.
关键词 线程 互斥 同步 互斥 信号量
下载PDF
RBAC模型中角色互斥研究及应用 被引量:3
11
作者 陈胜 娄渊胜 张文渊 《计算机技术与发展》 2012年第12期21-24,28,共5页
应用系统的用户数量和系统角色越来越多,使得角色间的互斥也更加频繁。而角色互斥作为一种实施职责划分的有效手段,在基于RBAC模型的访问控制中具有非常重要的作用。目前关于角色互斥的研究还不够完善,为了更好地处理角色间的互斥关系,... 应用系统的用户数量和系统角色越来越多,使得角色间的互斥也更加频繁。而角色互斥作为一种实施职责划分的有效手段,在基于RBAC模型的访问控制中具有非常重要的作用。目前关于角色互斥的研究还不够完善,为了更好地处理角色间的互斥关系,文中对RBAC下的角色互斥进行了研究,通过分析角色的本质列举了角色互斥的各种类型,并在此基础上设计了角色约束表,通过形式化的方法给出了角色约束表的组建和角色互斥撤消的方式。最后实现了一个带角色互斥检测的角色分配控制器,能够很好地根据角色互斥关系来进行角色分配,并成功应用到了一个简单系统中。 展开更多
关键词 基于角色的访问控制 角色互斥 角色分配 互斥撤销
下载PDF
基于读写特征的分布式互斥算法 被引量:16
12
作者 刘丹 刘心松 +1 位作者 丘志杰 邱元杰 《电子学报》 EI CAS CSCD 北大核心 2004年第2期326-329,共4页
在LK算法基础上 ,提出一种对读写请求作不同互斥处理的分布式互斥算法———RWME(read/writemu tualexclusion)算法 .在同步延迟仍为T的前提下 ,降低了传统非令牌类型互斥算法的消息复杂度 .在Lamport全局时戳的基础上 ,定义了适合于读... 在LK算法基础上 ,提出一种对读写请求作不同互斥处理的分布式互斥算法———RWME(read/writemu tualexclusion)算法 .在同步延迟仍为T的前提下 ,降低了传统非令牌类型互斥算法的消息复杂度 .在Lamport全局时戳的基础上 ,定义了适合于读写互斥的全局时戳———读写时戳 ,并由其来保证各读写进程互斥访问临界区的公平性和正确性 .通过对算法的性能分析验证其是高效的 。 展开更多
关键词 RWME算法 分布式互斥 读写时戳 消息复杂度
下载PDF
一种基于循环编码的高性能分布式互斥算法 被引量:14
13
作者 李美安 刘心松 王征 《电子学报》 EI CAS CSCD 北大核心 2005年第8期1397-1402,共6页
公平、健壮和易于实现的分布式互斥算法对分布式系统保证数据一致性、逻辑一致性及时序一致性至关重要.除Lamport算法,RA算法和N0.63算法外,以前提出的分布式互斥算法都只是在节点数目与请求集大小存在一定关系时才是公平和对称的,在大... 公平、健壮和易于实现的分布式互斥算法对分布式系统保证数据一致性、逻辑一致性及时序一致性至关重要.除Lamport算法,RA算法和N0.63算法外,以前提出的分布式互斥算法都只是在节点数目与请求集大小存在一定关系时才是公平和对称的,在大多数情况下是不对称的.这些算法的同步时间,容错性能与消息复杂度之间存在着不可调和的矛盾,不能三者兼顾.本文提出了一种基于循环编码的互斥请求集产生算法,并在此基础上改进了已有的基于请求集的分布式互斥算法,使该算法在系统节点数为任意值时都能公平和对称地产生请求集.其消息复杂度较低,同步时间为T,节点容错能力达到N-1. 展开更多
关键词 循环编码 分布式 互斥
下载PDF
一种基于松弛循环差集的高性能分布式互斥算法 被引量:11
14
作者 李美安 刘心松 王征 《电子学报》 EI CAS CSCD 北大核心 2007年第1期58-63,共6页
基于竞争的分布式互斥算法以请求集为基础.对称的请求集才能产生对称、公平的分布式互斥算法.本文首先证明了循环请求集与松弛循环差集具有等价性,并在此基础上提出了一种基于松弛循环差集的对称请求集生成算法.在提出动态令牌和请求集... 基于竞争的分布式互斥算法以请求集为基础.对称的请求集才能产生对称、公平的分布式互斥算法.本文首先证明了循环请求集与松弛循环差集具有等价性,并在此基础上提出了一种基于松弛循环差集的对称请求集生成算法.在提出动态令牌和请求集重构概念的基础上,本文将Maekawa类分布式互斥的同步时间降为T,节点容错能力达到N-1,一次临界区执行所需交换的消息数降为2m-3m,m是请求集大小. 展开更多
关键词 松弛循环差集 分布式 互斥 算法
下载PDF
Linux互斥锁机制的研究及改进 被引量:5
15
作者 赵慧斌 李小群 +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
智能规划中互斥动作延迟算法 被引量:6
16
作者 谷文祥 孙铁利 吕英华 《东北师大学报(自然科学版)》 CAS CSCD 北大核心 2003年第3期94-98,共5页
 为解决扩张规划图时某一时间步出现的互斥动作的延迟问题,引进了无序要求互斥动作和有序要求互斥动作的概念,并且在此基础上,给出互斥动作延迟算法.利用这一算法生成的规划图,在进行有效规划的搜索时是非常方便的.
关键词 规划图 有效规划 互斥动作 智能规划
下载PDF
基于互斥角色约束的静态职责分离策略 被引量:4
17
作者 王婷 陈性元 +2 位作者 张斌 任志宇 王鲁 《计算机应用》 CSCD 北大核心 2011年第7期1884-1886,1890,共4页
静态职责分离(SSOD)是保证计算机安全的重要策略。在基于角色的权限控制(RBAC)中直接基于互斥角色约束(2-2 SMER)实现最简单的SSOD策略(2-n SSOD)是困难的。通过对互斥角色的权限分配进行约束,研究并证明了基于2-2 SMER实现2-n SSOD策... 静态职责分离(SSOD)是保证计算机安全的重要策略。在基于角色的权限控制(RBAC)中直接基于互斥角色约束(2-2 SMER)实现最简单的SSOD策略(2-n SSOD)是困难的。通过对互斥角色的权限分配进行约束,研究并证明了基于2-2 SMER实现2-n SSOD策略的充分条件,此充分条件和现有研究相比具有更弱的约束力,支持更灵活的权限分配。进一步给出了实现2-n SSOD策略的授权管理操作规则,以确保权限的动态管理始终满足此充分条件,维持系统对2-n SSOD策略的满足状态。最后,通过应用实例说明了实现2-n SSOD策略方法的有效性和可行性。 展开更多
关键词 静态职责分离 互斥角色 授权管理 访问控制
下载PDF
域间动态角色转换中的静态互斥角色约束违反 被引量:6
18
作者 翟征德 徐震 冯登国 《计算机研究与发展》 EI CSCD 北大核心 2008年第4期677-683,共7页
安全互操作是实现跨管理域的资源共享与保护的关键技术.Kapadia等人的IRBAC2000模型提供了一种灵活的通过角色关联和动态角色转换实现安全互操作的方法.廖俊国等人指出该模型可能违反静态互斥角色约束,对问题的原因进行了分析,提出了约... 安全互操作是实现跨管理域的资源共享与保护的关键技术.Kapadia等人的IRBAC2000模型提供了一种灵活的通过角色关联和动态角色转换实现安全互操作的方法.廖俊国等人指出该模型可能违反静态互斥角色约束,对问题的原因进行了分析,提出了约束违反检测算法和添加角色关联的先决条件.首先指出廖俊国等人关于约束违反原因的分析是片面的,其检测算法和先决条件也不能保证系统不会违反约束;然后指出在给定角色关联的前提下,外域的用户/角色分配是造成约束违反的根本原因;进而提出动态角色转换违反静态互斥角色约束的充要条件和约束违反检测算法;给出了添加角色关联和用户/角色分配的先决条件,保证了模型状态始终满足静态互斥角色约束. 展开更多
关键词 安全互操作 动态角色转换 角色关联 静态角色互斥 约束违反
下载PDF
一种描述RBAC角色层次关系和互斥关系的模型及实现 被引量:4
19
作者 段隆振 文锋 +1 位作者 黄水源 冯豫华 《南昌大学学报(理科版)》 CAS 北大核心 2006年第6期601-604,共4页
RBAC角色访问控制逐渐被软件业所认同,在概述了目前的RBAC模型的特点后,对其角色的继承关系和互斥关系进行了讨论,并提出了一种逻辑模型和实现方法,最后给出了一个实例。
关键词 RBAC 角色层次 角色互斥
下载PDF
Linux下互斥机制及其分析 被引量:12
20
作者 李晋 葛敬国 《计算机应用研究》 CSCD 北大核心 2005年第8期72-74,77,共4页
详细介绍了在Linux环境下,特别是内核态下可能遇到的各种互斥场景,依据代码执行路径对其进行了分类。在此基础上,比较了各种互斥问题的解决方案的使用环境、优缺点以及使用时要注意的问题。
关键词 中断屏蔽 原子操作 互斥 自旋锁 信号量
下载PDF
上一页 1 2 52 下一页 到第
使用帮助 返回顶部