한국인에서 peroxisome proliferator-activated receptor alpha Leu162Val 유전자 다형성과 대사증후군간의 관련성

신승철,송혜순,홍영습,곽종영,유병철,이용환,Shin Soung-Cheal,Song Hye-Soon,Hong Young-Seoub,Kwak Jong-Young,Yoo Byung-Chul,Lee Yong-Hwan 한국생명과학회 2006 생명과학회지 Vol.16 No.2

Peroxisome proliferator-activated receptors alpha (PPAR $\alpha$)는 지질대사와 관련하여 대사증후군 발생과 관련이 있을 수 있는 강력한 잠재 유전자로 고려되고 있으므로 한국인에 있어서 PPAR$\alpha$ L162V 유전자 다형성과 대사증후군과의 연관성을 확인하고자 고신대학교 복음병원에서 2004년 12윌에서 2005년 7월 사이에 건강진단을 받았던 수진자 542명(대사 증후군 : 262명, 정상인 : 280명)을 대상으로 신장, 체증, 체질량지수, 허리둘레와 수축기와 이완기 혈압, 공복 혈당, 총콜레스테롤, HDL 콜레스테롤, LDL 콜레스테롤과 중성지방 수치를 측정하였으며, 대사증후군의 정의는 혈압, 공복 혈당, HDL 콜레스테롤, 중성지방은 NCEP ATP III의 기준을 적용하였고, 허리둘레는 WHO 아시아-서태평양 기준을 적용하였다. PCR-ASO (polymerase chain reaction allele-specific oligonucleotide) 방법에 의해 대상자들의 PPAR$\alpha$ L162V 유전자 다형성을 확인하였다. 연구결과 PPAR$\alpha$ 484번 염기서열의 $C{\rightarrow}G$ 돌연변이가 나타난 사람은 조사대상자 542명 가운데 1명(0.2%) 이었다. 한국인에서는 PPAR$\alpha$ L162V 유전자 다형성이 거의 일어나지 않았으며, 이의 확인을 위하여 더욱 많은 사람을 대상으로 연구가 진행되어야 할 필요가 있을 것으로 생각된다. Peroxisome proliferator activated receptor (PPAR)-$\alpha$ of three PPAR subtypes ($-\alpha,\;-\beta/-\gamma,\;-\delta$), which are members of the nuclear hormone receptor superfamily of ligand-activated transcription factors, plays a key role in lipoprotein and glucose homeostasis. A variation in the PPAR-a gene expression has been suggested to influence the development of metabolic syndrome through alterations in lipid concentrations. The aim of our study was to investigate the association between the PPAR-a and metabolic syndrome among South Korean. A total of 542 health screen examinees were enrolled in this study who were examined in Kosin University Gospel Hospital from December, 2004 to July, 2005. The height, weight, waist circumference, and systolic and diastolic blood pressure of the subjects were examined and fasting blood glucose, total cholesterol, HDL cholesterol, LDL cholesterol, triglyceride were measured by-sampling in venous blood. The metabolic syndrome was defined as the presence of three or more of the following : waist circumference men ${\geq}90cm$, women ${\geq}80cm$, blood pressure ${\geq}130/85mmHg$, fasting glucose ${\geq}110mg/dL$, HDL cholesterol men <40 mg/dL, women <50 mg/dL, triglyceride ${\geq}150mg/dL$. The blood pressure, fasting glucose, HDL cholesterol, triglyceride were evaluated by using the criteria of NECP ATP III and waist circumference was assessed by using the criteria of WHO Asia-Western Pacific. And the author compared the frequency of the PPAR-$\alpha$ mutation of L162V ($C{\rightarrow}G$ variant in exon 5) in a sample of 542 subjects with and without the metabolic syndrome by polymerase chain reaction allele-specific oligonucleotide (PCR-ASO) method. One (0.2%) hetero-isotype among high risk of metabolic syndrome was identified. The values of waist circumference, body mass index and low density lipoprotein cholesterol of the mutant were 100 cm, 28.6 $kg/m^2$ and 120 mg/dL, respectively. Although the author failed to see significant association between the presence of the PPAR-$\alpha$ L162V polymorphism and metabolic syndrome, one PPAR-$\alpha$ L162V polymorphism in metabolic syndrome patients was found.

함수를 포함한 IL 언어의 실행적 의미구조

