期刊文献+
共找到1,411篇文章
< 1 2 71 >
每页显示 20 50 100
25 Hz相敏轨道电路与ZPW-2000A结合处的逻辑检查故障分析 被引量:1
1
作者 贾鸿 马樱 张祺 《铁路通信信号工程技术》 2024年第3期101-105,共5页
25 Hz相敏轨道电路与ZPW-2000A轨道电路特性不同,但在自动闭塞及站内电码化改造过程中两种制式轨道电路常结合应用。不同的特性会导致结合处的逻辑检查失效。针对场联进路无法正常解锁、三接近闭塞分区遗留失去分路故障进行分析,介绍故... 25 Hz相敏轨道电路与ZPW-2000A轨道电路特性不同,但在自动闭塞及站内电码化改造过程中两种制式轨道电路常结合应用。不同的特性会导致结合处的逻辑检查失效。针对场联进路无法正常解锁、三接近闭塞分区遗留失去分路故障进行分析,介绍故障发生的场景及原因,并讨论计算机联锁、列控中心、区间综合监控系统以及继电逻辑检查电路对于此类故障的解决方案,为后续工程设计及故障处理提供参考。 展开更多
关键词 25 Hz敏轨道电路 ZPW-2000A 结合应用 逻辑检查 故障分析
下载PDF
汉语方式语义表达的系统考察——基于静态与动态分析相结合的视角
2
作者 韩超 《新疆大学学报(哲学社会科学版)》 CSSCI 2020年第3期122-132,共11页
文章首先在前人研究基础上归纳了汉语方式范畴的语义内涵;其次从组合和聚合双向维度,结合词汇与句法的互动视角,考察了静态层面汉语方式表达的句法呈现,分为特征型方式和关系型方式两大类,其中关系型方式又分为修限型和互动型两个类别;... 文章首先在前人研究基础上归纳了汉语方式范畴的语义内涵;其次从组合和聚合双向维度,结合词汇与句法的互动视角,考察了静态层面汉语方式表达的句法呈现,分为特征型方式和关系型方式两大类,其中关系型方式又分为修限型和互动型两个类别;最后,将“方式”置于语义范畴系统网络中观察其所处的几条概念范畴链上各成员彼此间的紧密粘连现象,进一步探讨了动态语境对于方式义的凸显,梳理出汉语方式语义范畴的表达与呈现系统。 展开更多
关键词 汉语方式范畴 语义表达与呈现 静态分析与动态分析相结合
下载PDF
基于动态受控主元分析模型的故障检测
3
作者 陈硕 栾小丽 刘飞 《控制工程》 CSCD 北大核心 2024年第7期1280-1285,共6页
为了提高故障检测准确率,提出了基于动态受控主元分析(dynamic controlled principal component analysis,DCPCA)模型的故障检测方法。首先,利用DCPCA提取动态受控主元(dynamic controlled principal component,DCPC),所得DCPC包含过程... 为了提高故障检测准确率,提出了基于动态受控主元分析(dynamic controlled principal component analysis,DCPCA)模型的故障检测方法。首先,利用DCPCA提取动态受控主元(dynamic controlled principal component,DCPC),所得DCPC包含过程的自回归特性和与控制输入之间的动态因果关系,使得构建的DCPCA模型更精确。然后,针对传统方法只对过程变量进行静态空间结构的故障检测,忽略了动态特性的问题,基于DCPCA模型适时应用检测综合指标,对系统进行静态重构误差和动态模型误差的双重检测,使得检测结果更全面。最后,基于田纳西-伊斯曼(Tennessee-Eastman,TE)过程的仿真结果验证了所提方法的可行性和有效性。 展开更多
关键词 动态受控主元分析 故障检测 综合指标 静态重构误差 动态模型误差
下载PDF
考虑结合部热变形的滚动导轨刚度特性分析
4
作者 赵欢乐 库祥臣 +1 位作者 苏春堂 杨星涛 《机械设计与制造》 北大核心 2024年第6期144-149,共6页
为提高滚动导轨副动态刚度,基于弹性力学中Hertz接触理论,考虑外载荷、预紧力、热变形等因素的影响下,对滚动导轨副进行了动态Hertz接触刚度建模。从单个滚珠-滚道接触特性出发,对比分析了滚珠-滚道接触变形关系。以某NSK直线导轨为对象... 为提高滚动导轨副动态刚度,基于弹性力学中Hertz接触理论,考虑外载荷、预紧力、热变形等因素的影响下,对滚动导轨副进行了动态Hertz接触刚度建模。从单个滚珠-滚道接触特性出发,对比分析了滚珠-滚道接触变形关系。以某NSK直线导轨为对象,分析了导轨副在3种预紧力等级下不同垂直载荷对导轨副刚度特性影响规律。运用有限元软件对比仿真分析了不同垂直载荷下导轨副Hertz接触变形以及热变形对导轨副接触刚度的影响,结果表明:预紧力对临界载荷的影响较大从而影响滚动导轨副的刚度;摩擦热变形随着载荷的增加使导轨副接触刚度降低,对比验证了考虑热变形的接触刚度建模方法的合理性以及模型的准确性。 展开更多
关键词 滚珠直线导轨副 接触变形 结合 动态刚度 分析模型 热变形
下载PDF
动态教学资源的静态化处理与分析
5
作者 李晓芳 闫其顺 《职业》 2023年第20期76-79,共4页
获得更多的关于学生学习状态的资源有利于教师改进教学方法、提高课堂教学质量。学生在学习过程中会有各种表现,这是学生学习思路和学习结果的外在表现。如果教师能够收集这些表现并进行分析,就会掌握学生真实的学习状态。这些资源为动... 获得更多的关于学生学习状态的资源有利于教师改进教学方法、提高课堂教学质量。学生在学习过程中会有各种表现,这是学生学习思路和学习结果的外在表现。如果教师能够收集这些表现并进行分析,就会掌握学生真实的学习状态。这些资源为动态教学资源,其来源包括学生的提问、学生编制的方案以及学生的学习总结等。教师对动态教学资源进行分析整理后化作课堂教学的动力。教师持续收集整理、分析应用,形成良性教学循环,使教学思路逐渐转变成学习思路,提高课堂教学质量。 展开更多
关键词 教学资源 动态 静态 分析
下载PDF
无限风光在“移项”——化解函数与方程动态分析中的难点
6
作者 李忠良 《中学数学月刊》 2024年第1期64-66,共3页
动态分析是高中函数的主要难点之一.提高动态分析能力离不开数形结合,因为数形结合在一定程度上帮助我们实现了思维可视化,在“移项”变形过程中寻找最佳的作图时机则是其灵魂所在.
关键词 动态分析 移项变形 数形结合 思维可视化
下载PDF
飞机襟翼阀控伺服作动系统动态性能分析
7
作者 廉晚祥 陈旻翔 +3 位作者 关莉 高海 刘文斌 齐婵颖 《现代电子技术》 北大核心 2024年第2期79-84,共6页
由于阀控伺服作动系统存在的非线性因素,传统的建模方法所建立的数学模型无法准确地反映系统实际情况。为提升液压系统的控制精度及动态响应性能,解决在实际系统试验中出现的动态特性超差问题,对可能引起的因素及关键参数进行研究,重点... 由于阀控伺服作动系统存在的非线性因素,传统的建模方法所建立的数学模型无法准确地反映系统实际情况。为提升液压系统的控制精度及动态响应性能,解决在实际系统试验中出现的动态特性超差问题,对可能引起的因素及关键参数进行研究,重点分析引起系统静态误差的主要因素,同时分析系统各关键元件的固有频率和阻尼比对系统动态性能的影响。利用Matlab/Simulink软件对系统进行非线性建模,理论推导计算及仿真结果分析表明,较高的系统各关键元件固有频率和阻尼比有利于提高系统动态性能。 展开更多
关键词 襟翼 伺服作动系统 动态性能分析 静态误差 电液伺服阀 射流管放大器
下载PDF
聚丙烯气相反应器R401模态分析
8
作者 施华彪 《化工机械》 CAS 2024年第2期219-222,共4页
为保证聚丙烯气相反应器R401的安全运行,运用有限元分析法计算了气相反应器整体动态特性,结果表明,气相反应器动态特性满足设计要求,可确保设备的安全可靠有效运行。
关键词 反应器 聚丙烯 有限元分析 模态分析 动态特性
下载PDF
管道振动的静力分析与动态分析
9
作者 张颖 《今日制造与升级》 2024年第1期88-90,共3页
以某工程项目往复式压缩机振动管道为例,阐述使用CAESARⅡ应力分析软件对管道进行静力分析和动态分析的过程。静力分析计算管道各节点的热位移、一次应力、二次应力以及压缩机管口荷载是否满足要求;动态分析得到管道振动改造需要消除的... 以某工程项目往复式压缩机振动管道为例,阐述使用CAESARⅡ应力分析软件对管道进行静力分析和动态分析的过程。静力分析计算管道各节点的热位移、一次应力、二次应力以及压缩机管口荷载是否满足要求;动态分析得到管道振动改造需要消除的低阶管道固有频率。综合考虑两种分析结果,得到一个平衡点,据此提出合理的减振方案,完成振动管道的改造。 展开更多
关键词 振动改造 管道应力分析 静态载荷 动态载荷
下载PDF
一种结合动态与静态分析的函数调用图提取方法 被引量:4
10
作者 孙贺 吴礼发 +2 位作者 洪征 颜慧颖 张亚丰 《计算机工程》 CAS CSCD 北大核心 2017年第3期154-162,共9页
完整准确地提取函数调用图是基于函数调用图进行恶意程序相似性分析的基础。为此,提出一种动静结合的恶意程序函数调用图提取方法。在对程序进行静态反汇编的基础上抽取恶意程序的可执行路径,使用隐藏信息主动发现策略找出恶意程序中隐... 完整准确地提取函数调用图是基于函数调用图进行恶意程序相似性分析的基础。为此,提出一种动静结合的恶意程序函数调用图提取方法。在对程序进行静态反汇编的基础上抽取恶意程序的可执行路径,使用隐藏信息主动发现策略找出恶意程序中隐藏的指令和函数调用,采用动态反馈机制完成动静结合分析过程中的信息同步。实验结果表明,该方法能够有效应对各种恶意程序反分析技术,完整准确地提取出恶意程序的函数调用图。 展开更多
关键词 恶意程序 函数调用图 控制流图 静态分析 动态分析
下载PDF
基于静态和动态特征相结合的隐私泄露检测方法
11
作者 丁旭辉 张琳琳 +1 位作者 赵楷 王旭升 《计算机科学》 CSCD 北大核心 2023年第10期327-335,共9页
大数据背景下Android软件窃取用户个人信息的问题愈发严峻。针对现有隐私泄露检测方法中静态分析误报率较高和动态分析容易出现漏检的问题,提出了一种基于静态和动态特征相结合的隐私泄露检测方法。融合应用程序中提取的多维度静态特征... 大数据背景下Android软件窃取用户个人信息的问题愈发严峻。针对现有隐私泄露检测方法中静态分析误报率较高和动态分析容易出现漏检的问题,提出了一种基于静态和动态特征相结合的隐私泄露检测方法。融合应用程序中提取的多维度静态特征和动态特征,使用梯度下降算法为SVM,RF,XGBoost,LightGBM和CatBoost分配最优权重,通过集成学习加权投票来检测隐私泄露风险。对2951个应用进行实验分析,结果表明该方法的精确率达到了95.14%,明显优于仅使用单一特征和单一分类器,可以有效检测Android应用的隐私泄露风险。 展开更多
关键词 ANDROID 隐私泄露 静态分析 动态分析 集成学习
下载PDF
服装数控裁剪机滑轨结合面动态特性分析
12
作者 郭华忠 陈金国 +4 位作者 卢秋霞 孙伟珂 李西兵 李勇 林元熙 《机电工程技术》 2023年第9期183-186,191,共5页
滚动直线导轨是服装数控裁剪机床中的关键部件之一。分析导轨结合面动态特性,研究其对数控裁剪机的加工精度及运行平稳性的影响。通过分析数控裁剪机的工作原理,根据滑轨结合面基础接触特性理论,利用SolidWorks三维软件建立滑轨结构实... 滚动直线导轨是服装数控裁剪机床中的关键部件之一。分析导轨结合面动态特性,研究其对数控裁剪机的加工精度及运行平稳性的影响。通过分析数控裁剪机的工作原理,根据滑轨结合面基础接触特性理论,利用SolidWorks三维软件建立滑轨结构实体模型,联合ANSYS软件中Workbench模块建立数控裁剪机滑轨结构仿真模型,并搭建模态测试系统,研究了数控裁剪机滑轨在负载下导轨结合面的力学特性。结果表明:数控裁剪机滑轨结构前六阶模态固有频率的试验结果与有限元仿真分析结果基本吻合,误差值小于10%,并利用有限元仿真得到的谐响应分析结果,计算出服装数控裁剪机滑轨的法向刚度为249.6 N/μm和切向刚度为170.2 N/μm。该研究结果可以为数控裁剪机床的振动分析和振动控制的研究及其动态特性分析和结构优化设计提供理论依据。 展开更多
关键词 滚动直线导轨 动态特性 滑轨结合 数控裁剪机床 模态分析
下载PDF
动态导航与静态导航对种植体准确性的Meta分析
13
作者 龚佳明 赵瑞敏 +3 位作者 潘宏伟 郎鑫 余占海 李健学 《国际口腔医学杂志》 CAS CSCD 2023年第5期538-551,共14页
目的系统评价动态导航(dCAIS)与静态导航(sCAIS)对种植体准确性的影响。方法电子检索2000年1月—2022年5月PubMed、Embase、Cochrane Library、Web of Science、CNKI、万方数据库有关dCAIS和sCAIS的对照研究。分别使用NOS和Jadad量表评... 目的系统评价动态导航(dCAIS)与静态导航(sCAIS)对种植体准确性的影响。方法电子检索2000年1月—2022年5月PubMed、Embase、Cochrane Library、Web of Science、CNKI、万方数据库有关dCAIS和sCAIS的对照研究。分别使用NOS和Jadad量表评估队列研究(CS)和随机对照试验(RCT)的偏倚风险,使用RevMan 5.4和Stata 16软件进行Meta分析。结果共12篇研究符合纳入标准,其中CS 8篇,RCT 4篇。按研究对象、缺牙类型、导航系统、配准方式分别进行亚组分析,结果显示,除种植体颈部中心偏差的差异无统计学意义外(P>0.05),dCAIS较sCAIS具备更少的种植体根尖(P<0.05)和角度偏差(P<0.05)。结论基于有限的研究证据,dCAIS较sCAIS具备更佳的种植体准确性,但仍需要更高质量的临床研究来评估两者在相同导航系统和配准方式下在不同缺牙类型中的表现。 展开更多
关键词 动态导航 静态导航 种植体 准确性 META分析
下载PDF
基于动态-静态专利指标的二维企业技术竞争力分析框架构建
14
作者 李志杰 吴红 高道斌 《竞争情报》 2023年第5期29-42,共14页
通过融入动态专利指标,改善当前企业技术竞争力分析重技术存量、轻技术动态发展趋势的问题。以技术创新理论为依据,在企业层面专利组合分析方法的基础上,通过专利存量表征静态技术竞争力,同时创建以动态性特征为主、累积性特征为辅,融... 通过融入动态专利指标,改善当前企业技术竞争力分析重技术存量、轻技术动态发展趋势的问题。以技术创新理论为依据,在企业层面专利组合分析方法的基础上,通过专利存量表征静态技术竞争力,同时创建以动态性特征为主、累积性特征为辅,融合动态专利质量与动态专利活动趋势的动态技术竞争力维度,通过两者的乘积测度综合技术竞争力,进一步构建动态-静态二维技术竞争力分析框架,实现对企业技术竞争力的二维测度与分类。以国内语音识别领域企业技术竞争力作为实证对象,结合企业多维信息对提出的分析方法进行验证与分析。结果表明,该框架可以更加全面、细致地对企业技术竞争力进行分析,使测度结果更加符合企业技术创新的本质特征。 展开更多
关键词 动态专利指标 静态专利指标 技术竞争力 专利组合分析 技术创新
下载PDF
动态足底压力分析(Footscan)在中西医结合微创法治疗拇外翻中的应用
15
作者 曾宪峰 杨靖 +4 位作者 温建民 廖翠瑶 王进东 赫明堂 胡博浩 《当代医药论丛》 2023年第21期85-88,共4页
目的:分析Footscan USB2平板式足底压力测试系统在中西医结合微创法治疗拇外翻中的应用价值。方法:选择2020年8月至2022年7月在北京中医药大学深圳医院(龙岗)接受中西医结合微创法治疗的拇外翻患者30例(共40足)为观察组。对照组为同期... 目的:分析Footscan USB2平板式足底压力测试系统在中西医结合微创法治疗拇外翻中的应用价值。方法:选择2020年8月至2022年7月在北京中医药大学深圳医院(龙岗)接受中西医结合微创法治疗的拇外翻患者30例(共40足)为观察组。对照组为同期随机招募的30例健康人员(60足)。采用Footscan USB2平板式足底压力测试系统对两组进行动态双足足底压力测试,记录并比较手术前后观察组患者患足及对照组健康人员双足站立相的足底10个区的压力峰值、负荷、冲量。采用AOFAS评分系统评估术后患足功能。结果:入选患者术后随访率100.0%,所有患者的行走功能均在术后3~4个月恢复正常。所有患者第1跖骨内翻和第1跖骨内趾囊炎引起的疼痛和其他临床表现均得到彻底的改善,同时出现的胼胝体也随之消失。术前与术后1年的AOFAS总评分比较[(45.55±12.28)分vs(85.45±6.76)分]差异有统计学意义(P<0.05)。术前患足第1跖骨动态压力峰值、负荷及冲量较正常组减少,动态压力峰值、冲量的比较差异有统计学意义(P<0.05),但负荷差异无统计学意义(P>0.05);患足术前第2~5趾骨、第2~5跖骨、中足、足跟内侧、足跟外侧动态压力峰值、负荷差异无统计学意义(P>0.05),但冲量差异有统计学意义(P<0.05)。术后患足第1趾骨、第1跖骨动态压力峰值、负荷、冲量较正常组减少,差异有统计学意义(P<0.05);术后患足第2~5趾骨、第2~5跖骨、中足、足跟内侧、足跟外侧动态压力峰值、负荷、冲量较正常组增加,差异有统计学意义(P<0.05)。结论:动态足底压力分析系统可有效评估患者手术前的足底压力分布情况,为手术治疗提供更为准确的数据支持,从而有助于提高中西医结合微创法治疗拇外翻的疗效。 展开更多
关键词 动态足底压力分析 拇外翻 中西医结合 微创手术 疗效评价
下载PDF
老年人“踝关节策略”静态与动态平衡能力的相关分析 被引量:5
16
作者 游永豪 邵梦霓 +3 位作者 胡燕杰 张阳 王广磊 朱靖靖 《天津体育学院学报》 CAS CSSCI 北大核心 2020年第4期446-452,共7页
目的:探索老年人"踝关节策略"静态与动态平衡能力的相关性。方法:设计"踝关节策略"的静态平衡和动态平衡能力测试方案,对28名社区老年人进行平衡能力测试,采用Pearson积差相关法分析静态与动态平衡的相关性,采用因... 目的:探索老年人"踝关节策略"静态与动态平衡能力的相关性。方法:设计"踝关节策略"的静态平衡和动态平衡能力测试方案,对28名社区老年人进行平衡能力测试,采用Pearson积差相关法分析静态与动态平衡的相关性,采用因子分析提取静动态平衡能力公因子,把公因子载荷较大的指标组成"指标集",通过"指标集"间的典型相关分析探索静态与动态平衡的内部联系。结果:老年人踝关节策略动态平衡能力与双足睁眼和单足睁眼状态的静态平衡能力相关系数均不具有统计学意义(P>0.05);动态平衡与双足闭眼和线性步睁眼静态平衡的典型相关系数均具有统计学意义(P<0.05),且相关性较高。动态平衡与双足闭眼静态平衡的典型相关分析中,U1为"低优指标",越小,动态平衡能力就越好;V1为"高优指标",越大,静态平衡能力越好;U1与V1的典型相关系数为0.812;U1与Lng和Area的相关系数分别为-0.715和-0.748,决定系数为0.51和0.56。动态平衡与线性步睁眼静态平衡典型相关分析中,U1、V1都是"低优指标",值越小,动态、静态平衡能力就越好,U1与V1的典型相关系数为0.790。结论:老年人踝关节策略静态平衡能力与动态平衡能力不存在相关性,但是静态平衡与动态平衡间存在内部联系。这种联系主要表现在:主要代表Center、HM的动态平衡成分与主要代表Area、Lne/A的静态平衡成分具有较高的负相关关系(r=-0.812);主要代表HM、Rot.speed的动态平衡成分与主要代表Area、Lne/A的静态平衡成分具有较高的正相关关系(r=0.790);主要代表Center、HM的动态平衡典型变量U1对双足闭眼静态平衡中的指标Lng和Area的预测效果较好。 展开更多
关键词 踝关节策略 静态平衡 动态平衡 分析 典型
下载PDF
结合静态分析与动态符号执行的软件漏洞检测方法 被引量:6
17
作者 蔡军 邹鹏 +1 位作者 熊达鹏 何骏 《计算机工程与科学》 CSCD 北大核心 2016年第12期2536-2541,共6页
动态符号执行是近年来新兴的一种软件漏洞检测方法,它可以为目标程序的不同执行路径自动生成测试用例,从而获得较高的测试代码覆盖率。然而,程序的执行路径很多,且大部分路径都是漏洞无关的,通常那些包含危险函数调用的路径更有可能通... 动态符号执行是近年来新兴的一种软件漏洞检测方法,它可以为目标程序的不同执行路径自动生成测试用例,从而获得较高的测试代码覆盖率。然而,程序的执行路径很多,且大部分路径都是漏洞无关的,通常那些包含危险函数调用的路径更有可能通向漏洞。提出一种基于静态分析的有导动态符号执行方法,并实现了一个工具原型SAGDSE。该方法通过静态分析识别目标程序中调用危险函数的指令地址,在动态符号执行过程中遇到这些指令地址时收集危险路径约束,再通过约束求解生成走危险路径的测试用例,这些测试用例将更可能触发程序漏洞。实验结果表明了该方法的有效性。 展开更多
关键词 软件漏洞检测 静态分析 动态符号执行 危险路径
下载PDF
静态变形模量与动态变形模量相关性分析 被引量:3
18
作者 孔艳艳 《铁道标准设计》 北大核心 2010年第1期38-42,共5页
传统的路基压实指标K30由于在测试中不能消除土体的塑性变形、测试结果离散性大,可重复性差,不能反映动荷载对路基的影响。介绍Ev2、Evd检测技术,利用武广铁路客运专线Ⅴ标段路基检测实测数据进行回归分析,推导两者之间相关关系,结果表... 传统的路基压实指标K30由于在测试中不能消除土体的塑性变形、测试结果离散性大,可重复性差,不能反映动荷载对路基的影响。介绍Ev2、Evd检测技术,利用武广铁路客运专线Ⅴ标段路基检测实测数据进行回归分析,推导两者之间相关关系,结果表明:Ev2与Evd两者之间成线性相关。通过建立两者间的线性方程,辅助应用于客运专线铁路路基中,可提高路基检测和施工效率。 展开更多
关键词 武广铁路客运专线 静态变形模量Ev2 动态变形模量EVD 分析 关性
下载PDF
一种基于静、动态分析相结合的漏洞挖掘分析方法
19
作者 傅涛 孙文静 《软件》 2016年第8期95-98,共4页
基于源码与二进制文件的的静态漏洞挖掘分析可以检测出很多漏洞,但同时存在很多漏报以及误报。动态分析技术分析动态调试器中程序的内存、状态以及调试器的寄存器等信息,进而发现潜在的安全漏洞,具有较高的准确率和较强的针对性。但动... 基于源码与二进制文件的的静态漏洞挖掘分析可以检测出很多漏洞,但同时存在很多漏报以及误报。动态分析技术分析动态调试器中程序的内存、状态以及调试器的寄存器等信息,进而发现潜在的安全漏洞,具有较高的准确率和较强的针对性。但动态漏洞分析技术在输入数据格式较为复杂时,很容易构造出触发程序异常的数据。针对二者的不足,本文提出了一种基于静、动态结合的漏洞挖掘分析方法,为漏洞挖掘分析增添了新的思路。 展开更多
关键词 漏洞挖掘 静态分析 动态分析 静、动态结合
下载PDF
静动态结合的Java程序不变性分析方法 被引量:10
20
作者 于利前 王林章 +2 位作者 雷斌 赵建华 李宣东 《计算机学报》 EI CSCD 北大核心 2010年第4期736-746,共11页
程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析,而动态分析方面的工作很少.文中在分析了静、动态... 程序的不变性(immutability)是指类的实例对象在其生命周期内状态不会发生改变.不变性信息可以用来指导程序的分析、测试和验证等工作.现有分析不变性的技术主要集中于对程序的静态分析,而动态分析方面的工作很少.文中在分析了静、动态分析技术各自的优缺点后,提出了一种静动态结合的混合分析技术.首先通过对程序进行静态分析,即对程序进行分析测试和验证,来获得初步的程序不变性信息,然后对静态分析的结果中不确定的部分再进行动态分析,即通过观察程序运行时各个对象的状态变化进行分析,同时还将动态分析用于对静态分析结果的验证.静动态结合的分析技术比单纯的静态分析提高了分析结果的精度,同时也比单纯的动态分析降低了开销,提高了效率. 展开更多
关键词 不变性 静态分析 动态分析 混合分析
下载PDF
上一页 1 2 71 下一页 到第
使用帮助 返回顶部