论文部分内容阅读
从逻辑的角度出发，根据请求模型用谓词逻辑分析死锁，并统一于一个通用的表示中，然后用时序逻辑方法进一步给出了一个更通用的死锁表示，用逻辑方法表示死锁，便于程序安全性验证，最后，把这些方法用于Ａｄａ程序的验证系统中。
两种死锁分析的逻辑方法
【摘 要】
：
从逻辑的角度出发，根据请求模型用谓词逻辑分析死锁，并统一于一个通用的表示中，然后用时序逻辑方法进一步给出了一个更通用的死锁表示，用逻辑方法表示死锁，便于程序安全性验证，最后
【机 构】
：
武汉大学数学与计算机科学学院/国家多媒体软件工程技术
【出 处】
：
武汉大学学报：自然科学版
【发表日期】
：
1999年3期
【基金项目】
：
国防科工委九五预研项目
其他文献
随着互联网技术的突飞猛进,我国石油地质资料的管理也逐渐走向现代化和信息化。石油地质资料实现信息化管理,有效突破了传统纸质资料保存和利用的局限,使资料资源配置和管理
采用荧光光谱法系统地了萘普生的自身荧光现象及其与β－环糊精因包络反应的而产生的荧光增敏作用，试验了在不同条件下的荧光性质，提出了测定萘普生含量的高灵敏荧光光度分析方法
高等植物线粒体中由重复序列介导的DNA分子内或分子间的重组频繁发生,产生了具有不同拷贝数或不同化学计量级(stoichiometrics)的DNA分子,其中一类分子以极低的化学计量级水
作为典型的群智能优化算法,萤火虫优化算法(Firefly Algorithm,FA)因其在寻优搜索方面有着较为突出的表现,使得其在计算机、工程应用、生产管理以及经济发展等领域的应用前景广阔。该算法实现简单,较少的参数调节,实用性强,迅速吸引了大量研究者的目光,逐渐成为了智能优化算法领域里的热点算法。而同时,同其他智能优化算法一样,FA也具有进化收敛慢,易陷于解空间中的局部最优等缺点。因此,该算法还
利用分布在武汉、安陆、荆州三地的全球定位系统(GPS)接收机组成局域GPS台网,监测中国中低纬地区电离层行扰(TID)现象.基于小波变换的多分辨分析特性与Mallat算法,给出了从垂直总电子含量(QVTEC)的时间变化曲线中提取电离层扰动的算法.并通过一个观测实例,说明了利用该方法可以有效地从QVTEC时间变化曲线中去除由卫星运动和电离层日变化等因素引起的日变化趋势,进而提取出短周期的电离层扰动.
《英语类专业本科教学质量国家标准》(2018)和《普通高校本科英语类专业教学指南》(2020)的颁布,明确了英语类专业教学改革的方向:英语类专业教育属于人文教育;英语类专业课
PHA是众多微生物中可以自然产生的一类聚酯物质,它的物理化学性质和传统塑料相近但兼具了生物可降解性及生物相容性,因此被认为是可以替代传统塑料的一种新型绿色材料。迄今
文章针对当前语文作文教学的困境进行分析,提出一定的对策。认为语文教师要注重培养学生从社会生活中提取素材的能力,循序渐进地对学生进行写作指导,要改善写作教学环境,为学
在经济全球化的背景下,金融危机的爆发对全球经济都会产生冲击,加强银行业的监管因而愈发受到重视。随着各国呈现出对银行的资本金水平监管更加严格的趋势,国内的银行监管当