论文部分内容阅读
基于马尔可夫决策过程的软件测试策略研究
【机 构】
：
中国科学院大学
【出 处】
：
中国科学院大学
【发表日期】
：
2018年期
其他文献
该研究共分两部分,在第一部分中,我们首先给出二次系统存在临界两点异宿环的充要条件,并证明二次系统的临界两点异宿环必由双曲线的一支和直线或由椭圆和直线构成.其内部的奇
该论文首先分析了水资源调配的实际情况,得到合理的费用模型,并给出相应的区间算法,求出相应的解,其次由股票投资分析理论,得到预测收益和风险的系统模型,其计算结果和实际情
随着信息时代的发展,人们生活中的各种数据与信息的安全性也越来越容易受到入侵与攻击,因此网络空间安全成为研究者们讨论与研究的热点。密码学是针对解决信息安全问题的一种
笔者所在学校是一所篮球校本特色学校,在低年级篮球校本课程建设的过程中,应针对低年级的教学内容、方法,制定适合低年级的学习评价体系,本文通过对低年级学生篮球学习评价体
论文主要从对比的角度,对无穷维Hamilton系统保结构算法的一些问题进行了研究.其目的在于揭示各种保结构算法之间的关系,从而获得对无穷维Hamilton系统保结构算法更深刻的认
在该文中我们研究二阶非线性微分方程Neumann问题.目的是建立解的存在性和多重性结果.该文分为两部分.在第一部分中,我们利用Green函数的正性和Krasnoselskii不动点定理来建
本文利用非紧性测度理论，Sadovskii不动点定理，Szuffla定理，锥理论和半序方法，并结合上下解方法与单调迭代，考察了Banach空间E中的一阶常微分方程初值问题x=f(t,x),x(t_0)=x_0(1)(
美育是一种情感教育。教育家蔡元培说:“美育者,应用美学之理论于教学,以陶冶感情为目的者也。”可见,美育的效应是使人产生愉悦的情感。如果政治教师能在教学中渗透美育,使
2002年冬,五峰土家族自治县傅家堰乡原白庙村和八坪村合并为现白庙村后,已届“天命”之年的县人大代表张泽双再次当选为村委会主任。他凭着一个老共产党员的信念,克服重重困