http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Effective Synthesis of Polymer Catenanes Composed of Interlocked Discrete Cyclic Polymers
구모범,김준영,김경택 한국고분자학회 2021 한국고분자학회 학술대회 연구논문 초록집 Vol.46 No.1
Cyclic polymers have attracted scientific and practical attention due to their unique set of properties arising from the restricted chain conformation and the lack of end groups. The synthesis of discrete cyclic polymers and block copolymers was recently reported using the combination of the iterative convergent method and the intramolecular cyclization. The studies on cyclic polymers without trace amounts of linear contaminants were performed to provide fundamental insights into the chemical and physical properties. In addition, polymer catenanes, composed of interlocked cyclic polymers, were prepared by the template threading approach. Using the cross-convergent method, functional monomers were precisely placed into polymer chains to make use of intermolecular interactions as a binding force. The binding interactions induced a linear chain to thread through cyclic polymer, leading to the efficient preparation of polymer catenanes.
신모범(Mo Bum Shin),방호정(Ho Jung Bang),김태효(Tai Hyo Kim),차성덕(Cha Sung Deok) 한국정보과학회 2006 한국정보과학회 학술발표논문집 Vol.33 No.1
모델 체킹(model checking)은 자동으로 소프트웨어의 속성을 검증하는 기법으로 그 필요성이 꾸준히 증가하고 있다. 시스템이 특정 속성(property)을 만족하지 않는 경우 모델 체커는 반례(counterexample)를 생성하게 된다. 반례는 오류가 발생한 원인을 담고 있는 정보로서 오류를 이해하고 수정하는 작업에 많은 도움을 준다. 하지만 반례가 너무 길거나 이해하기 어려운 경우에는 분석에 많은 시간과 자원이 소요되기도 한다. 따라서 자동적으로 반례 안의 오류를 찾아내고 설명을 제공하는 기법의 필요성이 대두되고 있다. 본 논문에서는 추상모델(abstract model)에서 생성된 반례의 오류의 원인을 밝히는 자동화 기법을 제시한다.
신모범(Mo Bum Shin),유준범(Junbeom You),차성덕(Sungdeok Cha) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.1
원자력 발전소의 제어 시스템은 safety-critical 소프트웨어로서 안정성이 중요시 되는 시스템이다. 최근 기존의 시스템이 PLC 기반의 디지털 제어장치로 대체되면서 이에 사용되는 소프트웨어의 안정성과 품질을 보장하기 위한 경험검증 기법이 요구되고 있다. 특히 PLC 프로그램의 설계에 사용되는 FBD의 모델체킹을 통한 정형검증에 대한 연구는 미비한 수준이다. VIS 검증기는 위의 요구에 부합하는 도구로서 이를 사용하면 여러 종류의 정형 검증이 가능하다. 본 논문에서는 VIS를 이용한 FBD의 검증을 위해서 FBD를 Verilog로 변환 하는 기법을 제안한다. 제안하는 방법의 효율성을 검증하기 위해서 현재 KNICS 사업단에서 개발중인 APR 1400용 원자로 보호 시스템의 운전정지회로들 예로 사용하였다.