Zobrazeno 1 - 10
of 78
pro vyhledávání: '"Kazuhisa Nakasho"'
Publikováno v:
Nihon Kikai Gakkai ronbunshu, Vol 89, Iss 921, Pp 22-00181-22-00181 (2023)
After massive earthquakes, many steel structures were built with frame welded joints of welded construction and welded base. Although steel structures are considered highly resistant to earthquakes, many were constructed using frame-welded joints of
Externí odkaz:
https://doaj.org/article/35d3445493324d678cab20e6b3d106e3
Autor:
Atsuko Miyaji, Kaname Watanabe, Yuuki Takano, Kazuhisa Nakasho, Sho Nakamura, Yuntao Wang, Hiroto Narimatsu
Publikováno v:
JMIR Medical Informatics, Vol 10, Iss 12, p e38922 (2022)
BackgroundBig data useful for epidemiological research can be obtained by integrating data corresponding to individuals between databases managed by different institutions. Privacy information must be protected while performing efficient, high-level
Externí odkaz:
https://doaj.org/article/bd230ea968a845a2b8cdd4179a4a6072
Publikováno v:
Sensors, Vol 20, Iss 5, p 1415 (2020)
This paper presents a novel bed-leaving sensor system for real-time recognition of bed-leaving behavior patterns. The proposed system comprises five pad sensors installed on a bed, a rail sensor inserted in a safety rail, and a behavior pattern recog
Externí odkaz:
https://doaj.org/article/906138c48b17418cbf365fdbecd5b21c
Publikováno v:
Nihon Kikai Gakkai ronbunshu, Vol 84, Iss 866, Pp 18-00244-18-00244 (2018)
Under certain weather conditions, avalanches can occur because of snow cover on a steep slope. Such avalanches can reach snow fences that are arranged as countermeasures. Furthermore, traffic is completely blocked when fences collapse and snow falls
Externí odkaz:
https://doaj.org/article/7f820f2f9aa54bc1845884654e3b2bdc
Autor:
Kazuhisa Nakasho, Yasunari Shidama
Publikováno v:
Formalized Mathematics. 30:159-168
Summary Previous Mizar articles [7, 6, 5] formalized the implicit and inverse function theorems for Frechet continuously differentiable maps on Banach spaces. In this paper, using the Mizar system [1], [2], we formalize these theorems on Euclidean sp
Autor:
Kazuhisa Nakasho
Publikováno v:
Formalized Mathematics. 30:93-98
Summary This paper, using the Mizar system [1], [2], provides useful tools for working with real linear spaces and real normed spaces. These include the identification of a real number set with a one-dimensional real normed space, the relationships b
Autor:
Kazuhisa Nakasho, Yuichi Futa
Publikováno v:
Formalized Mathematics. 30:67-77
Summary This paper formalizes in Mizar [1], [2], that the isometric isomorphisms between spaces formed by an (n + 1)-dimensional multilinear map and an n-fold composition of linear maps on real normed spaces. This result is used to describe the space
Publikováno v:
The Proceedings of Mechanical Engineering Congress, Japan. 2022:J121-09
Publikováno v:
Formalized Mathematics. 29:175-184
Summary In this article, we formalize in Mizar [1], [2] the topological properties of finite-dimensional real normed spaces. In the first section, we formalize the Bolzano-Weierstrass theorem, which states that a bounded sequence of points in an n-di
Autor:
Hiroyuki Okazaki, Kazuhisa Nakasho
Publikováno v:
Formalized Mathematics. 29:241-248
Summary In this article, we formalize in Mizar [1], [2] the 3-fold product space of real normed spaces for usefulness in application fields such as engineering, although the formalization of the 2-fold product space of real normed spaces has been sto