基于模型检验的软件安全静态分析研究

相 关 资 源

• 基于遗传算法的移动机器人路径规划研究,该论文在分析了目前各种路径规划方法优缺点的基础上免费下载

  资源简介：基于遗传算法的移动机器人路径规划研究,该论文在分析了目前各种路径规划方法优缺点的基础上，选择遗传算法来解决静态和动态环境下移动机器人的路径规划问题。

  标签： 路径规划 算法 移动机器人 分

  上传时间： 2014-01-08

  上传用户：wangyi39

• 基于LPC21XX下的 keil Startup.s分析免费下载

  资源简介：对基于LPC21XX下的keil Startup.s分析，有详细的注解。

  标签： Startup keil LPC 21

  上传时间： 2013-04-24

  上传用户：zhuimenghuadie

• 基于Matlab系统的信号FFT频谱分析与显示免费下载

  资源简介：·基于Matlab系统的信号FFT频谱分析与显示

  标签： Matlab FFT 信号

  上传时间： 2013-04-24

  上传用户：gxohao

• 改进的基于模型匹配的快速目标识别免费下载

  资源简介：文中建立不同类型目标的模型匹配数据库；采用最小周长多边形构造目标主体轮廓的近似多边形，以简化目标主体轮廓减少算法处理的数据量；提取具有仿射不变性的多边形顶点个数、最长线段两侧顶点个数、同底三角形面积比向量特征不变量对待识别目标进行描述，应用...

  标签： 模型匹配 目标识别

  上传时间： 2013-10-20

  上传用户：q3290766

• 基于unix下的RSA加密实例分析免费下载

  资源简介：基于unix下的RSA加密实例分析

  标签： unix RSA 加密 分

  上传时间： 2015-01-15

  上传用户：jichenxi0730

• 基于Matlab语言的现代通信仿真分析免费下载

  资源简介：基于Matlab语言的现代通信仿真分析

  标签： Matlab 语言 现代通信 仿真分析

  上传时间： 2014-01-13

  上传用户：gmh1314

• 软件工程中的软件设计实例分析是针对目前面相对象软件设计进行的。免费下载

  资源简介：软件工程中的软件设计实例分析是针对目前面相对象软件设计进行的。

  标签： 软件工程 软件 设计实例 分

  上传时间： 2015-04-03

  上传用户：Breathe0125

• 介绍了一套基于PCI 总线的软件无线电开发平台它适用于雷达无线电信号信息 测试和测量等领域该文探讨了开发软件无线电系统的一些实际问题并介绍了如何利用加拿大 ICS 公司的高速数字变换板来开发软件无免费下载

  资源简介：介绍了一套基于PCI 总线的软件无线电开发平台它适用于雷达无线电信号信息 测试和测量等领域该文探讨了开发软件无线电系统的一些实际问题并介绍了如何利用加拿大 ICS 公司的高速数字变换板来开发软件无线电系统

  标签： PCI ICS 开发软件 总线

  上传时间： 2015-04-12

  上传用户：libinxny

• 基于matlab中的高阶谱分析信号处理工具箱免费下载

  资源简介：基于matlab中的高阶谱分析信号处理工具箱

  标签： matlab 分析信号 工具箱

  上传时间： 2015-05-02

  上传用户：凤临西北

• 基于J2ME平台的手机通讯程序分析与实现免费下载

  资源简介：基于J2ME平台的手机通讯程序分析与实现

  标签： J2ME 手机通讯 程序分析

  上传时间： 2015-06-20

  上传用户：lijianyu172

• 基于交叉检验的PLS算法免费下载

  资源简介：基于交叉检验的PLS算法，400组样本建模，200组样本检验

  标签： PLS 算法

  上传时间： 2015-08-14

  上传用户：playboys0

• 关于Internet时代的软件技术的介绍,包括软件技术的发展,面向构件、基于体系结构的软件开发方法ABC等,权威.免费下载

  资源简介：关于Internet时代的软件技术的介绍,包括软件技术的发展,面向构件、基于体系结构的软件开发方法ABC等,权威.

  标签： Internet ABC 软件技术 发展

  上传时间： 2013-12-06

  上传用户：270189020

• 基于半监督的核主元分析matlab代码免费下载

  资源简介：基于半监督的核主元分析matlab代码，基于半监督核主元分析matlab代码

  标签： matlab 半监督 分 代码

  上传时间： 2014-08-17

  上传用户：爺的气质

• 彩色图像分割算法的研究与实现and基于颜色空间的白细胞显微图像分析与算法免费下载

  资源简介：彩色图像分割算法的研究与实现and基于颜色空间的白细胞显微图像分析与算法

  标签： and 彩色图像分割 图像分析 法的研究

  上传时间： 2014-01-22

  上传用户：kiklkook

