基于ALI的ADA语言静态分析器的研究与实现

1

作者 朱烨 朱宏明 《电脑知识与技术》 2008年第11X期1406-1410,共5页

Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实... Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实现ADA语言静态分析器的过程。 展开更多

关键词 Ali文件 ADA语言 LEX 静态分析器

下载PDF 职称材料

基于反射机制的构件化软件静态分析器的设计与实现

2

作者 曹晋阳 张毅坤 +1 位作者 杨凯峰 徐涛 《西安理工大学学报》 CAS 2008年第1期108-113,共6页

设计并实现基于反射机制的构件化软件静态分析器。该静态分析器通过对构件化软件源程序代码的静态分析,使用反射机制,自动提取源程序的结构、构件测试元素和构件交互关系,采用XML保存分析结果并图形化直观显示程序结构和构件交互。实例... 设计并实现基于反射机制的构件化软件静态分析器。该静态分析器通过对构件化软件源程序代码的静态分析,使用反射机制,自动提取源程序的结构、构件测试元素和构件交互关系,采用XML保存分析结果并图形化直观显示程序结构和构件交互。实例结果表明,该分析器适用于对基于.NET的构件化软件进行分析处理。 展开更多

关键词 静态分析器 XML 测试元素 反射

下载PDF 职称材料

轻量级静态分析器构造方法综述 被引量：3

3

作者 郭荣锋 金茂忠 刘超 《计算机应用研究》 CSCD 北大核心 2008年第8期2245-2249,共5页

由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已... 由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已有的轻量级静态分析器构造方法;分析了已有方法的优缺点,并指出现存的问题;最后展望了本领域研究的发展趋势。 展开更多

关键词 静态分析 轻量级静态分析器 分等级正则表达式 模糊分析 孤立文法 超集文法

下载PDF 职称材料

通过静态分析提高程序测试的效率 被引量：3

4

作者 贺钧 《现代电子技术》 2002年第11期7-8,共2页

静态分析器是一种初步具备处理数据对象的测试程序 ,它是融编辑、语法分析和静态语义检查为一体的软件工具。

关键词 程序测试 编辑器 静态分析 软件开发

下载PDF 职称材料

热带农业农药数据库系统的构建与应用 被引量：2

5

作者 林勇 张秀虹 庄洪洁 《农药》 CAS 北大核心 2011年第7期539-542,共4页

为使农药信息数字化以方便快捷地获取农药属性和防治信息统计分析结果,以22种热带作物为对象,根据国家登记、科技文献、国外登记等相关文献整理了农药种类、剂型、理化性质、对环境影响因素以及针对热带作物病虫草害的施用方法等信息,... 为使农药信息数字化以方便快捷地获取农药属性和防治信息统计分析结果,以22种热带作物为对象,根据国家登记、科技文献、国外登记等相关文献整理了农药种类、剂型、理化性质、对环境影响因素以及针对热带作物病虫草害的施用方法等信息,构建了热带农业农药数据库系统,实现了基于Web的农药对热带作物病虫草害防治快速检索和统计分析等功能,为农药的研究和应用提供了有效的数据和分析结果。 展开更多

关键词 热带作物 农药 防治方法 数据库 统计分析

原文传递

提高软件测试的工作效率

6

作者 贺钧 《现代电子技术》 2003年第24期39-42,共4页

主要阐述了通过静态分析提高测试效率的办法 ,旨在提高大型软件开发项目的开发效率和软件的质量。我们通过分析一些软件在开发过程中测试程序的应用情况 ,发现动态测试运用得比较好 ,而静态测试的运用情况却不太理想。但是 ,在既要提高... 主要阐述了通过静态分析提高测试效率的办法 ,旨在提高大型软件开发项目的开发效率和软件的质量。我们通过分析一些软件在开发过程中测试程序的应用情况 ,发现动态测试运用得比较好 ,而静态测试的运用情况却不太理想。但是 ,在既要提高软件开发产品的质量 ,又不能增加软件开发项目的开发时间和难度的前提下 ,较好的处理办法是充分地发挥和使用静态测试工具。为此 ,在本文中提出了一个方案 ,来说明怎样在软件测试过程中引进静态分析工具以及建立一个测试过程 ,使得静态分析工具能够在检测程序中得到最大程度的应用 ,进而提高程序测试的工作效率。 展开更多

关键词 编辑器 静态分析 动态分析 软件测试

下载PDF 职称材料

基于AST的程序静态分析工具的研究与实现

