センサの入力などに使うディジタルフィルタ | なんでも独り言
温度センサや加速度センサなどの出力値はアナログ値であろうとデジタル値であろうとブレブレであることがほとんどです。 そのままでは使えないので必要な信号成分を取り出さないといけません。 アナログ出力のセンサの場合はフィルタ回路を組んでやってもいいですが、柔軟な対応ができなかったりします。 そこでソフトでフィルタを作ってやるとスマートにノイズの除去が可能になります。 センサ入力などにフィルタを使う場合、ノイズ除去がほとんどですのでそれによく用いられるローパスフィルタ（LPF）を紹介します。 前説 2Hzの正弦波に適当な雑音（白色雑音ではありません）を加えた信号を入力します。 それをArduinoとProcessingで作った簡易的なオシロスコープで入力と出力がどうなるかを見てみます。 Arduinoだとディジタルフィルタ出力の離散的な信号が連続信号に見えて非常に便利です。 最初にアナログローパス
4値の論理のベキ集合モデル - 檜山正幸のキマイラ飼育記 (はてなBlog)
昨日話題にした4値の論理ですけど、短絡評価をしないことにして論理AND（∧）の真偽表を書いてみると： ∧ true false indef ⊥ true true false indef ⊥ false false false false ⊥ indef indef false indef ⊥ ⊥ ⊥ ⊥ ⊥ ⊥ この演算に、別な解釈を与えてみます。 一般に、集合A上に二項演算 ○:A×A→A があるとき、この二項演算を、Aのベキ集合 Pow(A) 上に持ち上げることができます。Pow(A)×Pow(A)→Pow（A）の演算 ◎ を次のように定義します。 X⊆A、Y⊆A に対して、X◎Y = {x○y | x∈X, y∈Y} 新しく定義した演算◎も、もとの演算と同じ記号○を使ってしまうことが多いですね（記号の乱用）。つまり、X○Y = {x○y | x∈X, y∈Y} 。典型的な例は、文字
3値または4値の論理の使いどころ - 檜山正幸のキマイラ飼育記 (はてなBlog)
論理に出てくる述語（predicate）をコンピュータの文脈で考えると、適当なデータ領域Dの上で定義され、真偽値（trueまたはfalse）を戻り値とする関数になります。述語を数学的な関数と捉えるなら、その論理計算は古典論理と同じようにできます。しかし、コンピュータによる計算だと、なかなか古典論理と同じにはいきません。 部分的にしか定義されない述語の計算 コンピュータのなかの関数はプログラムにより定義されます。プログラムにより定義された関数の宿命として、無限走行したり例外が発生したりで結果が得られないことがあります。つまり、述語の関数 D→{true, false} は部分関数となります。 部分（かもしれない）関数 f:D→{true, false} があるとき、未定義な部分では f(x) = ⊥ と考えます。⊥ は架空の値でボトムと呼ばれます。「f(x) = ⊥」という言明は、xのところ
この機会にマスターしようぜ、正規表現、構文図、オートマトン - 檜山正幸のキマイラ飼育記 (はてなBlog)
正規表現と構文図について解説します。オートマトンについても詳しく述べます。オートマトン・スゴロクで遊びましょう！ 世間でよく知られている／使われている概念・方法にはこだわらず、僕（檜山）の感覚で一番わかりやすいと思われる筋書きと用語法／図式法を使って説明します。この記事に目を通して“感じ”が掴めたら、形式言語理論の教科書を読み始めることが出来るでしょう。 [追記]この記事の内容に対する具体例は、「正規表現とオートマトン：なんだ簡単じゃん、JavaScriptによる実装」にあります。[/追記] 内容： 正規表現 正規表現の例 構文図 基本記号 連接 選択 省略可能 繰り返し ストレートワイヤーによるレイアウト調整 有限状態オートマトン 有限状態オートマトンの実行 バックトラックと先読み スゴロクとオートマトン コマをたくさん使うスゴロクと並列処理 非決定性オートマトンと決定性オートマトン 正
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
