情報基盤研究開発センター

研究成果 1991 2020

フィルター
記事
記事

0415 鼻腔内気流のボクセルシミュレーション(OS3-1:肺・気道のバイオエンジニアリング1)

坂田拓也, 田中学, 世良俊博, 覚正信徳, 横田秀夫, 小野謙二 & 高木周, 1 8 2010, : : バイオエンジニアリング講演会講演論文集. 2009, 22, p. 67

研究成果: ジャーナルへの寄稿記事

104 設計利用のためのインタラクティブボリュームレンダリングシステムの開発

小野謙二 & Ma, K. L., 11 22 2003, : : 計算力学講演会講演論文集. 2003, 16, p. 11-12 2 p.

研究成果: ジャーナルへの寄稿記事

Volume rendering
Product design
Visualization
Flow simulation
Data transfer

110 CFDによる車用ミラーの空力騒音の合成と流れの可視化

姫野龍太郎, 福島達也 & 小野謙二, 1996, : : 可視化情報学会誌 = Journal of the Visualization Society of Japan. 16, 1, p. 87-90 4 p.

研究成果: ジャーナルへの寄稿記事

aerodynamic noise
flow visualization
charge flow devices
video tapes
mirrors

125 微小圧縮性による流体音の解析(計測・解析II)

榎本秀喜 & 小野謙二, 2006, : : 日本機械学会関東支部ブロック合同講演会講演論文集. 2006, p. 147-148 2 p.

研究成果: ジャーナルへの寄稿記事

Joining
Data structures
Costs
Experiments
Poisson equation
Boundary conditions
Availability
Incompressible flow
Heat exchangers
Boundary conditions
Pressure drop
Mesh generation
6 引用 (Scopus)

234Compositor: A flexible parallel image compositing framework for massively parallel visualization environments

Nonaka, J., Ono, K. & Fujita, M., 5 2018, : : Future Generation Computer Systems. 82, p. 647-655 9 p.

研究成果: ジャーナルへの寄稿記事

Visualization
Scalability
Supercomputers
Scheduling
Computer simulation

3638 集束超音波医療における温度上昇の数値解析(G05-4 流体機械・医療機器,G05 流体工学)

加藤光章, 吉澤晋, 小野謙二 & 松本洋一郎, 9 15 2006, : : 年次大会講演論文集 : JSME annual meeting. 2006, 2, p. 369-370 2 p.

研究成果: ジャーナルへの寄稿記事

therapy
constrictions
transducers
nonlinearity
simulation

3E14 ボクセル熱流体シミュレーションによる鼻腔手術アセスメント(GS8:呼吸器系のバイオメカニクス)

水谷崇志, 荒木冬人, 小倉裕章, 田中学, 世良俊博, 小野謙二, 高木周, Doorly, D. J. & Schroter, R. C., 1 8 2013, : : バイオエンジニアリング講演会講演論文集. 2013, 25, p. 607-608 2 p.

研究成果: ジャーナルへの寄稿記事

512bit SIMD環境における分子動力学アプリケーションMODYLASの性能評価

Ohshima, S., Suzuki, S., Sakashita, T., Ogino, M. & Katagiri, T., 9 20 2018, : : 研究報告ハイパフォーマンスコンピューティング(HPC). 166, 14, p. 1-9 9 p.

研究成果: ジャーナルへの寄稿記事

Data structures
Heat transfer
Data storage equipment
Costs

646 設計支援のためのロバストな流体解析システム

小野謙二, 11 22 2003, : : 計算力学講演会講演論文集. 2003, 16, p. 571-572 2 p.

研究成果: ジャーナルへの寄稿記事

Circular cylinders
Product design
Navier Stokes equations
Fans
Boundary conditions

7H16 鼻腔内エアコンディショニング機能のボクセル熱流体解析(OS15 呼吸系のバイオメカニクス1)

太田和生, 水谷崇志, 荒木冬人, 田中学, 世良俊博, 覚正信徳, 横田秀夫, 小野謙二 & 高木周, 1 6 2012, : : バイオエンジニアリング講演会講演論文集. 2012, 24, p. "7H16-1"-"7H16-2"

研究成果: ジャーナルへの寄稿記事

9D-14 ボクセル格子法による鼻腔内熱流体解析(OS-6 バイオシミュレーションに向けたイメージベースドモデリングの新展開(3))

