登录
首页 » Development Research » 本书详细介绍了模型检测的基本原理,分析了模型检测在各个行业的应用,重点分析了模型检测各种算法,是有关模型检测方面不可多得百科全书式的经典资料。...

本书详细介绍了模型检测的基本原理,分析了模型检测在各个行业的应用,重点分析了模型检测各种算法,是有关模型检测方面不可多得百科全书式的经典资料。...

于 2022-08-21 发布 文件大小:898.68 kB
0 94
下载积分: 2 下载次数: 1

代码说明:

本书详细介绍了模型检测的基本原理,分析了模型检测在各个行业的应用,重点分析了模型检测各种算法,是有关模型检测方面不可多得百科全书式的经典资料。-The book details the basic principles of model checking, analysis of model checking applications in various industries, focusing on analysis of the model checking algorithms is the model of testing rare classic encyclopedic information.

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • LTE数字前端设计的参考架构文档
    LTE Digital Front End Reference Design Architecture Document
    2022-08-14 21:17:27下载
    积分:1
  • This application note describes the design and implementation of a usb mass stor...
    This application note describes the design and implementation of a usb mass storage devic using a secure digital card,which should prove useful to developers of usb mass storage solution.This application may be used as a stand-alone MSD or as a Secure Digital/Multimedia Card (SD/MMC) reader/ writer interface.
    2022-09-30 07:35:05下载
    积分:1
  • mi2020微米CMOS传感器初始代码
    Micron MI2020 CMOS SENSOR Initial code
    2022-11-12 22:35:03下载
    积分:1
  • 一份讲解当前的人脸识别技术的资料,可以帮助我们更好的了解新知识,希望大家相互交流...
    一份讲解当前的人脸识别技术的资料,可以帮助我们更好的了解新知识,希望大家相互交流-A face recognition technology on the current information, can help us better understand the new knowledge and hope that the exchange of U.S.
    2022-03-03 23:50:26下载
    积分:1
  • 详细介绍ESRIArcGIS系统影像配准,和制作正射影像的技术,很有参考价值...
    详细介绍ESRIArcGIS系统影像配准,和制作正射影像的技术,很有参考价值-Details ESRIArcGIS system image registration, and production of orthophoto technology, of great reference value to
    2022-10-27 08:50:04下载
    积分:1
  • tcp/ip atmel development project include discription and source code
    tcp/ip atmel development project include discription and source code
    2022-07-20 01:01:00下载
    积分:1
  • xps programming ppt document
    xps programming ppt document
    2022-02-20 00:54:00下载
    积分:1
  • This article describes a radio
    This article describes a radio-frequency controlled mobile robot, monitorizated and controlled through an embedded Java microcontroller. This project included the mobile robot design and building, as well as the control and communication software. This multidisciplinary project allowed students to learn and apply different areas of knowledge, including mechanical robot construction, electrical motor control, Java and C language programming, web graphical user interface design, real time control and RF communications. The interface with user is made with a friendly Web page allowing the control of the robot motion in real time. The user can also visualize the orientation and x-y coordinates of the robot.
    2023-04-08 19:10:04下载
    积分:1
  • File "eap_testing.txt" from openssl
    File "eap_testing.txt" from openssl-0.9.8k
    2023-04-22 19:35:03下载
    积分:1
  • A one
    A one-dimensional calibration object consists of three or more collinear points with known relative positions. It is generally believed that a camera can be calibrated only when a 1D calibration object is in planar motion or rotates around a ¯ xed point. In this paper, it is proved that when a multi-camera is observing a 1D object undergoing general rigid motions synchronously, the camera set can be linearly calibrated. A linear algorithm for the camera set calibration is proposed,and then the linear estimation is further re¯ ned using the maximum likelihood criteria. The simulated and real image experiments show that the proposed algorithm is valid and robust.-A one-dimensional calibration object con sists of three or more points with Conic kno wn relative positions. It is generally believe d that a camera can be calibrated only when a 1D ca libration object is in planar motion or rotates around a
    2022-08-25 03:19:17下载
    积分:1
  • 696519资源总数
  • 104214会员总数
  • 11今日下载