ホームリッチインターネットアプリケーション

SDGsの分類

研究テーマ: IT・IoT・AI・ロボティクス

学科の分類: 情報科学部情報システム学科

リッチインターネットアプリケーション社会や生活を支えるアプリケーションプログラミング

情報科学部

情報システム学科

サービスコンピューティング研究室

須永宏教授

インターネットスマートフォンアプリケーション

ファッション，グルメ，エンタメ，トラベル，スポーツ，流通，eラーニング，流通，医療・福祉，通信など我々の生活や社会インフラに関わるアプリケーションのプロトタイピングをし，新コンセプトを発信．役に立つ，便利，面白いを目標にシステム構築します．

論文

「HTML5 Canvasによる三次元図形描画とデータ管理方式－フロアプラン管理アプリケーション－」(2017)須永宏『信学技報』SC2017-15

「Android Bitmap 描画のためのメモリ量削減方式－避難誘導アプリケーション－」(2018)須永宏『信学技報』SC2018-18

「プログラム言語「なでしこ」の学習支援アプリケーション」(2020)山下千晴『信学技報』SC2019-45

研究者INFO: 情報科学部情報システム学科サービスコンピューティング研究室須永宏教授

研究シーズ・教員に対しての問合せや相談事項はこちら

技術相談申込フォーム

同じカテゴリーの研究シーズ

ばらつきに対応したSRAMの動作安定化に関する研究

トランジスタのしきい値電圧のばらつきによってSRAMが動作不良となる問題に対して、これを救済し歩留まりを向上させる手法を開発しました。まず、オンチップでしきい値電圧を測定する方法を提案し、5mVの精度で検知可能であることを確認しました。さらに、様々なしきい値電圧において、メモリセル(記憶回路の最小単位)に与える電圧を変化させて動作可否を調べることにより、SRAMに与える最適電圧を明らかにしました。なお、本研究はJSPS科研費（JP23560423）の助成を受けたものです。

欠陥データを利用したソフトウェアプロジェクト比較手法に関する研究

本研究では様々なドメインや開発スタイルに属するソフトウェア開発に対して有効なソフトウェア信頼性モデルを構築し活用方法を広く普及することでソフトウェア開発をより効果的で制御可能とすること目的とします。そのためには多くの企業の開発データの収集方法および普及方法としてウェブアプリケーションの開発が必要です。また企業の開発データのみならずオープンソースソフトウェアにおける開発データも対象とします。本研究を行うことで現在困難とされている開発スケジュールの定量的な決定に役立つと考えられます。

人同士のコミュニケーションを支援する

会話時の声の音響的特徴（ピッチ、パワー、周波数特性など）及びしぐさの動的特徴の時間変化度合いを観察することで、会話が楽しく進行しているかそれともギクシャクしているかなどの会話の雰囲気を推定できることがわかってきました。この技術を用いた会話支援システムを構築中ですが、他にも、高齢者の理解度衰え推定、場の雰囲気盛り上げシステム、学習支援システムなど、幅広いアプリケーション展開を図っています。

丘のある住まい

多くの世帯の生活の舞台となる「集合住宅」は自ずと大規模な開発になることが多く、まとまった豊かな環境を形成することが可能である。住まいとなる住棟の設計と合わせて、その広がりを生かした豊かなランドスケープデザインを展開することで、戸建て住宅地では成しえない環境を形成できる。

オンライン授業への知見の集積

COVID-19の影響により、多くの大学が前期授業開始時期の延期や、日程は予定通りだがオンライン授業形態への移行など、従来とはまったく異なった学習形態への移行に迫られた。大阪工業大学も例外ではなく、前期授業開始を1ヶ月延期し、結果として前期期間中はほぼオンライン授業で実施された。今回は、オンライン授業を実施することになった経緯から、オンライン授業の種類や実施方法と実践例、学生の反応について報告する。

シミュレーションによる半導体デバイスの解析・設計支援技術

