Search Results - "Miyashita, Hisashi"
-
1
Model Based Control System Design Using SysML, Simulink, and Computer Algebra System
Published in Journal of control science and engineering (01-01-2013)“…The Systems Modeling Language (SysML) is a standard, general-purpose, modeling language for model-based systems engineering (MBSE). SysML supports the…”
Get full text
Journal Article -
2
Automated Verification Tool for DHTML
Published in 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) (01-09-2006)“…Automated verification for client-side programs of DHTML applications has become necessary. This is because DHTML applications are increasingly complicated in…”
Get full text
Conference Proceeding
-
3
Designing a control system using SysML and Simulink
Published in 2012 Proceedings of SICE Annual Conference (SICE) (01-08-2012)“…The Systems Modeling Language (SysML) has been under development since 2001 by the International Council and the Object Management Group (OMG) organizations,…”
Get full text
Conference Proceeding -
4
Heat transfer enhancement with an inclined semicylindrical turbulence promoter-The relationship between optimum clearance and film thickness
Published in Heat transfer. Japanese research (1997)“…Heat transfer enhancement in a rectangular duct with a semicylindrical turbulence promoter was experimentally studied for a high Prandtl number fluid. The…”
Get full text
Journal Article