您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. NuSMV version 2.4.3 安装软件

  2. 官网http://nusmv.fbk.eu/ NuSMV version 2.4.3 安装软件 exe文件,直接安装。 NuSMV is a symbolic model checker developed as a joint project between the Formal Methods group in the Automated Reasoning System division at ITC- IRST, the Model Checking group at Carnegie
  3. 所属分类:其它

    • 发布日期:2010-03-22
    • 文件大小:6291456
    • 提供者:darkhorsefly
  1. Mathematical Problems in Image Processing:Partial Differential Equations and the Calculus of Variations 图像处理 偏微分方程 变分法

  2. Mathematical Problems in Image Processing ——Partial Differential Equations and the Calculus of Variations Second Edition by Gilles Aubert and Pierre Kornprobst Partial differential equations (PDEs) and variational methods were introduced into image
  3. 所属分类:专业指导

    • 发布日期:2010-03-24
    • 文件大小:8388608
    • 提供者:graduate08
  1. 国外红外探测器装备现状及发展趋势

  2. 作为与雷达并驾齐驱的传感器设备,红外探测 器在现代战争中的作用不言而喻。早在上世纪50 年代,工作波段为1.31.tm的硫化铅(PbS)红外探测器 就应用在空空导弹上,但仅能对飞机尾部进行探 测,且易受干扰,应用局限性很大。随着探测器技 术的发展,5O年代中期研制成功工作波段为3-51xm 的锑化铟(InSb)探测器。60年代初,采用单个InSb 探测器的红外搜索和跟踪(IRST)系统研制成功。 8O年代之后,焦平面探测器技术及大规模集成电路 技术的快速发展使得更高性能红外系统的实现成 为可能
  3. 所属分类:硬件开发

    • 发布日期:2011-07-17
    • 文件大小:707584
    • 提供者:yanabalou
  1. Intel Rapid Start SOP

  2. Intel Rapid Start 安装使用方法
  3. 所属分类:Windows Server

    • 发布日期:2011-11-27
    • 文件大小:2097152
    • 提供者:zhouxihi
  1. Flash IOS App CooBook 英文文档

  2. What this book covers Chapter 1, Getting Started with iOS App Development, leads you through the often intimidating process of becoming a registered iOS developer. By the end of the chapter you will have the necessary iles required to publish native
  3. 所属分类:Actionscript

    • 发布日期:2012-07-09
    • 文件大小:3145728
    • 提供者:meetlunay
  1. 2012 九月Intel IRST SATA 驱动 F6 软盘影象 Floppy IMAGE

  2. 2012 九月Intel IRST SATA 驱动 F6 软盘影象 Floppy IMAGE for Windows Server 2003 intel 官方发布的最新 2012 九月Intel IRST SATA 驱动不支持 Windows Server 2003. 但经过本人修改以后可以完美地用于Windows Server 2003安装 -- SATA 接口的 Thinkpad T420 安装Windows Server 2003. 不敢独享, 特此分享.
  3. 所属分类:其它

    • 发布日期:2012-09-30
    • 文件大小:1048576
    • 提供者:ulgsm4u
  1. NuSMV-2.5.4

  2. NuSMV is a symbolic model checker developed as a joint project between the Formal Methods group in the Automated Reasoning System division at ITC- IRST, the Model Checking group at Carnegie Mellon University , the Mechanized Reasoning Group at Unive
  3. 所属分类:Linux

    • 发布日期:2012-10-17
    • 文件大小:3145728
    • 提供者:a42675492
  1. DataStax-CS-HealthX

  2. Healthx wanted a certiied Apache Cassandra™ database for managing real-time data, so it turned to DataStax – and become one of the irst companies to use DataStax Enterprise 2.0.
  3. 所属分类:其它

    • 发布日期:2012-11-08
    • 文件大小:922624
    • 提供者:kmxkmx
  1. ahci(sata)驱动

  2. ahci(sata)驱动需要配合IRST.rar一起使用
  3. 所属分类:Windows Server

    • 发布日期:2013-01-08
    • 文件大小:190464
    • 提供者:tezhan120
  1. IRST,sata驱动

  2. IRST sata 驱动 需要配合ahci(sata)驱动
  3. 所属分类:Windows Server

    • 发布日期:2013-01-08
    • 文件大小:271360
    • 提供者:tezhan120
  1. vim 7.2 安装程序

  2. Vim 7 内置了一项与 Microsoft Word 类似的拼写检查功能,使用该功能可以检查出所拼写词语的错误。在默认情况下,这项功能是没有开启的。若是使用 GVim 的话,可通过“Tools -> Spelling -> Spell check on”菜单命令开启。Vim 一旦发现拼写错误的词语,则以红色的波浪线标记。而使用以下命令可以执行拼写检查功能的相关操作: * :set spell-开启拼写检查功能 * :set nospell-关闭拼写检查功能 * :]s-移到下一个
  3. 所属分类:其它

  1. THE DESIGNER’S GUIDE TO VERILOG-AMS

  2. The Verilog Hardware Descr iption Language (Verilog-HDL) has long been the most popular language for describing complex digital hardware. It started life as a proprietary language but was donated by Cadence Design Systems to the design community to
  3. 所属分类:硬件开发

    • 发布日期:2013-06-18
    • 文件大小:7340032
    • 提供者:zklty
  1. 混合硬盘装系统必备IRST驱动(包含32位和64位)

  2. 超级本 混合硬盘装系统必备IRST驱动包,win7 64位 亲测
  3. 所属分类:桌面系统

    • 发布日期:2013-08-18
    • 文件大小:576512
    • 提供者:u011724395
  1. scala in action

  2. F irst things first. In Scala in Action, chapter 1 focuses on Scala and why you should pick it as your next language. You’ll learn how Scala’s high-level features compare with programming languages you may be very familiar with. If you’re an object-
  3. 所属分类:其它

    • 发布日期:2013-08-28
    • 文件大小:3145728
    • 提供者:cheb2003
  1. 表格的增删改查

  2. case R.id.btn_add: String msg_add = ed_msg.getText().toString(); User user_add = new User(msg_add, null); UserDao userDao_add = new UserDao(user_add, act); if (userDao_add.add() > 0) { Toast.makeText(act.getApplicationContext(), "添加成功", Toast.LEN
  3. 所属分类:Android

    • 发布日期:2013-11-19
    • 文件大小:48128
    • 提供者:u012889826
  1. icq6英文版 最新

  2. ICQ安装及使用说明 一. 什是 ICQ ? ICQ是I Seek You的连音缩写,中文名称目前大家都称之为“网络寻呼机”,事实上最主 要的功能就是让您知道网络上的朋友现在有没有上线(前题是对方也有安装ICQ),然后 可以互送Messages交谈或是传送文件等等,比Email更有即时性,有那种现场转播LIVE的 感觉 :)。另外还有支持一些External的程序,像是IPhone,NetMeeting等等,似乎将来 还会有游戏支持。如果您想要知道更详细的内容可以到 Mirabilis 一探究
  3. 所属分类:网络基础

    • 发布日期:2008-10-07
    • 文件大小:14680064
    • 提供者:wgscake
  1. WIN7宏基(acer)笔记本安装IRST和ExpressCache

  2. WIN7宏基(acer)笔记本32G固态硬盘安装IRST和ExpressCache秒开机,带详细安装教程,内含限制OEM厂商的破解文件
  3. 所属分类:其它

    • 发布日期:2017-01-01
    • 文件大小:16777216
    • 提供者:chenguogang
  1. Intel_Rapid_STorage_9.5.4.1001 INTEL 5系列用的AHCI驱动含64位32位

  2. Intel_Rapid_STorage_9.5.4.1001 INTEL 5系列用的AHCI驱动WINDOWS系统用的内含64位32位是.INF驱动文件 不是.EXE文件。INF可以在PE或安装原版系统时加载驱动用! INTEL 5系列主板用的。如H55 主板 等5系列主板的IRST AHCI 驱动!如果装WIN10 32位用原版系统的 会用到。该文件内32位64位驱动都有 各内含 iaAHCI.inf ,iaStor.inf 等7个文件 。
  3. 所属分类:桌面系统

    • 发布日期:2017-03-07
    • 文件大小:449536
    • 提供者:zx3166
  1. 如何为 Windows 7 的安装 ISO 加入USB3.0 ,IRST及hotfix.docx

  2. 如何为 Windows 7 的安装 ISO 加入USB3.0 ,IRST及hotfix
  3. 所属分类:桌面系统

    • 发布日期:2019-05-10
    • 文件大小:281600
    • 提供者:jackbo_wang
  1. 变阈噪比优化机载IRST系统的探测概率包线

  2. 基于机载红外搜索跟踪(IRST)系统噪声源的特点,建立了一种探测概率模型,分析了探测过程中阈噪比对探测概率、虚警概率的影响。基于作战背景,分析了探测距离、目标速度、作战环境对探测概率的影响。在探测过程中动态设置阈噪比,给出了具体求解方法,并对不同任务需求下的阈噪比取值范围进行仿真分析。利用求解的阈噪比值,仿真得出了变阈噪比情形下的探测概率包线。研究结果表明,与恒定阈噪比方法相比,采用变阈噪比求得的概率包线能够适应实时变化的空战条件,普适性更强,探测距离明显增大。
  3. 所属分类:其它

    • 发布日期:2021-02-22
    • 文件大小:6291456
    • 提供者:weixin_38557768
« 12 3 »