7

作者 陈平 王成耀 《微计算机信息》 北大核心 2007年第24期189-190,120,共3页

本文给出了以抽象语法树为基础的软件静态分析工具的体系结构,介绍了该工具中各个模块的设计与实现方法,着重于规则库的设计,以及利用定义好的规则实现自动化的代码检测的过程。

关键词 静态分析 代码检测 抽象语法树

下载PDF 职称材料

矿浆分配器气缸支承座结构设计与强度分析

8

作者 张艳华 杨庆林 《矿业工程》 CAS 2012年第1期41-43,共3页

介绍了矿浆分配器分矿装置的工作原理,以及气缸支承座的结构设计,通过三维设计软件SolidWorks对气缸支承座的强度和刚度进行校核。

关键词 分矿装置 气缸支承座 结构设计 静态分析

下载PDF 职称材料

TipTracer:基于安全提示的安卓应用通用漏洞检测框架 被引量：7

9

作者 张磊 杨哲慜 +1 位作者 李明琪 杨珉 《计算机研究与发展》 EI CSCD 北大核心 2019年第11期2315-2329,共15页

为了使开发者能安全准确地使用第三库接口,库设计者提供了各种类型的安全提示(安全规约),进而保护应用程序免受因库函数的误用而造成的安全攻击.然而,研究表明:开发者经常性不遵守这些安全规约,导致应用程序中引入了各种各样的安全漏洞... 为了使开发者能安全准确地使用第三库接口,库设计者提供了各种类型的安全提示(安全规约),进而保护应用程序免受因库函数的误用而造成的安全攻击.然而,研究表明:开发者经常性不遵守这些安全规约,导致应用程序中引入了各种各样的安全漏洞.为了评估该问题的影响与规模,进行了系统性的、大规模的对安全规约在安卓应用程序中违反情况的研究.结果表明:已有的安全规约由于不精确的描述、误导性的代码示例、错误的默认设置、碎片化以及缺少强制性检查等原因而大大影响了其在实际运用中的有效性.为了使开发者能更好地遵守安全规约,提出了TipTracer,一个自动化的通用漏洞分析框架.TipTracer主要包含2个部分:1)TipTracer定义了一个能形式化描述安全规约的安全性语言,并利用该语言对已知的安全规约进行形式化表述;2)TipTracer实现了一个静态代码分析器,用于检查应用程序是否满足安全规约.最后,通过大规模的实验分析,证明了TipTracer能有效且准确地对大规模的真实应用程序进行安全性分析. 展开更多

关键词 安卓安全规约 安卓应用程序 安全性质语言 静态代码分析 漏洞检测

下载PDF 职称材料

基于ANSYS的400 kV电力变压器抗震性能分析 被引量：2

10

作者 李朋 温思雨 +1 位作者 董洁 谢辉 《机电工程技术》 2019年第10期122-123,173,共3页

采用静态分析方法对400kV电力变压器进行了抗震分析计算。利用ANSYS商用软件,对变压器结构进行简化,利用ELECTRO软件建立三维模型。通过对模型不同部位施加相应载荷力进行模拟计算,获得变压器各部位的应力云图,并对仿真结果进行分析和IE... 采用静态分析方法对400kV电力变压器进行了抗震分析计算。利用ANSYS商用软件,对变压器结构进行简化,利用ELECTRO软件建立三维模型。通过对模型不同部位施加相应载荷力进行模拟计算,获得变压器各部位的应力云图,并对仿真结果进行分析和IEEE Std693-2005标准要求比较,验证了本变压器的抗震性能满足设计要求。 展开更多

关键词 静态分析 ANSYS软件 抗震性能

下载PDF 职称材料

结构静特性有限元解析中的一种边界载荷条件处理方法

11

作者 张广鹏 董立新 +1 位作者 黄玉美 王世军 《机械科学与技术》 CSCD 北大核心 1998年第2期225-226,共2页

以结合部技术为基础，提出了一种为有限元静态解析提供边界载荷条件的新方法，可以有效地提高结构静态特性的解析精度，具有一定的通用性。该方法已在工程车车体的静特性解析中应用，结果表明该方法是可靠的。

关键词 静特性解析 边界条件 有限元 结构分析

下载PDF 职称材料

四川电网电压稳定水平研究 被引量：5

12

作者 唐茂林 王超 陈刚 《四川电力技术》 2004年第1期7-9,15,共4页

