大石 進一

研究成果

年別の研究成果 1979 1980 1985 1993 1994 2004 2005 2008 2009 2011 2012 2016 2017 2022

• 1239 被引用数
• 16 h-index
• 108 Article
• 7 Conference contribution
• 7 Conference article
• 4 Paper
• 5 その他
  • 2 Chapter
  • 2 Editorial
  • 1 Comment/debate

年別の研究成果

年別の研究成果

検索結果

• 2006

  On three theorems of lees for numerical treatment of semilinear two-point boundary value problems

  Yamamoto, T. & Oishi, S., 2006 10月, In: Japan Journal of Industrial and Applied Mathematics. 23, 3, p. 293-313 21 p.

  研究成果: Article › 査読

  • Smallest Eigenvalue 100%
  • Boundary value problems 95%
  • Two-point Boundary Value Problem 87%
  • Semilinear 80%
  • Existence Theorem 77%
• 2005

  Accurate sum and dot product

  Ogita, T., Rump, S. M. & Oishi, S., 2005, In: SIAM Journal on Scientific Computing. 26, 6, p. 1955-1988 34 p.

  研究成果: Article › 査読

  • Scalar, inner or dot product 100%
  • Floating point 65%
  • Summation 50%
  • Mantissa 43%
  • Subtraction 31%
  230 被引用数 (Scopus)

• Fast inclusion of interval matrix multiplication

  Ogita, T. & Oishi, S., 2005 6月, In: Reliable Computing. 11, 3, p. 191-205 15 p.

  研究成果: Article › 査読

  • Interval Matrix 100%
  • Matrix multiplication 91%
  • Inclusion 61%
  • Rounding 14%
  • Calculate 9%
  7 被引用数 (Scopus)

• Numerical verification of solutions of Nekrasov's integral equation

  Murashige, S. & Oishi, S., 2005 7月 1, In: Computing (Vienna/New York). 75, 1 SPEC. ISS., p. 15-25 11 p.

  研究成果: Article › 査読

  • Integral equations 77%
  • Sobolev spaces 64%
  • Integral Equations 56%
  • Logarithmic Kernel 53%
  • Singular Kernel 47%
  2 被引用数 (Scopus)
• 2004

  Libraries, tools, and interactive systems for verified computations four case studies

  Baker Kearfott, R., Neher, M., Oishi, S. & Rico, F., 2004 12月 1, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2991, p. 36-63 28 p.

  研究成果: Article › 査読

  • Interactive Systems 100%
  • Libraries 68%
  • Software 42%
  • MATLAB 33%
  • Embedded Systems 24%
  6 被引用数 (Scopus)

• Numerical verification of solutions of periodic integral equations with a singular kernel

  Murashige, S. & Oishi, S., 2004 12月, In: Numerical Algorithms. 37, 1-4 SPEC. ISS., p. 301-310 10 p.

  研究成果: Article › 査読

  • Singular Kernel 94%
  • Integral equations 77%
  • Sobolev spaces 64%
  • Integral Equations 56%
  • Logarithmic Kernel 53%
  3 被引用数 (Scopus)

• On necessary and sufficient conditions for numerical verification of double turning points

  Tanaka, K., Murashige, S. & Oishi, S., 2004 5月 1, In: Numerische Mathematik. 97, 3, p. 537-554 18 p.

  研究成果: Article › 査読

  • Extended Systems 93%
  • Turning Point 86%
  • Necessary Conditions 41%
  • Sufficient Conditions 35%
  • Verify 29%
  5 被引用数 (Scopus)

• Study on relationship between technostress and antisocial behavior on computers

  Kasuga, N., Itoh, K., Oishi, S. & Nagashima, T., 2004 6月, In: IEICE Transactions on Information and Systems. E87-D, 6, p. 1461-1465 5 p.

  研究成果: Article › 査読

  • Multivariate Analysis 100%
  2 被引用数 (Scopus)
• 2003

  Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations

  Ogita, T., Oishi, S. & Ushiro, Y., 2003 6月, In: Reliable Computing. 9, 3, p. 229-239 11 p.

  研究成果: Article › 査読

  • Linear equations 100%
  • System of Linear Equations 92%
  • Error Bounds 82%
  • Approximate Solution 70%
  • Rounding 21%
  8 被引用数 (Scopus)

