搜索：计步 - 虫虫下载站

人工智能/神经网络  命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理

命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。 ...

https://www.eeworm.com/dl/650/355793.html

下载: 126

查看: 1073

逻辑定理

企业管理  该系统的主要功能是管理员工

该系统的主要功能是管理员工，因此，员工管理系统也以方便、快捷、费用低、绿色环保的优点正慢慢地进入各个行业和领域，将传统的员工管理方式彻底的解脱出来，提高效率，减轻工人人员以往繁忙的工作，加速信息的更新速度，使企业管理层第一时间了解到员工的信息，从而进一步的进行对员工的调配。 ...

https://www.eeworm.com/dl/632/359443.html

下载: 38

查看: 1077

Java编程  Java60是一本英文的Java学习书籍

Java60是一本英文的Java学习书籍，虽然是英文的，但是作者用的都是很常见的单词，只要具备一点英文基础，就能读懂。最重要是，本书的作者，从基础带领读者一步步进入面向对象的编程世界，是java初学者不可多的的经典教材，同时也适合熟练的java程序员。相信不论是谁认真读过本书后都有豁然开朗的感觉。 ...

https://www.eeworm.com/dl/633/417396.html

下载: 200

查看: 1077

Java 60 英文书籍

人工智能/神经网络  利用c++编写的带人工智能的跳棋程序。屏幕的中央是棋盘

利用c++编写的带人工智能的跳棋程序。屏幕的中央是棋盘，所有的操作都是对这个棋盘进行的，棋子的选择框是红色的，移动它（“w”、“s”、“a”、“d”分别代表上、下、左、右）进行选子和选择目的地，利用空格键可以表示选定选择框到达的位置，棋盘左边有提示信息，提示由哪个玩家走棋。“Q”表示退出游戏，“R”表示重新 ...

https://www.eeworm.com/dl/650/422955.html

下载: 164

查看: 1094

编写人工智能中央程序

文章/文档  本文介绍了数字图像处理与模式识别在交通的应用领域及其重要意义

本文介绍了数字图像处理与模式识别在交通的应用领域及其重要意义，详细阐述了利用数字图像处理及模式识别技术的原理和方法，并在此基础上研究了交通检测系统的算法和模型，通过本文的研究，初步探索了数字图像处理与模式识别在交通检测系统中的应用途径和方法，为以后进一步的实现基于数字图像的交通检测系统的打下了基础 ...

https://www.eeworm.com/dl/652/445218.html

下载: 156

查看: 1141

数字图像处理应用领域模式识别

系统设计方案  给出了沉浸式虚拟维修仿真系统的框架

给出了沉浸式虚拟维修仿真系统的框架，从样机建模和交互技术两个方面对其关键技术进行了研究．提出了虚拟维修样机的概念，通过定义样机部件的约束运动和交互特征来实现其所要求功能，而交互技术则主要集中在抓取和防穿越处理上．建立了基于Jack系统的沉浸式虚拟维修仿真原型系统，并以某机构的拆装为例对其进行了初步的 ...

https://www.eeworm.com/dl/678/446929.html

下载: 197

查看: 1091

虚拟维修仿真系统

文章/文档  我们在C++基础课程中已经了解了C++的一些基本概念

我们在C++基础课程中已经了解了C++的一些基本概念，知道了什么是类什么是对象。也了解了继承、封装、多态等C++面向对象的基本特征，本课程主要是更进一步探讨一下C++一些基本模型的应用，加深对概念的理解，由于课程时间有限，C++，模型和内容又如此之多，对任何一个模型都无法深入进去，所以只能泛泛而谈。 ...

https://www.eeworm.com/dl/652/448764.html

下载: 132

查看: 1091

基本概念

通讯编程文档  介绍了如何利用Matlab/ Simulink的RTW (Real-Time Workshp)代码生成上具将Simulink模型自动转换成C/C++代码的方法

介绍了如何利用Matlab/ Simulink的RTW (Real-Time Workshp)代码生成上具将Simulink模型自动转换成C/C++代码的方法，通过这种方式可以利用Simulink方便地建立系统模型，同时也解决了Simlink模型在Matlab/ Simulink环境下速度较慢的问题，大大减少了软件上程师的编程上作量.转换后的C代码能脱离Matlab环境独立运行，这进一步 ...

https://www.eeworm.com/dl/646/486562.html

下载: 139

查看: 1276

Simulink Real-Time Workshp Matlab

单片机编程  从零开始学单片机C语言_01(完整版)

本教材因上传容量限制，共分4个部分。下载请注意完整。本书定位为让初学者从零起步，轻松学会单片机高级编程C语言以及实战技术。书中介绍了8051单片机的主要构成，高级编程语言开发与仿真环境的使用方法，透彻的分析了Cx51的语法结构，并给出了大量实例，书中大多数实例和全部实验都经过了实验板地验证。 ...

https://www.eeworm.com/dl/508450.html

下载: 1

查看: 60

单片机C语言

单片机编程  从零开始学单片机C语言_02(完整版)