신승철,노상훈,Shin, Seung-Cheol,Rho, Sang-Hoon 한국정보처리학회 2007 정보처리학회논문지 A Vol.14 No.7

PLC와 같은 특수 목적 제어기나 모션 제어기 등을 프로그램하기 위해 제공되는 제어 언어의 표준은 IEC61131-3이다. 이 표준 언어의 하나인 IL(Instruction List)은 어셈블리 수준의 언어이지만 고수준 언어의 특징들도 가지고 있다. 본 논문에서는 IL의 정형적인 의미구조를 실행적 의미구조를 이용하여 정의한다. 기존의 IL 의미구조들은 함수와 함수블록을 포함하지 않는 기본 프로그램만을 대상으로 하기 때문에 실용적이지 못하다. 우리는 함수와 함수블록을 포함하는 IL 의미구조를 정의하였다. IEC61131-3 is the standard of control languages in which special purpose controllers and motion controllers such as PLC can be programmed. IL(Instruction List), one of the standard languages, is in assembly level but has some high-level features. This paper describes a formal semantics of IL in operational style. Previous works on IL semantics do not include functions and function blocks, which is not so practical. We define IL semantics including functions and function blocks.

니켈로 코팅된 염가금속을 이용한 4-염화페놀의 환원제거율 평가

신승철,김영훈,고석오,Shin Seung-Chul,Kim Young-Hun,Ko Seok-Oh 한국지하수토양환경학회 2006 지하수토양환경 Vol.11 No.3

본 연구에서는 지하수내의 클로로페놀 오염물을 제거하기 위하여 니켈로 코팅된 영가철을 이용한 기술의 적용 타당성을 검토하였다. 영가철을 니켈로 개질하여 4-클로로페놀을 분해하였으며 중간 생성불의 생성에 대하여 조사하였다. 또한, 초기 오염물의 농도, 이중금속의 주입량, 휴믹산의 영향 및 용액의 pH 변화에 따른 오염물의 제거 효과에 대한 영향을 분석하였다. 니켈로 개질된 영가철은 240분 이내에 4-클로로페놀의 95% 이상을 효과적으로 제거하였다. 유사 1차 반응계수에 의하여 평가된 오염물의 제거효과는 개질된 영가철의 주입량에 직접적으로 비례하는 결과를 보였다. 휴믹산의 경우 개질된 영가철의 표면에 대하여 4-클로로페놀과 경쟁관계를 보임에 따라 오염물의 제거효과를 감소하는 역할을 하였다. 영가철만을 단독으로 사용하는 경우와 다르게 개질된 영가철을 사용 시 용액의 pH 는 크게 변화하지 않아 개질된 금속의 내구연한이 증가될 수 있음을 보여주었다. 4-클로로페놀의 탈염소화 분해과정을 해석한 결과 페놀화합물이 생성되었다. Reductive dechlorination of chlorophenols by nickel coated iron was investigated to understand the feasibility of using Ni/Fe for the in situ remediation of contaminated groundwater. Zero valent iron (ZVI) was amended with Ni(II) ions to form bimetal (Ni/Fe). Dechlorination of 4-chlorophenol and formation of intermediates was studied using Ni/Fe. Effects of initial contaminant concentration, bimetal loading, presence of humic acid, and solution chemistry were also evaluated. Experimental results showed that Ni/Fe bimetal was so effective that more than 95% of 4-CP degradation was achieved within 240 minutes. Pseudo first-order rate constant for the dechlorination reaction was well correlated with bimetal loading. Humic acid competed for the reactive sites on the nickel coated iron with chlorophenols, lowering the dechlorination efficiency. No significant changes in solution pH were observed in the dechlorination of chlorophenols with Ni/Fe in the absence of buffer, indicating that reactivity of bimetal (Ni/Fe) could be prolonged. Phenol was found as a dechlorination intermediate of the conversion of 4-chlorophenol compound by Ni/Fe.

용액공정 기반 SnO₂와 TiO₂를 이중 전자수송층으로 적용한 양자점 전계 발광소자의 특성비교 연구

신승철,김수현,장승훈,김지완,Shin, Seungchul,Kim, Suhyeon,Jang, Seunghun,Kim, Jiwan 한국마이크로전자및패키징학회 2020 마이크로전자 및 패키징학회지 Vol.27 No.3

