http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Yoong-Seok Park,Seon-Hee Heo,Dong-Ho Hyun,Young-Soo Do,Hong-Suk Park,Kwang-Bo Park,Young-Wook Kim,Yang-Jin Park,Chul-Hyung Lee,Dong-Ik Kim 대한외과학회 2017 Annals of Surgical Treatment and Research(ASRT) Vol.92 No.1
Purpose: Directional atherectomy (DA) was introduced for the management of infrainguinal arterial stenosis or occlusive lesions. The procedure success rate in the DEFINITIVE LE study was determined using radiologic imaging. The aim of our study was to determine the usefulness of intraoperative ultrasonography (USG) during DA for evaluating the early results of this procedure. Methods: Patients who underwent DA from January to December 2014 were reviewed retrospectively. Twenty lesions from 14 patients with femoral artery stenosis (>70% stenosis) with short segment occlusive lesions (<2 cm in length) were treated. Among 20 lesions, 3 were treated with the TurboHawk system with a protective device due to lesion calcification. The percentage of stenosis during and after DA was determined with USG. Results: Median follow-up was 5.1 months, and the procedural success rate (<30% stenosis at the end of the procedure) was 100% on angiography, but only 30% on intraoperative USG. On USG, median residual stenosis was 40% (range, 28%–42%) at the end of DA, 40% (range, 30%–55%) at 1 month, 55% (range, 35%–85%) at 6 months, and 64% (range, 60%–100%) at 1 year. There was one dissection, but no cases of perforation, pseudoaneurysm, or thrombosis. Primary patency, which was defined as a peak systolic velocity ratio ≤3.5 with no reintervention at 6 months, was found in 18 lesions (90%), and 11 of 14 patients (78.6%) were free of ischemic symptoms such as claudication at 6 months. Conclusion: Our results demonstrated that DA with intraoperative USG is an effective treatment option for short segment occlusive lesions of the femoral artery.
Yoong-Seok Park,Young Soo Do,Hong Suk Park,Kwang Bo Park,Dong-Ik Kim 대한외과학회 2015 Annals of Surgical Treatment and Research(ASRT) Vol.88 No.4
Cone beam CT, usually used in dental area, could easily obtain 3-dimensional images using cone beam shaped ionized radiation. Cone beam CT is very useful for direct percutaneous sac injection (DPSI) which needs very precise measurement to avoid puncture of inferior vena cava or vessel around sac or stent graft. Here we describe two cases of DPSI using cone beam CT. In case 1, a 79-year-old male had widening of preexisted type II endoleak after endovascular aneurysm repair (EVAR). However, transarterial embolization failed due to tortuous collateral branches of lumbar arteries. In case 2, a 72-year-old female had symptomatic sac enlargement by type II endoleak after EVAR. However, there was no route to approach the lumbar arteries. Therefore, we performed DPSI assisted by cone beam CT in cases 1, 2. Six-month CT follow-up revealed no sign of sac enlargement by type II endoleak.
Hong Seok Jin,Park Ji Eun,Sohn Young Bae,Suh Yoong A,Lee Jang Hoon,Park Moon Sung 대한신생아학회 2022 Neonatal medicine Vol.29 No.4
Periventricular nodular heterotopia (PNH) is a neuronal migration disorder that occurs during early brain development. Patients with PNH may be asymptomatic and have normal intelligence; however, PNH is also known to cause various symptoms such as seizures, dyslexia, and cardiovascular anomalies. PNH is not commonly diagnosed during early infancy because of the lack of clinical manifestations during this period. We present the case of a female infant diagnosed with PNH based on brain magnetic resonance imaging, who had symptomatic patent ductus arteriosus that had to be ligated surgically and had prolonged feeding cyanosis with frequent apneic spells.
박명환(Myung-Hwan Park),방기석(Ki-Seok Bang),최진영(Jin-Young Choi),이정아(Jeong-A Lee),한상용(Sang-Yoong Han) 한국정보과학회 2000 정보과학회 컴퓨팅의 실제 논문지 Vol.6 No.6
본 논문에서는 가상 프로토타입핑의 주요 명세 언어인 Statechart 명세를 프로세스 알제브라의 일종인 ACSR(Algebra of Communicating Shared Resources)로 변환하는 규칙을 제안한다. Statechart는 사용하기 편리하고 이해하기 쉬운 명세 언어이지만 수학적인 semantics의 정의가 되어 있지 않아 명세의 정확성을 검증하기가 매우 어렵다. Statechart 명세를 ACSR로 바꾸게 되면 Statechart에 수학적인 semantics를 주게 되고 VERSA를 이용해서 Statechart 명세를 수학적으로 검증할 수 있게 된다. 따라서, 두 언어의 장점, 즉 Statechart의 편리함과 ACSR의 정확성을 모두 얻을 수 있다. In this paper, we give a formal semantics for Statechart via a translation into Algebra of Communicating Shared Resources(ACSR). Statechart is a very rich graphical specification language, which is suitable to specify complicated reactive systems. However, the incorporation of graph into specification and rich syntax makes Statechart semantics very complicated and ambiguous. Thus, it is very difficult to verify the correctness of Statechart specifications. Also, we propose the formal verification method for Statechart specifications by showing equivalence relation between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.
박명환,방기석,최진영,이정아,한상용,Park, Myung-Hwan,Bang, Ki-Seok,Choi, Jin-Young,Lee, Jeong-A,Han, Sang-Yoong 한국정보과학회 2000 정보과학회 컴퓨팅의 실제 논문지 Vol.15 No.11
본 논문에서는 가상 프로토타입핑의 주요 명세 언어인 Statechart 명세를 프로세스 알제브라의 일종인 ACSR(Algebra of Communicating Shared Resources)로 변환하는 규칙을 제안한다. Statechart는 사용하기 편리하고 이해하기 쉬운 명세 언어이지만 수학적인 semantics의 정의가 되어 있지 않아 명세의 정확성을 검증하기가 매우 어렵다. Statechart 명세를 ACSR로 바꾸게 되면 Statechart에 수학적인 semantics를 주게 되고 VERSA를 이용하여 Statechart 명세를 수학적으로 검증할 수 있게 된다. 따라서, 두 언어의 장점, 즉 Statechart의 편리함과 ACSR의 정확성을 모두 얻을 수 있다. In this paper, we give a formal semantics for Statechart via a translation into Algebra of Communicating Shared Hesources(ACSR). Statechart is a very rich graphical specification language, which is suitable to specify complicated reactive systems. However, the incorporation of graph into specification and rich syntax makes Statechart semantics very complicated and ambiguous. Thus, it is very difficult to verify the correctness of Statechart specifications. Also, we propose the formal verification method for Statechart specifications by showing equivalence relation between two Statechart specifications. This makes it possible to combine the advantages of a graphical language with the rigor of process algebra.
Byung Chul Kim,Hyo Sup Lee,Yoong Ki Jeong,Ho Seok Suh,Do Ha Kim,Neung Hwa Park,Jae Hoo Park 대한내과학회 2002 The Korean Journal of Internal Medicine Vol.17 No.4
Liver infarction and acrodermatitis enteropathica are rare complications of chronic pancreatitis. This report shows the case of a 56-year-old man who developed liver infarction due to portal vein thrombosis from chronic pancreatitis and acrodermatitis ent
Kim Sang-Gi,Jung Hyuk,Kim Bo-Ae,Choi Yoong-Suk,Kim Sang-Kook,Choi Gui-Hyang,Park Jong-Seok,Suh Tae-Soo,Kim You-Young 대한의생명과학회 2006 Biomedical Science Letters Vol.12 No.3
Cigarette smoke causes atypical structure of pulmonary and oxidative damage. Therefore, we carried out to determine if exposure to cigarette smoke alters pulmonary structure and anti-oxidant related enzyme in a animal model, when natural product extracts using by Nebulizer. The rat were divided into four groups: $H_2O-treated$ (Control), natural product (Camellia sinensis) extracts-treated (CS), natural product extracts-treated with cigarette smoke-exposed (CS+SM) and cigarette smoke-expose (SM). All groups are similar to Control group in weight, but SM group is lower than the other groups. Microscopic image of the pulmonary structure in SM group showed deleterious alterations in the morphology, but the other groups are maintained in normal structure. In anti-oxidant related enzymes, SOD (superoxide dismutase) and catalase, SM group represents the lowest enzyme activity among all groups. But G6PD (glucose-6-phosphate dehydrogenase) and LPO (lipid peroxidation) is SM group represents the highest enzyme activity among all groups. These result indicate that the natural product extracts is an efficient tissue protective substance against smoke-induced lung injury.