http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
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.
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 Study on the Deep-Surge Frequencies in Various Conditions of Axial Flow Compressors and Flow-paths
Yamaguchi, Nobuyuki Korean Society for Fluid machinery 2017 International journal of fluid machinery and syste Vol.10 No.4
Frequencies of deep surges and their behaviors in axial flow compressors were surveyed numerically. Relative surge frequencies, normalized by the basic acoustical resonance frequencies, are seen to tend to lower together with increases in the stalling pressure ratios, i.e. increases in the number of stages and the compressor tip speed, and also together with increases in the flow-path sectional area ratios. However, it appears difficult to express simply the general behaviors of the relative frequencies affected by the various factors. In order to know the essential behaviors, a modified reduced surge frequency is proposed, which is a dimensionless number comparing the mass flow filling and emptying the plenum volume in surge and the mass flow provided by the compressor. The modified reduced surge frequencies are found to have or approach a definite and nearly constant value in conditions of deep surges. The parameter suggests the fundamental mechanism of deep surges and could be used to determine approximate frequencies of deep-surges in various conditions of compressors and flow-paths.
Yamaguchi, Hiroki,Gurung, Chandra B.,Yukino, Teruhiro Techno-Press 2005 Wind and Structures, An International Journal (WAS Vol.8 No.2
Wind-induced vibrations measured in the Tsuruga Test Line are characterized in this paper by single-channel data analysis based on piecewise application of Prony's method. Some of events were identified as galloping, while most of events were buffeting responses, which were confirmed partly by the buffeting analysis. Effects of end condition etc. on the response characteristics are also discussed.
Application of DV-X$\alpha$ Method to ${\gamma}$-2CaO.SiO$_2$
Yamaguchi, Norio,Fujimori, Hirotaka,Ioku, Koji,Goto, Seishi,Nakayasu, Tetsuo The Korean Ceramic Society 2000 The Korean journal of ceramics Vol.6 No.4
In the present study, we attempted to apply DV-X$\alpha$ method to expressing the reactivity of materials. The expression of reactivity was discussed by comparison between ${\gamma}$-C$_2$G having hydraulic activity and ${\gamma}$-C$_2$S not having hydraulic activity at normal conditions. It was found that the model cluster used for calculation can finely reproduce the bulk and surface states using with and without point charge, respectively. The hydration state was also represented by placing OH ̄ on the surface of the cluster. It was calculated that the bond strength of the first layer (as surface) was bigger than that of inner layers (as bulk) for ${\gamma}$-C$_2$S while that of the first layer for ${\gamma}$-C$_2$G was smaller than that of inner layers. Subsequently a model in which OH ̄ is coordinated on Ca at the surface was also calculated. The bond strength with OH ̄ was stronger than that without OH ̄, while for ${\gamma}$-C$_2$G the bond strength with OH ̄ was weaker than that without OH ̄. From these results, it is concluded that the hydraulic activity depends on whether the bond strength for hydrated state becomes weaker than that unhydrated state or not.