您当前所在位置: 首页 > 首发论文
筛选条件

时间

领域

全部

计算机科学技术(53)

机械工程(31)

土木建筑工程(13) 显示更多>>

经济学(7) 力学(6) 水利工程(6) 交通运输工程(3) 动力与电气工程(3) 数学(3) 管理学(2) 信息科学与系统科学(1) 农学(1) 能源科学技术(1) 航空航天科学技术(1) 中医学与中药学(0) 临床医学(0) 体育科学(0) 冶金工程技术(0) 化学(0) 化学工程(0) 图书馆、情报与文献学(0) 地球科学(0) 基础医学(0) 天文学(0) 安全科学技术(0) 工程与技术科学基础学科(0) 心理学(0) 教育学(0) 材料科学(0) 林学(0) 核科学技术(0) 水产学(0) 测绘科学技术(0) 物理学(0) 环境科学技术(0) 生物学(0) 电子、通信与自动控制技术(0) 畜牧科学、动物医学(0) 矿山工程技术(0) 纺织科学技术(0) 药学(0) 预防医学与卫生学(0) 食品科学技术(0)

学术评议

实时热搜榜

SiC56376

人工智能46984

基因42551

数据挖掘23137

数值模拟21155

我的筛选 >
2003-2022 全部
为您找到包含“static analysis”的内容共131

肖鑫

2008-10-29

张力腿平台凭借着在深海作业中具有运动性好、抗恶劣环境作用能力强、造价相对于固定式平台低等优势,在20多年的实践中不断发展,已形成一种典型的结构形式。本文在“平行张力腿”假定的情况下,对张力腿平台进行了静态的分析,静态分析是动力分析的基础,不但可以为动力分析提供必要的参数关系,而且对张灵体腿平台的结构设计也提供了一些重要的科学依据。首先得到了张力腿平台水平偏移、垂直生沉、张力腿内张力及其张力腿刚度、初始张力之间定性非线性关系,然后编制运算程序进行计算。从分析结果可以看出:张力腿的刚度、预张力对张力腿平台各参数的影响显著,它们是平台重要设计内容。

大连理工大学

#水利工程#

0评论(0 分享(0)

梁婕,张淼,徐国爱,杨义先

2007-11-21

本文介绍了当前主流的静态代码分析技术,在分析讨论其优缺点基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分析技术,并借鉴了编译器中数据流和控制流分析的思想,获取上下文关联的数据信息,从而更加准确地分析代码中存在的安全问题。

教育部博士点基金(20050013011

北京邮电大学,北京邮电大学,北京邮电大学,北京邮电大学

#计算机科学技术#

0评论(0 分享(0)

张威,牛少彰

2020-05-29

Android应用市场会在每个应用上架前对其进行各种安全性检测,用以预测其潜在危害性。由于目前静态分析工具几乎都只能检测Java层的恶意行为,越来越多的有害软件开始将恶意行为放入Native代码中,以此规避静态检测。作为针对以上情况的解决思路,本文定义了一个新的研究方向--Android应用跨语言安全性分析,并对其涉及的每类技术以及各技术目前的研究成果进行了归纳总结,如Java层静态分析技术、Native层二进制分析技术、Java-Native穿透技术等。

School of Computer Science, Beijing University of Posts and Telecommunications, Beijing 100876,School of Computer Science, Beijing University of Posts and Telecommunications, Beijing 100876

#计算机科学技术#

0评论(0 分享(0)

李永刚,张策,孟彩芳,宋轶民

2004-05-13

根据不同的精压加工要求,对混合驱动精压机进行了多个实例优化,通过这些实例,设计出了同组结构参数的混合驱动精压机能实现的多组输出运动规律曲线;并通过系统动态静力分析,初步研究了这种混合驱动机械系统的电机功率分配情况。研究表明,通过优化设计,混合驱动精压机可以实现较好的柔性输出,且电机需求功率的分配较为合理。

天津大学机械工程学院,天津大学机械工程学院,天津大学机械工程学院,天津大学机械工程学院

#数学#

0评论(0 分享(0)

胡鸽,徐国爱

2015-12-29

随着移动互联网的发展,移动应用软件的安全问题也日渐突出。本文对当前Android静态分析技术进行了概述,对Android应用软件反编译获取的中间语言smali进行语法研究,根据smali语法树的相关结构进行信息提取,获取数据流、控制流及函数依赖图等信息,与维护的规则库进行检测,最终设计并实现了一个基于中间语言smali的移动应用软件静态行为检测系统。通过大量样本实验证明,基于中间语言smali的静态行为检测系统对比基于源代码的静态检测系统效率有极大的提高,并且有漏报率有一定程度的降低。。

北京邮电大学计算机学院,北京 100876,北京邮电大学计算机学院,北京,100876

#计算机科学技术#

0评论(0 分享(0)

陈作炳,谢强,汤帅

2014-02-26

回转窑作为相关工业生产中最重要的一环,对整个产品的数量和质量有着举足轻重的影响,回转窑的正常稳定运行是生产过程的重要保障。本论文通过APDL参数化语言对大型回转窑进行建模,利用工程数值分析软件ANSYS进行结构静力分析,得出相关分析结果。对分析结果评价后,提出相关优化方案。

武汉理工大学机电工程学院,武汉 430070,武汉理工大学机电工程学院,武汉 430070,武汉理工大学机电工程学院,武汉 430070

#机械工程#

1评论(0 分享(0)

路程,张淼,徐国爱

2011-11-03

目前,基于Linux内核的Android移动终端操作系统面临着大量恶意软件的安全威胁。本文提出一种基于静态分析技术的Android应用恶意行为检测模型,对Android应用反编译后的Java源代码进行词法语法解析、控制流、数据流分析,在此基础上查询引起恶意行为的关键API调用,并对可能使API调用具有恶意性的参数,进行动态污染传播模式对应的关键数据传播分析,进而精确判别并定位到程序怀疑出现恶意行为的关键代码段。

北京邮电大学信息安全中心,北京邮电大学信息安全中心,北京邮电大学信息安全中心

#计算机科学技术#

0评论(0 分享(0)

殷庆华,杨雪锋

2012-01-06

为了减轻车辆的重量,降低油耗,利用pro/e软件建立矿用无轨胶轮自卸车车架的三维模型,并通过Ansys分析软件建立分析模型进行分析。分析车架在满载弯曲和扭曲工况下的应力分布情况。通过分析发现整个车架弯曲工况下满足设计要求,在扭转工况下应力值比较大,驾驶员应避免这种情况。所得的结论也为车架的优化设计提供了参考和依据。

中国矿业大学机电学院,中国矿业大学机电学院

#机械工程#

0评论(0 分享(0)

蒲志新,谢明

2009-06-18

本文根据已知的数据采用PROE对矿井提升机主轴三维建模,利用ANSYS对其进行有限元分析,并获得危险截面的应力分布情况,为主轴的校核提供精确地数据,并通过3种优化方案对主轴进行优化设计,大大提缩短了设计的周期,提高了设计的效率。广泛的应用CAD/CAM/CAE技术对产品进行设计,然后对方案进行优化,大大的缩短的设计的周期提高了效率从而获得较高的经济效益。

辽宁工程技术大学机械工程学院,辽宁工程技术大学机械工程学院

#机械工程#

0评论(0 分享(0)