【摘 要】
：
随着软件系统变得越来越复杂和庞大,软件中的安全缺陷也急剧增加,系统中的隐含错误也在逐渐增多.提出一种基于不变量的程序潜在错误预测方法,首先采用支持向量机对程序属性所
【基金项目】
：
国家自然科学基金资助项目（60674100）
论文部分内容阅读
随着软件系统变得越来越复杂和庞大,软件中的安全缺陷也急剧增加,系统中的隐含错误也在逐渐增多.提出一种基于不变量的程序潜在错误预测方法,首先采用支持向量机对程序属性所产生的非函数依赖程序不变量进行学习并产生机器学习模式,然后运用该机器学习模式对需预测的程序进行属性分类,并揭示出代码可能存在的潜在错误,最后通过实验验证该方法是有效的.
其他文献
在我国当前社会形势下,事业单位内部存在着许多问题,内部控制体系不尽完善,事业单位内部工作的许多方面都有待加强。本文列举了我国事业单位内部控制体系中存在的一些问题,并
近年,世界萤石市场需求强劲,价格坚挺,年消费量达515万吨。其中:钢铁工业占47％,炼铝工业占14％,制取氟化物占21％。预计到2000年,钢铁工业需求量将达到300万吨,炼铝工业达到100万
针对某小型实验无人机智能自主飞行的要求,提出了一种无人机纵向姿态的模糊控制方法,设计了模糊自适应PID控制器,可有效实现该无人机的纵向姿态控制和纵向航迹跟踪.仿真结果表明,所设计的模糊自适应PID控制器较传统的PID控制器具有更好的控制性能,其响应快、超调小、精度高,而且鲁棒性和自适应能力也较强,可满足自主飞行的要求.
本文从招贴的设计方法入手，探讨隐喻图形语言在招贴设计中的应用。从平面设计的角度对隐喻图型进行了界定。详细探讨了招贴设计中常用的隐喻手法。
随着我国加入WTO后，履行入世承诺，要求金融体制与国际金融接轨，国内金融自由化程度得到了更进一步的深入。需求增加，管制减小，外资银行的业务范围逐步扩大。市场空前繁荣，这对我国
11月30日上午，中国人工智能学会在义乌国际博览中心举行了第五届“吴文俊人工智能科学技术奖”颁奖典礼。颁奖活动由浙江省人民政府和中国人工智能学会联合举办，浙江省经济和信
摘要：现行教育大纲下，结合学生专业将教材中英语的听、说、读、写的能力要求，通过教学模式、策略等转变，将课程内容迁移、内化成为学生语言能力。在增强学生自我学习能力方面，通过对一些教学理论和“内化”实践，元认知策略得到了更多的推广。在提倡自我学习的基础上，实施元认知策略，通过对学习过程的监控、调整，培养学生自主学习，达到提高高职英语教学效果和学生英语语言能力水平进行了探索。 关键词：元认知策略 高职
本文主要介绍分析了当代中国教育现状与未来的发展。直接反映了有关中国教育特点、以及所存在的问题,并且给出了相应的解决政策与方针。
由于救援机器人处于复杂环境中，面向紧急救援任务的实时性要求较高，因此，救援机器人的路径规划技术在整个救援过程中发挥着十分重要的作用．针对复杂环境条件，用多边形表示障碍物，设
全国模式识别学术会议(Chinese Conference on Pattern Recognition,CCPR)旨在为国内学者提供一个学术交流和成果展示的平台,促进国内模式识别研究和应用的发展。该会议2007年和2008年在北京、2009年在南京、2010年在重庆、2012年在北京举行,得到了国内同行的积极响应。2012年起,全国模式识别学术