权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Research and Development on SAT-based Integration of Systematic and Stochastic Search

基于SAT的系统随机搜索集成研究进展

基本信息

批准号：
21K11828
负责人：
番原睦則
金额：
$ 2.66万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2021
资助国家：
日本
起止时间：
2021-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

本研究では，SAT技術を用いて系統的探索と確率的局所探索を統合的かつ効率的に扱うアルゴリズム技法およびソルバーの実現を目指し，研究開発をおこなっている．3年計画の2年目となる2022年度は，国際ソルバー競技会での入賞2件，査読付き国際会議論文2件，国際ワークショップ発表2件，国内学会発表4件の成果を得た．特に，研究テーマ「(C) 特長的なアプリケーションの開発」への取り組みとして，車両装備仕様問題の応用研究を進めた．車両装備仕様とは自動車のカタログに記載されている車種と装備の組合せであり，販売される国や地域の法規や規制，市場の特性，顧客の選好，競合他社，コストなど，様々な要因を考慮した上で決定される．現状では，車両装備仕様の決定には専門知識を持つ技術者の多大な労力が費やされている．そのため，クオリティの高い車両装備仕様決定の自動化・効率化は，自動車メーカーにとって重要な課題の一つである．この車両装備仕様問題を解く ASP 符号化を考案し，日本の自動車メーカーから提供された実データに基づくベンチマークセットを使用して実験を行った．その結果，現実規模の問題に対して，クオリティの高い車両装備仕様を得ることに成功した．

This research aims at exploring the application system of SAT technology, exploring and integrating the efficiency of SAT technology, and guiding the implementation of SAT technology. The research development is planned for the second year of 2022. In 2022, 2 awards were received from the International Sports Association, 2 papers from the International Conference, 2 papers from the International Conference, and 4 papers from the National Society. In particular, the study of "(C) special characteristics of the development of the" group of research, vehicle equipment problems of the application of research. The vehicle equipment type and equipment combination shall be recorded in the automobile category, sold in the country, regional regulations and regulations, market characteristics, customer selection, competition with other companies, and the main factors shall be considered and decided. The current situation is that the decision of vehicle equipment is based on the knowledge of the door and how much effort the engineer has to spend. The automation and efficiency of vehicle equipment selection are important issues. The problem of vehicle equipment is solved by ASP symbolization. The problem of vehicle equipment is solved by ASP symbolization. As a result, the scale of the problem has been successfully solved.

项目成果

期刊论文数量（19）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems

基于 ZDD 的组合问题所有低成本解的精确枚举方法

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Shin-Ichi Minato;Mutsunori Banbara;Takashi Horiyama;Jun Kawahara;Ichigaku Takigawa and Yutaro Yamaguchi
通讯作者：
Ichigaku Takigawa and Yutaro Yamaguchi

Solving Multi-objective Vehicle Equipment Specification Problem with Answer Set Programming

用答案集编程解决多目标车辆设备规格问题