注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 程序切片技术.pdf

  2. 程序切片是一种分析和理解程序的技术:是通过对源程序中每个兴趣点分别计算切片来达到对程序的分 析和理解=程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关:而且与影响该变量的值的语句和 谓词以及受该变量的值影响的语句和谓词有关=文中详细阐述了程序切片技术的研究与进展情况:并对目前存在 各种程序切片方法和工具进行了比较C简单介绍了文中提出的面向对象的分层切片方法及其算法的思想C最后分 析了程序切片技术目前还存在的一些问题及其发展趋势

  3. 所属分类：C

    • 发布日期：2010-07-14
    • 文件大小：491520
    • 提供者：company1986

  1. 程序分析与验证讲义_中科大陈意云

  2. 程序分析与验证是程序语言学的一个重要的学术前沿专题，也是目前程序设计理论的研究热点。本讲义是我国编译技术与程序语言理论权威中科大陈意云教授的博士研究生课程讲义，该课程属于计算机领域的高级课程，先修课程包括计算理论、编译原理、程序设计语言原理、数据结构等。压缩包内附陈意云和中科大-耶鲁可信计算研究所介绍。

  3. 所属分类：其它

    • 发布日期：2010-08-05
    • 文件大小：2097152
    • 提供者：mikeszhang

  1. 以snull为例分析linux网络驱动程序的技术文档

  2. 以snull为例分析 linux网络驱动程序 的技术文档

  3. 所属分类：网络基础

    • 发布日期：2010-11-09
    • 文件大小：122880
    • 提供者：abrun

  1. 《matlab时频分析技术及其应用》程序

  2. 关《matlab时频分析技术及其应用》的程序，比较经典的书，不多见。

  3. 所属分类：其它

    • 发布日期：2010-12-25
    • 文件大小：1048576
    • 提供者：lulingluling

  1. 程序分析技术

  2. 该文档为程序分析技术，为吉林大学计算机学院刘磊老师的讲课课件，已经详细总结过，内容讲解了程序分析技术的各种方法，像数据流分析 表达式节省等等很实用的内容

  3. 所属分类：专业指导

  1. 程序分片_其改进算法与在程序验证中的应用

  2. 程序分片 程序分析技术 对原有算法的改进 效果明显

  3. 所属分类：软件测试

    • 发布日期：2011-11-21
    • 文件大小：607232
    • 提供者：dinghang123

  1. 单片机应用程序设计技术

  2. 第一章 应用程序的设计步骤 1.1 设计任务书的编写 1.2 硬件电路设计 1.3 软件任务分析 1.4 数据类型和数据结构的规划 1.5 资源分配 1.6 编程及调试 1.7 编程语言与开发环境的选择 第二章 程序流程图与子程序设计 2.1 程序流程图 2.1.1 程序流程图的画法 2.1.2 从程序流程图到程序 2.2 子程序设计 2.2.1 结构化的程序设计风格 2.2.2 参数的使用 2.2.3 算法的合理性和可靠性 2.2.4 子程序的透明性设计 2.2.5 子程序的相容性设计 2.

  3. 所属分类：其它

    • 发布日期：2012-07-11
    • 文件大小：6291456
    • 提供者：sdxyzqm

  1. 网络分析技术揭秘原理、实践与winpcap深入解析-C++源码

  2. 《网络分析技术揭秘原理、实践与winpcap深入解析》 前　言 第1章 揭开网络分析的神秘面纱/ 1 1.1网络分析概述/ 1 1.2网络分析的主要用途/ 3 1.3黑客使用嗅探器的方法/ 4 1.4被嗅探数据的真面目/ 6 1.4.1使用嗅探器获得ftp的用户名和密码/ 6 1.4.2使用嗅探器分析冲击波蠕虫（blaster worm）/ 7 1.5常见的网络分析器/ 10 1.6网络分析器的工作原理/ 11 1.6.1以太网简介/ 11 1.6.2理解开放系统互连（osi）模型/ 11 1

  3. 所属分类：网络监控

    • 发布日期：2012-08-29
    • 文件大小：284672
    • 提供者：wubuxiansheng

  1. Java程序脆弱性静态分析技术

  2. Java程序脆弱性静态分析技术

  3. 所属分类：Java

    • 发布日期：2014-01-26
    • 文件大小：408576
    • 提供者：chyljy

  1. 矿井建设时期冲击地压防治程序与技术

  2. 由于缺乏规范性程序指导,我国新建矿井建设期出现冲击地压难以应对的问题。以发生冲击地压的在建矿井为工程背景,分析了设计阶段、基建施工阶段冲击地压防治的程序与技术。结果表明,新建矿井应遵循冲击地压矿井识别、基于地应力的开拓巷道布置、采煤方法选择、煤柱宽度论证、合理煤层开采顺序等原则来指导初步设计;基本建设期间可针对冲击启动载荷源分源监测、分源防治,并形成采掘空间局部防治冲击地压的理论与技术体系。应用结果表明,理论与技术能够指导实践,已经在多个新建冲击地压矿井推广应用。

  3. 所属分类：其它

    • 发布日期：2020-04-21
    • 文件大小：403456
    • 提供者：weixin_38528086

  1. 量化交易策略—利用量化分析技术创造盈利交易程序.pdf

  2. 量化交易策略—利用量化分析技术创造盈利交易程序的电子文档资料供大家学习参考，文件名：量化交易策略—利用量化分析技术创造盈利交易程序.pdf

  3. 所属分类：机器学习

    • 发布日期：2020-03-17
    • 文件大小：462848
    • 提供者：qiushikui

  1. 程序分析技术在SQL注入防御中的应用研究

  2. 内容：程序分析技术在SQL注入防御中的应用研究.kdh

  3. 所属分类：网络安全

    • 发布日期：2013-08-13
    • 文件大小：206848
    • 提供者：zhangjuwen

  1. 基于概念格的修改分析技术

  2. 利用形式概念分析技术构造概念格，进行修改分析相关活动：包括程序理解，修改影响分析以及修改评估。修改分析是软件维护与演化过程中必不可少的活动之一。

  3. 所属分类：专业指导

    • 发布日期：2010-12-01
    • 文件大小：738304
    • 提供者：sundomore

  1. 静态分析和程序验证技术提高下的软件安全漏洞防护

  2. 网络技术逐渐改变了人们的生产、生活、学习甚至思维方式。然而,也看到网络其实并不安全。设法提高软件安全漏洞的防护能力显得非常具有现实意义。安全漏洞的形成会受到其周围系统环境和随着时间的推移而不断受到影响。这需要不断总结软件安全漏洞发掘方法,搭建更好的软件安全漏洞检测模型,开发出更好的动静态程序分析的漏洞检测工具,切实提高软件运行的安全性。

  3. 所属分类：其它

    • 发布日期：2020-07-05
    • 文件大小：139264
    • 提供者：weixin_38671048

  1. 程序静态分析技术与工具.pdf

  2. 程序静态分析技术的研制门槛很高，目前国外顶级程序分析工具基本都是由常青藤高校研制，比如美国的Coverity起源于斯坦福大学，英国的Testbed起源于利物浦大学。

  3. 所属分类：系统安全

    • 发布日期：2020-09-07
    • 文件大小：963584
    • 提供者：wyze

  1. 显示/光电技术中的热分析技术在LC、LCP及LCD中的应用

  2. 液晶（LC）和液晶高分子（LCP）通常是指在一定温度范围内呈现介于固相和液相之间的中间相的有机化合物。在这中间相，它既具有液体又具有晶体的特性；其颜色和透明度可随外界条件（如温度，电场，磁场，吸附气体等）变化而变化。LC和LCP这些不寻常的性质已经在液晶显示材料（LCD）中得到了广泛的实际应用，是近十几年来高分子材料研究的热点。而热分析技术是通过测试材料随温度或时间而变化的物理和化学性能来对其进行表征的一系列技术。由此可见热分析技术是进行LC、LCP和LCD研究和质量控制必不可缺的基本手段之一，

  3. 所属分类：其它

    • 发布日期：2020-11-10
    • 文件大小：129024
    • 提供者：weixin_38689338

  1. -2:1.1研究内容本项目主要是在软件工程指导思想下研究安卓手机软件开发技术，云端大数据存储和分析技术。同时，通过云端智能分析数据，位智慧后勤提供一套后勤报修管理系统。1​​.2研究意义随着高校信息化的快速发展，智慧本项目基于手机应用程序设

  2. -2 1.1研究内容本项目主要是在软件工程指导思想下研究安卓手机软件开发技术，云端大数据存储和分析技术。同时，通过云端智能分析数据，位智慧后勤提供一套后勤报修管理系统。1​​.2研究意义随着高校信息化的快速发展，智慧本项目基于手机应用程序设计与开发的在线一体化后勤报修管理系统，旨在提供方便，高效，全面的校园报修服务。现在校园学生人数越来越多，学校内部大部分设施都较旧，损坏率较高，而后勤老师人数较多，维修人员往往为校外工作人员，人工报修存在不便并且这样一来，此软件针对解决此问题具有重大意义，它能

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：20971520
    • 提供者：weixin_42168750

  1. 基于程序依赖图的静态BPEL程序切片技术

  2. 传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术.该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片.案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序.

  3. 所属分类：其它

    • 发布日期：2021-02-21
    • 文件大小：315392
    • 提供者：weixin_38700790

  1. 系统可靠性分析技术 失效模式和影响缝隙（FMEA）程序.pdf

  2. 系统可靠性分析技术 失效模式和影响缝隙（FMEA）程序.pdf

  3. 所属分类：企业管理

    • 发布日期：2021-02-08
    • 文件大小：127926272
    • 提供者：luckycamel

  1. 基于程序基因的恶意程序预测技术

  2. 随着互联网技术日益成熟，恶意程序呈现出爆发式增长趋势。面对无源码恶意性未知的可执行文件，当前主流恶意程序检测多采用基于相似性的特征检测，缺少对恶意性来源的分析。基于该现状，定义了程序基因概念，设计并实现了通用的程序基因提取方案，提出了基于程序基因的恶意程序预测方法，通过机器学习及深度学习技术，使预测系统具有良好的预测能力，其中深度学习模型准确率达到了99.3%，验证了程序基因理论在恶意程序分析领域的作用。

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：834560
    • 提供者：weixin_38716590
« 12 3 4 5 6 7 8 9 10 ... 50 »