본 연구에서는 SnO₂ nanoparticles (NPs) 위에 TiO₂ NPs를 코팅하여 Quantum Dots Light Emitting Diodes (QLEDs)를 제작하였다. TiO₂ NPs는 SnO₂ NPs보다 conduction band minimum (CBM) 준위가 낮다. 따라서 SnO₂ 층과 발광층의 CBM 준위 사이에 위치해 에너지 장벽을 감소시키고, 전자의 이동을 원활하게 할 것으로 예상하였다. QLEDs는 inverted 구조로 제작되었으며, SnO₂ 단일층을 사용한 경우보다 발광 특성이 향상된 것을 확인하였다. 이중 전자수송층을 적용한 이번 연구를 통해 SnO₂를 QLEDs에 전자수송층으로 적용할 수 있을 것으로 기대한다. In this study, the inverted structured electroluminescence (EL) devices were fabricated with double electron transport layers (ETLs). The conduction band minimum (CBM) of TiO₂ NPs is lower than SnO₂ NPs. Therefore, it is expected that inserting TiO₂ NPs between the SnO₂ layer and the emission layer (EML) will reduce the energy barrier and transport electrons smoothly. The quantum dot light emitting diodes (QLEDs) with double ETLs showed the enhanced emission characteristics than those with only SnO₂ layer.

스나이더 검사법과 개량 스나이더검사법의 비교연구

신승철,김종배 ( Seung Chul Shin,Johng Bai Kim ) 대한예방치과·구강보건학회 1980 大韓口腔保健學會誌 Vol.5 No.1

다중 모델을 이용한 비선형 시스템의 예측제어에 관한 연구

신승철,변증남,Shin, Seung-Chul,Bien, Zeung-Nam 대한전자공학회 2001 電子工學會論文誌-SC (System and control) Vol.38 No.2

본 논문에서는 신경회로망 기반의 다중 모델을 이용한 예측제어 방법에 간하여 기술한다. 플랜트의 특정한 피라미터 값들에 대해 다중의 모델을 구성하고, 이들 중 현재 시간에서 최적의 예측 값을 제공하는 모델을 스위칭 기법으로 선택한다. 선택된 모델의 예측 값을 기반으로 비선형 프로그래밍 방법으로 현재 시간에서의 제어 입력 값을 구하여 예측제어를 수행한다. 제안한 방법을 시간지연 값이 변하거나 매개변수 값이 가변하는 시스템에 적용하여 그 유용성을 보이고, 부하가 변동하는 자기부상열차 시스템의 부상제어에 이용한 모의 실험 결과를 보인다. In the paper, we propose a predictive control scheme using multiple neural network-based prediction models. To construct the multiple models, we select several specific values of a parameter whose variation affects serious control performance in the plant. Among the multiple prediction models, we choose one that shows the best predictions for future outputs of the plant by a switching technique. Based on a nonlinear programming method, we calculate the current process input in the nonlinear predictive control system with multiple prediction models. The proposed control method is shown to be very effective when a parameter of the plant changes or the time delay, if it exists, varies. It is also shown that the proposed method is successfully applied for the control of suspension in a electro-magnetic levitation system.

유출 / 유입을 이용한 모듈러 최적화 람다리프팅

신승철(Seung Cheol Shin),유원희(Weon Hee Yoo) 한국정보과학회 1995 정보과학회논문지 Vol.22 No.7

