论文部分内容阅读
对于一个ＦＭＳ动近软件的调试环境系统来说，能够榆出被测软件中可能发生的死锁问题是系统能够下沉运行的必要条件之一。在被测系统Ｐｅｔｒｉ网模型的基础上，本文提出了一个实用的死锁检测和回避的方法，这种方法计算量小，具有通用性。
FMS运控软件的死锁问题及其检测方法
【摘 要】
：
对于一个ＦＭＳ动近软件的调试环境系统来说，能够榆出被测软件中可能发生的死锁问题是系统能够下沉运行的必要条件之一。在被测系统Ｐｅｔｒｉ网模型的基础上，本文提出了一个实用的死锁检测和回
【机 构】
：
东南大学计算机科学与工程系,南京理工大学503教研室
【出 处】
：
东南大学学报：自然科学版
【发表日期】
：
1997年1期
【基金项目】
：
国防科工委“FMS运调软件调试环境系统”项目资助
其他文献
依据空气动力学原理，建立了空气冲击造型机快开阀的开启运动方程，通过数值仿真计算，分析了快开阀的结构参数对快开阀开启运动的影响，为空气冲击造型机快开阀优化设计提供参考。
听众喜爱收听某一档广播节目，不仅喜爱的是节目内容。事实上i主持风格，是主持人“诚于内、形于外”的精神个性在节目中的具体体现，是“声音的作品”，也是每位主持人借助电波的传
导出了可压缩液体中空化气泡泡壁运动方程，用该方程对高强超声场作用下铝熔体中空化气泡的运动规律进行了数值求解。结果表明，导出了泡壁运动方程保留了Ｕ／Ｃ的高次项，精度高于传统的
ＴｉＯ２纳米超微粒在３００￣４００ｎｍ紫外光照激发下所产生的光生电子空穴对具有极强的光催化反应性能，受其光催化作用，大量活性氧类自由基在细胞内累积，形成细胞内氧化压迫并最终导致细胞凋亡，本研究观
新闻特写就是截取新闻事实的横断面，抓住富有典型意义的某个空间和时间，通过一个片断、一个场面、一个镜头、对事件或人物、景物做出形象化的报道的一种有现场感的生动活泼的新
摘 要:合作学习是《语文课程标准》中所提倡的学习方式之一。在合作学习的课堂中,学生是真正的“主人”。本文论述中学语文教学中老师与学生的合作学习,以此说明合作学习的实施提高了中学语文教学的水平和学生的学习效率。 关键词:中学语文教学合作学习老师学生 中图分类号:G633.3文献标识码:A文章编号:1673-9795(2011)01(c)-0185-01 合作学习是指在教学过程中,以学习小组为教
曾几何时，我期待着自己能够像闾丘露薇一样，深入战地，火线采访，手执话筒，镇定从容地对着镜头侃侃而谈……转眼间，我不仅实现了当记者的梦想，而且还真真实实地做了五年。2004年7月，我
我国图书馆有偿服务的研究内容较多的体现在图书馆有偿服务概念的界定，有偿服务的合理性分析及其表现形式方面。从研究的时间段看，20世纪80—90年代主要研究图书馆有偿服务是否
2004年走出大学校园的我就进入了辽宁电台成为了一名一线新闻记者。2006年录音专题《错位的公交站牌出售》获得第17届中国新闻奖二等奖、中国广播影视大奖一等奖，让我第一次感
采用有限单元分析的数学方法，应用弹性非线性岩土模型，成功地对一加筋粉煤灰支挡结构力学性状进行了分析，计算过程模拟了逐层施工，数值计算结果与原位测试基本一致，并为加筋土技术