• Numerical verification of nonexistence of solutions for separable nonlinear equations and its application to all solutions algorithm

  Nakaya, Y., Oishi, S., Kashiwagi, M. & Kanzawa, Y., 2003 5月 1, In: Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi). 86, 5, p. 45-53 9 p.

  研究成果: Article › 査読

  • Nonlinear equations 100%
  3 被引用数 (Scopus)
• 2002

  An algorithm for iteratively refining the interval including the solution set of parameter-dependent nonlinear equations

  Kanzawa, Y., Kashiwagi, M. & Oishi, S., 2002 2月 26, In: Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi). 85, 4, p. 39-44 6 p.

  研究成果: Article › 査読

  • Nonlinear equations 100%
  • Refining 90%
  • Set theory 59%

• Fast verification of solutions of matrix equations

  Oishi, SI. & Rump, S. M., 2002 2月 1, In: Numerische Mathematik. 90, 4, p. 755-773 19 p.

  研究成果: Article › 査読

  • LU decomposition 100%
  • Matrix Equation 70%
  • Decomposition 52%
  • Libraries 26%
  • Computational Cost 24%
  37 被引用数 (Scopus)
• 2001

  Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation

  Oishi, S., 2001 2月 15, In: Linear Algebra and Its Applications. 324, 1-3, p. 133-146 14 p.

  研究成果: Article › 査読

  • Enclosure 100%
  • Rounding 93%
  • Singular Values 82%
  • Program Verification 59%
  • Eigenvalue 50%
  20 被引用数 (Scopus)
• 1999

  Algorithm for finding all solutions of parameter-dependent nonlinear equations with guaranteed accuracy

  Kanzawa, Y., Kashiwagi, M. & Oishi, S., 1999 10月 1, In: Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi). 82, 10, p. 33-39 7 p.

  研究成果: Article › 査読

  • Nonlinear equations 100%
  3 被引用数 (Scopus)

• Calculating bifurcation points with guaranteed accuracy

  Kanzawa, Y. & Oishi, SI., 1999 1月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E82-A, 6, p. 1055-1061 7 p.

  研究成果: Article › 査読

  • Bifurcation (mathematics) 100%
  • Bifurcation Point 87%
  • Hysteresis 76%
  • Extended Systems 34%
  • Symmetry Breaking 32%
  9 被引用数 (Scopus)

• Imperfect singular solutions of nonlinear equations and a numerical method of proving their existence

  Kanzawa, Y. & Oishi, SI., 1999 1月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E82-A, 6, p. 1062-1069 8 p.

  研究成果: Article › 査読

  • Singular Solutions 100%
  • Imperfect 98%
  • Nonlinear equations 93%
  • Numerical methods 76%
  • Nonlinear Equations 69%
  7 被引用数 (Scopus)
• 1998

  A method of proving the existence of simple turning points of two-point boundary value problems based on the numerical computation with guaranteed accuracy

  Soma, T., Oishi, S. N. I., Kanzawa, Y. & Horiuchi, K., 1998, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E81-A, 9, p. 1892-1897 6 p.

  研究成果: Article › 査読

  • Turning Point 100%
  • Boundary value problems 93%
  • Two-point Boundary Value Problem 85%
  • Ordinary differential equations 30%
  • Nonlinear Ordinary Differential Equations 29%
  1 被引用数 (Scopus)

• Finding all solutions of nonlinear systems of equations using linear programming with guaranteed accuracy

  Nakaya, Y. & Oishi, S., 1998 12月 1, In: Journal of Universal Computer Science. 4, 2, p. 171-177 7 p.

  研究成果: Article › 査読

  • Nonlinear Systems of Equations 100%
  • Linear programming 74%
  • Nonlinear systems 68%
  • Polymers 29%
  • Liquids 27%
  9 被引用数 (Scopus)

• Numerical verification method of existence of connecting orbits for continuous dynamical systems

  Oishi, S., 1998 12月 1, In: Journal of Universal Computer Science. 4, 2, p. 193-201 9 p.

  研究成果: Article › 査読

  • Ordinary differential equations 73%
  • Numerical methods 60%
  • Orbits 60%
  • Dynamical systems 56%
  • Dynamical system 51%
  9 被引用数 (Scopus)
• 1997

  First order phase transition resulting from finite inertia in coupled oscillator systems

  Tanaka, H. A., Lichtenberg, A. J. & Oishi, S., 1997, In: Physical Review Letters. 78, 11, p. 2104-2107 4 p.

  研究成果: Article › 査読

  • inertia 100%
  • synchronism 88%
  • oscillators 76%
  • hysteresis 39%
  145 被引用数 (Scopus)

