コロキアムB発表

日時: 9月13日(火)1限(9:20-10:50)


会場: L1

司会: 原 崇徳
西谷 洋太 M, 2回目発表 ディペンダブルシステム学 井上 美智子, 中島 康彦, 新谷 道広
title: Gate Input Capacitance Characterization for Power MOSFETs Using Turn-on and Turn-off Switching Waveforms
abstract: We propose a novel method for characterizing the input capacitance of power metal-oxide semiconductor field-effect transistors (MOSFETs). In contrast with the conventional method, our switching-based characterization extracts gate-source and gate-drain capacitances in a single setup, without partial differentiation. Characterization using both turn-on and turn-off switching waveforms improved the simulation accuracy and reduced the switching timing error by a factor of more than 2.5x.
language of the presentation: Japanese
発表題目: ターンオン・ターンオフのスイッチング波形を用いたパワーMOSFETのゲート入力容量測定手法
発表概要: パワーMOSFETの入力容量を測定するための新しい方法を提案する.既存手法とは異なり,単一の測定で,偏微分することなくゲート-ソース間容量およびゲート-ドレイン間容量を抽出することが可能になる.ターンオンとターンオフの両方のスイッチング波形を用いた評価によって,シミュレーション精度が向上し,タイミング誤差が2.5倍以上低減することを確認した.
 
廣瀬 慈恩 D, 中間発表 ディペンダブルシステム学 井上 美智子, 笠原 正治, 大下 福仁, 江口 僚太
title: Gathering despite a linear number of weakly Byzantine agents
abstract: We study the gathering to make multiple agents initially scattered in arbitrary networks gather at a single node. In the network, there exist some Byzantine agents, which behave arbitrarily. This is an important model to consider any fault of agents. In the literature, there exists a gathering algorithm that tolerates any number of Byzantine agents with high time complexity, while the fastest gathering algorithm requires a lot of non-Byzantine agents. In this study, we propose an algorithm that solves the gathering problem efficiently with a linear number of Byzantine agents relative to the total number of agents since there is a large gap between the number of non-Byzantine agents in the previous works. The proposed algorithm is faster than the most fault-tolerant existing algorithm and requires fewer non-Byzantine agents than the fastest algorithm.
language of the presentation: Japanese
 
平出 託海 M, 2回目発表 大規模システム管理 笠原 正治, 井上 美智子, 笹部 昌弘
title: Analysis of interaction between miner decision making and user action for incentive mechanism of Bitcoin blockchain.
abstract: In Bitcoin blockchain, miner nodes are likely to choose transactions with high fee to be included in a block. This makes transactions with high fee being processed fast, affecting the amount of transaction fee that users want to pay. The reward for a winning miner consists of transaction fee and newly issued coins, and hence the amount of newly issued coins also affects the miner decision to participate in the mining competition. In addition, mining reward also affects the total hash computing power, which plays an important role of bitcoin security for reducing the success probability of selfish mining attack by a malicious miner. In this paper, we develop a mathematical model for analyzing the interaction between miner decision making and user actions in terms of transaction fees, confirmation latency, and security. We analyze the transaction-confirmation time with queueing theory, while decision making processes of miners and users are analyzed in the context of Nash equilibrium. The numerical examples show how the mining costs and newly issued coins affect miner decision making.
 
有薗 舜 M, 2回目発表 大規模システム管理 笠原 正治, 池田 和司, 笹部 昌弘, 中畑 裕
Title: Time-varying network reliability evaluation with binary decision diagrams
Abstract: Evaluating the network reliability by taking its dynamicity into account is crucial for time-varying networks such as space networks, vehicular ad-hoc networks, and drone networks. Time-varying networks are modelled using temporal graphs in which every edge has a time label to indicate its existence at a specific time. The time-varying network reliability is defined as the probability that a data packet from the source node can reach the terminal node, tracing the links with increasing time labels, i.e., a journey, taking into account the possible failures of the network links. The existing method first enumerates all journeys between the source node and terminal node, and subsequently calculates the reliability using the sum of disjoint products method, and suffers from its large computational complexity. On the other hand, there is an efficient algorithm that utilises binary decision diagrams (BDDs) for the reliability evaluation of a network whose topology does not change over time. In this research, we present a more efficient exact algorithm that utilises BDDs for computing the time-varying network reliability. Several examples and experiments show the effectiveness of this approach.
Language of the presentation: Japanese
発表題目: 時間変化するネットワークに対する二分決定グラフを用いた信頼性評価法
発表概要: 宇宙ネットワークや車両アドホックネットワーク,ドローンネットワークなど移動体で構成されるようなネットワークでは, ネットワークトポロジーの時間変化を考慮した信頼性評価が重要である. 時間変化するネットワークは,各辺が時刻ラベルをもつような,時間的グラフも用いてモデル化される. ここでは,ノードは完全に機能するが,各リンクは確率に従って独立に故障するとき, 始点を出発したデータが,時刻ラベルが大きくなっていくような辺,即ち,旅路を辿り,終点に到達する確率を時間変化するネットワークの信頼性と定義する. 既存手法は,旅路を全列挙し sum of disjoint products 法を用いて,信頼性を求めるアプローチであるが,計算量が大きい点が課題として挙げられる. 一方,ネットワークトポロジーの時間変化を考慮しないネットワーク信頼性評価法に対して,二分決定グラフを用いた実用上効率の良い手法があることが知られている. そこで本研究では,信頼性評価の高効率化を目的とし,時間変化するネットワークに対して,二分決定グラフを用いた信頼性評価法を提案する. また,数値実験により,提案手法の有効性を示す.
 