针对四川二滩水电站和500kV输变电系统投入运行后,实际运行中电网电压出现的若干问题,运用电力科学院的电力系统分析综合程序(PSASP)对电网的不同运行方式进行稳态潮流分析、静态电压稳定分析、以及暂态稳定分析,研究四川电网在发生典... 针对四川二滩水电站和500kV输变电系统投入运行后,实际运行中电网电压出现的若干问题,运用电力科学院的电力系统分析综合程序(PSASP)对电网的不同运行方式进行稳态潮流分析、静态电压稳定分析、以及暂态稳定分析,研究四川电网在发生典型扰动时电网电压稳定水平。分析所得结论将对电网安全运行和调度具有一定的指导作用。 展开更多

关键词 电压稳定 潮流分析 静态电压稳定分析 暂态稳定分析

下载PDF 职称材料

正三轮摩托车车架有限元分析与轻量化设计 被引量：5

13

作者 杨方媛 王利娟 涂奎 《装备制造技术》 2018年第5期52-55,共4页

车架不仅要求足够的强度和刚度,而且需要最大限度减轻其自重,以提高整车的动力性和经济性。对于以货运为主的三轮摩托车,车架自身质量占整车质量的比例较大,因此减轻车架自重对三轮摩托车的轻量化研究具有重要意义。本文选用一款货用三... 车架不仅要求足够的强度和刚度,而且需要最大限度减轻其自重,以提高整车的动力性和经济性。对于以货运为主的三轮摩托车,车架自身质量占整车质量的比例较大,因此减轻车架自重对三轮摩托车的轻量化研究具有重要意义。本文选用一款货用三轮车为分析对象,对现有车架建立FE模型并进行试验验证,结合有限元分析手段解决减重与强度之间的矛盾问题,得出以80%用户实际使用情况为边界条件的轻量化车架。 展开更多

关键词 正三轮摩托车 车身强度 静强度分析 轻量化分析 有限元法

下载PDF 职称材料

基于直流潮流计算的风电接入能力分析 被引量：3

14

作者 马乐 颜湘武 刘艳萍 《电网与清洁能源》 2010年第10期50-52,共3页

依据电力系统分析中采用的直流潮流算法,研究了风电功率在静态安全约束下的传输功率能力,建立了传输功率约束的详细数学模型以及基于直流潮流的简化模型并给出了求解方法,对大规模互联电网建立了交流潮流与有功功率约束相结合的实用模... 依据电力系统分析中采用的直流潮流算法,研究了风电功率在静态安全约束下的传输功率能力,建立了传输功率约束的详细数学模型以及基于直流潮流的简化模型并给出了求解方法,对大规模互联电网建立了交流潮流与有功功率约束相结合的实用模型。通过系统中的算例表明,该方法简捷、可靠,能够满足实际分析计算需要。 展开更多

关键词 直流潮流计算 静态安全分析 穿透功率

下载PDF 职称材料

芯片动态门限静态功耗的优化技术 被引量：2

15

作者 李先锐 葛海波 +1 位作者 来新泉 李玉山 《电子科技大学学报》 EI CAS CSCD 北大核心 2009年第3期443-446,共4页

提出了一种双阈值电压的动态门限静态功耗优化算法。该算法通过直接统计电路门级节点的松弛裕度,利用静态时序分析其最大松弛裕度及邻节点松弛裕度特征,区分电路中的关键与非关键节点并分步调整其相应的阈值电压,从而有效地实现了对CMO... 提出了一种双阈值电压的动态门限静态功耗优化算法。该算法通过直接统计电路门级节点的松弛裕度,利用静态时序分析其最大松弛裕度及邻节点松弛裕度特征,区分电路中的关键与非关键节点并分步调整其相应的阈值电压,从而有效地实现了对CMOS电路静态功耗的优化设计。基于ISCA85基准实验电路集,采用该技术和以往的算法进行了对比验证。结果表明,该算法在不降低静态功耗优化效率的同时,优化时间缩短了95%以上,适合于超大规模电路静态功耗优化。 展开更多

关键词 双阈值 动态门限 静态功耗优化 静态时序分析

下载PDF 职称材料

粘性泥流沟道内堆积特性的直槽概化模型试验分析 被引量：3

16

作者 王之君 拓万全 +1 位作者 李仁年 樊新建 《自然灾害学报》 CSCD 北大核心 2015年第5期83-91,共9页

