论文部分内容阅读
从数学优化角度对测试问题进行探索性研究，将软件测试中的结构测试问题转化为一组合最优化问题，然后利用Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程的离散形式而得到 Ｍａｒｋｏｖ链为基础的一个算法求解，最后给出了几个测试实例的部分数值结果。
软件测试的一种数学优化方法──由Fokker Planck方程得到的Markov链算法
【摘 要】
：
从数学优化角度对测试问题进行探索性研究，将软件测试中的结构测试问题转化为一组合最优化问题，然后利用Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程的离散形式而得到 Ｍａｒｋｏｖ链为基础的一个算法求解，最后给出了几个测试实例
【机 构】
：
系统工程及应用数学系,四川联合大学物理系
【出 处】
：
重庆大学学报：自然科学版
【发表日期】
：
1996年6期
其他文献
基于需求分析理论,对300多名英语专业大学生问卷调查和个别访谈,了解和分析他们对英语文学阅读的个体愿望和对阅读环境的需求。研究发现,学生具有文学阅读的意识,希望在文学
提出了在给定结构动特性约束目标下，修改结构参数的一种新的逆向结构动力修改方法，并且通过在结构固有频率及谐振激励下结构动应力响应幅值约束目标下的算例，证明了该方法对修改
基于Talmy对极性的定义,极性可细分为两大类,四小类：1）物质性单一极性,2）物质性多重极性,3）动作性单一极性4,）动作性多重极性。文章分析了物质性极性与动作性极性的特征,标记方法,
利用连续小波变换研究了能量为无限的信号的谱分析，引进了时－频功率谱的概念，并研究了时－频功率谱与经典的功率谱及平均功率的关系；还引进了自相关函数的小波变换，且研究了它与时－频
随着我国建筑业的快速发展,近些年来,深基坑工程在建筑项目中的应用越来越广泛,建筑深基坑工程质量的好坏直接关系着整个建筑工程的稳定及安全,同时,还可能对建筑工程周围的
介绍了热镀锌生产线锌灰锌渣产生的原理,以及通过炉鼻子、锌灰泵等设备和环节,从各个途径减少锌灰的生成,清理能吸附到带钢表面的锌灰锌渣。
对模糊随机有限元平衡方程作入水平截集，得随机区间方程，将该方程中的刚度矩阵，载荷列阵和节点位移列阵在初始随机向量的均值处展开，利用区间数分解和小参数摄动理论导出求解随机
针对转子具有两相正交励磁绕组的异步化汽轮发电机模拟机组，利用按状态辨识适应式跟踪迭代控制策略研制的数字式双通道励磁控制装置进行了稳态运行特性试验，结果显示控制性能良
研究了积极隔振和消极隔振情况下，柔性基础上主动隔振执行器在并联结构安装方式和基础消振结构安装方式下的动力学特性，分析比较了不同安装方式的主动控制力与被动隔振系统及柔
介绍了铬渣用作炼铁熔剂的基本思想，研究了烧结－炼铁工艺中Ｎａ２ＣｒＯ４和铬氧化物还原的热力学，并进行了实验室模拟试验和６００ｍ＾３高炉的工业试验，热力学研究 和试验研究结果表明，Ｃｒ＾－６在烧结－炼铁工艺中可