-
题名多线程编程模型的研究与应用
被引量：9
- 1
-
-
作者
吴丹
傅秀芬
苏磊
林乔捷
-
机构
广东工业大学计算机学院
-
出处
《广东工业大学学报》
CAS
2008年第1期47-49,共3页
-
文摘
在同步机制的基础上,结合局域网内网审计系统项目的实际开发经验,总结了流水线模型、对等工作组模型、客户端/服务器模型、主从架构模型和其它模型等共5种常见多线程编程模型,并介绍如何将这些模型运用到局域网内网安全审计系统中.
-
关键词
多线程
互斥量
条件变量
编程模型
-
Keywords
muhithread
mutex
conditional variable
program model
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名多线程技术在电子水平状态指示仪中的应用
被引量：1
- 2
-
-
作者
吴吉祥
夏靖波
杜华桦
-
机构
空军工程大学电讯工程学院
-
出处
《航天控制》
CSCD
北大核心
2010年第1期74-77,85,共5页
-
文摘
针对液晶式电子水平状态指示仪应用时图形显示速度慢的问题,提出基于嵌入式Linux实时系统的软件设计方案。消息处理方式是该方案的关键,经过分析,采用多线程技术建立消息模型,通过互斥锁机制实现同步,并给出了具体的实现过程。对软件运行结果进行详细分析,软件在显示速度和显示质量方面均能达到较好效果,能够满足设计需求。
-
关键词
电子水平状态指示仪
消息模型
多线程
同步机制
互斥锁
-
Keywords
Message model
Multithreading
Synchronization mechanism
Mutex lock
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于角色的动态转授权模型的研究与实现
被引量：2
- 3
-
-
作者
李怀明
马甜
王延章
-
机构
大连理工大学信息与决策技术研究所
-
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2007年第11期2115-2120,2194,共7页
-
基金
国家自然科学基金资助项目(70271045)
辽宁省自然科学基金资助项目(2051066)。~~
-
文摘
为在转授权过程中实现双边协议和动态角色互斥约束,解决由权限共享引起的角色互斥问题,提出了基于角色的动态转授权模型。首先,对模型的核心思想进行了阐述;然后,结合离散数学的相关知识对模型中的组成元素、元素间的相互关系和转授权的约束进行了形式化描述;最后,对如何借助Agent,在兼顾动态职责分离约束的同时实施带时间限制的部分角色转授权,以及对权限共享问题的处理细节进行了阐述。
-
关键词
双边协议
动态角色互斥约束
权限共享
基于角色的动态转授权模型
-
Keywords
bilateral protocols
dynamic restriction of roles mutex
permission sharing
role-based dynamic delegation model
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一种解决多星遥感地面接收资源冲突及优化的方法
被引量：6
- 4
-
-
作者
王无敌
周志鑫
李湘
詹明
王宏琦
-
机构
中国科学院电子学研究所
中国科学院空间信息处理与应用系统技术重点实验室
中国科学院研究生院
北京遥感信息研究所
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2011年第6期1299-1304,共6页
-
文摘
针对多星遥感任务规划中的地面接收资源冲突问题,提出了一种利用互斥关系矩阵解决多星遥感中地面接收资源冲突及优化分配的技术,详细解释了互斥矩阵技术的实现方法;应用该技术能够给出多种无冲突的优化分配预案。同时以遥感任务完成量为基准,根据卫星星上数据存储能力和星地数据传输能力,采用优化决策技术建立了一种地面接收资源分配的综合评价模型,用来对多个地面站分配的无冲突预案进行评估,解决多星遥感地面接收资源分配的最优化问题。
-
关键词
地面接收资源冲突
互斥矩阵
无冲突预案评估
综合评价模型
-
Keywords
confliction of ground station receiving resources
mutex-matrix
no-confliction multi-missions solution
integrated evaluating model
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名并发系统互斥约束的形式化验证
- 5
-
-
作者
鱼先锋
王辉
-
机构
商洛学院计算机科学系
商洛学院数学与计算科学系
-
出处
《商洛学院学报》
2011年第6期10-14,共5页
-
基金
商洛学院科研基金项目(10SKY023)
-
文摘
并发系统的模型是其性能评价、仿真、作业调度及控制的研究基础。互斥是并发系统最重要的性质之一,建立了具有互斥约束系统的一般数学模型———互斥模型。将模型互斥性分解为安全性、活性和无阻性约束,形式化规约成LTL公式;给出了基于不动点的互斥模型的模型检测算法。并结合实例进行了互斥模型的形式化验证,给出了模型精化改进的详细过程。随着并发系统进程增加,不动点模型检测算法会面临状态爆炸问题,给出了另一种基于布尔公式的BDD(二叉决策树)运算下的符号化模型检测方法,有效地缓解了状态爆炸问题。
-
关键词
互斥模型
模型检测
不动点
BDD
-
Keywords
mutex-model
model checking
fixpoint
BDD
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