粘性泥流作为粘性泥石流这一山区最常见也是危害最大的泥石流类型的基质,其堆积特性在较大程度上可以反映粘性泥石流的运动规律。设计建造室内直槽概化模型试验台,反复开展了不同条件组合下的粘性泥流直槽堆积试验。试验结果进一步证实... 粘性泥流作为粘性泥石流这一山区最常见也是危害最大的泥石流类型的基质,其堆积特性在较大程度上可以反映粘性泥石流的运动规律。设计建造室内直槽概化模型试验台,反复开展了不同条件组合下的粘性泥流直槽堆积试验。试验结果进一步证实:粘性泥流在任意沟道坡度下均能发生堆积,堆积厚度沿程不等。基于不等厚度假定,应用一维静力理论分析方法导出了两种简单条件下粘性泥流的堆积形态曲线方程。经与模型试验及野外实测曲线对比,二者符合情况较好,所得方程可供预测粘性泥石流在天然沟道中的堆积范围提供参考。 展开更多

关键词 粘性泥流 堆积特性 概化模型 不等厚度假定 静力理论分析方法

下载PDF 职称材料

磁阻反应式有限转角电机特性分析 被引量：3

17

作者 陈益广 刘均喜 《电工技术学报》 EI CSCD 北大核心 2017年第5期19-25,共7页

介绍了磁阻反应式有限转角电机的主要结构及工作原理。由于其独特的不对称结构,必须进行三维电磁场仿真分析。通过仿真,分别得到磁链、电感、转矩与电流和转子位置角的三维曲面图,建立相关数据库,并分析了电机的静态特性。根据非线性磁... 介绍了磁阻反应式有限转角电机的主要结构及工作原理。由于其独特的不对称结构,必须进行三维电磁场仿真分析。通过仿真,分别得到磁链、电感、转矩与电流和转子位置角的三维曲面图,建立相关数据库,并分析了电机的静态特性。根据非线性磁参数法,建立了电机的数学模型。将电机的磁化曲线数据ψ(i,θ)转变为i(θ,ψ)的形式,代入数学模型中。再采用四阶Runge-Kutta法和有限元法求解电压平衡方程和机械运动方程,得到线圈电流、转矩、转子位置角等参数的动态特性曲线。并进行了静态转矩和动态特性实验。将实验结果与仿真结果进行比较,结果证明了求解方法的正确性。 展开更多

关键词 磁阻反应式有限转角电机 有限元法 三维电磁场仿真 动态特性

下载PDF 职称材料

一种基于不等式组求解的缓冲区溢出检测 被引量：1

18

作者 徐国爱 张淼 +1 位作者 谭国律 杨义先 《核电子学与探测技术》 CAS CSCD 北大核心 2007年第6期1106-1111,共6页

分析了基于静态代码分析的缓冲区溢出检测的一般方法的不足,将基于源代码分析的缓冲区溢出检测问题转化成为一个不等式组求解的数学问题,设计了基于不等式组求解的缓冲区溢出检测模型。新方法克服了一般方法的不足,可以实质性地提高缓... 分析了基于静态代码分析的缓冲区溢出检测的一般方法的不足,将基于源代码分析的缓冲区溢出检测问题转化成为一个不等式组求解的数学问题,设计了基于不等式组求解的缓冲区溢出检测模型。新方法克服了一般方法的不足,可以实质性地提高缓冲区检测的效率。 展开更多

关键词 缓冲区溢出 不等式组求解 静态代码分析 危险函数

下载PDF 职称材料

南昌新地中心结构设计与研究

19

作者 赵伟 刘鹏 《江苏建筑》 2010年第3期33-36,共4页

南昌新地中心由超高层酒店办公楼、裙房和3层地下室组成。主楼高225.8 m,采用现浇钢筋混凝土核心筒—钢管混凝土柱—钢筋混凝土框架结构。文章主要阐述超高层酒店的结构设计,重点介绍了结构的弹性动力时程分析、中震弹性分析、加强层伸... 南昌新地中心由超高层酒店办公楼、裙房和3层地下室组成。主楼高225.8 m,采用现浇钢筋混凝土核心筒—钢管混凝土柱—钢筋混凝土框架结构。文章主要阐述超高层酒店的结构设计,重点介绍了结构的弹性动力时程分析、中震弹性分析、加强层伸臂桁架分析及弹塑性静力推覆分析,并采取必要的抗震构造措施使其既满足现行规范要求,又实现了业主的功能要求。 展开更多

关键词 超限高层 框筒结构 加强桁架 时程分析 弹塑性静力推覆分析

下载PDF 职称材料