• 基于MAXPLUS II 的软件设计免费下载

  资源简介：基于MAXPLUS II 的软件设计，这里面有几个小程序，用于VHDL的GDF设计，含有LED数码管的显示驱动程序，还有3选一，十选一程序。

  标签： MAXPLUS II 软件设计

  上传时间： 2013-12-01

  上传用户：TRIFCT

• 基于COM技术的电厂在线性能分析模块的设计与开发免费下载

  资源简介：基于COM技术的电厂在线性能分析模块的设计与开发

  标签： COM 电厂 性能分析 模块

  上传时间： 2015-12-16

  上传用户：qiaoyue

• 基于COM构件的软件开发,硕士论文免费下载

  资源简介：基于COM构件的软件开发,硕士论文，值得参考

  标签： COM 构件 软件开发 硕士

  上传时间： 2015-12-16

  上传用户：onewq

• 许多开发人员都尝试了基于无线装置的软件编程免费下载

  资源简介：许多开发人员都尝试了基于无线装置的软件编程，然而这些思想达于成功的关键之处在于他们能否深 入了解Windows CE 的功能和缺点。本文就此介绍了Windows CE 的一些基本特性，并指出过渡到基于 无线装置的软件开发所应具备的知识。

  标签： 无线装置 软件编程

  上传时间： 2013-12-24

  上传用户：爱死爱死

• 基于RTEMS的软件容错系统设计研究免费下载

  资源简介：基于RTEMS的软件容错系统设计研究

  标签： RTEMS 软件容错 系统设计

  上传时间： 2013-12-21

  上传用户：LIKE

• 基于u盘的软件授权免费下载

  资源简介：基于u盘的软件授权，u盘可随意格式化，但授权信息不会丢失，每个u盘经过加密都又唯一的序列号，同时不影响u盘的正常使用。主要写入信息包括：注册日期, 软件代码，使用单位名称，附加信息，使用次数限制，使用天数限制等，并可根据需求增加写入的信息。

  标签： 软件 授权

  上传时间： 2014-01-17

  上传用户：shinesyh

• 基于Visual Basic的软件项目设计的详细设计说明书免费下载

  资源简介：基于Visual Basic的软件项目设计的详细设计说明书，非常全面

  标签： Visual Basic 软件 详细设计

  上传时间： 2016-04-09

  上传用户：王者A

• QQ软件制作教程 基于Visual Basic的软件项目设计 充分介绍了软件的设计、编程、测试等阶段免费下载

  资源简介：QQ软件制作教程 基于Visual Basic的软件项目设计 充分介绍了软件的设计、编程、测试等阶段

  标签： Visual Basic 软件 制作教程

  上传时间： 2016-04-17

  上传用户：电子世界

• 基于U盘的软件授权组件免费下载

  资源简介：基于U盘的软件授权组件，已经封装好了的，可以直接用了，请看文件内的说明。

  标签： U盘 软件 授权

  上传时间： 2013-12-13

  上传用户：磊子226

• 基于过程建模的网上作业成本分析系统(ABC作业成本法)免费下载

  资源简介：基于过程建模的网上作业成本分析系统(ABC作业成本法)

  标签： ABC 过程 建模 分

  上传时间： 2013-12-09

  上传用户：stella2015

• 基于模型机的设计免费下载

  资源简介：基于模型机的设计，进行简单的CPU设计并实现基本的指令，如加、减、转移等。

  标签： 模型

  上传时间： 2016-08-11

  上传用户：奇奇奔奔

• 基于移动应用的富媒体应用分析免费下载

  资源简介：基于移动应用的富媒体应用分析，包括应用前景、技术路线等

  标签： 移动应用 媒体应用 分

  上传时间： 2013-12-18

  上传用户：playboys0

• 基于５１平台的数码管静态显示数据免费下载

  资源简介：基于５１平台的数码管静态显示数据，有详细的说明文字

  标签： 数码管 数据 静态显示

  上传时间： 2014-01-16

  上传用户：CSUSheep

• 基于模板匹配的跳水运动视频分析,基于模板匹配的跳水运动视频分析免费下载

  资源简介：基于模板匹配的跳水运动视频分析,基于模板匹配的跳水运动视频分析

  标签： 模板匹配 视频分析

  上传时间： 2013-12-22

  上传用户：lgnf

• 基于matlab编制的newmark结构动力分析免费下载

  资源简介：基于matlab编制的newmark结构动力分析

  标签： newmark matlab 编制 动力

  上传时间： 2017-01-14

  上传用户：zhangyi99104144

• 学生成绩管理系统,基于java 方向的软件开发免费下载

  资源简介：学生成绩管理系统,基于java 方向的软件开发

  标签： java 管理系统 方向 软件开发

  上传时间： 2013-12-11

  上传用户：fhzm5658