论文部分内容阅读
为了提高软件的可靠性，人们一直在形式化验证和软件测试两个方面进行不懈的努力。本文利用划分测试中的自动分割替代技术，针对循环程序的输入域，提出了一种划分算法，并在此算法的结果上建立一种划分归纳方法，它能简化循环程序的形式化验证过程。
一种用于循环程序形式化验证的划分归纳方法
【摘 要】
：
为了提高软件的可靠性，人们一直在形式化验证和软件测试两个方面进行不懈的努力。本文利用划分测试中的自动分割替代技术，针对循环程序的输入域，提出了一种划分算法，并在此算法的
【机 构】
：
华东理工大学信息科学与工程学院,上海电机学院
【出 处】
：
华东理工大学学报：自然科学版
【发表日期】
：
2008年6期
【基金项目】
：
国家自然科学基金（60473055）
其他文献
芳香化合物的Fenton氧化性能与其结构密切相关，芳环上取代基位置、数量和种类的不同会对其降解速率产生显著影响。单氯酚3种异构体降解速率大小依次为：3-氯酚〉4-氯酚〉2-氯酚；
基于统计分析的检测方法是图像隐藏信息检测常用的方法，与特定隐写分析方法相比，它比较灵活，能够快速地适应新的或未知的隐写算法。针对特征属性高维的特点，采用粗糙集属性约简的
开发了挥发性有机物亨利常数的简易实验测定方法,并以此方法测定了5种汽油成分（甲基叔丁基醚（MTBE）、苯、甲苯、乙苯、邻二甲苯）的亨利常数,相对标准偏差基本上在5%以内。使用此
综合同伦方法与Levenberg-Marquardt(LM)优化方法,提出了一种新型非线性同伦LM神经网络学习算法以改善现有神经网络学习算法的学习效率,分析了不同类型的过渡函数对神经网络泛化性能的影响。该算法具有稳定性强、收敛性能好的特点。结合工业过程实际要求,将提出的改进算法用于丙烯腈收率神经网络软测量建模并与几种常见建模方法比较,结果表明:基于改进算法的软测量模型具有更高的测量精度和更好的泛化
在保持其他制备条件,如pH、干燥条件、焙烧温度、Pt的浸渍条件以及Al2O3和Pt的含量相同的情况下,通过Al的不同引入方法,即共沉淀法（CP）、成型法（SH）、悬浮法（SU）和混和法（MI）,制备了4
为了强化大肠杆菌合成辅酶Q10（CoQ10）的能力,对大肠杆菌进行了相关的基因操作。通过敲除大肠杆菌染色体上的聚八异戊二烯焦磷酸合成酶基因ispB,并导入来自Gluconobactersuboxyd
以插入AOXl启动子调控S-腺苷甲硫氨酸（SAM）合成酶／VHb表达单元的重组毕赤酵母为对象，研究了甲醇浓度及vgb表达对菌体生长、SAM产量及SAM合成酶活力的影响，同时也考察了vgb表达对胞
提出了一种新型聚乙二醇（PEG）修饰剂的合成方法。首先以两种ω-氨基酸和单甲氧基PEG为主要原料,经连接、纯化和水解等步骤,得到末端以酰胺键连接ω-氨基酸的PEG酸,再将得到的PE
利用CWRU（the Case Western Reserve University Bearing Data Center）数据，运用经验正交函数方法，给出了滚动轴承在测试台基座、电机驱动端、风扇端不同空间上振动信号与主成分
采用界面聚合法制备了聚苯胺纳米纤维，详细研究了不同氧化剂／单体摩尔比和盐酸浓度对制得聚苯胺的形貌、分子结构和电导率的影响。结果表明：界面聚合过程中，较低的氧化剂／单体摩尔