프로세스 알제브라를 이용한 디지털 논리화로의 검증

전준규,최진영 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.1 No.-

정형기법은 수학과 논리학을 이용하여 하드웨어 및 소프트웨어 시스템을 설계하고 검증하는데 사용되어져왔다. 정형기법은 수학과 논리학에 기반을 두고 있으므로 시스템을 묘사하는데 있어서 애매모호하지 않고, 설계된 시스템이 처음에 의도된 요구 사항과 동일한가를 수학적 성질을 이용하여 증명할 수 있다. ACSR-VP는 프로세스 알제브라 ACSR에 값 전달(value passing)과 동적 우선순위를 추가한 정형기법의 하나이다. 논문에서는 디지털 논리회로의 정형검증을 위하여 프로세스 알제브라의 일종인 ACSR-VP를 이용하는 방법을 제시한다. 특히 해저드(hazard)는 회로를 통과하면서 발생되는 지연으로 인해 회로의 출력신호에서 순간적으로 비정상적인 변화를 일으킬 가능성을 가진 것을 말하는데 이에 대한 검증 방법을 논한다. Formal methods have been used to design and verify hardware and software systems. Because they are based on mathematics and logics, we can describe a system without ambiguity and prove the equivalence between the implementation of the system and the requirements of the system by the mathematical properties of formal methods. ACSR-VP is an extension of ACSR with value-passing mechanism and dynamic priorities. In this paper, we represent how to specifiy and verify digital logic circuit using one of formal methods, called ACSR-VP. Especially, hazard means the possibility of abnormal output which occurs due to the delays of the inverter and wires, during a transition, so we discuss about it.

치주인대 세포의 교원질 생성에 대한 Substance P의 효과

전준영,최제용,경희문,성재현 대한치과교정학회 1996 대한치과교정학회지 Vol.26 No.1

