研究者詳細 - 査　澳龍

写真a

ザ　オクリュウ

査　澳龍

所属

システム工学部情報学領域

職名

助教

emailアドレス

ホームページ

外部リンク

学歴

2015年

-

2018年

九州大学大学院システム情報科学研究院

学位

博士（情報科学） 2018年

経歴

2025年10月

-

継続中

和歌山大学システム工学部システム工学科助教
2021年04月

-

2024年01月

東京大学先端科学技術研究センター特任助教
2018年11月

-

2021年03月

国立研究開発法人産業技術総合研究所人工知能研究センター特別研究員

所属学協会

2021年04月

-

継続中

ACM
2017年04月

-

継続中

IEEE

研究分野

情報通信 / 計算科学
情報通信 / 数理情報学

研究キーワード

組合せ最適化
GPGPU
充足可能性問題
オペレーションズ・リサーチ

論文

An Optimized GPU Implementation for GIST Descriptor

Xiang Li, Qiong Chang, Aolong Zha, Shijie Chang, Yun Li, Jun Miyazaki

ACM Transactions on Architecture and Code Optimization ( Association for Computing Machinery (ACM) ) 2024年08月

　概要を見る

GIST descriptor is a classic feature descriptor primarily used for scene categorization and recognition tasks. It drives a bank of Gabor filters, which respond to edges and textures at various scales and orientations to capture the spatial structures in an image. Compared to other scene recognition algorithms that rely on detailed object detection, GIST has lower computational complexity, allowing it to be widely applied. However, its internal multi-scale and multi-orientation Gabor filters also mean that systems based on it cannot be executed fast enough. This paper proposed an optimized GPU kernel for the GIST descriptor. It fully takes advantage of the symmetry of Gabor filters and proposes different optimization strategies for both oblique and orthogonal orientations. Extensive experiments demonstrate that the proposed kernel is adaptable to images of various scales and different GPUs. Compared to the cuFFT library, our kernel achieves 12.09x and 3.86x acceleration on an RTX 3080 GPU and a Jetson AGX Xavier GPU, respectively.

DOI
TinyStereo: A Tiny Coarse-to-Fine Framework for Vision-Based Depth Estimation on Embedded GPUs

Qiong Chang, Xin Xu, Aolong Zha, Meng Joo Er, Yongqing Sun, Yun Li

IEEE Transactions on Systems, Man, and Cybernetics: Systems ( Institute of Electrical and Electronics Engineers (IEEE) ) 1 - 13 2024年 [査読有り]

DOI
A Case Study of the Profit-Maximizing Multi-Vehicle Pickup and Delivery Selection Problem for the Road Networks with the Integratable Nodes.

Aolong Zha, Qiong Chang, Naoto Imura, Katsuhiro Nishinari (担当区分：筆頭著者 )

Proceedings of the 23rd International Conference on Computational Science - ICCS 2023 454 - 468 2023年 [査読有り]

DOI
An incremental SAT-based approach for solving the real-time taxi-sharing service problem

Aolong Zha, Qiong Chang, Itsuki Noda (担当区分：筆頭著者 )

Discrete Applied Mathematics ( Elsevier BV ) 335 131 - 145 2022年08月 [査読有り]

DOI
Efficient stereo matching on embedded GPUs with zero-means cross correlation

Qiong Chang, Aolong Zha, Weimin Wang, Xin Liu, Masaki Onishi, Lei Lei, Meng Joo Er, Tsutomu Maruyama (担当区分：責任著者 )

Journal of Systems Architecture ( Elsevier BV ) 123 102366 - 102366 2022年02月 [査読有り]

DOI
Hybrid modeling and predictive control of large-scale crowd movement in road network

Rongxuan Gao, Aolong Zha, Shusuke Shigenaka, Masaki Onishi

Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control ( ACM ) 2021年05月 [査読有り]

DOI
CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem

Aolong Zha, Rongxuan Gao, Qiong Chang, Miyuki Koshimura, Itsuki Noda (担当区分：筆頭著者 )

2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) 285 - 292 2020年11月 [査読有り]

DOI
Z2-ZNCC: ZigZag Scanning based Zero-means Normalized Cross Correlation for Fast and Accurate Stereo Matching on Embedded GPU

Qiong Chang, Aolong Zha, Weimin Wang, Xin Liu, Masaki Onishi, Tsutomu Maruyama (担当区分：責任著者 )

2020 IEEE 38th International Conference on Computer Design (ICCD) ( IEEE ) 2020年10月 [査読有り]

DOI
A GPU accelerator for domain transformation-based stereo matching

Qiong Chang, Aolong Zha, Onishi Masaki, Tsutomu Maruyama

ACM International Conference Proceeding Series ( ACM ) 370 - 376 2019年12月 [査読有り]

DOI
分割決定木を用いた分割関数ゲームの提携構造形成アルゴリズム

