论文部分内容阅读
MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。
基于MYGCC的编程规则检查算法研究
【摘 要】
：
MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实
【机 构】
：
国防科学技术大学计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2012年2期
【基金项目】
：
国家自然科学基金重点项目（60803042,90818024,60970035）
其他文献
文章通过某工程实例对铁路四线连续刚构桥存在的4种布置方案进行了经济技术比较,重点对基础及墩身下段合修、墩身上段及梁部分修和基础及墩身合修、梁部分修两种方案在应力、
配电网是电能传输分配的重要组成部分,其运行质量直接影响着社会的经济发展和千家万户百姓的安居乐业。在配电网故障中发生单相接地故障的概率占比最大,发生单相接地故障后,及时、快速、准确的进行故障选线和定位,对提高供电可靠性具有重要意义。我国配电网大多数采用小电流接地系统进行运行,由此造成故障电流小、故障状态复杂的单相接地故障工况,对准确进行故障选线与区段定位带来了不小的障碍。通过阅读大量国内外文献进行分
“林园”官邸始建于1938年,先后成为国民政府主席林森、蒋介石官邸,是中国近代史上国共重庆谈判、内战调停、全面内战等重大历史事件的发生地。官邸的营造背景集中体现了抗战
用大规模可编程器件CPLD/FPGA设计了一个GPIB/RS232C接口标准的转换器,比旧式的缩小了体积,提高了速度.给出用VHDL语言实现的核心程序.实现了一种'FIFO'数据结构的存
信噪分离是小波分析中的一个有效的信号检测方法.本文在阐述了小波分析及消噪的小波理论的基础上,给出了从噪声污染信号中恢复原信号的实例,并与傅立叶分析消噪进行了比较,结
耕地是人类赖以生存的物质基础,是经济发展的根本保证。我国现有耕地1.27亿hm~2,人口12亿之多,人均占有耕地近0.15hm~2,不及世界人均值的1/2。随着城乡经济迅速发展,非农业用
余华作为我国著名的先锋派小说代表人,他的诸多代表作被各国翻译,已有二十余种语言,在海外,越来越多的读者因拜读过他的作品而了解中国,品读那百态的人生和经历巨变的时代。
通过科学的体育锻炼,不仅对个人的身心健康成长发挥着积极的作用,而且还可以使得个人能够在生活、工作、学习过程中保持旺盛的精力达到事半功倍的效果。自古就有健康饮食与体
介绍了蓝牙短距离无线通信技术的特点、体系结构中的协议以及目前的主要应用;分析了蓝牙技术的不足,并展望了其不断发展的前景.
以一种轻量化非接触式龙门激光加工机床主体结构为研究对象,使用有限元分析方法在ANSYS平台上建立了该机构的有限元模型,并基于模态分析理论,求解了该结构前六阶固有频率及振