动态贝叶斯网络推理学习理论及应用；
动态系统；
可靠性评估；
毛病诊断；
贝叶斯网络建模；
DBN
动态系统；
可靠性评估；
毛病诊断；
贝叶斯网络建模；
DBN
2023/3/10 17:55:07
29.68MB
1
视觉互动网络GoogleDeepmind的VisualInteractionNetworks的Tensorflow实现。
在Tensorflowr1.2上实现。
“关系推理的另一个关键部分涉及到预测物理场景中的未来。
人们一眼就能推断出物体在哪里，而且还能推断出在接下来的几秒钟，几分钟甚至更长的时间内物体会发生什么。
例如，如果您将足球踢到墙壁上，您的大脑会预测当球撞击墙壁时会发生什么，以及随后的运动会遭到怎样的影响（球会以与踢球成正比的速度跳动，并且-在大多数情况下，-墙壁将保留在原位）。
”摘自Deepmind的一篇文章N对象重力模拟要更改配置值，请检查常量脚本。
catconstracts.py为了生成图像和数据，pythonphysical_engines.py用于建模视觉交互网络pythongravity_vin.py数据数据是从我自己
在Tensorflowr1.2上实现。
“关系推理的另一个关键部分涉及到预测物理场景中的未来。
人们一眼就能推断出物体在哪里，而且还能推断出在接下来的几秒钟，几分钟甚至更长的时间内物体会发生什么。
例如，如果您将足球踢到墙壁上，您的大脑会预测当球撞击墙壁时会发生什么，以及随后的运动会遭到怎样的影响（球会以与踢球成正比的速度跳动，并且-在大多数情况下，-墙壁将保留在原位）。
”摘自Deepmind的一篇文章N对象重力模拟要更改配置值，请检查常量脚本。
catconstracts.py为了生成图像和数据，pythonphysical_engines.py用于建模视觉交互网络pythongravity_vin.py数据数据是从我自己
2023/3/10 2:18:10
220KB
1
是一个TypeScript/JavaScript库，用于使用actor系统模型来构建软件。
您可以访问主页以获取更多信息和更完整的快速入门指南：:参与者很容易推理：参与者是应用程序的状态和逻辑单元。
它们是事务性的，因此在发生错误的情况下您无需处理状态回滚。
Actor提高了功能：默认情况下，异步，每个Actor的实际通信都是非阻塞的，因此慢的actor不会阻塞快速的actor。
角色是可扩展的：由于角色是建立在对象之上的，因此可以继承，组合和注入角色类。
产品特点Tarant实现了丰富的功能集，使其适合构建复杂的应用程序。
演员是可靠的，因为他们是交易性的。
您无需为错误
您可以访问主页以获取更多信息和更完整的快速入门指南：:参与者很容易推理：参与者是应用程序的状态和逻辑单元。
它们是事务性的，因此在发生错误的情况下您无需处理状态回滚。
Actor提高了功能：默认情况下，异步，每个Actor的实际通信都是非阻塞的，因此慢的actor不会阻塞快速的actor。
角色是可扩展的：由于角色是建立在对象之上的，因此可以继承，组合和注入角色类。
产品特点Tarant实现了丰富的功能集，使其适合构建复杂的应用程序。
演员是可靠的，因为他们是交易性的。
您无需为错误
2023/3/9 8:17:20
219KB
1
智能小车自动寻迹过程中，方向控制与速度控制都存在高度非线性的问题。
采用模糊PID控制算法，实现了对方向和速度的优化控制，即采用模糊PD算法对智能小车方向进行控制，采用模糊PID算法对速度进行控制。
该方案运用于智能车控制系统，克服了传统PID控制的不足，通过模糊规则进行推理决策，实现了PID参数的实时优化
采用模糊PID控制算法，实现了对方向和速度的优化控制，即采用模糊PD算法对智能小车方向进行控制，采用模糊PID算法对速度进行控制。
该方案运用于智能车控制系统，克服了传统PID控制的不足，通过模糊规则进行推理决策，实现了PID参数的实时优化
2023/2/16 5:30:30
145KB
1
基于视觉的智能车模糊PID控制算法，基于freescale公司的16位HCS12单片机设计一种智能车零碎。
零碎摄像头采集路径信息，通过单片机的模糊推理机在线整定PID参数，使小车能按照任意给定的黑色引导线平稳地寻迹。
零碎摄像头采集路径信息，通过单片机的模糊推理机在线整定PID参数，使小车能按照任意给定的黑色引导线平稳地寻迹。
2023/2/8 1:43:36
167KB
1
人工智能命题逻辑中的归结推理系统设计与实理想验，实现标准输入文件读入子句集，可视化显示归结树附源代码与实验报告，仅供参考
2023/1/29 14:10:21
251KB
1
IKOSIKOS（开放静态分析器的推理内核）是基于抽象解释理论的C/C++静态分析器。
引见IKOS最初是一个C++库，旨在促进基于的声音静态分析器的开发。
对于一个应用程序或一系列应用程序，静态分析仪的专业化对于实现精度和可扩展性都至关重要。
开发这样的分析器是艰巨的，并且需要在抽象解释方面的大量专业知识。
IKOS提供了最先进的抽象解释数据结构和算法的通用且有效的实现，例如控制流图，定点迭代器，数字抽象域等。
IKOS独立于特定的编程语言。
IKOS还提供了基于的C和C++静态分析器。
它实现了可伸缩的分析，以检测和证明C和C++程序中没有运行时错误。
执照IKOS已根据NASA开源协议1.3版发布，请参阅接触发行说明见故障排除请参阅安装依存关系要构建和运行分析器，您将需要以下依赖项：支持C++14的C++编译器（gcc＞=4.9.2
引见IKOS最初是一个C++库，旨在促进基于的声音静态分析器的开发。
对于一个应用程序或一系列应用程序，静态分析仪的专业化对于实现精度和可扩展性都至关重要。
开发这样的分析器是艰巨的，并且需要在抽象解释方面的大量专业知识。
IKOS提供了最先进的抽象解释数据结构和算法的通用且有效的实现，例如控制流图，定点迭代器，数字抽象域等。
IKOS独立于特定的编程语言。
IKOS还提供了基于的C和C++静态分析器。
它实现了可伸缩的分析，以检测和证明C和C++程序中没有运行时错误。
执照IKOS已根据NASA开源协议1.3版发布，请参阅接触发行说明见故障排除请参阅安装依存关系要构建和运行分析器，您将需要以下依赖项：支持C++14的C++编译器（gcc＞=4.9.2
2023/1/27 2:49:52
2.34MB
1
引见Petri网的知识表示方法以及案例推理机制的相关内容,提出了一种基于Petri网的案例推理模型,给出了相应的案例检索匹配算法,并将该模型和检索算法应用到网络攻防态势推演系统中,最后重点引见了该系统的案例库的知识表示。
2019/10/9 8:31:42
436KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB