首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   77篇
  国内免费   3篇
  完全免费   33篇
  自动化技术   113篇
  2018年   1篇
  2017年   5篇
  2016年   4篇
  2015年   9篇
  2014年   11篇
  2013年   6篇
  2012年   10篇
  2011年   7篇
  2010年   5篇
  2009年   4篇
  2008年   7篇
  2007年   13篇
  2006年   5篇
  2005年   6篇
  2004年   4篇
  2003年   2篇
  2002年   1篇
  2001年   3篇
  2000年   1篇
  1998年   1篇
  1997年   1篇
  1996年   1篇
  1995年   1篇
  1994年   1篇
  1993年   1篇
  1990年   2篇
  1989年   1篇
排序方式: 共有113条查询结果,搜索用时 93 毫秒
1.
软件分析技术进展   总被引:24,自引:2,他引:22  
软件分析技术的研究已有较长历史,相关成果也在软件生命周期的不同阶段中得到了广泛应用.软件生命周期中不同活动所需要的软件分析技术既不完全相同,又有许多交叠,且不同的分析技术之间互相影响.文章在讨论了软件分析的基本概念之后,主要从静态分析与动态分析两个方面介绍了一些主要的软件分析技术以及部分相关分析工具.结合软件的质量问题,文章还探讨了一些分析技术与软件质量属性的相关性,以便于人们在分析特定的软件质量属性时,选取合适的技术与工具.最后,文章展望了软件分析技术的发展趋势.  相似文献
2.
逆向工程中反射植入的研究   总被引:17,自引:0,他引:17  
逆向工程辅助程序理解,而动态分析是理解面向对象软件系统的一种重要手段,通过植入,才能准确提取系统运行时的信息,常见的植入方法中,植入代码和目标代码处于同一计算层次,在植入过程中,需要对目标代码进行除编译分析之外的额外语法分析。该文提出反射植入思想,将植入的软件触发器和被植入的目标系统作为两个计算层次来处理,通过反射层元对象干预编译过程,实现源代码的植入;首先详细描述反射植入核心算法及识别调用方元信息和对象标识的思路,然后在扩充开放编译器的基础上实现了全局函数和系统调用语句前植入代码的算法,最后对该植入机制进行系统的实验研究。结果表明,反射植入机制不会破坏源代码本身的执行逻辑,能正确有效地植入代码并收集到系统运行时的信息。同时,多次植入的对比数据也证明了反射植入算法的收敛性。  相似文献
3.
下一代互联网体系结构研究   总被引:17,自引:2,他引:15  
林闯  雷蕾 《计算机学报》2007,30(5):693-711
互联网发展到今天在很多方面已经无法满足用户的需求,面临着一系列问题,如安全性差、难以管理以及不可预测等.当前互联网的体系结构已经不能适应甚至阻碍互联网应用的进一步发展.文章对当前互联网体系结构存在的问题及面临的挑战进行了分析,并对国内外研究动态、在该领域的若干研究方向及提出的解决方案进行了总结评述.在此基础上重新审视互联网最初的基本设计原则是否符合当前和新兴网络应用环境的需求.并对互联网未来的发展进行了展望.  相似文献
4.
Android安全研究进展   总被引:7,自引:4,他引:3       下载免费PDF全文
卿斯汉 《软件学报》2016,27(1):45-71
Android是目前最流行的智能手机软件平台,报告称,2014年,Android的销售量占到全球份额81%的绝对优势,首次达到10亿部.其余如苹果、微软、黑莓与火狐等则远远落在后面.与此同时,Android智能手机的日益流行也吸引了黑客,导致Android恶意软件应用的大量增加.从Android体系结构、设计原则、安全机制、主要威胁、恶意软件分类与检测、静态分析与动态分析、机器学习方法、安全扩展方案等多维角度,对Android安全的最新研究进展进行了总结与分析.  相似文献
5.
逆向工程分析技术研究   总被引:4,自引:0,他引:4  
近年来,许多组织面临着遗产系统的理解和演化问题,理解和演化遗产系统的问题在软件研究领域越来越重要。逆向工程通过提供一个对目标系统的设计和总体结构的较好的理解来辅助遗产系统的演化,是解决遗产系统问题的关键技术。文中介绍了逆向工程的定义,综述了逆向工程分析技术的研究进展,探讨了分析技术研究存在的不足之处,给出了未来的发展趋势。  相似文献
6.
基于混合Petri网的一类混合系统的动态分析   总被引:4,自引:2,他引:2  
谢东  韩曾晋 《控制与决策》1997,12(5):542-547,553
利用混合Petri网对一类典型的混合系统--模式切换系统进行建模和分析;提出模式切换系统动态平稳性的概念;给出了二模式切换系统的平稳条件以及求解平稳点的算法,并用实例进行了说明。  相似文献
7.
斗轮堆取料机主动台车架结构优化设计研究   总被引:4,自引:0,他引:4  
为了提高斗轮堆取料机行走机构的安全可靠性,根据静力学分析发现半圆铰附近的腹板处应力值偏大,其余地方应力值很小,对主动台车架进行结构优化和建模,采用有限元分析软件ANSYS的APDL语言建立了有限元仿真模型进行仿真,结果表明优化后应力分布合理,最大应力、应变值都减小,达到了设计要求,且重量减轻.证明主动台车架消除了共振现象,提高了结构的安全可靠性.  相似文献
8.
并发Java程序动态分析及重演技术研究   总被引:2,自引:0,他引:2  
Java语言在并发程序方面的广泛应用对软件测试提出了新的挑战,众所周知,由于并发程序的不确定性,使得并发程序的设计、开发、调试和测试都非常困难。文章介绍了Safepro/Java中的多线程测试技术,通过对Java源程序进行适当的修改并且保持语义不变,跟踪并发Java程序的运行过程,收集有关数据并对数据进行分析,最终控制并发Java程序的重演。  相似文献
9.
主动规则可终止性的动态分析方法   总被引:2,自引:0,他引:2  
判定主动规则集合的执行情况是相当困难的,尤其是在主动规则支持复合事件时,提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型,归结出主动规则可终止的充分必要条件,并进一步提出了利用动态分析模型进行主动规则可终止性判定的算法,该模型易于实现,能有效描述规则集合的动态特性,可以作为分析主动规则集合行为的理论基础,还可以用于对主动规则的辅助设计和验证。  相似文献
10.
基于反射植入的面向对象程序动态分析机制   总被引:2,自引:0,他引:2  
柴晓前  陈平 《微机发展》2005,15(5):11-13,17
随着软件系统的日益复杂,软件开发、维护以及进化的大部分工作和主要成本集中在对现有系统的理解上。逆向工程以支持程序理解为目标,通过分析目标系统,产生系统不同形式和不同层次的抽象表示,帮助用户从多个层面和角度理解目标系统。为了开发一种实用的逆向工程工具,文中在深入分析了反射、开放编译、植入等技术的基础上,提出了一种基于反射植入的面向对象程序动态分析机制,其主要思想是通过反射植入软件触发器获取目标系统的动态信息,这些信息由信息收集机制收集整理并保存到Cau-Graph,最后从Cau-Graph抽象出符合UML标准的动态模型图。通过项目实践发现,这种机制是可行的。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号