• Self-synchronization of coupled oscillators with hysteretic responses

  Tanaka, H. A., Lichtenberg, A. J. & Oishi, S., 1997, In: Physica D: Nonlinear Phenomena. 100, 3-4, p. 279-300 22 p.

  研究成果: Article › 査読

  • Self-synchronization 100%
  • Coupled Oscillators 69%
  • synchronism 47%
  • Synchronization 43%
  • oscillators 41%
  106 被引用数 (Scopus)

• Stability of synchronized states in one dimensional networks of second order PLLS

  Tanaka, H. A., De Sousa Vieira, M., Lichtenberg, A. J., Lieberman, M. A. & Oishi, S., 1997 3月, In: International Journal of Bifurcation and Chaos in Applied Sciences and Engineering. 7, 3, p. 681-690 10 p.

  研究成果: Article › 査読

  • Clocks 100%
  • Timing 92%
  • Digital communication systems 39%
  • Phase locked loops 30%
  • Phase-locked Loop 30%
  2 被引用数 (Scopus)
• 1996

  Geometric structure of mutually coupled phase-locked loops

  Tanaka, H. A., Oishi, S. N. I. & Horiuchi, K., 1996, In: IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 43, 6, p. 438-443 6 p.

  研究成果: Article › 査読

  • Ordinary differential equations 100%
  • Phase locked loops 98%
  • Nonlinear dynamical systems 40%
  • System theory 35%
  • Chaos theory 31%
  4 被引用数 (Scopus)
• 1995

  Numerical validation method for nonlinear equations using interval analysis and rational arithmetic

  Kashiwagi, M. & Oishi, SI., 1995 7月, In: Electronics and Communications in Japan (Part III: Fundamental Electronic Science). 78, 7, p. 99-112 14 p.

  研究成果: Article › 査読

• Numerical verification of existence and inclusion of solutions for nonlinear operator equations

  Oishi, S., 1995 6月 20, In: Journal of Computational and Applied Mathematics. 60, 1-2, p. 171-185 15 p.

  研究成果: Article › 査読

  • Banach spaces 100%
  • Nonlinear Operator Equations 73%
  • Mathematical operators 53%
  • Inclusion 46%
  • Banach space 38%
  19 被引用数 (Scopus)
• 1994

  Analytic structure of phase-locked loops in complex time

  Tanaka, H. A., Matsuda, T., Oishi, S. & Horiuchi, K., 1994 11月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E77-A, 11, p. 1777-1782 6 p.

  研究成果: Article › 査読

  • Phase-locked Loop 100%
  • Phase locked loops 68%
  • Fractals 67%
  • Riccati equations 20%
  • Chaotic systems 18%

• Melnikov analysis for a second order phase-locked loop in the presence of a weak CW interference

  Tanaka, H. A., Oishi, S. & Horiuchi, K., 1994 11月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E77-A, 11, p. 1887-1891 5 p.

  研究成果: Article › 査読

  • Phase-locked Loop 100%
  • Wave interference 95%
  • Interference 74%
  • Phase locked loops 68%
  • Invariant Manifolds 47%

• Singular point analysis for dynamical systems with many parameters‐an application to an asymmetrically and densely connected neural network model

  Tanaka, HA. A., Okada, A., Horiuchi, K. & Oishi, SI., 1994, In: Electronics and Communications in Japan (Part III: Fundamental Electronic Science). 77, 10, p. 92-102 11 p.

  研究成果: Article › 査読

  • Nonlinear dynamical systems 100%
  • Chaos theory 77%
  • Neurons 70%
  • Dynamical systems 62%
  • Neural networks 46%

• Two topics in nonlinear system analysis through fixed point theorems

  Oishi, S., 1994 7月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E77-A, 7, p. 1144-1152 9 p.

  研究成果: Article › 査読

  • Interval Analysis 100%
  • Systems Analysis 89%
  • Nonlinear Analysis 81%
  • Nonlinear systems 64%
  • Nonlinear Systems 59%
  3 被引用数 (Scopus)
• 1993

  A modified Newton method with guaranteed accuracy based on rational arithmetic

  Inoue, A., Kashiwagi, M., Oishi, S. & Makino, M., 1993 5月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A, 5, p. 795-805 11 p.

  研究成果: Article › 査読

  • Modified Newton Method 100%
  • Newton-Raphson method 77%
  • Nonlinear equations 75%
  • Approximate Solution 54%
  • Numerical methods 31%

