arduinoで並列処理(ノンプリエンプティブ)
概要 Arduino Unoに使用されているAVRはシングルスレッドのため、x86 CPUのようなマルチスレッド処理はできませんが、代わりにプロトスレッド処理を組み込むライブラリがあります。 h...
13
10
Comment1
18 search resultsShowing 1~18 results
Stocked
You need to log-in
点が三角形と四面体の中にあるか調べる方法
はじめに 点群の処理など行う場合に、この判定を行いたいときがあります。以下のように外積を使用する方法が一般に知られているようです。 https://blog.goo.ne.jp/field_li...
13
11
Comment5
DTSpinインストール方法
環境 Ubuntu 20.04 概要 モデル検査ツールのSpinはその構造上、時間の概念を扱うのに難があります。これに時間変数を導入したのがDTSpinです。今後利用方法について記事書く予定です...
1
0
Comment0
電気ショック付きシャッターの論理構造をSPINで検査してみた
環境 Ubuntu20.04 Spin 6.5.1 背景 さて、店舗セキュリティ事業会社のシステム設計担当である貴方は以下のような、遠隔キーからの指令でシャッターの制御、表口と裏口の施錠を行える...
1
0
Comment0
SPIN モデル検査 6.1章
概要 以下の教科書にて、ソースコードが提供されていませんでしたので、自分なりに作成したコードを置いておきます。特に、ユーザ挙動コードについては全く示されていませんでしたので、5章などを見ながら自...
1
0
Comment0
消息を断った潜水艦をベイズ推定で見つける
背景 1968年にアメリカ海軍の潜水艦スコーピオン号が消息を経ちました。この時の捜索に使われたのがベイズ推定を用いたベイズ捜索(Bayesian Search)です。飛行機やそのブラックボックス...
63
64
Comment0
スタンドアローン状態のUbuntuにネットワークドライバをインストールする方法
背景 Among usっていうゲームやりたくてUbuntuのProtonの設定をいじってました。 GPUのドライバがインストールできてなかったことに気づきました。 適当な以下のコマンド打ってみま...
21
10
Comment0
vscodeでopencvやmatplotlibが表示されない。エラーも出てない。
環境 Ubuntu20.04 Python 3.9 vscode 1.52.1 anaconda 4.8.3 経緯 以下のようなopencvのコードをvscode上で実行させたのですが、、、 i...
3
5
Comment0
Simulinkでオフディレイ(OFF-delay)
概要 オンディレイの記事 の続きです。 R2020bでは以下で実装されてますが、追加で金が掛かりそうです。 https://jp.mathworks.com/help/physmod/sps/p...
3
0
Comment0
Simulinkでオンディレイ(ON-delay)
概要 シーケンス回路ではWeb資料が充実しているオンディレイが、意外にもSimulinkには実装されていないようでしたので、作ってみました。 オンディレイとは、入力ONの一定時間後に出力がONす...
7
4
Comment0
vscode上wxPython(及びtraitsui)にてDISPLAYエラー
環境 Ubuntu18.04 wxPython 4.0.4 Python 3.7 経緯 traitsuiのHello worldが動かなかったので、そもそもtoolkitとして使用しているwxP...
1
1
Comment0
xdotoolで自動ページ送り（左矢印繰り返し）
概要 ハンズフリーに書籍を読むためのコマンドを見出したので置いときますね。 環境 Ubuntu 18.04 コマンド 左矢印キーを100回、20秒感覚で打つコマンドです。 xdotool key...
1
0
Comment0
KaggleのElectric Motor Temperatureの訳
以下のデータセットタスクを解くための個人的メモです。 https://www.kaggle.com/wkirgsn/electric-motor-temperature Context訳 このデ...
1
2
Comment0
仮想CAN通信でHello, world!
概要 車載組み込み用途に利用されるCAN通信をPC内にてシミュレーションしてみます。 CANについては以下記事に詳細が書かれています。 https://qiita.com/fattolys/it...
6
9
Comment0
pythonで無限にローディングするページを作る
完成形 延々とHTMLを出力し続けローディングが終わらないページを作成します。 なぜこんなものを作ったか？ 同様なページをスクレイピングしたかったので、そのテスト用に。 スクレイピング方法はこの...
3
2
Comment0
pythonで無限ローディングするページのソースを取得する。
概要 この記事で、無限ローディングするページを作成しました。このようなページではよくやる使い方のcurlやrequestsではソース取得できませんので少々特殊なことをする必要があります。 今回は...
1
2
Comment0
PythonでFXの1分足データを5分足に変換
概要 前回は、このサイトのFXデータをPythonでローソク足表示させてみました。データは1分足のものを使っていましたが、任意の分足に変換したいことがあったので、その実装コードを残しておきます。...
8
11
Comment0
PythonでFX(forex)データのローソク足(candle stick)表示
概要 このサイトにあるFXのデータを、ローソク足表示させます。 環境 Python 3.6 on Anaconda Jupiter notebook とりあえず株価データを表示するサンプルを動か...
2
3
Comment0
18 search resultsShowing 1~18 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles