论文部分内容阅读
以以色列的并发程序验证器CPV1．1为蓝本，深入研究了并发程序检测的设计实现过程，讨论了该软件的各种数据类的结构和它们之间的相互关系，以及并发程序的执行过程，在此基础上对其做了适当的改进，简化了输入方式和程序的执行。提高了CPV的速度与效率，最后在CPV1．1下设计实现了8皇后问题的并发求解。
并发程序验证器CPV的设计与应用研究
【摘 要】
：
以以色列的并发程序验证器CPV1．1为蓝本，深入研究了并发程序检测的设计实现过程，讨论了该软件的各种数据类的结构和它们之间的相互关系，以及并发程序的执行过程，在此基础上对其做
【机 构】
：
贵州大学计算机软件与理论研究所
【出 处】
：
贵州大学学报：自然科学版
【发表日期】
：
2008年1期
【基金项目】
：
美国GeneChu基金资助（GCF2006-001）
其他文献
为了得到用磷肥厂副产品氟硅酸和碳酸氢铵为原料制备白炭黑最佳工艺，用正交试验法研究了反应温度、配料比、搅拌速度、加料方式等对产品白炭黑比表面积和吸油值的影响情况。实
湿疹(eczema)为多种内外因素引起的常见皮肤病.自觉瘙痒,皮损为多形性,有渗出倾向,反复发作[1].尤其婴儿湿疹其发病率高,发病部位主要分布在面颊、头皮、耳廓等处.皮损以红斑
随着我国经济和社会发展的国际化程度不断增强,技术人员的外语水平成为经济国际化深入的一个障碍。然而,目前高职院校的大学英语教学日益成为师生的“鸡肋”,教师的教学热情
目的：探讨低氧诱导因子（HIF－）1α、Delta样配体（DLL）4在不同乳腺癌分子亚型组织中的表达及临床意义。方法采用免疫组织化学法检测乳腺癌组织〔基底细胞样型17例、人表皮生长因子受
二氧化氯是一种优良安全的消毒剂。结合二氧化氯消毒在贵州农村水厂的应用情况，介绍二氧化氯消毒技术的原理和特点、设备选型、制取方法、投加与控制等方面的内容，指出了二氧化
目的 应用免疫组化方法检测肺腺癌中叉头框（FOX）M1和基质金属蛋白酶（MMP）-2、MMP-9的表达,分析其意义。方法 58例行肺腺癌根治手术患者的术后标本作为观察组,36例正常肺组织作为
1 病例患儿，女，出生30min，第一胎，早产，孕35^＋5周，阿氏评分8-10分，出生30min后出现全身青紫，呼吸困难，急转入新生儿病房。查体：呼吸66次／min，毛发稀疏，皮肤青紫，鼻翼煽动，双肺呼吸音粗，听及水
为研究止血活性的Agacutin的质量标准，通过鉴别试验、人血浆和牛纤原凝结活性、HPLC、SDS—PAGE、鲎试剂和其它体内试验等方法，研究了Agacutin的酶活性，纯度，分子量，内毒素，异常毒
从时标意义下指数函数的显示表达式出发，将指数函数的定义从P为右稠连续函数推广到P为绝对可积函数，并证明推广后的指数函数是右稠连续的。