会場: L2

司会: 柏 祐太郎
川西 航太郎 M, 2回目発表 光メディアインタフェース 向川 康博, 中村 哲, 舩冨 卓哉, 藤村 友貴, 北野 和哉
title: Automatic Colorization of Animated Line Drawings Using Multi Head Structure
abstract: Recently, animators' long working hours have become a problem, necessitating partial automation of their work. In this presentation, we describe a method for coloring line drawings by semantic segmentation using the MultiHead structure. By comparing with the conventional method, we confirmed the improvement of the probabilistic accuracy of coloring, but the accuracy was not improved for images with clear characters.
language of the presentation: Japanese
発表題目: Multi Head 構造を用いた アニメーション線画の自動彩色
発表概要: 昨今アニメーターの長時間労働が問題となっており、作業の一部自動化が必要となっている。本発表では、MultiHead構造を用いたセマンティックセグメンテーションによる線画の彩色手法について述べる。従来手法と比較することで、彩色の確率的な精度の向上を確認したが、キャラクターが鮮明に写る画像においては精度の向上は認められなかった。
 
上原 誠 M, 2回目発表 ソーシャル・コンピューティング 荒牧 英治, 中村 哲, 若宮 翔子, Liew Kong Meng
title: Debunking Visualizer: A False-Mentioned Tweet Visualization System Considering User Information
abstract: With the emergence of social media, anyone can send information and share it to many users easily. Accordingly, misinformation and disinformation, such as hoaxes and fake news, have spread more widely and rapidly than ever before. In this study, we propose a system to support users' information consumption by focusing on tweets by social media users themselves to correct or deny information, which is called debunking. The system collects tweets containing “false rumor” or “fake news” words on Twitter and clusters them into several topics. We further visualize the buzzworthy changes of each topic by displaying clustered tweets in chronological order. Social media users can use the system to discover which topics they should pay attention to when they discuss.
language of the presentation: Japanese
発表題目: Debunking Visualizer: ユーザ情報を考慮したデマ言及ツイート可視化システム
発表概要: ソーシャルメディアの普及に伴い,情報発信のみならず,多くのユーザに情報を拡散することが容易になっている.それに伴い,デマやフェイクニュースなどの誤情報・虚偽情報も,かつてないほど広範囲に,そして急速に伝播するようになった.本研究では,デバンキングと呼ばれるソーシャルメディアのユーザ自身による情報の訂正・否定行為を行うツイートに着目し,ユーザの情報消費を支援するシステムを提案する.提案システムでは,Twitter上で「デマ」や「フェイクニュース」と言及されているツイートを収集し,トピックごとにツイートをクラスタリングする.さらに,クラスタリング結果を時系列で表示することで,各クラスタの議論の盛り上がりの変化を可視化することができる.
 
太田 暢 M, 2回目発表 ソーシャル・コンピューティング 荒牧 英治, 中村 哲, 若宮 翔子, Liew Kong Meng
Title: Optimization of Playback Speed of Radio Programs Using Twitter
Abstract: This research focuses on the relationship between radio programs and related tweets and hopes to develop a system that automatically optimizes the playback speed of radio programs so that users can listen to exciting parts of the program efficiently. We compared two automatic speed-up systems: a method based on the number of tweets per minute (Minute-based) and a method that changes speed after dividing the program into sections based on the context of the program (Context-based). The results of the subjective evaluation experiment showed a higher level of satisfaction with the Context-based.
Language of the presentation: Japanese
発表題目: Twitterを用いたラジオ番組の倍速再生最適化
発表概要: ラジオ番組聴取を効率良く行う際に生じる困難について,本研究では番組内容とTwitterのツイートの関係に注目し,後から聴くユーザが盛り上がり部分を優先的に聴くことが出来るよう自動圧縮するシステムを開発し,UXの改善を図る. 自動圧縮システムは分単位のツイート数を基準にして圧縮を行う手法(Minute-based)と,番組における文脈を考慮してセクションに分割したのち圧縮する手法(Context-based)を比較し,主観評価実験の結果Context-basedの満足度が高いことがわかった.