KiJeong-Lim

#include <cmath>
#define CAN_ID 0x01
#include "mbed.h"
#include "math_ops.h"
 
Serial       pc(PA_2, PA_3);
CAN          can(PB_8, PB_9);      // CAN Rx pin name, CAN Tx pin name
CANMessage   rxMsg;
CANMessage   txMsg1;
CANMessage   txMsg2;

KiJeong-Lim

#include "scratch.h"

int delta(const char *const msg)
{
    char lhs[32] = {};
    float rhs = 0.0;

    printf("\n[ECHO] %s\n", msg);
    sscanf(msg, "%[a-zA-Z0-9] = %f", lhs, &rhs);
    printf("lhs: %s, rhs: %f", lhs, rhs);

KiJeong-Lim

theta1: -0.004768, omega1: -1.747253
theta2: 0.000000, omega2: 0.000000
theta3: 0.002861, omega3: -0.824177

theta1: -0.023460, omega1: -1.461540
theta2: 0.000000, omega2: 0.000000
theta3: -0.027657, omega3: -2.846153

theta1: -0.040246, omega1: -1.087914
theta2: 0.000000, omega2: 0.000000

KiJeong-Lim

theta1: -0.011635, omega1: -1.439560
theta2: 0.000000, omega2: 0.000000
theta3: -0.010872, omega3: -3.351650

theta1: -0.030708, omega1: -1.373627
theta2: 0.000000, omega2: 0.000000
theta3: -0.058557, omega3: -1.395603

theta1: -0.048257, omega1: -0.934067
theta2: 0.000000, omega2: 0.000000

KiJeong-Lim

#include <cstdio>

#define P_MIN   (-12.5f)
#define P_MAX   (12.5f)
#define V_MIN   (-45.0f)
#define V_MAX   (45.0f)
#define KP_MIN  (0.0f)
#define KP_MAX  (500.0f)
#define KD_MIN  (0.0f)
#define KD_MAX  (5.0f)

KiJeong-Lim

## 공학적 분석 2023-05-06 18:30

모터의 중심을 xy평면의 원점에 놓고,
모터의 각속도가 ω라고 하자.
커넥팅 로드와 모터의 연결점으로부터
모터의 중심까지의 거리를 r이라고 하자.
그러면 모터와 커넥팅로드의 연결점의
좌표는 (r cos(ωt), r sin(ωt))이다.
커넥팅 로드의 길이가 ℓ일 때(단, ℓ > r),
커넥팅로드와 마사지건 헤드의 연결점이

KiJeong-Lim

(* plf/Equiv.v *)

Lemma aeval_weakening : forall x st a ni,
  var_not_used_in_aexp x a ->
  aeval (x !-> ni ; st) a = aeval st a.
Proof.
  intros. induction H; simpl; try congruence.
  eapply t_update_neq; eauto.
Qed.

KiJeong-Lim

module Aladdin.Front.Analyzer.Lexer where

import Aladdin.Front.Analyzer.Grammar
import Aladdin.Front.Header
import qualified Control.Monad.Trans.State.Strict as XState
import qualified Data.Functor.Identity as XIdentity
import qualified Data.Map.Strict as XMap
import qualified Data.Set as XSet

1

KiJeong-Lim

#001. Problem 8.13-6
===================================================================
Given:
  - theta_{a} = 0 deg, theta_{b} = 60 deg, and theta_{c} = 120 deg.
  - epsilon_a = -150 mu,
    epsilon_b =  500 mu, and
    epsilon_c =  600 mu;
    where mu = 10^{-6}.
------------------------------------------------------------------------------------------------------------------------------
epsilon(theta_{a}) = epsilon_{x}×(cos(theta_{a}))² + gamma_{x y}×sin(theta_{a})×cos(theta_{a}) + epsilon_{y}×(sin(theta_{a}))²

KiJeong-Lim

\hshead {
    module Aladdin.Front.Analyzer.Lexer where

    import Aladdin.Front.Analyzer.Grammar
    import Aladdin.Front.Header
}

\target {
    token-type: "Token"
    lexer-name: "runAladdinLexer"