함수 프로그램의 수행은 주로 컴비네이터 리덕션으로 이루어지며 특히 분산 병렬 환경에서는 계산단위가 큰 프로그램 유도 컴비네이터가 람다리프팅을 통해 생성되어 목적 코드로 사용된다. 최적화의 일환으로 완전지연성을 갖는 컴비네이터를 생성하기 위해서 완전지연 람다리프팅이 이용되어왔고, 이를 모듈화하여 완전지연 변환과 람다리프팅을 분리한 모듈러 완전지연 람다리프터가 제안되었지만 let문이 추가되고 리덕션 단계가 증가하는 단점을 갖는다. 본 논문은 완전지연성과 공통부분식 제거, 병행부분식 추출 등의 최적화를 구문변환과 람다리프팅으로 분리하여 (구문변환 + 람다리프팅)의 구조를 갖는 모듈러 최적화 람다리프터를 제안한다. 또한 완전지연 변화에서는 유출/유입 개념을 도입하여 let문의 추가를 피하도록 하였으며, 공통부분식 제거와 병행부분식 추출은 모두 컴비네이터 생성 이전에 수행됨으로써 람다리프팅의 반복적인 수행을 피한다. The execution of functional programs is usually combinator reduction procedure and in distributed parallel environments the program-derived combinators, which are generated by λ-lifting, are used as object codes. Fully lazy λ-lifting generates combinators with full laziness as one of optimizations. Modular fully lazy λ-lifter separates full laziness transformation and λ-lifting, but add let expressions to combinator bodies, which may increase the reduction steps. This paper proposes modular optimizing λ-lifter which has the modular structure of optimizing transformations and λ-lifting. Optimizing transformations include full laziness transformation, commom subexpression elimination, and concurrent subexpression extraction. Modular optimizing λ-lifter introduces floating-out/floating-in to avoid the addition of let expressions and the increment of reduction steps. Also, common subexpression elimination and concurrent subexpression extraction are completed before generating combinators so that the execution of λ-lifting may not be repeated unnecessarily.

SE 기반 기술검토 및 요구사항 관리 프로세스의 통합을 통한 잠수함 기본설계 프로세스의 개선

신승철(Sung-Chul Shin),박진원(Jin-Won Park),이재천(Jae-Chon Lee) 한국산학기술학회 2018 한국산학기술학회논문지 Vol.19 No.11

함정은 다양한 탑재장비들과 함정 플랫폼이 통합되어 성능을 발휘해야 하는 복합 무기체계이면서, 장기간의 획득기간이 소요되고 시제품이 바로 전력화 되어야 하는 특징으로 인해 독자적인 개발프로세스를 적용해 왔다. 그러나 최근 기술의 발전과 탑재장비의 복잡화에 따라 함정 획득 분야에도 시스템공학(SE) 절차의 적용이 필수불가결하게 되었다. 그럼에도 불구하고 함정 설계에서 아직까지 SE 절차는 기존의 절차와 융합되지 못하고 별도의 체계로 관리되고 있는데, SE 절차를 반영한 실질적인 통합 프로세스가 아직 정립되어 있지 않기 때문이다. 다양한 함정에 대해 SE 절차의 적용 및 설계 방법 개선연구가 수행되었으나 통합 측면에서 성과는 부족하였다. 따라서 함정을 설계할 때 적용할 수 있는 SE 기반 통합 프로세스 연구가 필요하다. 본 논문에서는 기존 기본설계 프로세스와 SE 기반 프로세스의 통합을 통해 잠수함 기본설계 프로세스를 정립하였다. 이를 위해 함정 기본설계와 병행하여 SE 기반의 기술검토인 체계요구조건검토(SRR), 체계기능검토(SFR), 기본설계검토(PDR)을 수행하는 방법론을 제시하였다. 그리고 체계요구사항명세서(SSRS), 체계/부체계규격서(SSS), 체계/부체계설계기술서(SSDD) 등의 요구사항 문서들의 생성 및 관리를 위한 효율적인 프로세스를 연구하였다. 이러한 2가지의 프로세스를 통합하여 개선된 SE 기반 기본설계 프로세스를 구축하였다. 구축된 프로세스의 적용성을 평가하기 위하여 현재 기본설계를 진행중인잠수함에 적용한 결과를 제시하였다. 이를 통해 잠수함의 효과적인 요구사항 관리, 산출물 작성 및 설계반영이 가능하였고, 요구사항과 추적성을 가진 각각의 산출물은 기본설계 시험평가 자료로도 즉각적으로 활용이 가능함을 확인하였다. 잠수함 이외에도 건조중인 다양한 함정 설계에서도 본 연구의 SE 기반 함정 기본설계 프로세스의 유용성이 기대된다. Military vessels are complex weapon systems consisting of various integrated onboard equipment. Since their acquisition of military equipment takes a long period of time and a prototype ship is deployed and tested, vessel development has relied on its proprietary process. However, due to the growing complexity of onboard equipment technology, application of systems engineering (SE) process has become indispensable. Nonetheless, an effective design process complementing the existing design with the SE has not yet been developed. As such, we have studied an improved basic design process for submarines based on SE. To do so, we analyzed the processes for the basic design, technical review, and requirement management. Included reviews and requirements are SRR, SFR and PDR, and SSRS, SSS, and SSDD. By combining the results in the SE framework, we built an improved basic design process that can be applied in parallel with the SE-based technical review and requirement management. To assess the process, we applied our proposed model to the submarine development undergoing the basic design phase. It is possible to effectively manage the requirements, design artifacts and improve traceability, and also utilize them as test and evaluation materials. The SE-based basic design process is expected to be useful in other kinds of vessel design.

