切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
[!--class.name--]论文
[!--title--]
[!--title--]
来源 :浙江大学学报:理学版 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
【摘 要】
:
针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此
【作 者】
:
丁力
董利达
朴云
【机 构】
:
浙江大学电子电路与信息系统研究所
【出 处】
:
浙江大学学报:理学版
【发表日期】
:
2012年1期
【关键词】
:
并发编程
PETRI网
虹吸
死锁预防
concurrent programming
Petri net
siphon
deadlock prevention
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
血必净联合血液灌流治疗重度有机磷中毒的临床研究
目的:探讨在治疗重度有机磷中毒患者时常规治疗基础上加用血液灌流及中药血必净注射液的作用.方法:将55 例受试对象按照随机数字表,分为常规治疗组(A 组)18 例;常规治疗+血液灌流
期刊
血必净
血液灌流
有机磷农药
中毒
Xuebijing
Blood perfusion
Organophosphorus pesticide
Poison
锌修饰三氧化钨薄膜光电极的制备及其光电化学性能
采用简单的阴极电沉积-浸渍法,在空气中经450℃热处理3h后,制备得到Zn(Ⅱ)修饰三氧化钨(WO。)薄膜光电极.根据x-射线粉末衍射(XRD)、拉曼(Raman)光谱、场发射扫描电镜(FE—SEM)、紫外-可见
期刊
锌修饰三氧化钨
三氧化钨
光电极
光电流
光电催化活性
Zn-WO3
WO3
photodectrode
photocurrent
photoele
鞘内注射不同剂量舒芬太尼联合罗哌卡因分娩镇痛临床疗效观察
目的:比较和分析鞘内注射中高低三种剂量舒芬太尼联合罗哌卡因用于分娩镇痛的临床效果。方法:选取我院于2011年1月至2012年10月收治的120例待产的产妇的临床资料,以不同剂量的
期刊
舒芬太尼
罗哌卡因
分娩镇痛
Sufentanil
Ropivacaine
Labor analgesia
R-型聚类中基于Gamma—test的一种新度量
对R-型聚类分析的度量进行了研究,提出了一种基于Gamma-test理论的新度量.给出了新度量的5种不同定义方式,对各定义的性质进行了讨论.并将其应用于经典的系统聚类法,对所得的聚类
期刊
Gamma—Test
新度量
R-型聚类
Gamma-test
new measure
R type clustering
埃索美拉唑与奥美拉唑治疗Hp阳性十二指肠球溃疡临床对比研究的Meta分析
目的:系统评价埃索美拉唑与奥美拉唑治疗十二指肠球部溃疡(DU)的疗效及安全性.方法:搜集公开发表的有关埃索美拉唑与奥美拉唑对比治疗DU的随机对照临床试验,运用RevMan软件对符合
期刊
埃索美拉唑
奥美拉唑
幽门螺杆菌
十二指肠球部溃疡
Esomeprazole
Omeprazole
Helicobacter pylori
Duodenal
基于gOMP算法的循环码译码研究
在压缩感知理论中,广义正交匹配追踪(gOMP)算法常用于解决l0范数的最小化问题.借助无噪声干扰的压缩感知观测模型,提出了循环码差错图案E重构的压缩感知模型,以校验矩阵H作为测
期刊
广义正交匹配追踪gOMP算法
循环码
校验矩阵H
伴随式S
差错图案E
generalized orthogonal matching pursuit(gOMP
论清人对吴梅村“诗史”的理解——以《吴诗集览》为中心
吴梅村的诗歌在清代已有"诗史"之称。靳荣藩的《吴诗集览》作为最早的吴梅村诗歌笺注本,对吴梅村"诗史"的理解颇有代表性。《吴诗集览》沿袭《本事诗》中的"诗史"观念,详证梅
期刊
吴梅村
《吴诗集览》
“诗史”
心态史
Wu Meicun
poetry as history
Wushiji Lan
history of psycholog
颅内血肿粉碎针微创清除术治疗重症小脑出血52例分析
目的:探讨颅内血肿粉碎针微创清除术抢救重症小脑出血疗效.方法:按照头颅CT片定位,应用一次性血肿粉碎针,在手电钻帮助下穿刺进入面肿中心,抽吸后用生理盐水冲洗,然后用尿激酶
期刊
重症小脑出血
颅内血肿粉碎针
微创清除术
Severe cerebellar hemorrhage
Intracranial hematoma smash n
徐州-淮北地区张渠组层序地层格架
因新元古代地层缺少古生物化石,地层对比至今仍是难点.徐州-淮北是衔接我国南北新元古代地层对比中的关键地区,其中张渠组是新元古代地层对比中的关键层位.以露头界面识别和
期刊
张渠组
层序地层
海平面变化
新元古代
徐州-淮北地区
Zhangqu Formation
sequence stratigraphy
sea level ch
含铁硅钨杂多酸盐控制催化氧化环化乙酰丙酮
杂多酸化合物[γ-SiW10{Fe(OH2)}2O38]6-(简写为{Fe2SiW10})在催化乙酰丙酮合成呋喃杂化衍生化合物2,5-二甲基-2,3-二羟基-3,4-二乙酰基-2,3-二氢呋喃(Ⅵ)时,同时起到了氧化催化剂
期刊
聚金属氧酸盐
呋喃衍生物
乙酰丙酮
氧化环化
polyoxometalates
Furan derivative
acetylacetone
oxidati
与本文相关的学术论文