http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
On Verification and Application of Behavioral Inheritance for Parallel Synchronized Interworkflows
Shingo Yamaguchi,Tetsushi Narui,Qi-Wei Ge,Minoru Tanaka 대한전자공학회 2008 ITC-CSCC :International Technical Conference on Ci Vol.2008 No.7
An interworkflow N is constructed by connecting a workflow NX with another workflow NY , so interworkflow N should inherit the behavior from workflow NX (and workflow NY). Behavioral inheritance guarantees that interworkflow N can be substituted for workflow NX. Nevertheless it may happen that the behavior is not inherited. Behavioral inheritance can be verified by comparing the reachability graphs of the WF-nets representing interworkflow N and workflow NX. However this verification method is limited to small interworkflows due to the complexity of the state-space explosion. Focusing on a pattern of interworkflows, called Parallel synchronized pattern, we propose a condition to verify behavioral inheritance of Parallel synchronized interworkflows. This condition enables us to verify the behavioral inheritance in polynomial time.
On Verification of Marking-Dependent Terminacy for Data-Flow Program Nets
Shingo Yamaguchi,Keisuke Komiya,Qi-Wei Ge,Minoru Tanaka 대한전자공학회 2008 ITC-CSCC :International Technical Conference on Ci Vol.2008 No.7
In this paper, we discuss terminacy at the initial marking for (data-flow) program nets. Ge et al. have proposed an algorithm to verify terminacy at any marking, i.e. structurally terminacy. However, there is no algorithm to verify terminacy at the initial marking. In this paper, we give a necessary and sufficient condition to verify the terminacy. Using this condition, we construct a polynomial time algorithm for a subclass of program nets. We also show that the problem to verify the terminacy for general program nets is undecidable.
Effect of starving treatment on gravid females of Neoseiulus californicus (Acari: Phytoseiidae)
Shingo Toyoshima 한국응용곤충학회 2008 한국응용곤충학회 학술대회논문집 Vol.2008 No.10
Effects of starving treatment on the gravid females of N. californicus were investigated at 20°C and 85% RH. When the females were reared without prey and water just after they laid the first egg under the abundant prey condition, they laid 1.8 eggs and survived for 4.3 d. In order to investigate the process of oogenesis in the body of the starved females, females just after laying the first egg were reared for 0, 12, 24, 36, 48, 72, and 96 hr without prey and water, and were then prepared for internal observation. In the body of females of 0hrstarvation, an egg with eggshell and two oocytes were observed in the ventral and dorsal regions, respectively. Larger oocyte had 2 roundish nuclei and abundant yolk granules, and was enveloped with vitelline membrane. These 2 nuclei were not fused but were just conjugated. Smaller oocyte had a nucleus, but did not form yolk granules and vitelline membrane. Females of 12hrstarvation had an egg in the ventral region and an oocyte in the dorsal region of the body. Females of 24hr-starvation maintained an oocyte in the dorsal region of the body, but did not have an egg in the ventral region. The oocyte was filled with abundant yolk granules, and held 2 irregular-shaped nuclei. Females starved more than 36hr also maintained only an oocyte in the dorsal region of the body. Only an irregular-shaped nucleus was observed in the oocyte. These micrographs suggested that (1) gravid females maintained an oocyte in the dorsal region after laying 2 eggs during starving treatment, (2) the oocyte was not absorbed during starvation, (3) the oocyte advanced vitellogenesis and the fusion of 2 nuclei, and (4) the oocyte was not enveloped with eggshell and did not start embryogenesis. It is also assumed that the sperm penetrated into the oocyte without yolk granules, although the penetration was not observed in this study.
Shingo Takahashi,Shuji Tsukiyama,Masanori Hashimoto,Isao Shirakawa 대한전자공학회 2008 ITC-CSCC :International Technical Conference on Ci Vol.2008 No.7
In the design of column driver circuit of liquid crystal displays, a sampling circuit must be designed so that the pixel voltage of a pixel is as close to an input video voltage as possible in various conditions. In this paper, we propose a design method of finding optimal combinations of a sampling switch size and a sampling pulse waveform, which attains this objective. Moreover, in order to optimize both buffer and sampling circuits, we propose a figure of suitability of each combination to the design of buffer circuit generating sampling pulses. We show an experimental result which indicates that the proposed method produced almost equal quality design in eleven times faster than the optimizer in SPICE.
Dc SQUIDs Made of Intrinsic Josephson Junctions
Shingo Okano,Akinobu Irie,Gin-ichiro Oya 한국물리학회 2006 THE JOURNAL OF THE KOREAN PHYSICAL SOCIETY Vol.48 No.5I
We have fabricated and studied a dc superconducting quantum interference device (dc SQUID) based on intrinsic Josephson junctions in Bi2Sr2CaCu2Oy single crystals. The dc SQUIDs with in-plane loop geometry and two stacks of intrinsic Josephson junctions (IJJs) were successfully fabricated using a double-side etching process. Such a layout allowed us to define the SQUID inductance and the number of junctions in the stack independently. At 4.2 K, the SQUIDs showed hysteretic current-voltage characteristics with typical multiple resistive branches. When the operating temperature was elevated in order to reduce the hysteresis, clear periodic and symmetric flux-voltage characteristics due to the quantum interference between the weakest junctions in the stacks were observed. Both the number of junctions and the asymmetry in the critical currents are discussed as important factors in the operation of IJJ-SQUID.
Antimicrobial Prophylaxis in Urological Surgery
Shingo Yamamoto,Katsumi Shigemura,Hiroshi Kiyota,Soichi Arakawa,Japanese Research Group for UTI 대한요로생식기감염학회 2016 Urogenital Tract Infection Vol.11 No.3
Surgical site infection (SSI) is defined as an infection occurring within one month from surgery or intervention. SSIs are classified into three categories: Clean, clean-contaminated, and contaminated. They are defined as procedures that avoid entering the urinary tract, involve entry of the urinary tract, and involve the bowels, respectively. The purpose of antimicrobial prophylaxis (AMP) is to protect the surgical wound from contamination by normal bacterial flora. AMP should be based on penicillin with beta-lactamase inhibitors, or first- or second-generation cephalosporins. Broad-spectrum antimicrobials, such as third- and fourth- generation cephalosporins or carbapenems, should be used to treat postoperative infections but not AMP. AMP should be started no less than 30 minutes prior to the start of the operation. AMP should be administered by a single dose or be terminated within 24 hours in cases of transurethral, clean, or clean-contaminated surgery, and within 2 days in cases of bowl (contaminated) surgery. These guidelines are applicable preoperatively only for non-infected, low-risk patients. The risk of patients for infection should be evaluated preoperatively, such as with a urine culture test. In cases with preoperative infection or bacteriuria that can cause an SSI or urinary tract infection following surgery, patients must receive adequate preoperative treatment based on their individual situation.
Effects of Welding Residual Stress on Compressive Behavior and Ultimate Strength of Corroded Plate
Shingo Tamagawa,You-Chul Kim 한국강구조학회 2010 International Journal of Steel Structures Vol.10 No.2
This study examined the effects of welding residual stress on the compressive behavior and the ultimate strength of the corroded plate. First, welding residual stress was obtained by the thermal elastic-plastic analysis. Then, the change of welding residual stress and the deflection due to the volume loss was investigated by using a newly developed program based on FEM. Finally, the effects of welding residual stress on the compressive behavior and the ultimate strength of the corroded plate were investigated by the elastic-plastic large deformation analysis. As results, the beginning point of the reduction of the initial stiffness with welding residual stress was earlier than that without welding residual stress. Such effect was observed significantly in the case that the volume was lost in the region which has compressive residual stress. Furthermore, the ultimate strength of the corroded plate was reduced by welding residual stress regardless of the plate length, the corroded regions and the reduction of the thickness. The effect of welding residual stress on the ultimate strength became small with the decrease of the thickness.