Substance P는 교정력이 가해진 치아의 치주인대 중 인장력을 받는 부위에 많이 분포하는 neuropeptide 중의 하나이며, 또한 여러 조직에서 neurogenic inflammation을 야기하는 neuropeptide 중의 하나로도 알려져 있다. 그러나 중요한 세포의 단백기질인 교원질의 생성에 대한 Substance P의 효과는 잘 알려져 있지 않다. 따라서 이 연구의 목적은 배양 치주인대 세포에서 교원질 생성에 대한 Substance P의 효과를 평가하는 것이었다. collagenase-digestion method로 교원질 생성을 평가하였고 mRNA 수준에서 작용효과를 평가하기 위하여 Northern blot hybridization을 시행하였다. 이 연구는 또한 교원질 생성에 대한 prostaglandin과 gelatinase 생성도 포함하였으며 변성된 교원질의 분해를 평가하기 위하여 Zymography를 이용하였다. 비교원성 단백질, 교원성 단백질, 상대교원질에 대한 dose-dependent effect를 보면 Substance P는 비교원성 단백질 합성을 증가시켰으나 교원성 단백질 합성은 감소시켰다. 그리하여 총 단백합성에 대한 상대적인 교원질 생성을 나타내는 상대교원질은 7%에서 3.6%로 감소시켰다. 세포를 indomethacin과 동시에 처리할 때 substance P의 교원질 합성 억제효과는 나타나지 않았다. 이것은 Substance P의 교원질 합성 억제효과가 prostaglandin의 생성 때문이라는 것을 의미한다. Substance P의 교원질 합성 억제효과가 procollagen mRNA의 정상(steady-state)수준에 부합하는가를 평가하기 위하여 northern blot hybridization을 시행한 결과 Substance P는 α1(1) procollagen mRNA의 양적 변동을 일으키지 않았다. Substance P의 교원질 생성 억제효과는 전사이후의 어떤 단계에서 이루어지는 현상임을 나타낸다. 치주인대세포에서 gelatinase 생성에 대한 Substance P의 효과를 알아보기 위하여 zymography를 이용하였다. zymogram을 보면 Substance P는 치주인대세포에서 gelatinase 생성에는 아무 효과도 나타내지 않음을 알 수 있다. Substance P의 교원질 생성 억제효과가 치주인대세포에 대해 선택적인가 아닌가를 알아보기 위하여 MC3T3-E1세포를 이용하였는데 Substance P는 MC3T3-E1세포의 교원질 합성에는 영향을 미치지 않았다. 이상에서 Substance P는 인간의 치주인대세포에서 교원질 합성을 억제하였다. 이 효과는 procollagen mRNA와 gelatinase 생성의 정상(steady-state) 수준의 변화 때문이 아니라 prostaglandin 생성과 연관이 있음을 알았다. Substance P is one of the neuropeptide which presents highly in tension site of periodontal ligament during the orthodontic tooth movement. It has been also known as one of the neuropeptides which cause neurogenic inflammation in various tissues and organs. However, there is no report about the effect of substance P on major extracellualar matrix protein, collagen production. The purpose of this study was to evaluate the collagen production by substance P in human periodontal ligament cell, The collagenase-digestion method was used to evaluate collagen production and also used Northern blot hybridization for the evaluation of collagen mRNA level. This study also included in terms of prostanglandins and gelatinase production with respect to collagen production. For the collagen degradation, zymography was used to estimate denatured collagen degradation. Dose-dependent effect of substance P on noncollagen protein, collagen, and percent collagen was that substance P increased noncollagen protein synthesis, but decreased collagen systnisis. So the percent collagen, which determined by relative collagen production against total protein production, was decreased from 7% to 3.6%. This inhibitory effect of substance P on collagen production was disappeared when cells were treated concomitantly with indomethacin. It means that substance P-induced inhibitory effect on collagen production was due at least in part to the production of prostaglandins. To evaluate whether substance P-induced inhibitory effect on collagen production is correspond to the steady-state levels of procollagen mRNA, Northern blot hybridizartion was performed and it showed that substance P has no effect on the steady-state level of α1(1) procollagen mRNA. It means that the inhibitory effect of substance P on collagen production was due to the change of a certain mechanism after posttranscription. In this context, gelatinase production by substance P in periodontal ligament cells was evaluated by zymography. Zymogram showed that substance P has no effect on gelatinase production in periodontal ligament cells. To explore wheter substance P-induced inhibitory effect on collagen production is selevtive in periodontal ligament cells or not, MC3T3-31 cells which originated from mouse calvaria was used. It showed that substance P has no effect on collagen production in MCDTD-E1 cells. Taken together, substance P inhibits collagen production in human periodontal ligament cells. This effect was not due to the change of the steady-state level of procollagen mRNA and gelatinase production, but due at least in part to the change of prostaglandins production.

말티즈견에서 발생한 승모판폐쇄부전 1례

전소분,박혜연,김선아,정금선,이영원,박성준,김덕환,송근호 충남대학교 수의과대학 동물의과학연구소 2004 動物醫科學硏究誌 Vol.12 No.-

A 10 years old, intact male, Maltese dog with clinical signs of labored respiration, exercise intolerance and increasing of coughing was referred to the Veterinary Medical Teaching Hospital of Chungnam National University. Physical examination revealed tachycardia, panting and mild cyanosis. This case was diagnosed as mitral valve insufficiency by clinical signs, ascultation, blood chemistry, radiography and electrocardiography. This dog was treated with ACE inhibitor (enalapril), diuretics (furosemide) and bronchodilator (aminophylline) for 14 days. After treatment, clnical signs were disappeared and also this dog was needed to be continuous monitoring and sodium restricted diet.

일차성 Streptococcus pneumoniae 균혈증에 동반된 흉부 하행 대동맥염 1예

전민혁,고옥배,정우진,최영준,이정훈,최상호,김미나,김양수,우준희,류지소 대한감염학회 2005 감염과 화학요법 Vol.37 No.5

페렴구균에 의한 대동맥염은 국내에서 1예만 보고될 정도로 매우 드문 감염증이다. 저자들은 원발성의 폐렴구균혈증에 합병된 페렴구균 대동맥염 환자 1례를 경험하였기에 문헌고찰과 함께 보고하는 바이다. Bacterial aortitis is rare and without surgical intervention, it usually leads to uncontrolled sepsis or catastrophic hemorrhage, ultimately, resulting in death. In the postantibiotic era, the dominant infecting organisms are Staphylococcus aureus and Salmonella spp.. In spite of frequent pneumococcal bacteremia, vascular seeding is rare and there is only one published report in Korea. We describe a 77-year-old female with primary pneumococcal bacteremia followed by aortitis of the descending aorta, which was successfully treated by aneurysmectomy, wide excision of periaortic tissue, aortobiiliac bypass via prosthetic graft, and antibiotic therapy.