• Computation of constrained channel capacity by network's method

  Yamamura, K., Oishi, S. & Horiuchi, K., 1993 6月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A, 6, p. 1043-1048 6 p.

  研究成果: Article › 査読

  • Channel Capacity 100%
  • Channel capacity 75%
  • Local Quadratic Convergence 19%
  • Linear Constraints 14%
  • High Accuracy 14%

• Estimation method of region guaranteeing existence of a solution path in Newton type homotopy method

  Makino, M., Kashiwagi, M., Oishi, S. & Horiuchi, K., 1993 7月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A, 7, p. 1113-1116 4 p.

  研究成果: Article › 査読

  • Newton-type Methods 100%
  • Homotopy Method 97%
  • Nonlinear equations 83%
  • Path 52%
  • Homotopy Type 43%
  2 被引用数 (Scopus)

• Nonlinear circuit in complex time case of phase-locked loops

  Tanaka, H. A., Oishi, S. & Horiuchi, K., 1993 12月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A, 12, p. 2055-2058 4 p.

  研究成果: Article › 査読

  • Phase-locked Loop 100%
  • Nonlinear Circuits 92%
  • Phase locked loops 68%
  • Networks (circuits) 35%
  • Fractals 22%

• Numerical verification of algebraic non-integrability for high dimensional dynamical systems

  Tanaka, H. A., Oishi, S. & Okada, A., 1993 7月, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A, 7, p. 1117-1120 4 p.

  研究成果: Article › 査読

  • Non-integrability 98%
  • Singular Point 70%
  • High-dimensional 59%
  • Dynamical systems 59%
  • Dynamical system 53%

• Sufficient condition of a priori estimation for computational complexity of the homotopy method

  Makino, M., Kashiwagi, M., Oishi, S. & Horiuchi, K., 1993 5月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A, 5, p. 786-794 9 p.

  研究成果: Article › 査読

  • Homotopy Method 100%
  • Computational Complexity 73%
  • Computational complexity 64%
  • Newton-Raphson method 58%
  • Nonlinear equations 57%
  1 被引用数 (Scopus)
• 1991

  Computational complexity of the homotopy method for calculating solutions of strongly monotonic resistive circuit equations

  Makino, M., Oishi, S., Kashiwagi, M. & Horiuchi, K., 1991, In: Electronics and Communications in Japan (Part III: Fundamental Electronic Science). 74, 11, p. 90-100 11 p.

  研究成果: Article › 査読

  • Computational complexity 100%
  • Newton-Raphson method 67%
  • Networks (circuits) 67%
  • Error analysis 57%
  • Mathematical operators 56%

• Constructive analysis for infinite‐dimensional nonlinear systems—infinite‐dimensional version of homotopy method

  Makino, M. & Oishi, SI., 1991, In: Electronics and Communications in Japan (Part III: Fundamental Electronic Science). 74, 8, p. 1-10 10 p.

  研究成果: Article › 査読

  • Nonlinear equations 100%
  • Semiconductor devices 36%
  • Controllability 32%
  • Resistors 29%
  • Mathematical operators 28%
  1 被引用数 (Scopus)
• 1986

  RATE RISK THEORY - INFORMATION THEORETIC APPROACH TO STATISTICAL DECISION.

  Kanaya, F. & Oishi, S., 1986 5月 1, In: Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E. E69, 5, p. 571-574 4 p.

  研究成果: Article › 査読

  • Information theory 100%
  • Decision theory 34%
  • Uncertainty 18%

• STEADY-STATE ANALYSIS OF NONLINEAR OSCILLATORY CIRCUITS BY A SIMPLICIAL HOMOTOPY METHOD.

  Yamamura, K., Katayama, E., Oishi, S. & Horiuchi, K., 1986 3月 1, In: Bulletin of Centre for Informatics (Waseda University). 3, p. 88-91, 118

  研究成果: Article › 査読

  • Newton-Raphson method 100%
  • Nonlinear systems 77%
  • Networks (circuits) 49%
  • Computational efficiency 43%
  • Computer aided design 37%
