タグ「画像処理」の記事
「画像処理」タグが付いた記事の一覧です(4件)。新しい順に掲載しています。
-
ピクセルとミリメートルを型で分ける ── Adaで寸法検査の単位の取り違えを防ぐ
画像の寸法検査で起きるピクセルとミリメートルの取り違えを、Adaの派生型、abstractで消す演算子、総称パッケージ、固定小数点型でコンパイル時に防ぐ方法を、GNATのエラーとともに説明します。
-
Adaの検査ロジックをC#の検査アプリから呼ぶ ── 画像バッファをコピーせずに渡し、境界で守る
WPFの検査アプリはそのままに、合否を決める処理だけをAdaのDLLにする方法を、Cと.NETのコンソールアプリから実際に呼んで説明します。画像をコピーせずに渡し、寸法を確かめ、結果とエラーコードを返す境界の作り方が中心です。
-
画像処理の境界外アクセスをSPARKで証明する ── 2値化・平滑化・ラベリングとCとの速度比較
画像処理のコードが画像の外を読み書きしないことを、SPARKのGNATproveで証明します。2値化、3×3の平滑化、ラベリングを例に、証明の書き方と証明していない範囲、検査を外したときのCとの速度の差を実測でまとめます。
-
GigE Vision・USB3 Visionカメラの取りこぼし ── 原因の切り分けとWindows側の設定
GigE Vision・USB3 Visionカメラで画像を取りこぼす原因を、カメラからアプリまでの経路ごとに切り分けます。統計の読み方、NIC・USB・電源の設定、受信バッファとアプリの処理の作り方をまとめます。