-
petri网络的演示程序,本程序是计算机网络课程中涉及到的petri网络的演示,输入预先的转换规则,搜索可以击发的状态,设定次数进行状态转换...
petri网络的演示程序,本程序是计算机网络课程中涉及到的petri网络的演示,输入预先的转换规则,搜索可以击发的状态,设定次数进行状态转换-Petri Network Demonstration Program, the process is computer network courses related to the petri network demonstration, the importation of pre-conversion rules can search the state while working on the creation of a state for the number change
- 2022-07-10 13:21:03下载
- 积分:1
-
Propositional logic in the inference rule can be used to prove that a propositio...
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理,但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论,这些还有赖于人的经验技巧和才能。1960年王浩提出的算法,可以完全脱离人的经验和技巧,机械地构造每一步推导,证明一个命题逻辑定理的成立。
-Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization. Because the rules did not specify what steps in the derivation of what should be the introduction of the premise or intermediate conclusions, which also depends on the person s experience of the skills and talent. Wang Hao in 1960 proposed algorithm can be completely divorced from the person s experience and skills, a mechanical structure is derived for each step to prove that a propositional logic theorem establishment.
- 2022-03-07 22:04:02下载
- 积分:1
-
普通的pid控制数字化,可以使用效果好
普通的pid控制数字化,可以使用效果好-ordinary pid control digital, you can use good results
- 2022-10-26 06:50:03下载
- 积分:1
-
交流 模糊控制
交流 模糊控制
交流 模糊控制
交流 模糊控制-Exchange of the exchange of fuzzy control fuzzy control
- 2023-07-17 06:05:04下载
- 积分:1
-
这是一个笔者撰写改进了别人的隐马尔可夫模型算法的程序。...
这是一个笔者撰写改进了别人的隐马尔可夫模型算法的程序。-This is a writer writing improvement of the people"s hidden Markov model algorithm procedures.
- 2022-09-28 09:30:03下载
- 积分:1
-
面试老鼠和猫连动问题的集中解决方案
可以建议应付面试问题...
面试老鼠和猫连动问题的集中解决方案
可以建议应付面试问题-interview rats and cats even move the concentrated solution can meet the proposed interview questions
- 2022-02-22 09:57:49下载
- 积分:1
-
本程序能实现专家PID控制。专家控制的实质是基于受控对象和控制规律的各种知识,并以智能的方式利用这些知识来设计控制器。...
本程序能实现专家PID控制。专家控制的实质是基于受控对象和控制规律的各种知识,并以智能的方式利用这些知识来设计控制器。-the procedures to achieve expert PID control. Experts control of the controlled substance is based on the object and control the various law knowledge, and the intelligent use of this knowledge to design controller.
- 2022-03-17 01:06:20下载
- 积分:1
-
用Canny算子检测图像的边缘 P0404:图像的阈值分割 P0405:用水线阈值法分割图像 P0406:对矩阵进行四叉树分解 P0407:将图像分为文字和非文...
用Canny算子检测图像的边缘 P0404:图像的阈值分割 P0405:用水线阈值法分割图像 P0406:对矩阵进行四叉树分解 P0407:将图像分为文字和非文字的两个类别 P0408:形态学梯度检测二值图像的边缘 P0409:形态学实例――从PCB图像中删除所有电流线,仅保留芯片对象-with Canny operator to detect the edges in the image P0404 : image thresholding segmentation P0405 : water line threshold method image segmentation P0406 : matrix Quadtree P0407 : images into text and non-text of the two categories P0408 : morphological gradient detection Binary Image Edge P0409 : morphology example-- Images from the PCB to delete all current lines, retaining only chip targets
- 2022-05-23 19:13:26下载
- 积分:1
-
在各种数据源的分析中,收集数据非常重要,本算法提供了一种理论上可以保证性能的聚类算法并提供的相关证明。...
在各种数据源的分析中,收集数据非常重要,本算法提供了一种理论上可以保证性能的聚类算法并提供的相关证明。-Now kneel bowl beat Gou Tai Xu Pleiades cavity中, receive Moreton basin quasi-grind are linked to reset lynx ,算Yang Gou feed leftover braise instance, you can upset Article Sinopodisma殿cavity Abduction Chu Chun Kui Yang算sweet feed cavity gaze intently Shouson殿Longde 。
- 2023-06-24 22:50:04下载
- 积分:1
-
EBP反向传播算法对应的源程序,三层网络,分隐层神经元,输出层神经元,输入层神经元的一个基本的程序实现
EBP反向传播算法对应的源程序,三层网络,分隐层神经元,输出层神经元,输入层神经元的一个基本的程序实现-EBP back-propagation algorithm the corresponding source code, the three-tier networks, sub-hidden layer neurons, output layer neurons, input layer neurons realize a basic procedure
- 2022-03-22 10:27:30下载
- 积分:1