【摘 要】
：
假设-保证推理是标记迁移系统组合验证的有效手段。近期，假设-保证推理在概率系统的验证中也得到应用。在推理中，假设的学习是通过L star算法来完成的。本文针对概率系统的
【机 构】
：
宁波大学职教学院,宁波中国315100南京航空航天大学计算机科学与技术学院,南京中国210016广西财经学院信息与统计学院,南宁中国530003
【出 处】
：
第十一届全国软件与应用学术会议(NASAC2012)
论文部分内容阅读
假设-保证推理是标记迁移系统组合验证的有效手段。近期，假设-保证推理在概率系统的验证中也得到应用。在推理中，假设的学习是通过L star算法来完成的。本文针对概率系统的假设-保证推理提出了一种新的方法。首先直接对组合系统的一个组件进行抽取，得到一个初步的假设，通过与假设-保证规则进行多次交互，不断精化该假设。最后，要么得到一个适当的假设以证明结论的正确性，要么得到一个反例来证明结论不成立。
其他文献
针对局部保留投影算法(LPP)的无监督和非正交问题,提出了一种有监督的正交局部保留投影算法SOLPP。该算法同时考虑了样本的类别信息以及投影向量间的相互正交性,首先利用样本的类标签信息重新定义了类内和类间相似度矩阵,同时最大化类间离散度与类内离散度之比,有效地保持了样本的局部结构;其次对投影基向量进行正交化,在保持数据空间结构的同时进一步提高了人脸识别效果。在ORL和FERET人脸库上的实验表明,
音乐元素是影视音乐作品中必不可少的部分,将民族特色音乐元素应用于影视音乐中,能够彰显民族特色音乐的独特魅力,促进影视音乐的发展。如《卧虎藏龙》和《十面埋伏》等电影
对于现在集视听元素于一体的影视时代而言,声音受重视的程度不断加强。从影视方面来说,从以前的默片到现在的音乐剧、电影、电视剧等,从无声到有声,实现了用声音诠释作品内涵
小学数学课标指出:“大力开发并向学生提供更为丰富的学习资源,把现代信息技术作为学生学习数学和解决问题的强有力工具,致力于改变学生的学习方式,使学生乐意并有更多的精力
Web服务的使用离不开质量因素。Web服务的许多QoS属性值是动态变化的,如服务的使用者体验时间等,相对于静态QoS属性值而言,动态QoS属性值更能反映服务的真实质量状态。提出了
如果这两列数的对角线上的两个数的乘积之和恰为二次三项式的一次项。则这两列数的第一行的两个数的和与第二行的两个数的和的乘积即为该二次三项式的因式分解形式。 本文为全文原貌 未安装PDF浏览器用户请先下载安装 原版全
针对场景中雾气分布可能不均匀的问题,本文提出了一种基于雾气遮罩减除的图像去雾算法。首先对降质图像平滑滤波以估计其亮度分量,对亮度分量求均值得到均匀分布的雾气遮罩,并结合退化图像获取与场景深度信息相关的雾气遮罩。在对数域中从降质图像中减除获得的雾气遮罩,即可得到场景的反射图像。对反射图像进行自适应的对比度拉伸,可以得到最终的去雾结果。所提算法能较容易地扩展至视频去雾应用,真实场景的图片与视频实验验证
随着我国社会经济的进步,养猪业也随之发展,但猪疾病却是影响养猪业发展的重要问题,一是有疫病的猪肉不能供人食用,会造成养殖户或商家的经济损失,二是经过治疗康复的猪其体
本文针对小学生数学教学的特点，根据笔者的教学经验，对小学数学教学中学生自主学习能力的培养进行了简单的分析及探讨。