기능성 생식, 다이어트식 및 장개선제가 비만개선에 미치는 영향

전태일,전은자,김창성,이주용,안홍석,임병우,최영숙,박웅채,박동기 建國大學校附設農業資源開發硏究所 2001 農資源開發論集 Vol.23 No.-

Obesity is defined as an excess of body fat and is closely related to diabetes, hypertension and heart disease. Dietary cure has been paid attention as a method for preventing from or curing obesity. The effect of some food products developed in this laboratory, such as, functional saengsik (Health & Joy saengsik), diet food (Health & Joy diet meal) and intestine function activator (Cell-pa, commercial name) on curing and protecting from obesity were investigated. Diet program was applied to 31 adults (Males 22, Females 9) with above 120% body mass index (BMI). After diet program was applied, body weight, body fat and fat weight decreased by 1, 4.8 and 4.5% (p<0.01), HDL-cholesterol increased by 3.6% and LDL-cholesterol and atherogenic index decreased by 6.6 and 7.7% (p<0.05). Consequently, the food products developed in this laboratory effectively reduced the obesity.

純 알루미늄의 切削性에 관한 硏究

全泰玉,全彦燦,朴興植,朴永宅 동아대학교 공과대학 부설 한국자원개발연구소 1989 硏究報告 Vol.13 No.2

In this paper, results of test about machinability of the carbide tools having various tool angle on light cutting are described. The conclusion is as follows ; 1. According to the increase of cutting speed, specific cutting forces are decreased. 2. According to the increase of cutting speed and feed, chip width and chip thickness are both decreased. 3. The experimental roughness of working surface became smaller than theoretical roughness. 4. Size of burrs decreased with increase of disengage angle.

개에서 말기 외이염의 내과적 치료 증례

전민경,윤기영,최호정,정성목,송근호,이영원,박성준 忠南大學校 獸醫科大學 附設 動物醫科學硏究所 2008 動物醫科學硏究誌 Vol.15 No.1

A 8-year-o1d castrated male Shit-tzu dog was presented with chronic, severe and recurrent bilateral otitis externa. Clinical signs were stenosis, swelling, severe discharges from external auditory canal and pruritus of the ear. A diagnosis of the patient was made based on history, Physical examination, otoscopic examination, cytological examination and radiography. The dog was diagnosed to end-stage otitis externa and followed by treatment with systemic cyclosporine administration and topical solution. Clinical symptoms were resolved after 4 weeks cyclosporine therapy.

밀집치열인의 두개안면골의 형태학적 특성

전준영,성재현 대한치과교정학회 1988 대한치과교정학회지 Vol.18 No.2

The purpose of this study was to investigate the characteristics of craniofacial morphology in adult with crowded dentition. The craniofacial morphology associated with normal and crowded of mandibular dentition was studied in lateral cephalometric radiograph obtained from 145 subjects grouped 44 males and 40 females in normal group, 33 males and 28 females in crowded group. The conclusions were as follows: Means, standard deviations and facial polygons from measurements were obtained from normal and crowded groups. Palatal plane to SN, occlusal plans to SN, mandibular plane to SN, mandibular plane to palatal plane and gonial angle measurements of crowded group were significantly different from normal group and were larger than normal group. SNA, SNB measurements of crowded group were significantly different from normal group and were smaller than normal group. Significant differences were observed between normal group and crowded groups on the basis of SN/1, PP/1, MP/1, and compared with normal group, upper incisors of crowded group were inclined more labially, whereas lower incisors of crowded group were inclined more lingually. Posterior facial height and ramal height were shorter in males of crowded group than those of normal group. Posterior facial height, mandibular length and posterior cranial base length were shorter in females of crowded group than those of normal group. Anterior facial height was longer in females of crowded group than those of normal group.

황색 포도상구균의 vancomycin 내성 원인 유전자의 동정

전준연,양영기,송민동 조선대학교 부설 유전생물공학연구소 1991 유전생물공학연구지 Vol.1 No.1