[概要] コンピュータシミュレーションを用いて、半導体素子の特性を解析する研究を行っています。ナノ～マイクロメートルスケールにおける電子や原子、あるいは熱の挙動を独自開発した粒子シミュレータで高精度に予測し、より高性能で信頼性の高い半導体素子設計に役立てることを目指しています。

「小さなまち」の維持・管理・運営と地域住文化の継承

　本研究では、従来の建築計画・建築設計・環境デザインでは見過ごされがちであった地方の「小さなまち」の維持・管理・運営のモデルを構築し、空き家対策としてのリノベーション提案を行い、「まちの居場所」を創出する。また、「小さなまち」の地域固有性を発掘・発信するとともに、地域住文化を継承するためのビジョンを提案する。さらに、本研究で得られた成果は「小さなまち」のまちづくりに還元し、コミュニティデザインの場を創出する。

プログラム実行時の変数値変動履歴からのバグ原因の可能性がある変数の推測

プログラムにバグがあっても、命令文は走ってしまえば終わりでバグの足跡を残さない。一方、バグの足跡は変数に残っていることがある。そこで、プログラム実行時の変数値の履歴をログとして収集し、これを解析することで怪しい変数を見つけ、この変数に書き込みを行った命令文の周辺にバグがあるのではとの目星をつけることができないかと考えた。そこでまず第一段階として、全ての変数に代入される値をログとして保存し、障害が発生した実行時のログと正常動作したログで異なる値を出力している変数を怪しい変数と判断する手法を考えた。本手法を１つのオープンソースプロジェクトに適用した結果、代入命令 32861 箇所中、怪しい代入命令を 270 個まで絞り込む事ができ、確かにこの中にバグ原因となる代入命令が含まれていることを確認できた。この結果、提案手法によりバグ原因となる代入命令及び変数を推測できる可能性のあることがわかった。

選択的汎化作用を有する強化学習

強化学習における学習効率改善手法として，価値関数を構成するために関数近似手法を利用する方法が知られています．これらは，関数近似手法が持つ汎化作用を利用して，価値関数に対する複数の入力間で学習効果を共有します．しかし，関数近似手法の汎化作用を問題に応じて適切に設定することは難しく，特に，汎化を設定した複数入力に対して異なる対応が必要になる場合に学習効率が低下します．そこで本技術では，汎化作用が機能する領域が選択可能なSG-CMAC(Cerebellar Model Articulation Controller with Selective Generalization)を提案しています．提案手法では，汎化不要な一部入力に対し，CMACとは独立に参照表を構成し，量子化したこれら入力の各値に対して，CMACモジュールを割り当てます．

人間の視覚行動からみた都市空間の設計基準

建築や都市は生活基盤として、人間に対し大きな心理的影響力を持っています。基本的な人間の移動方法を考えれば、そのデザインは歩行によって我々が得た空間能力に関する研究成果が生かされたものとなるのが理想的だと考えられます。研究室では、空間能力を司り評価を行う脳機能の左右差や個人差を検討する事から、人間が理解しやすい建築空間、都市空間をつくるための方法を、人間の視覚行動を計測したデータや、脳波計によるデータをもとに探ります。

量子幾何学の応用研究

数理物理学の研究分野の一つに量子幾何学があります．量子幾何学は理論物理学のアイデアを基に表現論や代数幾何，位相幾何といった数学の諸分野を結びつける研究分野です．この研究分野の応用研究の一つとして，ファットグラフに基づくRNAおよびタンパク質の構造分類問題に取り組んでいます．

創作者の表現を計算機に学習させる

漫画・写真・小説などの創作物を創り，読み解く過程のデータを収集し，人工知能分野で拡がる画像処理・自然言語処理・機械学習・人とコンピュータ間の対話的なシステム開発に基づき，創ることを支援する研究を進めています．

トモグラフィー画像の3次元可視化プログラムの作成

X線CTやMRIなどで撮影したトモグラフィー像（断層画像）の中から，注目領域だけを検出したり，立体構造を想像することは容易ではありません．画像処理技術や手法の応用により，注目領域のセグメンテーションとラベリング，立体構造の再構成を行い，三次元可視化するためのソフトウェアの開発に取り組んでいます．

