広義の信号処理問題への形式検証法の適用

形式验证方法在广泛的信号处理问题中的应用

• 批准号: 10F00046
• 负责人: 原田 耕一
• 金额: $ 1.22万
• 依托单位: Hiroshima University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010 至 2011
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10F00046/
• 关键词: マルチスレッド; 形式検証法; 画像圧縮法; 動作解析; デッドロック; スレッド間通信; PSNR; ウェーブレット; ウェーブレット変換; SPIN; Sobelフィルタ; 並行的手法

画像処理は内包するデータ量が膨大であり、並行処理によって処理を高速化することが不可欠である。この観点から本研究では、マルチスレッドのウェーブレットを応用したアルゴリズムにおいて、マルチスレッドの動作が確実である(連携処理によるタイミングのずれや誤動作を生じない)ことを確認することに重点を起き、このためのアルゴリズムの検証方式について広範な研究を行なってきた。具体的には、尖頭S/N比(PSNR)に関して優れた画像圧縮法を新たに提案し、この圧縮法において、スレッド間でデータ交換を行う際に必要なメッセージ列(MSC)について詳しく調べた。また、MSCが正しい(スレッド間のデータ交換に誤りがない)ことを文法構造を導入することにより確認できる方法を考案した。スレッド間通信全体は文書ファイルとして表現し、これをマルチスレッドシステム交信解析システムへの入力とした。解析システムの構築はメッセージ交換におけるデッドロックの検出を考慮しなければならない。そこで、オペレーティングシステムにおけるデッドロック検出に関する知見を利用し、デッドロックはメッセージ交換における送受のタイミングにおいて生じるというところに留意してデッドロック検出手法を設計した。次にデッドロックが生じてしまった場合、この状態をいかに解消するか、システムにおける他の異常状態は存在するか、また、システムが安定に動作する場合に満たすべき条件が失われた場合の振る舞い(画像の列ベクトルについての水平伝送が完了するまでにいかなる垂直伝送も開始されていない)について解析を進めた。本研究の成果は、画像圧縮ソフトウェアのための動作検証に貢献するのみならず、さらに大規模なソフトウェアであるオペレーティングシステムの設計においても示唆を与えるものである。

The portrait contains information about the expansion and expansion of the portrait and the high-speed processing of the portrait. In the course of this study, we need to make sure that we are aware of the key points of the study. I don't know how to do the research in this way. The details of the new method are as follows: (PSNR)

项目成果

Study on digitization of TCM diagnosis applied extraction method of blood vessel

应用血管提取方法的中医诊断数字化研究

• 发表时间: 2011
• 期刊: Jour. Signaland Inf. Proc
• 作者: Chi Zhu;Masashi Oda;Haoyong Yu;Hideomi Watanabe;ling Ya;新妻弘崇;御手洗紘子,吉高淳夫;Koichi Harada
• 通讯作者: Koichi Harada