• 1985

  A constructive approach to the analysis of nonlinear resistive circuits based on the fixed point algorithm theory

  Member, Y. S. R., Oishi, SI., Takase, T. & Members, K. H. R., 1985 6月, In: Electronics and Communications in Japan (Part I: Communications). 68, 6, p. 11-18 8 p.

  研究成果: Article › 査読

  • Networks (circuits) 100%
  • Nonlinear networks 51%
  • Circuit theory 45%

• A New Approach to Completely Integrable Partial Differential Equations by Means of the, Singularity Analysis

  Harada, H. & Oishi, S., 1985 1月 1, In: journal of the physical society of japan. 54, 1, p. 51-56 6 p.

  研究成果: Article › 査読

  • partial differential equations 100%
  18 被引用数 (Scopus)

• A PL homotopy continuation method with the use of an odd map for the artificial level

  Kojima, M., Oishi, S., Sumi, Y. & Horiuchi, K., 1985 6月 1, In: Mathematical Programming. 31, 2, p. 235-244 10 p.

  研究成果: Article › 査読

  • Homotopy Continuation Method 100%
  • Linear equations 71%
  • Nonlinear equations 70%
  • Global Convergence 62%
  • Odd 46%
  1 被引用数 (Scopus)

• ITERATIVE DECOMPOSITION METHOD WITH MESH REFINEMENTS FOR NUMERICAL SOLUTION OF NONLINEAR TW0-POINT BOUNDARY VALUE PROBLEMS.

  Yamamura, K., Oishi, S. & Horiuchi, K., 1985 6月 1, In: Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E. E68, 6, p. 382-383 2 p.

  研究成果: Article › 査読

  • Boundary value problems 100%
  • Finite difference method 91%
  • Decomposition 64%

• On principal partition of matroids with parity condition into strongly irreducible minors pairs

  Onozava, A., Inoue, M., Oishi, SI. & Horiuchi, K., 1985, In: Electronics and Communications in Japan (Part I: Communications). 68, 11, p. 10-19 10 p.

  研究成果: Article › 査読

  • Polynomials 100%

• Simplicial homotopy method for the solution of nonlinear two‐point boundary value problems

  Yamamura, K., Oishi, SI. & Horiuchi, K., 1985, In: Electronics and Communications in Japan (Part I: Communications). 68, 11, p. 40-48 9 p.

  研究成果: Article › 査読

  • Difference equations 100%
  • Boundary value problems 89%
  • Decomposition 57%
  • Nonlinear equations 43%
  • Numerical methods 35%
• 1984

  A decomposition method and acceleration techniques for a fixed point algorithm

  Yamamura, K., Oishi, SI. & Horiuchi, K., 1984, In: Electronics and Communications in Japan (Part I: Communications). 67, 10, p. 1-9 9 p.

  研究成果: Article › 査読

  • Decomposition 100%
  • Nonlinear equations 13%
  • Computational efficiency 12%

• Simplicial fixed points algorithms for finding several solutions of nonlinear circuits

  Takase, T., Oishi, SI., Io, H. & Yamamura, K., 1984, In: Electronics and Communications in Japan (Part I: Communications). 67, 4, p. 1-10 10 p.

  研究成果: Article › 査読

  • Nonlinear equations 100%
  • Networks (circuits) 85%
  • Triangulation 68%
  • Linearization 61%
  • Decomposition 22%
• 1983

  Algorithms for solving systems of nonlinear equations by Kevorkian's decomposition method and their quadratic convergence property

  Yamamura, K., Oishi, SI. & Horiuchi, K., 1983, In: Electronics and Communications in Japan (Part I: Communications). 66, 11, p. 33-41 9 p.

  研究成果: Article › 査読

  • Nonlinear equations 100%
  • Decomposition 67%
  • Jacobian matrices 27%

• Vector labelling method in fixed points algorithm and array processors

  Oishi, SI., Takase, T. & Yamamura, K., 1983, In: Electronics and Communications in Japan (Part I: Communications). 66, 11, p. 51-59 9 p.

  研究成果: Article › 査読

  • Parallel processing systems 100%
  • Labeling 95%
• 1982

  BILINEARIZATION METHOD FOR SOLITON EQUATIONS - A NONLINEAR VERSION OF FOURIER'S METHOD.

  Oishi, S., 1982 1月 1, In: Memoirs of the School of Science and Engineering, Waseda University. 46, p. 191-225 35 p.

  研究成果: Article › 査読

  • Solitons 100%
  • Initial value problems 14%
  2 被引用数 (Scopus)