期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4,394篇文章
< 1 2 … 220 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
软件分析技术进展 被引量：101
1
作者 梅宏 王千祥 +1 位作者 张路 王戟 《计算机学报》 EI CSCD 北大核心 2009年第9期1697-1710,共14页
软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主... 软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势. 展开更多
关键词 软件分析 静态分析 动态分析 软件质量
下载PDF
中国产业生态化水平的静态与动态分析——基于省际数据的实证研究 被引量：105
2
作者 陆根尧 盛龙 唐辰华 《中国工业经济》 CSSCI 北大核心 2012年第3期147-159,共13页
本文通过构建产业生态化水平评价指标体系,运用多种分析方法,对我国各省(直辖市、自治区)的产业生态化水平进行了静态分析与动态分析,并探讨了各地区产业生态化水平的特点、形成原因及其影响。结果表明,我国各省(直辖市、自治区)的产业... 本文通过构建产业生态化水平评价指标体系,运用多种分析方法,对我国各省(直辖市、自治区)的产业生态化水平进行了静态分析与动态分析,并探讨了各地区产业生态化水平的特点、形成原因及其影响。结果表明,我国各省(直辖市、自治区)的产业生态化水平可以划分成领先区、发达区、中等区和落后区这样四大类型,进入本世纪以来四大类区域的产业生态化水平均在逐年提高,但区域之间呈现出差距不断拉大的趋势,其原因主要是发展思路与相关制度不完善、区域间经济与技术基础存在差异、产业生态化实施内容和路径上的差异、区域产业结构和产业转移造成的差异等,区域产业生态化水平差异将对我国区域经济社会发展产生严重影响。上述研究结论可为我国实施产业生态化发展提供理论依据和实证支持。 展开更多
关键词 产业生态化 静态分析 动态分析 发展
原文传递
基于ANSYS Workbench的主轴箱有限元分析及优化设计 被引量：83
3
作者 周孜亮 王贵飞 丛明 《组合机床与自动化加工技术》 北大核心 2012年第3期17-20,共4页
以高速立式加工中心主轴箱为研究对象,针对其结构特点,利用ANSYS Workbench平台建立了有限元模型。分析主轴箱的实际工作情况,得到其刚度最差的工况位置,对此位置进行了铣削工况下的静力分析。对主轴箱进行模态分析,提取了前四阶固有频... 以高速立式加工中心主轴箱为研究对象,针对其结构特点,利用ANSYS Workbench平台建立了有限元模型。分析主轴箱的实际工作情况,得到其刚度最差的工况位置,对此位置进行了铣削工况下的静力分析。对主轴箱进行模态分析,提取了前四阶固有频率及振型图。根据静动态特性分析结果对主轴箱进行了多目标多尺寸的优化设计。对优化后的主轴箱进行了静动态特性有限元分析,结果表明优化后的主轴箱静动态特性有显著提高。 展开更多
关键词 主轴箱 静力分析 模态分析 优化设计
下载PDF
软件安全漏洞检测技术 被引量：76
4
作者 李舟军 张俊贤 +1 位作者 廖湘科 马金鑫 《计算机学报》 EI CSCD 北大核心 2015年第4期717-732,共16页
软件安全漏洞检测技术是提高软件质量和安全性、减少软件安全漏洞的重要方法和基本手段,受到学术界和工业界的广泛关注和高度重视.其主要途径包括软件测试、程序分析、模型检验与符号执行等.近年来,综合利用多种研究方法和技术手段来检... 软件安全漏洞检测技术是提高软件质量和安全性、减少软件安全漏洞的重要方法和基本手段,受到学术界和工业界的广泛关注和高度重视.其主要途径包括软件测试、程序分析、模型检验与符号执行等.近年来,综合利用多种研究方法和技术手段来检测软件安全漏洞已成为软件安全领域的研究热点.文中首先回顾了程序分析与软件安全漏洞检测的基本概念、核心问题和传统手段.然后重点介绍该领域的最新进展,主要包括轻量级动态符号执行、自动化白盒模糊测试以及其实现技术和相应的工具.最后,指出了其所面临的挑战和发展趋势. 展开更多
关键词 安全漏洞 静态分析 动态分析 符号执行 白盒测试
下载PDF
基于P-V曲线的风电场接入系统稳态分析 被引量：66
5
作者 张义斌 王伟胜 戴慧珠 《电网技术》 EI CSCD 北大核心 2004年第23期61-65,共5页
提出了基于P-V曲线的风电场接入系统稳态分析方法以及两个风电场同时接入系统的分析方法,该方法能够提供电压偏移量、电压波动范围等信息。文章还分析了风电场接入系统的电压要求及风电场运行对区域电网网损的影响,由仿真结果可见,风电... 提出了基于P-V曲线的风电场接入系统稳态分析方法以及两个风电场同时接入系统的分析方法,该方法能够提供电压偏移量、电压波动范围等信息。文章还分析了风电场接入系统的电压要求及风电场运行对区域电网网损的影响,由仿真结果可见,风电场接入系统的最低电压应高于系统检修时的最低电压,而且风电场的接入有利于减少系统的网损。 展开更多
关键词 风电场 稳态分析 网损 电压偏移 电压波动 P-V曲线 区域电网 接入系统 低电压 仿真结果
下载PDF
产业集群技术能力增长机理研究 被引量：32
6
作者 魏江 叶波 《科学管理研究》 CSSCI 北大核心 2003年第1期52-56,共5页
本文在企业技术能力概念和产业集群特征基础上 ,给出了集群技术能力内涵 ,分析了集群技术能力的四个基本特征。本文的核心在于揭示集群技术能力增长的机理 ,提出了集群技术能力增长是动态过程和静态过程平行作用的结果 ,其中动态机理内... 本文在企业技术能力概念和产业集群特征基础上 ,给出了集群技术能力内涵 ,分析了集群技术能力的四个基本特征。本文的核心在于揭示集群技术能力增长的机理 ,提出了集群技术能力增长是动态过程和静态过程平行作用的结果 ,其中动态机理内在地反映在企业技术能力之间的拉动效应和挤压效应 ,静态机理反映在集群技术能力要素的持续积累。 展开更多
关键词 增长机理 企业技术能力 产业集群 集群技术能力 动态分析 静态分析
下载PDF
多层、高层建筑结构弹塑性动力、静力分析 被引量：24
7
作者 李云贵 邵弘 +2 位作者 田志昌 黄吉峰 陈岱林 《建筑结构学报》 EI CAS CSCD 北大核心 2002年第5期56-62,共7页
应我国高层、超高层建筑发展需要,我们对建筑结构弹塑性动力反应分析软件进行了探索研究,在“高层建筑结构空间有限元分析与设计软件SATWE”的基础上,开发了一套简单实用的建筑结构弹塑性动力、静力分析软件EPDA。目前的EPDA软件提供了... 应我国高层、超高层建筑发展需要,我们对建筑结构弹塑性动力反应分析软件进行了探索研究,在“高层建筑结构空间有限元分析与设计软件SATWE”的基础上,开发了一套简单实用的建筑结构弹塑性动力、静力分析软件EPDA。目前的EPDA软件提供了两种弹塑性分析方法,一种是弹塑性动力时程分析法,其力学模型有三种:层模型、平面模型和空间模型;另一种是弹塑性静力分析方法,就是通常所说的静力推覆分析方法。EPDA软件是我国第一套商品化的弹塑性分析软件,可以按任意给定方向计算结构的弹塑性时程响应,适用于各种材料的高层及超高层建筑结构,包括钢筋混凝土结构、钢结构和钢与混凝土混合结构,同时,程序中还考虑了多塔、转换层等结构特性。EPDA软件具有如下特点:(1)前后处理功能强,自动读取SATWE和Sat2000的设计分析结果,对钢筋混凝土构件,给出自动选筋结果,用户可以交互修改成实配钢筋;(2)采用纤维束模型模拟梁、柱、支撑等一维构件,纤维束模型的适用性好,不受截面形式和材料限制;(3)引入的弹塑性墙元效率高,精度好,可以更真实地分析剪力墙的弹塑性性能;(4)提供了多种分析方法和力学模型,可根据工程实际需要,灵活选用。 展开更多
关键词 高层建筑 弹塑性 动力分析 静力分析 软件 多层建筑
原文传递
既有桥梁拓宽改造纵向接缝研究现状与实例分析 被引量：58
8
作者 宗周红 夏樟华 +1 位作者 陈宜言 赵宣宪 《福州大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第2期248-260,共13页
针对既有桥梁拓宽改造中新旧桥纵向接缝的若干关键问题,比如桥梁拼宽纵向接缝类型、拼宽桥梁整体和局部受力分析、收缩徐变和不均匀沉降影响、拼接时机选择、不中断交通的施工工艺以及特殊桥梁拼宽等问题,结合典型工程应用,进行了系统... 针对既有桥梁拓宽改造中新旧桥纵向接缝的若干关键问题,比如桥梁拼宽纵向接缝类型、拼宽桥梁整体和局部受力分析、收缩徐变和不均匀沉降影响、拼接时机选择、不中断交通的施工工艺以及特殊桥梁拼宽等问题,结合典型工程应用,进行了系统总结和归纳.以某连续梁桥为例,进行了两跨箱梁桥的1∶4室内模型试验,分析比较纵向接缝中刚性连接与铰接连接的受力特点;进一步指出了该领域存在的问题和今后主要的研究方向,对于既有桥梁特别是高速公路桥梁的拓宽改造具有一定的参考价值. 展开更多
关键词 桥梁 拓宽 纵向接缝 收缩 徐变 沉降 模型试验 静力分析 动力分析
原文传递
ABAQUS的二次开发及在土石坝静、动力分析中的应用 被引量：56
9
作者 费康 刘汉龙 《岩土力学》 EI CAS CSCD 北大核心 2010年第3期881-890,共10页
利用UMAT子程序,在ABAQUS中开发了用于静力分析的邓肯非线性弹性模型和用于动力分析的等效线性模型,丰富了ABAQUS软件的材料库;针对土石坝的分级填土施工、新填土层的位移修正、土石坝蓄水后的浸水湿化效应、坝体材料的液化判别和地震... 利用UMAT子程序,在ABAQUS中开发了用于静力分析的邓肯非线性弹性模型和用于动力分析的等效线性模型,丰富了ABAQUS软件的材料库;针对土石坝的分级填土施工、新填土层的位移修正、土石坝蓄水后的浸水湿化效应、坝体材料的液化判别和地震永久变形计算等土石坝分析中的特定问题在ABAQUS中的实现提出了相应的解决方案。算例的计算结果合理可靠,表明经二次开发后ABAQUS可用于土石坝的静、动力分析,从而可利用ABAQUS前后处理方便、计算精度高和模拟复杂问题能力强的优点,为土石坝分析提供一种可供选择的手段。 展开更多
关键词 土石坝 ABAQUS 二次开发 静力分析 动力分析
下载PDF
新型索承网壳结构静力、稳定性分析 被引量：40
10
作者 李永梅 张毅刚 《空间结构》 CSCD 2003年第1期25-30,共6页
索承网壳是基于单层球面网壳和张拉整体体系的一种合理的新型杂交大跨空间结构.本文讨论了索承网壳的结构组成、成形过程和受力原理,并结合一个工程实例,进行非线性有限元静力分析、特征值屈曲分析、非线性屈曲分析以及有初始缺陷的非... 索承网壳是基于单层球面网壳和张拉整体体系的一种合理的新型杂交大跨空间结构.本文讨论了索承网壳的结构组成、成形过程和受力原理,并结合一个工程实例,进行非线性有限元静力分析、特征值屈曲分析、非线性屈曲分析以及有初始缺陷的非线性屈曲分析,并与同样形式的单层网壳结构进行比较,系统地研究了索承网壳的受力特性.结果表明索承网壳改善了结构的受力状态,增大了网壳结构的强度、刚度和稳定性,有着很高的结构效能,具有跨越大跨度的潜力,应用前景广阔. 展开更多
关键词 索承网壳 静力分析 屈曲分析
下载PDF
软件安全漏洞的静态检测技术 被引量：41
11
作者 张林 曾庆凯 《计算机工程》 CAS CSCD 北大核心 2008年第12期157-159,共3页
软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静... 软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静态检测工具按方法归类,讨论、总结静态检测技术的优势、适用性和发展趋势。 展开更多
关键词 软件安全漏洞 静态分析 程序验证
下载PDF
老采空区地表残余移动变形影响函数研究 被引量：47
12
作者 朱广轶 徐征慧 +1 位作者 解陈 郭影 《岩石力学与工程学报》 EI CAS CSCD 北大核心 2014年第10期1962-1970,共9页
为解决老采空区地表新建建(构)筑时的地基稳定性评价问题,填补规程空白,通过覆岩结构演变分析,提出地表残余移动变形的定义和2个阶段,指出第2阶段残余移动变形才可能对地表建(构)筑产生有害影响。发现垮落岩体压实特性自老采空区边界至... 为解决老采空区地表新建建(构)筑时的地基稳定性评价问题,填补规程空白,通过覆岩结构演变分析,提出地表残余移动变形的定义和2个阶段,指出第2阶段残余移动变形才可能对地表建(构)筑产生有害影响。发现垮落岩体压实特性自老采空区边界至中央具有明显的分区性:边界区空洞,老采空区中部垮落岩体空隙及其上部岩层裂隙。将这2组决定地表残余移动变形发生的老采空区及覆岩空间,分别转化为对应的等效开采厚度,采用概率积分原理构造出采动影响下地表残余移动变形静态影响函数,包括残余下沉、残余水平移动、残余倾斜变形、残余水平变形、残余曲率变形影响函数。应用这些影响函数进行计算表明,在老采空区两侧边界出现地表残余移动变形最大值,这与老采空区边界空洞较大、活化潜能大的机制分析结论一致;采用开尔文模型,分析老采空区及覆岩的蠕变特性,构造残余下沉坐标–时间函数,实现残余下沉的动态分析;通过实际观测数据和FLAC3D数值模拟2种方式验证,表明各影响函数可较好地描述地表残余移动变形规律。 展开更多
关键词 采矿工程 残余移动变形 影响函数 静态分析 动态分析
原文传递
程序分析研究进展 被引量：45
13
作者 张健 张超 +8 位作者 玄跻峰 熊英飞 王千祥 梁彬 李炼 窦文生 陈振邦 陈立前 蔡彦 《软件学报》 EI CSCD 北大核心 2019年第1期80-109,共30页
在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析... 在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战. 展开更多
关键词 程序分析 软件质量保障 静态分析 动态分析
下载PDF
汽车驱动桥壳的有限元分析和优化 被引量：42
14
作者 刘为 薛克敏 +2 位作者 李萍 杜长春 唐子玉 《汽车工程》 EI CSCD 北大核心 2012年第6期523-527,共5页
建立了基于ANSYS的汽车驱动桥壳的参数化有限元模型,在最大垂向力工况下对桥壳进行静力分析,得到桥壳的应力和位移分布规律。对桥壳进行模态分析,得到桥壳1～5阶固有振动频率。通过疲劳寿命分析,获得桥壳各部分的疲劳寿命和安全系数。... 建立了基于ANSYS的汽车驱动桥壳的参数化有限元模型,在最大垂向力工况下对桥壳进行静力分析,得到桥壳的应力和位移分布规律。对桥壳进行模态分析,得到桥壳1～5阶固有振动频率。通过疲劳寿命分析,获得桥壳各部分的疲劳寿命和安全系数。最后采用目标驱动优化方法对桥壳进行以轻量化为目标的优化。有限元分析和试验验证结果表明,优化后桥壳轻量化效果明显,应力与变形符合要求。 展开更多
关键词 驱动桥壳 静力分析 模态分析 疲劳寿命 优化
下载PDF
Android恶意软件检测技术分析和应用研究 被引量：41
15
作者 文伟平 梅瑞 +1 位作者 宁戈 汪亮亮 《通信学报》 EI CSCD 北大核心 2014年第8期78-85,94,共9页
针对Android平台安全问题,提出了手机端和服务端协作的恶意代码检测方案,手机端应用主要采用基于permission检测技术,实现轻量级的检测。服务端检测系统主要负责对手机端提交的可疑样本进行检测,同时实现了软件行为分析,特征库更新,与... 针对Android平台安全问题,提出了手机端和服务端协作的恶意代码检测方案,手机端应用主要采用基于permission检测技术,实现轻量级的检测。服务端检测系统主要负责对手机端提交的可疑样本进行检测,同时实现了软件行为分析,特征库更新,与手机端同步等功能。其中服务端检测技术包括基于permission检测技术、基于字节码静态检测技术和基于root权限的动态检测技术。实验测试结果表明,3种检测技术能达到较好的检测效果。 展开更多
关键词 恶意代码检测 静态分析 动态分析 权限分析
下载PDF
基于工作流技术的企业业务过程评价方法 被引量：14
16
作者 林慧苹 范玉顺 吴澄 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2001年第12期47-52,共6页
企业业务过程的分析评价是实施企业业务过程重组的重要环节 ,它能够发现已有业务流程中存在的瓶颈、死锁及其他不合理现象 ,还可以验证新的过程设计方案的可行性和有效性。为此 ,提出了一个符合我国企业状况的企业业务过程评价体系 ,明... 企业业务过程的分析评价是实施企业业务过程重组的重要环节 ,它能够发现已有业务流程中存在的瓶颈、死锁及其他不合理现象 ,还可以验证新的过程设计方案的可行性和有效性。为此 ,提出了一个符合我国企业状况的企业业务过程评价体系 ,明确定义了业务过程静态分析和动态分析包含的内容 ,以及用于动态分析的量化指标。同时 ,还讨论了参照评价体系 。 展开更多
关键词 工作流 企业业务过程 评价方法
下载PDF
基于HYPERWORKS的某客车车架有限元分析 被引量：39
17
作者 吕东升 王东方 苏小平 《机械设计与制造》 北大核心 2011年第3期11-12,共2页
车架是汽车重要的基础部件之一,须具有足够的强度和刚度。应用HYPERWORKS建立了车架的有限元模型,根据对该模型进行的受力分析,施加了合理的约束条件和载荷,对车架最为典型的四种工况进行了静力学研究,并根据车架的应力应变云图,预测出... 车架是汽车重要的基础部件之一,须具有足够的强度和刚度。应用HYPERWORKS建立了车架的有限元模型,根据对该模型进行的受力分析,施加了合理的约束条件和载荷,对车架最为典型的四种工况进行了静力学研究,并根据车架的应力应变云图,预测出车架的薄弱部位,提出了前瞻性的建议,为车架的优化设计和车架结构的改进提供了非常重要的理论依据。 展开更多
关键词 HYPERWORKS 车架 静力分析
下载PDF
基于社会网络分析理论的恐怖组织网络研究综述 被引量：39
18
作者 付举磊 孙多勇 +1 位作者 肖进 汪寿阳 《系统工程理论与实践》 EI CSSCI CSCD 北大核心 2013年第9期2177-2186,共10页
恐怖组织网络研究对于了解恐怖组织结构、有效打击恐怖活动具有十分重要的意义.近年来,社会网络分析方法在恐怖组织网络研究中得到广泛关注和成功应用.本文对恐怖组织网络模型的构建方法和分析方法进行了综述.首先,从建模视角、建模工... 恐怖组织网络研究对于了解恐怖组织结构、有效打击恐怖活动具有十分重要的意义.近年来,社会网络分析方法在恐怖组织网络研究中得到广泛关注和成功应用.本文对恐怖组织网络模型的构建方法和分析方法进行了综述.首先,从建模视角、建模工具及数据获取方法三个方面对恐怖组织网络模型的构建方法进行了讨论和评价.然后,将恐怖组织网络分析方法归纳为静态分析和动态分析两大类.在静态分析中,重点分析和评价了网络拓扑结构及特征、核心目标识别、抗毁性评估及瓦解策略三种方法;在动态分析中,主要对恐怖活动态势评估、组织结构演化与绩效评估、空间关联分析三种方法进行了论述.最后,指出现有研究存在的不足以及未来值得研究的问题. 展开更多
关键词 恐怖组织网络 社会网络分析 建模方法 静态分析 动态分析
原文传递
蜂窝夹层板结构等效模型比较分析 被引量：39
19
作者 张铁亮 丁运亮 金海波 《应用力学学报》 CAS CSCD 北大核心 2011年第3期275-282,327,共8页
在对蜂窝夹层板结构进行有限元分析时,要对其进行等效处理,采取等效方法的合理性将直接影响到计算结果的准确性。分别采用Reissner理论、Hoff理论、三明治夹芯板理论三种不同的等效方法建立有限元模型,然后进行了静力分析和模态分析,并... 在对蜂窝夹层板结构进行有限元分析时,要对其进行等效处理,采取等效方法的合理性将直接影响到计算结果的准确性。分别采用Reissner理论、Hoff理论、三明治夹芯板理论三种不同的等效方法建立有限元模型,然后进行了静力分析和模态分析,并将每种等效方法的计算结果与实体单元建立的蜂窝夹层板模型计算结果进行了比较。与Reissner理论、Hoff理论相比,采用三明治夹芯板理论等效方法的位移精度、应力精度、频率精度分别提高了0.195%~0.776%、2.066%~6.788%、0.194%~5.878%。研究表明采用三明治夹芯板理论对蜂窝夹层板结构进行等效要优于其他两种等效理论。 展开更多
关键词 蜂窝夹层板 等效方法 有限元分析 静力分析 模态分析
下载PDF
基于有限元的加工中心立柱结构静、动态设计 被引量：36
20
作者 郭志全 徐燕申 +1 位作者 张学玲 林汉元 《机械强度》 EI CAS CSCD 北大核心 2006年第2期287-291,共5页
运用结构动态设计原理和有限元法的变量化分析技术,用ANSYS软件对加工中心立柱部件进行静力分析和模态分析。通过研究立柱内部三种不同结构肋板对其静、动态性能的影响,给出内部肋板的最佳结构形式。
关键词 立柱 有限元分析 静力分析 模态分析
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 220 下一页 到第 页
使用帮助 返回顶部