베로니카의 후예들 : 도상 파괴와 20세기 추상 미술

신승철 ( Seung-chol Shin ) 한국미학예술학회 2018 美學·藝術學硏究 Vol.55 No.-

이 논문은 ‘베라 이콘’에서 시작된 이미지 기술과 그것이 형성한 이미지 문화의 관점에서, 도상파괴적인 현대 미술을 조명한다. 베라 이콘은 이미지에 대한 일반적인 불신 앞에서, ‘사람의 손에 의하지 않은’ 이미지의 지위를 구축했다. ‘압인’의 방법론에 기초해 이미지는 불신을 종식시키고 신앙의 대상이 됐고, 이는 예술에 내재된 도상파괴적 태도에 대한 정당화로 이어졌다. 이러한 전통 속에서 현대 미술은 인간의 개입, 즉 조형 행위를 최소화하고, 그려지지 않은 이미지를 통해 ‘스스로를 파괴하는 무’로 환원된다. 하지만 예술은 부정성 속에서 종말 대신 존속하는 길을 찾아낸다. 그것은 자신의 매체와 도상적 활동에 집중하면서, 시각성이라는 조건을 재검토하는 자기반성을 수행한다. 예술은 자기 파괴를 자기반성의 형식으로 삼게 되고, 이를 통해 종말을 유예한다. 베로니카의 이미지 실천은 도상파괴주의에 기초한 현대 미술의 양식 형성뿐 아니라, 이미지 신앙 속에서 예술 경험을 이끄는 강력한 문화적 기술이 된다. This paper critically examines the iconoclastic modern art in relation to image culture, which is derived from vera icon. Vera icon established its position as an image ‘made without hand (acheiropoieton)’ to dispel distrust of the images. It became an object of faith, and justified the iconoclastic impulse, which is inherent in image. Modern Art refuses the formative act to reinforce the imagination of beholder, and it returns to ‘a self-annihilating nothing’ in the form of unpainted painting. The art, however, finds its way to survive in this negativity. With focus on its own medium and iconic activity, it tries to reflect upon itself and its visuality. Through this, the art makes self-destruction as an visual form of self-reflection, and it postpones its end. Stylizing the iconoclastic modern art, the Veronica's image becomes a culture technique, which leads the art appreciation and the image beliefs.

레코드 형의 확장과 감축을 포함하는 다형 시스템

신승철(Seung Cheol Shin),김상도(Sang Do Kim),유원희(Weon Hee Yoo) 한국정보과학회 1995 정보과학회논문지 Vol.22 No.6

레코드 형은 시멘틱 정의역에서 Cartesian 곱으로 표현된다. Cartesian 곱 공간에서의 부분형 관계가 인자 다형 시스템과 교집합 형 규칙에서 일률적인 관계를 가질 때 형의 다형성은 더욱 간단히 처리될 수 있다. 그러나 다형 시스템이 레코드 형의 확장과 감축 개념을 포함하는 경우에는 대치변환 관계와 기존의 레코드의 부분형 관계가 추론 시스템에 모순을 가져올 수 있다. 본 논문은 레코드 형의 확장과 감축에서 얻어진 형 계층에서 다형성을 유지하기 위해서 레코드 형의 새로운 정의로부터 부분형 관계를 정의하고 그 추론시스템을 보인다. 또한 확장 형과 감축 형이 정의역상에서 재귀적으로 표현될 수 있음을 증명한다. Record types are represented by Cartesian products in the semantic domain. Type polymorphism can be handled more nicely when subtype relations, in Cartesian product space, behave uniformly with parametric polymorphic type system and intersection type discipline. However, when concepts for extensions and reductions of record types are added to the polymorphic type system, instantiation may not be consistent with subtyping. In order to keep the polymorphism in the typo hierarchy which is derived from type extensions and reductions, this paper defines the subtyping and inference rules from a new definition of record type. It also proves that type extensions and reductions can be represented recursively in the domain.