• 정보과학회 논문지
• /
• 제42권2호
• /
• pp.169-176
• /
• 2015

최근 데이터베이스 관리 시스템에서는 이중 쓰기 버퍼 기법의 단점을 보완할 수 있는 원자성 쓰기 기법이 제시되었다. 원자성 쓰기 기법을 지원하기 위해서는 파일시스템과 I/O 스케줄러 등의 I/O 서브시스템과 SSD의 원자성 쓰기의 보장이 필요하다. 본 연구에서는 MariaDB의 데이터 쓰기의 기본 단위를 사용하여, 쓰기 단위 연속 블록 할당 기법, 플래그 전달을 통한 I/O 명령 병합 방지 기법, 원자성 쓰기를 지원하는 SSD를 통해 MariaDB의 원자성 쓰기를 지원하는 연구를 진행하였다. Tpcc-mysql와 SysBench를 사용하여 MariaDB에 제안된 기법을 적용한 결과, 원자성 쓰기 기법의 성능을 평가한 결과, 데이터베이스의 처리량이 이중 쓰기 버퍼 기법을 사용한 MariaDB 대비 약 40%~50% 향상된 것을 확인하였다.

• 멤브레인
• /
• 제20권1호
• /
• pp.55-61
• /
• 2010

원자전달 라디칼 중합을 이용하여 polystyrene-b-poly(oxyethylene methacrylate) (PS-b-POEM) 블록 공중합체를 합성하고, FT-IR을 통해 중합이 성공적으로 이루어졌음을 확인하였다. 또한 자기 조립된 블록 공중합체 막을 제조한 후, 전구체 $AgCF_3SO_3$ 도입과 UV 조사를 통해 고체상에서 은 나노입자를 성장시켰다. TEM 전자현미경과 UV-visible 분광학 분석을 통해 블록 공중합체 막의 내부에 은 나노입자가 형성된 것을 확인하였고, 또한 친수성 POEM 영역의 함량을 조절함으로써 나노입자의 크기를 조절할 수 있었다. 금속 나노입자를 제조하는 데 있어서 POEM 함량이 적은 블록 공중합체가 더 효과적임을 확인하였다.

• 폴리머
• /
• 제33권2호
• /
• pp.158-163
• /
• 2009