木村真也, 田中学, 三代大樹, 世良俊博, 覚正信徳, 横田秀夫, 小野謙二 & 高木周, 1 7 2011, : : バイオエンジニアリング講演会講演論文集. 2010, 23, p. 515-516 2 p.

研究成果: ジャーナルへの寄稿記事

13 引用 (Scopus)

A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow

Watanabe, Y., Plum, M. & Nakao, M. T., 1 1 2008, : : ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik. 89, 1, p. 5-18 14 p.

研究成果: ジャーナルへの寄稿記事

Poiseuille Flow
Orr-Sommerfeld Equation
Computer-assisted Proof
Hydrodynamic Stability
Numerical Verification
3 引用 (Scopus)
Elliptic Operator
Nonlinear Problem
Eigenvalue
Approximate Solution
Computer program listings

A computer-assisted method for the diblock copolymer model

Cai, S. & Watanabe, Y., 7 1 2019, : : ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik. 99, 7, e201800125.

研究成果: ジャーナルへの寄稿記事

Copolymer
Block copolymers
Banach Fixed Point Theorem
Sobolev spaces
Compact Operator
9 引用 (Scopus)

A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid

Watanabe, Y., 1 15 2009, : : Journal of Computational and Applied Mathematics. 223, 2, p. 953-966 14 p.

研究成果: ジャーナルへの寄稿記事

Computer-assisted Proof
Numerical Verification
Rounding error
Floating point
Steady-state Solution
8 引用 (Scopus)

A customizable language learning support system using ontology-driven engine

Wang, J., Mendori, T. & Xiong, J., 1 1 2013, : : International Journal of Distance Education Technologies. 11, 4, p. 81-96 16 p.

研究成果: ジャーナルへの寄稿記事

ontology
Ontology
Students
Engines
language

A flexible direct attached storage for a data intensive application

Ono, T., Konishi, Y., Tanimoto, T., Iwamatsu, N., Miyoshi, T. & Tanaka, J., 12 2015, : : IEICE Transactions on Information and Systems. E98D, 12, p. 2168-2177 10 p.

研究成果: ジャーナルへの寄稿記事

Servers
Switches
Ethernet
Degradation
Costs

A knowledge comparison environment for supporting meaningful learning of E-book users

Wang, J., Ogata, H. & Shimada, A., 2016, : : Systems. 4, 2

研究成果: ジャーナルへの寄稿記事

公開

A lambda proof of the P-W theorem

Hirokawa, S., Komori, Y. & Nagayama, M., 1 1 2000, : : Journal of Symbolic Logic. 65, 4, p. 1841-1849 9 p.

研究成果: ジャーナルへの寄稿記事

Theorem
Natural Deduction
P Systems
Intuitionistic Logic
Term

An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces

Kinoshita, T., Watanabe, Y. & Nakao, M. T., 4 15 2019, : : Journal of Differential Equations. 266, 9, p. 5431-5447 17 p.

研究成果: ジャーナルへの寄稿記事

Hilbert spaces
Linear Operator
Mathematical operators
Hilbert space
Norm
Next generation networks
Quality of service
Network performance
Broadcasting
Telecommunication
3 引用 (Scopus)

An automated method to generate e-learning quizzes from online language learner writing

Flanagan, B., Yin, C., Hirokawa, S., Hashimoto, K. & Tabata, Y., 1 1 2013, : : International Journal of Distance Education Technologies. 11, 4, p. 63-80 18 p.

研究成果: ジャーナルへの寄稿記事

quiz
electronic learning
language
foreign language
learning
2 引用 (Scopus)

An automatic method to extract online foreign language learner writing error characteristics

Flanagan, B. & Hirokawa, S., 10 1 2018, : : International Journal of Distance Education Technologies. 16, 4, p. 15-30 16 p.

研究成果: ジャーナルへの寄稿記事

foreign language
Feedback
language
language group
learning process
15 引用 (Scopus)

An efficient approach to the numerical verification for solutions of elliptic differential equations

Nakao, M. T. & Watanabe, Y., 12 1 2004, : : Numerical Algorithms. 37, 1-4 SPEC. ISS., p. 311-323 13 p.

研究成果: ジャーナルへの寄稿記事