査澳龍, 越村三幸, 櫻井祐子, 横尾真 (担当区分：筆頭著者 )

電子情報通信学会論文誌 D J102-D ( 4 ) 313 - 323 2019年04月 [査読有り]
N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT.

Aolong Zha, Miyuki Koshimura, Hiroshi Fujita (担当区分：筆頭著者 )

Constraints An Int. J. ( Springer Science and Business Media LLC ) 24 ( 2 ) 133 - 161 2019年 [査読有り]

DOI
Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation.

Aolong Zha, Kazuki Nomoto, Suguru Ueda, Miyuki Koshimura, Yuko Sakurai, Makoto Yokoo (担当区分：筆頭著者 )

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ( Springer International Publishing ) 10621 LNAI 143 - 159 2017年 [査読有り]

DOI
Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints.

Aolong Zha, Naoki Uemura, Miyuki Koshimura, Hiroshi Fujita (担当区分：筆頭著者 )

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI ( IEEE ) 2017-November 868 - 875 2017年 [査読有り]

DOI
A Hybrid Encoding of Pseudo-Boolean Constraints into CNF.

Aolong Zha, Miyuki Koshimura, Hiroshi Fujita (担当区分：筆頭著者 )

Proceedings - 2017 Conference on Technologies and Applications of Artificial Intelligence, TAAI 2017 ( IEEE ) 9 - 12 2017年 [査読有り]

DOI

▼全件表示

Misc

An Incremental MaxSAT Approach for Solving the Realtime Taxi-Sharing Service Problem (特集「命題論理の充足可能性問題SATの最新動向」および一般)

Zha Aolong, Chang Qiong, Noda Itsuki

人工知能基本問題研究会 ( 人工知能学会 ) 109 44 - 49 2019年03月
分割決定木で表現された提携構造形成問題のMaxSAT符号化

越村三幸, 査澳龍, 野本一貴, 櫻井祐子, 横尾真

第79回全国大会講演論文集 2017 ( 1 ) 39 - 40 2017年03月

　概要を見る

提携構造形成問題（CSG）は提携のもたらす効用の和が最大となるようにエージェントの集合を分割する問題である．分割決定木（PDT）は提携のもたらす効用を表現する一手法である．本論文ではPDTで表現されたCSGをMaxSATを利用して解く手法を提案する．MaxSATはSATの拡張の一種で、組合せ最適化問題を解くのによく用いられている．
混合基数を用いた擬似ブール制約のSAT符号化 (特集「SAT技術の理論,実装,応用」および一般)

上村直輝, 藤田博, 越村三幸, 査澳龍

人工知能基本問題研究会 ( 人工知能学会 ) 103 12 - 17 2017年03月
分割関数ゲームを対象とした提携構造形成問題のMaxSAT符号化

越村三幸, 査澳龍, 野本一貴, 櫻井祐子, 横尾真

人工知能学会全国大会論文集 ( 一般社団法人人工知能学会 ) 2017 ( 0 ) 1M31 - 1M31 2017年

　概要を見る

<p>提携構造形成問題は協力ゲーム理論の問題の一つで、提携のもたらす効用の総和が最大となるようにエージェントの集合を分割する問題である．本論文は、分割決定グラフ（分割関数の簡潔記述法の一つ）で記述された提携構造形成問題のMaxSAT符号化を提案する．そして、計算機実験によりその効果を定量的に評価する．</p>

DOI
Introducing Pure Literal Elimination into CDCL Algorithm (特集「離散問題とデータ科学の接点」および一般)

Zha Aolong, Koshimura Miyuki, Fujita Hiroshi

人工知能基本問題研究会 ( 人工知能学会 ) 99 23 - 27 2016年01月
Parallel Portfolio SATzilla2012 (特集「命題論理の充足可能性問題SATと応用技術」および一般)

Zha Aolong, Hasegawa Ryuzo

人工知能基本問題研究会 ( 人工知能学会 ) 97 54 - 58 2015年03月

▼全件表示

Works

Weighted Partial MaxSAT Solver: QMaxSAT

査澳龍, 越村三幸

2019年
ソフトウェア
Real-Time Taxi-Sharing Service Simulator

査澳龍, 野田五十樹

2018年
ソフトウェア
SAT solver: gluHack

査澳龍

2018年
ソフトウェア

受賞（研究活動に関するもの）

Random部門での準優勝

受賞者：査澳龍

2018年07月 2018年度国際SAT競技会
Main Track: 重み付き部分MaxSAT部門での準優勝

受賞者：上村直樹, 査澳龍, 越村三幸

2017年07月 2017年度国際MaxSAT競技会

講演・口頭発表等

Real-time taxi-sharing service application based on Boolean satisfiability techniques

Aolong Zha, Itsuki Noda

6th International Conference on Computational Social Science 2020年