함수를 포함한 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.

한국인에서 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.

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

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

니켈로 코팅된 염가금속을 이용한 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.

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

신승철,변증남,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 Chol Shin ) 한국미학예술학회 2014 美學·藝術學硏究 Vol.41 No.-

오늘날의 바이오테크놀로지는 그리스도의 성체의 기적을 대신 수행하고 있는 듯하다. 조직 공학의 발달로 세포는 몸 바깥에서 자랄 수 있게 되었고, 기술적 생명은 종교적 마술을 자연스럽게 대체하게 되었다. 제작된 신체 조직은 병든 기관을 대신하고, 인류에게 새로운 미래를 약속한다. 하지만 신체 조직이 몸 바깥에서 고유의 삶을 살게 되면서, 신체의 관념은 위기를 맞게 된다. 자율적으로 배양된 세포 조직은 스스로를 신체로 주장하게 되고, 기존의 신체는 통제되지 않은 생명이 만들어낸 기괴하고 우연한 형상들로 대체된다. 바이오팩트의 관념은 여기서 중요한 역할을 수행한다. 내생적인 디자인에 기초한 그것은 기괴한 키메라들의 등장을 막아 줄 것이기 때문이다. 바이오팩트는 생명을 의미하는 그리스어 ‘bios’와 인공물을 의미하는 라틴어 ‘artefact’의 조어로, 살아있는 생물학적 인공물을 지칭한다. 그것은 스스로 자라지만 자연상태의 생명체와 같은 자율성을 갖지는 못한다. 바이오팩트는 언제나 제작자를 갖기 때문이다. 특정한 의도와 계획 속에서 제작된 그것은, 제작 목적을 위해 기술적으로 통제된다. 하지만 그 통제의 기능은 완전하지 못하다. 바이오테크는 제작된 신체 기관을 공리주의적 사물로 환원하고자 하지만, 바이오팩트는 자신의 생명성을 인정하지 않으려는 그러한 시도로부터 끊임없이 탈주한다. 성체라는 종교적 상징을 대신하려 했던 기술과학은 여기서 곤란에 직면하게 된다. 바이오테크는 끊임없이 신화 속 괴물들을 현실화시킨다. 또한 그 산물들은 희생 제물로 머물기보다는 생명의 형식을 갖추고자 한다. 바이오팩트는 기술과학적 환원에 맞서 차라리 물신이 되고, 상품으로 환원되지 못한 여분은 통제되지 않는 생명의 에너지를 발산한다. 기술적 통제는 좌절되고, 그래서 기술과학은 근대인들의 교훈을 따라 상징과 이미지를 다시 활용하게 된다. 그것들은 통제할 수 없는 사물의 에너지를 가두고, 이러한 퇴행을 통해 기술과 생명 사이의 균형을 유지한다. The biotechnology seems to fill in the role of the Host. Tissue engineering enables the growth of cell in vitro, and the religious miracle is substituted by technological life. The manufactured tissues replace the dysfunctional organs, and make visible a roseate future. The idea of body is, however, facing a crisis, while the organ could maintain it`s own life. The autonomous cell cultures maintain itself as a body, and the conventional body is substituted by the weird and accidental life, which is formed by the uncontrolled growth. The idea of biofact plays a decisive role at this point. It is based on the endogenous design, so that it prevent the advent of the chimeras. Biofact, which is the coinage of bios and artefact, denotes the biological artefact, which is alive. It grows by itself, but it haven`t any autonomy - unlike the other natural life. It`s because it has always it`s creator. Biofact is produced as planned and intended, and for that purpose it should be controlled technically. But the technical control can not be performed as intended. Biotech tries to reduce the manufactured organ to utilitarian goods, but the biofact escapes from such reductionism while it maintains it`s own life. The technoscience, which tries to fill in the role of the religious symbol, the Host, be faced with difficulty at this point. The biotech brings the chimeras from the greek myth into reality, and it`s product wouldn`t be an object of sacrifice, but embody the form of life. Biofact prefer to be a fetish - confront the technological reductionism, and the rest, that cannot be goods, radiates the uncontrolled energy of life. The technological control is destined to failure, so that the technoscience takes the lesson of the modern, that uses symbol and image to treat the uncontrolled energy. The symbol bears the energy of things in itself, and in this regression it keeps the tension between technique and life.

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

신승철(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.

공군 장병 계속구강건강 관리사업 사례연구 -공군 조종사를 한 1차보고-

신승철 ( Shin Seung Chul ),이경우 ( Lee Kyung Woo ),조영종 ( Jo Young Jong ) 국군의무사령부 1983 대한군진의학학술지 Vol.14 No.1

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.