http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Shuhei Yamaguchi,Nobuhiro Yamaguchi,Masaki Mito,Hiroyuki Deguchi,Peter. J. Baker,Stephen. J. Blundell,Michael. J. Pitcher,Dinah. R. Parker,Simon. J. Clarke 한국물리학회 2013 THE JOURNAL OF THE KOREAN PHYSICAL SOCIETY Vol.63 No.3
The pressure effects on the 111-type Fe-based superconductor LiFeAs were investigated throughAC susceptibility measurements and X-ray diffraction experiments, and revealed a correlation betweenthe superconducting transition temperature (Tc) and the As-Fe-As bond angle (α) ratherthan the height of As from the Fe layers (hAs). As the pressure was increased, Tc of 17 K at P =0 GPa decreased down to 10 K at P = 5.2 GPa. According to a previous report from an X-raydiffraction experiment, α changes from 101.5˚ at 0 GPa to 97.8˚ at 17 GPa. The obtained changein Tc is consistent with Lee et al.’s plot of Tc as a function of α, and from this result, we concludethat Tc will fall to zero at around α = 98˚.
A Soundness Verification Tool Based on the SPIN Model Checker for Acyclic Workflow Nets
Shingo YAMAGUCHI,Munenori YAMAGUCHI,Minoru TANAKA 대한전자공학회 2008 ITC-CSCC :International Technical Conference on Ci Vol.2008 No.7
Workflow nets (WF-nets) are Petri nets for modeling workflows, and are utilized to verification and performance evaluation of workflows. A WF-net should have a property, called soundeness, which guarantees a logical correctness of the modeled workflow. If a given WF-net is free choice then its soundness can be verified in polynomial time. Otherwise there is no polynomial time method to verify soundness for general WF-nets. Unfortunately, some workflows cannot be represented as free choice WF-nets. For example, the WF-net representing an inter-organizational workflow may become asymmetric choice. Thus an efficient method is required. In this paper, we propose a tool to verify soundness using the SPIN model checker. We also show efficiency of our tool by comparing it with an existing WF-nets analysis tool, Woflan, on verification time for asymmetric choice WF-nets.
Collision Avoidance of the Aircraft in the 3 Dimensional Space
Yoshihiro Yamaguchi,Hiroyuki Takano,Takeshi Yamasaki,Isao Yamaguchi 제어로봇시스템학회 2011 제어로봇시스템학회 국제학술대회 논문집 Vol.2011 No.10
Recently, domestic and overseas LCC’s (Low Cost Carriers) increase air-traffic in Japan. However, we have narrow domain and many airports. Large training areas of USAF or JSDF also exist in the airspace. In the present circumstances, the flight safety is kept by separating airways from training areas. In the near future, increasing number of flights will make severe situation. In this paper, we try to optimize the evasive courses of aircraft in the narrow airspace. We formulate collision avoidance as a nonlinear programming problem and analyzed numerically. The optimal solution we obtained show courses in narrower spaces than ordinary ones. The assumption of limited airspaces is useful in severe situation like bad weather. Thus, this study might be a good proposal to decide direction for collision avoidance.
Constructing Japanese MeSH term dictionaries related to the COVID-19 literature
Yamaguchi, Atsuko,Takatsuki, Terue,Tateisi, Yuka,Soares, Felipe Korea Genome Organization 2021 Genomics & informatics Vol.19 No.3
The coronavirus disease 2019 (COVID-19) pandemic has led to a flood of research papers and the information has been updated with considerable frequency. For society to derive benefits from this research, it is necessary to promote sharing up-to-date knowledge from these papers. However, because most research papers are written in English, it is difficult for people who are not familiar with English medical terms to obtain knowledge from them. To facilitate sharing knowledge from COVID-19 papers written in English for Japanese speakers, we tried to construct a dictionary with an open license by assigning Japanese terms to MeSH unique identifiers (UIDs) annotated to words in the texts of COVID-19 papers. Using this dictionary, 98.99% of all occurrences of MeSH terms in COVID-19 papers were covered. We also created a curated version of the dictionary and uploaded it to Pub-Dictionary for wider use in the PubAnnotation system.
A Study on the Fundamental Cause of Stall Stagnation Phenomena in Surges in Compressor Systems
Yamaguchi, Nobuyuki Korean Society for Fluid machinery 2017 International journal of fluid machinery and syste Vol.10 No.2
Although the stall stagnation phenomena have often been experienced in site and also analytically in numerical experiments in surges in systems of compressors and flow paths, the fundamental causes have not been identified yet. In order to clarify the situations, behaviours of infinitesimal disturbance waves superposed on a main flow were studied in a simplified one-dimensional flow model. A ratio of the amplifying rate of the system instability to the characteristic slope of the compressor element was surveyed as the instability enhancement factor. Numerical calculations have shown the following tendency of the factor. In the situation where both the sectional area ratio and the length ratio of the delivery flow-path to the suction duct are sufficiently large, the enhancement factors are greater in magnitude, which means occurrence of ordinary deep surges. However, in the situation where the area ratio and/or the length ratio is relatively smaller, the enhancement factor tends to lessen significantly, which situation tends to suppress deep surges for the same value of the characteristic slope. It could result in the stall stagnation condition. In the domain of area ratio vs. length ratio of the delivery duct to the suction duct, contour-lines of the enhancement factor behave qualitatively similar to those of the stall stagnation boundaries of a fan analytically obtained, suggesting that a certain range of the enhancement factor values could specify the stagnation occurrence. The significant decreases in the factors are observed to accompany appearances of phase lags and travelling waves in the wave motions, which macroscopically suggests breaking down of the complete surge actions of filling and emptying of the air in the delivery duct. The strength of the action is deeply related with acoustic interferences and is evaluated in terms of the volume-modified reduced resonance frequency proposed by the author. These observations have shown the fundamental cause and the sequence of the stall stagnation in principle.
Yamaguchi, Atsuko,Queralt-Rosinach, Nuria Korea Genome Organization 2020 Genomics & informatics Vol.18 No.2
The amount of content on social media platforms such as Twitter is expanding rapidly. Simultaneously, the lack of patient information seriously hinders the diagnosis and treatment of rare/intractable diseases. However, these patient communities are especially active on social media. Data from social media could serve as a source of patient-centric knowledge for these diseases complementary to the information collected in clinical settings and patient registries, and may also have potential for research use. To explore this question, we attempted to extract patient-centric knowledge from social media as a task for the 3-day Biomedical Linked Annotation Hackathon 6 (BLAH6). We selected amyotrophic lateral sclerosis and multiple sclerosis as use cases of rare and intractable diseases, respectively, and we extracted patient histories related to these health conditions from Twitter. Four diagnosed patients for each disease were selected. From the user timelines of these eight patients, we extracted tweets that might be related to health conditions. Based on our experiment, we show that our approach has considerable potential, although we identified problems that should be addressed in future attempts to mine information about rare/intractable diseases from Twitter.