lambda 演算 Lambda 演算 note collapse: open title: Note 理解lambda演算重点在于在函数空间建立运算系统，使用函数空间思路理解计算 作为一名有追求的程序员，对于 计算机基础 的理论一定要有所了解。最近几年，随着分布式、云计算等技术的发展，函数式编程语言也趋于流行。如果要学习函数式编程，一定要深入理解它背后的理
2022年6月6日
- info
- control
- ftc
- 容差控制
- default
- h-infinity
- lqr
- def
- db
- 系统响应
- 阻抗控制
- 导纳控制
- laplace-transform
- note
- 李雅普诺夫稳定性
- Lyapunov
- state-feedback
- 状态反馈
- 一阶系统
- 二阶系统
- 前庭眼反射
- 鸟类
- 云台
- 稳定器
- paper
- unread
- geometry-control
- 几何控制
- Control systems
- Counting circuits
- Gravity
- Payloads
- Position measurement
- Radio frequency
- Research and development
- Satellites
- Sockets
- Testing
- Change-detection-algorithms
- Control-systems
- Motion-control
- Nonlinear-systems
- Optimal-control
- Signal-generators
- Sliding-mode-control
- Uncertain-systems
- Uncertainty
- Velocity-control
- dynamic-model
- Stewart-platform
- Attitude control
- Manipulators
- Mobile robots
- Orbital robotics
- Remotely operated vehicles
- Space shuttles
- Space technology
- Space vehicles
- Underwater vehicles
- Cable-actuated-systems
- Closed-loop-systems
- dynamics
- Modeling
- motion-control
- parallel-robots
- Parallel-robots
- passivity-based-control
- Winches
- mu--tip-rate
- Aerodynamics
- cable-actuated-systems
- Equations
- Kinetic-energy
- lumped-mass-model
- Mathematical-model
- parallel-manipulators
- PD-control
- proportional-integral-derivative-(PID)-control
- μ-tip-rate
- 有限元
- 理论
- 专业书籍
- 其他
- 大学教材
- 教材
- Resistance
- Servomotors
- Soil
- Suspensions
- Wheels
- 菜
- Adaptive-control
- Higher-order-sliding-modes
- Sliding-modes
- ASMC
- todo
- Space Sciences (General)
- Free floating
- Gimbal
- Gravity compensation
- Ground verification
- Micro-gravity
- Chattering
- chattering-supppression
- Hysteresis
- Sliding-mode
- Math
- 矩阵
- barrier-Lyapunov-function
- Control-design
- finite-time-stability
- Lyapunov-methods
- output-constraint
- Second-order-sliding-mode
- Stability-analysis
- Trajectory
- 力矩平衡
- air-bearing
- 2010-t
- 并联机构
- 索并联机构
- Adaptive-sliding-mode
- Euler–Lagrange-systems
- Switching-gain
- Guidance
- navigation and control
- Hardware-in-the-loop verification
- Small spacecraft
- 恒力悬浮低重力环境模拟
- 线性代数
- constant-force
- gravity compensation
- landing simulation
- Mars lander
- 恒拉力
- 火星着陆器
- 触地模拟
- 重力卸载
- chattering
- Convergence
- Filtering
- Noise
- order-of-sliding-mode
- relative-degree
- sliding-mode
- stability
- Switches
- 中国
- math
- 物理
- 自然科学
- Aerospace electronics
- Antenna accessories
- constant tension suspension
- position optimal sliding mode
- space antenna
- Tracking
- two-dimensional pointing mechanism
- zero gravity tracking system
- Dahl-resonance
- Friction
- Generalized-Maxwell-Slip-model
- Pre-sliding-regime
- Flexible-cable-systems
- Galerkin's-method
- Hamilton's-principle
- Lyapunov-controller
- Multibody-system-dynamics
- Simulation
- Varying-length
- constant tension
- control strategy
- low gravity simulation
- lunar rover
- parameter uncertainty
- robust controller
- 低重力模拟系统
- 参数不确定
- 恒张力
- 控制策略
- 月球巡视车
- 鲁棒控制
- H∞ controller
- H∞控制
- low gravity
- robust control
- time delay
- torque motor
- 低重力
- 力矩电机
- 延时
- 力学
- 分析力学
- 变分
- rpy
- euler
- 并联机器人
- 四元数
- 旋转矩阵
- mat
- derivate
- 坐标变换
- dof
- 机构
- Jacobi
- 角速度
- mpc
- 现代控制理论
- State-space
- 状态空间
- 线性
- 可控性
- 可观性
- 经典控制理论
- 反馈控制
- feedback
- 稳定性
- 根轨迹
- 超前补偿器
- 滞后补偿器
- Nyquist
- convex-optimization
- dual
- lagrange
- 公理系统
- logic
- set-theory
- Topology
- manifold
- bundle
- 微分流形
- tensor
- 切空间
- hardy-space
- complex-space
- Condition
- 三角函数
- trick
- 叉积
- 反对称矩阵
- 特征值
- 泛函
- 有限元 FEM
- friction-model
- model
- tool
- matlab
- robot
- parallel-stewart-platform
- 正解
- 运动学
- 逆解
- Jacobian
- adams
- adams simulink
- adobe
- illustrator
- hexo
- blog
- design
- DDD
- code
- theory
- Domain-Driven
- pattern
- miniconda
- conda
- python
- pip
- docker
- CSharp
- regex
- 异步
- dotnet
- dll
- vscode
- git
- 修改仓库
- 代码回滚
- 换行符
- encoding
- gitignore
- vpn
- jupyter
- class
- mesh
- grid
- ndgrid
- pagetimes
- 函数
- 句柄
- params
- 图片
- 绘图
- path
- figure
- 美化
- sparse
- plot
- pi
- 元编程
- function
- evalin
- workspace
- simulink
- s_function
- sfunction
- system
- 状态机
- stateflow
- source
- mma
- ode
- Beckhoff
- scope
- 数据处理
- 采样时间
- symmetric
- install
- 符号计算
- 3D
- 拉格朗日
- 摩擦力
- dataview
- obsidian
- config
- figma
- 简历
- lambda
- markdown
- equation
- typora
- nvidia
- bug
- pdf
- 目录
- search
- research
- manual
- lib
- 实验室仪器
- app
- 投标
- 工程
- thu
- ipv6
- network
- 爬虫
- 激光跟踪仪
- Laser
- imgur
- matplotlib
- template
- windows
- ml
- cuda
- cudnn
- scoop
- cmd
- Solidworks
- tex
- elegant
- excel
- table
- image
- 字体
- beamer
- word
- office
- shell
- grep
- wsl
- linux
- zotero
- freertos
- stm32
- 系统辨识
- intro
- 线性时不变系统
- nonlinear-control
- 滑模控制
- 高阶滑模控制
- excalidraw
- 微分方程
- 线性代数应该这样学
- linearAlgebra
- abstractAlgebra
- book
- 奇异值分解
- cdpr
- powershell
- sensors