본 연구에서는 잘 정의된 덴드리틱 폴리스티렌-블록-선형 폴리(3차 부틸 아크릴레이트) 공중합체를 성공적으로 합성하였다. 음이온 중합법을 통해 합성된 폴리스티렌($M_n$=1000 g/mol)을 외곽부분으로 함유하는 덴드론의 수산기 그룹을 토실화(tosylation), 아지드화(azidation), 환원(reduction) 반응을 통해 아민기로 전환하였다. 한편, 선형 poly(t-butyl acrylate)는 DMF 용매에서 benzyl 2-bromopropanoate/Cu(I)Br, PMDETA/t-butylacrylate를 각각 개시제/촉매 시스템/단량체로 사용하여, 원자이동라디칼 중합법(atom transfer radical polymerization, ATRP)을 통해 합성할 수 있었고, 말단을 카르복시산 그룹으로 전환하기 위해 수소기체 환경하에서 Pd/C 을 사용하여 탈벤질화(debenzylation) 반응을 수행하였다. 마지막으로, 합성된 덴드리틱 및 선형 블록들을 다이메틸아미노피리딘(4-(dimethylamino)pyridine, DMAP)과 다이아이소프로필카보다이이미드(N,N'-diisopropylcarbodiimide, DIPC)를 이용한 아미드 커플링 방법을 통해 최종 덴드리틱-선형의 블록공중합체를 합성하였다. 합성된 블록공중합체를 수소원자핵공명법 및 겔침투크로마토그래피 방법을 통해 조사한 결과, 잘 정의된 분자량 및 낮은 분자량 분포를 확인할 수 있었다.

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1365-1374
• /
• 1996

분산 환경하에서 전역 트랜잭션의 원자성을 보장하기 위해 보편적으로 사용하는 2단계 완료규약(2PC)의 블록킹 현상을 완화하기 위해 낙관적 2PC를 사용할 수 있다. 낙관적 2PC는 보상 트랜잭션을 사용하여 트랜잭션의 원자성을 의미적으로 보장하게 되지만 보상 트랜잭션의 특성으로 인하여 전역 직렬성(global serializability)을 위 배할 수 있다. 본 논문에서는, 전역 트랜잭션의 상태전이 분석을 통하여 전역 직렬성 을 보장하는 올바른 전역 트랜잭션 관리 규약들을 제안한다. 제안된 규약들은 한 전 역 트랜잭션의 실행을 결정하기 전에 동시에 실행되는 다른 전역 트랜잭션들의 상태 를 검사하여 이 결과에 따라 전역 트랜잭션의 실행을 지연시킴으로써 전역직렬성을 보장한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권3호
• /
• pp.149-161
• /
• 2008

프로그래머블 로직 컨트롤러(PLC: Programmable Logic Controller)가 안전성이 중요한 실시간 시스템 구현에 많이 사용되면서, PLC 프로그램에 대한 테스팅의 중요성이 날로 높아지고 있다. 본 논문에서는 PLC 프로그래밍 언어 중 하나인 함수 블록 다이어그램(FBD: Function Block Diagram)에 대한 구조적 테스팅 방안을 제안한다. FBD를 테스트하기 위해 먼저 타이머 함수 블록을 비롯한 각 함수 및 함수 블록에 대한 흐름그래프 템플릿을 정의하고, 템플릿을 기반으로 한 변환 알고리즘을 제안하며, 알고리즘을 따라 FBD로부터 변환된 흐름그래프에 기존의 제어 흐름 테스팅 커버리지와 데이타 흐름 테스팅 커버리지를 적용한다. 기존 FBD 테스팅은 테스트 케이스 생성시 FBD 내부 구조를 고려하지 않으며, FBD 프로그램으로부터 특정 중간단계 모델을 생성해 낼 수 있는 경우에만 적용될 수 있는 단점을 가진 반면, 본 논문에 제안된 방법은 FBD 내부 구조를 고려한 체계적 테스트 케이스 생성이 가능하며, 중간단계 모델의 형식에 관계없이 어떤 FBD에도 적용될 수 있다는 장점을 가진다. 특히 제안된 기법은 여러 실행주기에 걸쳐 테스트 되어야 하는 타이머 함수 블록을 포함한 FBD에 대한 철저한 테스팅을 가능하게 한다. 제안된 기법을 현재 원전계측제어시스템 개발사업단에서 개발 중인 디지털 원자로 보호계통 비교논리 프로세서 트립 논리에 적용하여 그 효과를 확인하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권3호
• /
• pp.211-215
• /
• 2009

프로그래머블 로직 콘트롤러(PLC)가 원자력 계측제어 시스템과 같은 안전 필수 시스템 구현에 많이 사용됨에 따라, PLC 프로그램에 대한 정형검증의 필요가 높아지고 있다. 본 연구에서는 함수 블록 다이어램(FBD)으로 구현된 PLC 프로그램에 대한 자동화된 정형검증 기법을 제안한다. FBD 프로그램을 검증하기 위해서 먼저 FBD 프로그램을 검증언어인 Verilog로 변환하고, 변환된 Verilog모델에 대해 SMV 모델체커를 호출해 모델체킹을 수행한다. 자동화를 위해 FBD Verifier 도구를 개발하였다. FBD Verifier는 FBD 프로그램으로부터 Verilog 모델로의 자동변환 기능뿐 아니라 모델체킹 결과 생성된 반례를 직관적이고 효과적으로 분석할 수 있는 기능 또한 제공한다. 제안된 기법과 도구를 사용해 원전계측제어시스템 개발사업단의 원자로 보호시스템에 대한 방대한 양의 FBD 프로그램을 성공적으로 검증하였다.

• 폴리머
• /
• 제30권6호
• /
• pp.453-463
• /
• 2006

분자 모델에 의한 전산 모사는 단백질 접힘, 미셀화, 블록공중합체의 규칙구조화 등 다양한 고분자 계의 자기조립 현상을 예측하거나 그 조립 메커니즘을 밝히는 데 특별히 유용한 연구방법이다. 자기조립 현상은 분자 수, 분자 크기 등, 계의 속성에 따라 나노미터 이하의 현상으로부터 마이크론이나 그 이상의 길이 스케일의 현상까지 조립 구조의 길이 스케일이 매우 광범위하기 때문에 다양한 계의 모든 조립 현상을 양자역학적 방법과 같은 궁극의 근본원칙에 의해 모사하는 것은 현실적인 시간 내에서 불가능하다. 이러한 문제들을 해결하기 위해 계를 기술하는 과정에서 필요 이상으로 세밀한 표현을 생략하여 모델을 다른 관점에서 재구성하는 방법이 있는데 재구성된 모델은 그 관점에 따라 크게 '원자 수준'의 모델과 '메조 스케일 수준'의 모델로 분류할 수 있다. 본 총론에서는 고분자 자기조립 현상과 관련하여 이 두 가지 관점에 따른 모델과 모사 방법들에 대해 살펴보고자 한다.

• 폴리머
• /
• 제36권1호
• /
• pp.104-110
• /
• 2012

LCD 컬러필터에서 안료의 분산은 컬러 강도를 증가시키는 중요한 요소이므로, 안료를 분산시키기 위한 안료 분산제의 첨가는 필수적이라 할 수 있다. 안료 분산제로서의 고분자는 안료와의 친화성을 가지는 anchoring group과 매체와의 혼화성을 가지는 stabilizing group을 포함하고 있다. 원자 이동 라디칼 중합은 잘 규정된 고분자 합성을 가능하게 하는 중합법으로, 이러한 구조를 포함하는 고분자형 안료 분산제를 얻기 위한 적절한 수단이 될 수 있다. Anchor로서 (2-dimethylamino)ethyl methacrylate를, stabilizer로서 oligo(ethylene oxide)methyl ether methacrylate를 각각 선택해 고분자 분산제를 합성하였다. 고분자의 구조 및 조성이 안료 분산에 미치는 영향을 연구하기 위해 다양한 길이의 stabilizing group을 가지는 diblock copolymer를 합성하여 비교하였다.

• 공업화학
• /
• 제29권3호
• /
• pp.336-341
• /
• 2018

기존의 문헌에서는 poly(3-hexylthiophene)(P3HT) 기반의 블록공중합체를 합성하기 위해서 최소 4-5단계 이상의 복잡한 공정을 거쳐야 했고, 일반적으로 분자량, 분자량 분포 및 블록의 비를 조절하기 위해서 단량체 전환율 및 반응 시간을 계속해서 모니터링 해야 한다. 또한, 여러 가지 이유에서 합성 스케일이 수 mg에서 수 g으로 제한되었다. 본 연구에서는 음이온 중합법을 이용해서 P3HT-b-poly(4-vinylprydine) (P4VP)를 오직 2단계로 중합할 수 있었으며, 중합 스케일은 수십 g 정도가 가능하였다. 반응 도중 단량체 전환율 및 농도를 계속 모니터링 해야 하는 번거로움 없이 초기 단량체 당량비만으로 블록 비율과 분자량 분포를 정밀 조절할 수 있었다. 만들어진 P3HT-b-P4VP를 친수성 및 소수성 용매에 녹여 분자 거동을 살펴보았다. 용액의 특성이 용액 속 미셸 구조와 필름 코팅 후 모포로지에 영향을 미친다는 것을 확인했다. P3HT-b-P4VP의 물리적 특성은 적외선-자외선 분광분석법, 원자힘현미경 및 자외선 광전자 분광분석법을 이용하여 평가하였다.

• 멤브레인
• /
• 제19권4호
• /
• pp.302-309
• /
• 2009

원자전달 라디칼 중합을 이용하여 polystyrene-b-poly (hydroxyethyl methacrylate) (PS-b-PHEMA) 블록 공중합체를 합성한 뒤, 블록 공중합체의 -OH 그룹과 이미다졸 디카르복실릭산 (IDA)의 -COOH 그룹과의 에스테르 반응에 의하여 가교된 전해질막을 제조하였다. 인산($H_3PO_4$)을 도핑하여 이미다졸-인산 착체를 형성한 결과, 인산 함량이 증가함에 따라 공중합체 전해질막의 수소 이온 전도도가 계속 증가하였다. 또한 인장강도와 인장률 모두 인산 함량에 따라 증가하였다. 특히 [HEMA]: [IDA]:[$H_3PO_4$] = 3:4:4의 조성을 갖는 PS-b-PHEMA/IDA/$H_3PO_4$ 블록 공중합체 전해질막은 $100^{\circ}C$의 비가습 조건에서 최대 0.01 S/cm의 수소이온 전도도를 나타내었다. 열분석(TGA) 실험을 통하여 전해질막은 $350^{\circ}C$의 고온까지 열적으로 안정함을 확인하였다.