Numerical Verification
Elliptic Differential Equations
Differential equations
Derivatives
Poisson equation
1 引用 (Scopus)
Computer-assisted Proof
Numerical Verification
Rounding error
Floating point
Steady-state Solution

A new memory allocation method for shared memory multiprocessors with large virtual address space

Koide, H., Suzuki, M. & Nakayama, Y., 9 1997, : : Concurrency Practice and Experience. 9, 9, p. 897-914 18 p.

研究成果: ジャーナルへの寄稿記事

Virtual addresses
Storage allocation (computer)
Shared-memory multiprocessors
Application programs
Data storage equipment
Dual space
Elliptic Operator
Linear Operator
A Priori Error Estimates
Invertibility
14 引用 (Scopus)

A novel method to quantify contribution of channels and transporters to membrane potential dynamics

Cha, C. Y., Himeno, Y., Shimayoshi, T., Amano, A. & Noma, A., 12 16 2009, : : Biophysical Journal. 97, 12, p. 3086-3094 9 p.

研究成果: ジャーナルへの寄稿記事

Membrane Potentials
Action Potentials
Ions
Ion Channels
Sinoatrial Node
28 引用 (Scopus)

A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems

Nakao, M. T., Hashimoto, K. & Watanabe, Y., 7 1 2005, : : Computing (Vienna/New York). 75, 1 SPEC. ISS., p. 1-14 14 p.

研究成果: ジャーナルへの寄稿記事

Invertibility
Elliptic Operator
Linear Operator
Nonlinear Problem
Numerical methods
5 引用 (Scopus)

A numerical verification method for a system of FitzHugh-Nagumo type

Cai, S., Nagatou, K. & Watanabe, Y., 10 1 2012, : : Numerical Functional Analysis and Optimization. 33, 10, p. 1195-1220 26 p.

研究成果: ジャーナルへの寄稿記事

FitzHugh-Nagumo Equations
Numerical Verification
Sobolev spaces
FitzHugh-Nagumo
Schauder Fixed Point Theorem
3 引用 (Scopus)
Numerical Verification
Functional equation
Nonlinear Equations
Computer-assisted Proof
Iteration

A numerical verification method for solutions of singularly perturbed problems with nonlinearity

Hashimoto, K., Abe, R., Nakao, M. T. & Watanabe, Y., 2 2005, : : Japan Journal of Industrial and Applied Mathematics. 22, 1, p. 111-131 21 p.

研究成果: ジャーナルへの寄稿記事

Numerical Verification
A Priori Error Estimates
Singularly Perturbed Problem
Nonlinearity
Exponential Fitting
4 引用 (Scopus)
Numerical Verification
Elliptic Partial Differential Equations
Nonlinear equations
Boundary value problems
Partial differential equations
9 引用 (Scopus)

A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems

Kim, M., Nakao, M. T., Watanabe, Y. & Nishida, T., 1 1 2009, : : Numerische Mathematik. 111, 3, p. 389-406 18 p.

研究成果: ジャーナルへの寄稿記事

Numerical Verification
Rayleigh
Three-dimensional
Fluids
Computer-assisted Proof
16 引用 (Scopus)

A numerical verification of nontrivial solutions for the heat convection problem

Watanabe, Y., Yamamoto, N., Nakao, M. T. & Nishida, T., 12 1 2004, : : Journal of Mathematical Fluid Mechanics. 6, 1, p. 1-20 20 p.

研究成果: ジャーナルへの寄稿記事

Computer-assisted Proof
Numerical Verification
Heat convection
Rounding error
Floating point
7 引用 (Scopus)

A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations

Nakao, M. T., Yamamoto, N. & Watanabe, Y., 4 24 1998, : : Journal of Computational and Applied Mathematics. 91, 1, p. 137-158 22 p.

研究成果: ジャーナルへの寄稿記事

A Priori Error Bounds
Stokes Equations
Finite Element Solution
Inf-sup Condition
Stokes Problem
8 引用 (Scopus)

A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations

Watanabe, Y., Kinoshita, T. & Nakao, M. T., 5 30 2013, : : Mathematics of Computation. 82, 283, p. 1543-1557 15 p.

研究成果: ジャーナルへの寄稿記事

A Posteriori Estimates
Linear partial differential equation
Elliptic Partial Differential Equations
Boundary value problems
Partial differential equations