论文部分内容阅读
本文首先介绍了结构逻辑(SL)以及其对几种并行模型的描述,然后讨论了并行程序的自动综合和正确性证明。最后用结构逻辑刻划了扩展Petri-网中计算模型并发性。
结构逻辑（SL）及其对并行机器的描述
【摘 要】
：
本文首先介绍了结构逻辑(SL)以及其对几种并行模型的描述,然后讨论了并行程序的自动综合和正确性证明。最后用结构逻辑刻划了扩展Petri-网中计算模型并发性。
【机 构】
：
河北工学院计算机系
【出 处】
：
河北工学院学报
【发表日期】
：
1991年4期
其他文献
目的血管内超声在急性心肌梗支架植入治疗中的临床指导作用。方法回顾性分析2013年12月—2016年12月该院收治的急性心肌梗需要进行支架植入患者共100例,所有患者在进行急性心
目的观察锁定钢板内固定联合抗骨质疏松治疗老年肱骨近端骨折的效果。方法将该院2015年1月—2016年10月期间收治的82岁高龄肱骨近端患者分别给予锁定钢板内固定治疗,以及锁定
研究了涂SiC涂层的碳纤维强化铝基复合材料的界面反应状况,断裂特征及机械性能。实验表明,复合材料机械性能及断裂特征主要受涂层结构状况的控制。随反应时间的延长,SiC涂层
目的主要分析在早期非小细胞肺癌患者的治疗中行小切口开胸手术与全胸腔镜治疗的有效性。方法收集因早期非小细胞肺癌疾病到该院进行手术医治的患者为研究成员,其收集的起始
小学二年级的武术课,教材内容较枯燥,基本动作也很单调。如何通过教改,使武术课教好学好呢?在一堂武术课中,我根据儿童持点,在课堂教学实践中,采用了导趣、导思、导练的教学
本文将在比作为任意连续型随机变量序列与服从Г分布的独立随机变量序列之间的偏差的一种度量，并利用几乎处处收敛的上鞅，得到在某子集上连续型随机变量序列的一类强偏差定理。
目的总结分析甲状腺良恶性结节应用螺旋CT双期增强扫描以及后处理技术对应的诊断价值。方法选取该院2015年3月—2017年6月通过病理确诊的60例甲状腺良恶性结节患者为研究对象
在体育教学中往往会出现这样一种现象,一部分技能水平比较好的学生对教学内容感到枯燥无味,从而自搞一套,影响了课的进度与秩序;另一部分技能水平较差的学生对教学内容的理解
给出了一类实矩阵的块对角化方法，以此为基础获得此类矩阵特征问题的解法。该方法的特点是运算中间过程无需繁杂的复数运算。
目的探究超声在颈动脉粥样硬化与短暂性脑缺血发作关系评价中的价值。方法选取2014年8月—2017年7月南通大学附属吴江医院收治的短暂性脑缺血发作患者60例作为实验组,同时选