-
一致性算法验证
分布性一致性算法的Isabella验证 we introduce a novel Broadcast-Free Algorithm that solves Consensusproblem in the presence of a Weak-Fairness property and an unreliablefailure detector -property, in asynchronous distributed systems, and later itsformal verication. The Broadcast-Free Algorithm Model is dened as a globaltransition system that is unambigously generated by local transition rules. At thesystem run, the algorithm model attempts involves two concepts : one to systemrun represents a innite computation and one to asynchronous communicationbetween processes without Broadcast.
- 2022-01-25 17:35:22下载
- 积分:1
-
matlab分类回归等相关程序
基于多元线性回归、偏最小二乘、神经网络、卡尔漫滤波、径向基网络、主成分分析等等的程序
- 2022-10-03 15:30:04下载
- 积分:1
-
用matlab开发的系统辩识原代码。利用最小二乘法实现辩识.
用matlab开发的系统辩识原代码。利用最小二乘法实现辩识.-Using matlab developed the original system identification code. Realize the use of least squares identification.
- 2022-08-18 23:54:54下载
- 积分:1
-
PID算法
PID算法,名字没用PID,电机PID算法。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。
- 2023-05-06 15:15:02下载
- 积分:1
-
层次分析法C语言版
层次分析法C语言版-AHP C language version
- 2022-04-06 21:24:43下载
- 积分:1
-
常用算法的C程序。主要内容包括多项式的计算、复数运算、随机数的产生、矩阵运算、矩阵特征值与特征向量的计算、线性代数方程组的求解、非线性方程与方程组的求解、插值与
常用算法的C程序。主要内容包括多项式的计算、复数运算、随机数的产生、矩阵运算、矩阵特征值与特征向量的计算、线性代数方程组的求解、非线性方程与方程组的求解、插值与逼近、数值积分、常微分方程组的求解、数据处理、极值问题的求解、数学变换与滤波、特殊函数的计算、排序和查找。-Commonly used algorithm of C procedures. Include polynomial terms, complex computation, random number generation, matrix operations, matrix eigenvalue and eigenvector calculations, linear algebra equations, nonlinear equations with the equations, interpolation and approximation, numerical integration, solving ordinary differential equations, data processing, for solving extremum problems, mathematical transformation and filtering, the calculation of special functions, sorting and search.
- 2022-03-12 05:56:16下载
- 积分:1
-
Mathematical Modeling of experiences, the preparation team and have team members...
数学建模的经验之谈,对准备参赛及已经参赛的队员有一定的指导意义。对参加工作的科研人员也有一定借鉴作用。-Mathematical Modeling of experiences, the preparation team and have team members have a certain significance. For participating in the work of researchers also have some reference.
- 2022-12-17 13:20:03下载
- 积分:1
-
与干扰
With the interference-to-noise ratio reduced to 30 dB, plot the adaptive antenna pattern after 200 iterations of the LMS algorithm-With the interference-to-noise ratio of red uced to 30 dB. plot the adaptive antenna pattern after 200 ite rations of the LMS algorithm
- 2023-03-06 19:50:03下载
- 积分:1
-
单片机分拣搬运机器人代码
巡线系统是让小车按照事先写好的程序让小车沿固定的轨道进行行走(由2个车轮,6个tk-20黑白灰度传感器来实现),当巡线系统上的红外线传感器发现前方的物体时,让巡线系统进入一个中断状态,从而开始机械臂系统的运行,大步进电机下降,电磁铁通电,大步进电机上升过程中,颜色辨别传感器进行识别,然后会指挥小步进电机转固定的角度,放到固定的车身上,然后让大小步进电机还原。然后巡线程序继续执行,依次在与机械臂系统进行联系。如若放到固定位置主要是巡线系统精确停止与机械臂系统精确放置。
- 2022-03-22 21:18:09下载
- 积分:1
-
用FDTD算法解决电磁场问题,c语言
用FDTD算法解决电磁场问题,c语言-using FDTD method for solving electromagnetic problems, c language
- 2022-04-29 06:25:09下载
- 积分:1