査澳龍 (AOLONG ZHA) - マイポータル

基本情報

所属: 和歌山大学システム工学部システム工学科助教

学位: 博士（情報科学）(2018年9月九州大学)

連絡先: azhawakayama-u.ac.jp
研究者番号: 90893404
ORCID iD: https://orcid.org/0000-0003-2480-6597
J-GLOBAL ID: 202001007314672128
Researcher ID: AAE-2033-2020
researchmap会員ID: R000006023

外部リンク: https://cyouryuu.github.io

研究キーワード

研究分野

経歴

2025年10月 - 現在

和歌山大学, システム工学部システム工学科, 助教
2021年4月 - 2024年1月

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

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

学歴

2015年4月 - 2018年3月

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

受賞

2018年7月

Random部門での準優勝, 2018年度国際SAT競技会

査澳龍
2017年7月

Main Track: 重み付き部分MaxSAT部門での準優勝, 2017年度国際MaxSAT競技会

上村直樹, 査澳龍, 越村三幸

論文

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 2024年8月23日
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 1-13 2024年査読有り
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年査読有り筆頭著者
An incremental SAT-based approach for solving the real-time taxi-sharing service problem

Aolong Zha, Qiong Chang, Itsuki Noda

Discrete Applied Mathematics 335 131-145 2022年8月査読有り筆頭著者
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 123 102366-102366 2022年2月査読有り責任著者
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 2021年5月19日査読有り
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月査読有り筆頭著者
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) 2020年10月査読有り責任著者
A GPU accelerator for domain transformation-based stereo matching

Qiong Chang, Aolong Zha, Onishi Masaki, Tsutomu Maruyama

ACM International Conference Proceeding Series 370-376 2019年12月20日査読有り
分割決定木を用いた分割関数ゲームの提携構造形成アルゴリズム

査澳龍, 越村三幸, 櫻井祐子, 横尾真

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

Aolong Zha, Miyuki Koshimura, Hiroshi Fujita

Constraints An Int. J. 24(2) 133-161 2019年査読有り筆頭著者
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 9-12 2017年査読有り筆頭著者
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 2017-November 868-875 2017年査読有り筆頭著者
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) 10621 LNAI 143-159 2017年査読有り筆頭著者

MISC

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

Zha Aolong, Chang Qiong, Noda Itsuki

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

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

第79回全国大会講演論文集 2017(1) 39-40 2017年3月16日
混合基数を用いた擬似ブール制約のSAT符号化 (特集「SAT技術の理論,実装,応用」および一般)

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

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

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

人工知能学会全国大会論文集 2017 1M31-1M31 2017年
Introducing Pure Literal Elimination into CDCL Algorithm (特集「離散問題とデータ科学の接点」および一般)

Zha Aolong, Koshimura Miyuki, Fujita Hiroshi

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

Zha Aolong, Hasegawa Ryuzo

人工知能基本問題研究会 97 54-58 2015年3月22日

講演・口頭発表等

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

Aolong Zha, Itsuki Noda

6th International Conference on Computational Social Science 2020年

担当経験のある科目(授業)

2021年4月 - 2023年3月

先端情報システム論 (東京大学)

所属学協会

2021年4月 - 現在

ACM
2017年4月 - 現在

IEEE

Works(作品等)

Weighted Partial MaxSAT Solver: QMaxSAT

査澳龍, 越村三幸

2019年コンピュータソフト
Real-Time Taxi-Sharing Service Simulator

査澳龍, 野田五十樹

2018年コンピュータソフト
SAT solver: gluHack

査澳龍

2018年コンピュータソフト

産業財産権

特願2019-232681 経路計画装置、経路計画方法、ならびに、プログラム

査澳龍, 常穹, 野田五十樹

学術貢献活動

Science China Information Sciences

査読
Transportation Research Board

査読
Applied Network Science

査読
Scientific Reports

査読
Journal of Systems Architecture

査読
ACM Transactions on Architecture and Code Optimization

査読

メディア報道

モノフル、東大・先端研究を支援。高度物流人材を育成

https://www.jmd.co.jp/article.php?no=268939 日本海事新聞 2021年7月新聞・雑誌

査澳龍

基本情報

研究キーワード

研究分野

経歴

学歴

受賞

論文

MISC

講演・口頭発表等

担当経験のある科目(授業)

所属学協会

Works(作品等)

産業財産権

学術貢献活動

メディア報道

メニュー

共著者の一覧