Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Yoshiaki KANAZAWA"'
Autor:
Yoshiaki Kanazawa, Naoki Nishida
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 289, Iss Proc. WPTE 2018, Pp 34-52 (2019)
In this paper, we show a new approach to transformations of an imperative program with function calls and global variables into a logically constrained term rewriting system. The resulting system represents transitions of the whole execution environm
Externí odkaz:
https://doaj.org/article/746e34db445245bc9b29c00918487896
Autor:
Yoshiaki KANAZAWA
Publikováno v:
MOKUZAI HOZON (Wood Protection). 49:72-76
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc7aead76ce94ee47513c5bc4a593eeb
https://doi.org/10.5990/jwpa.49.72
https://doi.org/10.5990/jwpa.49.72
Autor:
Naoki Nishida, Yoshiaki Kanazawa
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 289, Iss Proc. WPTE 2018, Pp 34-52 (2019)
In this paper, we show a new approach to transformations of an imperative program with function calls and global variables into a logically constrained term rewriting system. The resulting system represents transitions of the whole execution environm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86616f5421e71d159ff8214af09ef051
https://doaj.org/article/746e34db445245bc9b29c00918487896
https://doaj.org/article/746e34db445245bc9b29c00918487896
Publikováno v:
MOKUZAI HOZON (Wood Protection). 38:111-116
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3838e9c228062a98939a4c73bada9777
https://doi.org/10.5990/jwpa.38.111
https://doi.org/10.5990/jwpa.38.111
Publikováno v:
TEION KOGAKU (Journal of Cryogenics and Superconductivity Society of Japan). 33:183-188
A single-stage four-valve pulse tube cryocooler with a large cooling power at 80K has been built and tested. The cryocooler has a regenerator stacked with stainless-steel screen disks of 250 mesh and a pulse tube 200mm long. A rotary valve unit direc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1253449b7b950085cc8e565ebe72e6e4
https://doi.org/10.2221/jcsj.33.183
https://doi.org/10.2221/jcsj.33.183
Publikováno v:
TEION KOGAKU (Journal of Cryogenics and Superconductivity Society of Japan). 31:162-167
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f2a8bf7b576e6dd74a65f328914e4704
https://doi.org/10.2221/jcsj.31.162
https://doi.org/10.2221/jcsj.31.162
Publikováno v:
TEION KOGAKU (Journal of Cryogenics and Superconductivity Society of Japan). 31:216-222
A Joule-Thomson (JT) expansion refrigerator with a Gifford-McMahon (GM) precooler which had magnetic regenerator was installed in a dilution refrigerator for use in long-term experiments without the necessity of helium transfer. A helium circulation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::096bc2ffcbd8ed453f039404b13a296e
https://doi.org/10.2221/jcsj.31.216
https://doi.org/10.2221/jcsj.31.216
Publikováno v:
TEION KOGAKU (Journal of Cryogenics and Superconductivity Society of Japan). 31:172-181
The influence of intake/exhaust valve timing on performance of a 4K Gifford-McMahon (GM) cryocooler has been investigated for the optimization of intake and exhaust valves. The 4K-GM cryocooler employed for the present study was a standard two-stage
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb504cc9152c032deab60ccfa3ab9503
https://doi.org/10.2221/jcsj.31.172
https://doi.org/10.2221/jcsj.31.172
Publikováno v:
Cryogenics. 34:167-170
A miniature pulse tube refrigerator reaching temperatures below 100K has been developed. In this paper the test results of the refrigerator are reported. The refrigerator is a orifice pulse tube refrigerator. It is based on a miniature Stirling refri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e41797334bc1ea3bff8e3fc8733b4f1f
https://doi.org/10.1016/s0011-2275(05)80035-9
https://doi.org/10.1016/s0011-2275(05)80035-9
Publikováno v:
Cryocoolers 10 ISBN: 9780306461200
The effect of displacer stroke on the performance of a 4K Gifford-McMahon (G-M) cryocooler has been investigated. Displacer strokes of 30mm, 25mm, 20mm and 15mm are examined. The largest cooling capacity at 4.2K and also at 7K is nearly equal for all
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc2407b8cc7e1f3be95befcad62e815a
https://doi.org/10.1007/0-306-47090-x_68
https://doi.org/10.1007/0-306-47090-x_68