임상 분리되는 Gram 양성균인 황색 포도상구균(Staphyhcoccus aureus)에 대한 각종 학생물질의 최소 발육저지농도 측정(Minimal Inhibitory Concentration: MIC test)과 내성 pattern을 조사하였으며, 이들 균주 중 특히 vancomycin에 대하여 높은 내성을 나타내는 균주(Vancomycin resistant Staphylococcus aureus: VRSA)에 대한 vancomycin 내성원인 유전자의 탐색 및 cloning을 실시하여 vancomycm 내성기구의 연구에 필요한 조사를 수행하였다. Vancomycm에 내성인 균주(VRSA)를 고온(43.5℃) 처리하여 계대 배양을 한 다음, replica plating method에 의 해 vancomycin 감수성 균주(Vancomycin-sensitive Staphylococcus aureus: VSSA)를 얻었으며, VRSA 균수와 VSSA 균주로부터 membrane protein을 준비한 다음 SDS-poly-acrylamide gel electrophoresis(SDS-PAGE)로 전기 영동하여 그 단백질 pattern을 비교한 결과, VRSA 균주에서는 분자량(Mr: relative molecular weight)이 약 127Kadl 그리고 30Kdal 정도 되는 부위에서 vancomycin 내성에 관계되는 듯한 특이적인 단백질을 관찰할 수 있었다. 그러나 VSSA 균주에서는 이러한 단백질을 관찰할 수 없었다. 한편 이들 균주로부터 plasmid DNA를 분리한 다음 agarose gel electrophoresis하여 그 pattern을 분석한 결과, VRSA 균주에서는 약50Kb부위에서 plasmid DNA밴드가 관찰되었으나 VSSA 균주에서는 아무런 밴드도 관찰되지 않았다. 이상의 결과로 볼때 vancomycin 내성유전자는 plasmid DNA상에 존재한다고 생각되어진다. This study was carried out to study the characterization of the gene that is responsible for the vancomycin-resistant Staphylococcus aureus (VRSA) In order to obtain vancomycin-sensitive S. aureus(VSSA)from VRSA stain, vancomycin-resistant S. aureus(VRSA) was subcultured twice at the high temp.(43.5℃)and then VSSA was obtained by replicaplating method after MIC test with vancomycin in high temp. treted VRSA strain. Membrane proteins were prepared from VRSA and VSSA strain and protein patterns of those were compared bny 7.5% SDS-polyacrylamide gel electrophoresis. Only in VRSA strain appeared novel protein bands at a position about 120 Kdal, 80 Kdal and 30Kda1, but it did not appear in VSSA strain. The patterns of plasmid DNA in VRSA and VSSA strain were clearly classified. Plasmid DNA band in VSSA strain appeared at a position about 50Kb, but it did not appear any band in VSSA strain. These results suggested that plasmid DNA may be encode the gene that is responsible for vancomycin-resistance.

EMR 남중생의 심폐기능에 관한 연구

전동호,노영태,이상봉,이영덕,박병주,박철준 釜山大學校 附設 體育科學硏究所 1997 體育科學硏究所 論文集 Vol.13 No.-

The purpose of this study is to offer proper physical programs to the middle school EMR boys and to improve their cardiorespiratory function through measuring cardiorespiratory function when they are rest situation, all out situation ten EMR boys, divided into two groups as five exercise boys and five non- exercise ones, played soccer game more than one hour a week for 10 weeks. The results of the measurement by treadmill were as fallows 1. In analyzing the two group t-test score it was found that HR and RQ of both group didn't show statistically significant difference of all(p<0.05). 2. VE, VO₂, Vt, O₂,pluse, CO₂,were revealed the significant difference of rest situation with the exception of all-out situation and recovery(p<0.05) 3. VE, VE/VO₂, O₂/ml/kg. O₂/kg/HR, were revealed the significant difference of all-rest situation with the exception of rest situation and recovery(p<0.05) 4. VO₂, Vt, O₂pluse were revealed the significant difference of recovery situation with the exception of all-out situation and rest(p<0.05) 5. The non-exercise group higher figure in HR, Vt, O₂/ml/kg than exercise group except in VE in the rate of recovery situation in 3 minute