并发进程

作品数：27被引量：21H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘荣峰黄明李引珍胡星波晏渭川更多>>
相关机构：吉林大学兰州交通大学东南大学南京航空航天大学更多>>
相关期刊：《中国金融电脑》《兰州大学学报（自然科学版）》《青海师范大学学报（自然科学版）》《福建电脑》更多>>
相关基金：国家自然科学基金辽宁省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Petri网并发进程的死锁避免策略被引量：2
《计算机技术与发展》2016年第11期5-9,共5页周建勇 于杰 刘海阳 孙燕 刘久富 王志胜 杨忠 刘春生 
国家自然科学基金资助项目(60674100);南京航空航天大学专项资助项目(NS2010069)
死锁是系统并发进程中特有的问题,由于发生的不确定性,死锁检测和消除非常困难。在以分支界定法设计最优监控器的基础上,提出了一种可以最大限度保证静态和行为特性任意配置的死锁监控器集成设计方法。该方法通过可达图分析,在满足静态...
关键词：PETRI网 监控器 死锁避免 广义互斥约束 
地理现象时空逻辑过程建模方法
《测绘通报》2014年第8期48-51,61,共5页徐爱功 车莉娜 
辽宁省自然科学基金(201102087);高等学校博士学科点专项科研基金(20122121110007)
为了有效地对地理现象进行回溯和预测,必须对地理现象的发生过程进行准确描述,时空过程模型(STPM)是一种有效的方法。本文在研究时空过程概念模型的基础上,将概念层发展到逻辑层,研究地理现象时空逻辑过程建模方法;使用UML-RT标准化逻...
关键词：时空地理现象 逻辑过程模型 并发进程 Π-演算 
操作系统中并发进程的生产者—消费者问题的研究被引量：4
《许昌学院学报》2013年第2期52-56,共5页李晓宇 
全面分析了生产者—消费者问题所有情况,如单个生产者、单个消费者、单个缓冲区;多个生产者、多个消费者、多个缓冲区.以及介于两者之间还有几种情况.提供了解决方案,帮助学生更准确、更深刻地理解和掌握并发进程程序设计的本质和技巧.
关键词：操作系统 并发进程 生产者-消费者问题 同步 互斥 信号量 
基于应用π演算的可信平台模块的安全性形式化分析被引量：5
《计算机研究与发展》2011年第8期1421-1429,共9页徐士伟 张焕国 
国家自然科学基金项目(91018008;60970115;60970116)
可信平台模块(trusted platform module,TPM)是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安全性,需要对其进行安全性验证.针对已有工作对TPM规范中多类安全性问题进行形式化建模与验证过程中所...
关键词：可信计算 可信平台模块 应用π演算 并发进程 安全性分析 
软件数据耦合影响分析方法
《航空计算技术》2008年第3期80-82,86,共4页周敏刚 张学宏 王泉 
以软件中数据为核心,通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例,提出一种实时软件数据耦合影响分析方法。该方法通过静态分析实时软件中全部共享数据的并发使用情况,可有效发现实时软件中因数据耦合...
关键词：数据耦合 并发进程 静态分析 数据冲突 实时软件 
基于Petri网的分布式系统并发进程的死锁检测被引量：2
《计算机工程与设计》2007年第22期5353-5355,共3页刘荣峰 李引珍 吴桂华 
兰州交通大学大学生科研创新基金项目(2006-48)
分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具。为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全...
关键词：分布式系统 并发进程 PETRI网模型 全链路合成 死锁检测 
“信号量集”在并发进程同步问题中的应用研究被引量：3
《福建电脑》2007年第7期94-95,90,共3页蓝岚 拜战胜 周薇 
本文在阐述进程同步与互斥、信号量以及P、V操作等基本概念的基础上,探讨了利用P、V操作结合信号量机制实现操作系统中进程控制的一般方法,得到了用于构造同步算法的基本框架;最后对一般信号量集机制中的特殊情况在"五兄弟圈羊"问题中...
关键词：进程 同步 信号量 P操作 V操作 
基于有色Petri网并发进程模型及死锁避免方法被引量：2
《计算机工程与应用》2007年第6期48-49,94,共3页刘荣峰 李引珍 
兰州交通大学大学生科研创新基金资助项目。
并发进程具有明显的异步并发性,而Petri网是描述异步并发系统的有效工具,但是目前将Petri网用于并发进程控制问题的研究还几乎没有。为此通过引入扩展有色Petri网,为并发进程建立了模型,并给出了避免死锁的有效方法。
关键词：并发进程 PETRI网 死锁 可达标识图 
并发进程死锁检测的一种新方法
《甘肃科技》2007年第2期31-32,120,共3页刘荣峰 
并发进程具有明显的异步并发性,而Petri网是模拟与分析异步并发系统的有效工具。为此通过引入Petri网,给出了并发进程等待的Petri网模型及死锁检测方法。
关键词：并发进程 PETRI网模型 死锁检测 
具有动作细化的实时并发进程的基于事件的操作语义以及一致性结果
《Journal of Computer Science & Technology》2004年第C00期28-28,共1页Xiu-LiSun Wen-YinZhang Jin-ZhaoWu 
对于包含动作精化的实时进程代数，人们已经为它定义了指称真并发语义。在这种语义里，动作精化被看作是一个操作符。人们自然会有这样的疑问：既然已经定义了指称真并发语义，为什么还要定义操作语义?这个问题可以从以下两个方面回答...
关键词：操作语义 实时 并发进程 操作符 进程代数 事件 细化 刻画 时间变量 推理规则 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部