高速通信用発振器の相互干渉解析と自動補正に関する研究

近年の高速・高密度の大規模集積回路において，内蔵する発振器の性能がクロック同期系デジタル回路の処理速度に大きな影響を与える。そこで問題となるのが複数の発振器間の相互干渉である。私たちは今まで発振器の干渉ノイズのモデル化およびその実証と，位相同期回路における干渉ノイズの影響について研究してきた。特に完全同期にある発振器間の相互干渉において，小規模の補正回路でその影響を低減する手法を考案し，いくつかの知見を独自に得ている。本研究ではその知見をさらに一般的な凖同期の相互干渉の低減に適用し，今までにない新しい手法での相互干渉の影響削減の提案を行いたいと考えている。

デジタル画像相関法によるき裂・欠陥の非破壊検査

負荷を受ける部材の表面画像を２枚(時間差１秒程で２枚撮影する)利用して、表面のひずみ分布を非接触で評価するデジタル画像相関法援用変位・ひずみ評価システムを構築した。さらにこれを発展させ、き裂や欠陥に生じる特有のひずみ場を利用することにより、き裂・欠陥の有無は言うに及ばず、き裂周りの応力や応力拡大係数といった力学量を高精度に非接触評価できるシステムを開発した。

都市環境における風車の継続運転システム

垂直軸型風車はヨー制御、ピッチ角制御を行わないシンプルな構造と低騒音という特徴から都市環境における運用が関心を集めている。しかし、水平軸(プロペラ型)風車の10倍以上の慣性をもつ垂直軸風車は、都市部のような低風速かつ断続的な風況下での運転が困難である。そこで風車の回転速度の維持に重点を置き、低風速下でも連続的な発電を可能とするシステムを開発した。

ROSを基盤とした研究、開発用の移動ロボット

移動ロボットの開発では、信頼性確保のために新規モジュールの開発は上位の各種ソフトウェアモジュール、スタック、ツール群を含めると膨大なコストとなる。ROSを活用することで、きちんと動作する、独自ハードウェアロボットの実装が容易となる。なお、移動ロボットの独自のハードウェアとロボットシステムとの間のドライバは、当然開発が必要となる。PSOCによりその部分の抽象化共通化を目指す。

地震複合火災を受けた鉄筋コンクリート部材の残存構造性能の評価

　地震に対する防災計画は，主として本震による被害軽減を対象としているが，近年の比較的大きな地震では，本震に迫る大きな余震や二次災害による被害の拡大が懸念されており，これら地震複合災害を防災計画に盛り込むことが急務となっている。本研究は，地震複合火災に着目し，既存の建物構造物に多く存在する普通強度コンクリートを用いた鉄筋コンクリート部材を対象として，加熱を受けたコンクリートの圧縮強度残存比，拘束効果を考慮した構成則及び鉄筋コンクリート部材の残存構造性能の評価法を確立することを目的とする。

宇宙物理学・相対性理論研究のアウトリーチ活動

アインシュタインが相対性理論を提唱して100年が経ち，技術が進化して，ようやく重力波・ブラックホールの直接観測ができる時代になりました．日本の重力波観測プロジェクトKAGRA（かぐら）の科学部門を2017年より取りまとめ，一般向けの著作や講演も多く手掛けている教員が，この分野の解説を提供いたします．「相対性理論はどこまで正しいのか」「宇宙への理解は今後どう深まっていくのか」などをテーマに，歴史的・科学的どちらの視点からも可能です．

流域治水の思想を踏まえた新たな河川整備への挑戦

これまでの河川の開発は、治水・利水計画規模に対して必要な施設を建設してきました。しかし近年、これらの計画を超過する洪水・土砂災害が発生し、激甚化しており、現状の整備水準や将来の計画では“まち”を守れないきれない時代に，じわじわと突入しています。これからの我が国は、洪水・氾濫の発生を許容できる粘り強い“まち”が求められます。本研究では水害特性を過去から読み解き、将来を高精度に予測し、その変化に適応した“まちづくり”を考究し、提案します。