论文部分内容阅读
讨论具有非确定性的分布式并发软件系统,对论文〔1〕的行为机构造方法和测试推导方法进行了扩展,使之可同时适用于确定的和非确定的并发系统.
非确定并发系统的基于说明的测试推导
【摘 要】
：
讨论具有非确定性的分布式并发软件系统,对论文〔1〕的行为机构造方法和测试推导方法进行了扩展,使之可同时适用于确定的和非确定的并发系统.
【机 构】
：
内蒙古大学计算机学院
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
2001年1期
【基金项目】
：
国家自然科学基金
其他文献
在9.3 GHz频率点对稀土复合氧化物与以稀土复合氧化物为基掺杂铁粉得到的吸波材料的吸波性能进行了比较,并研究了材料粒度对吸波性能的影响.结果表明:纳米稀土复合氧化物具有
基于铝(Ⅲ)对5′-硝基水杨基荧光酮的荧光具有猝灭的特性,拟定了一种测定铝的新方法.该方法的激发波长为246 nm,发射波长为552 nm,线性范围为1.6～28 ng/ml,检出限为1.6 ng/ml.
本文介绍了应用SBR法处理废水的原理及特点,使用该工艺所需设备,证明了SBR法适应性强,投资低,处理效果好.
二丙基及二丁基双二茂铁甲醇与BF3在二氯甲烷中作用,形成相应的双二茂铁甲基碳正离子.无需从反应混合物中分离出来,该离子便可与胺RNH2(R=C2H5,C3H7,C4H9-n)作用得到二烷基双
摘要：比起传统的生物处理技术，生物强化技术在污水处理中体现出了更强的灵活性和针对性，以及更高的效率，因而在污水治理领域有着良好的发展前景。本文主要介绍了生物强化技术及其