• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권4호
• /
• pp.457-466
• /
• 1999

원자력 발전소 계측 제어 시스템, 의료 관련 시스템, 항공 관련 시스템 등 실생활과 밀접한 시스템에 소프트웨어의 사용이 점차 증가하고 있다. 이러한 시스템에서 소프트웨어의 오류는 예기치 않는 사고를 유발하여 인명, 재산상의 심각한 타격을 줄 수 있다. 그러므로 고신뢰도 소프트웨어의 개발 시에는 반드시 시스템의 안전성을 보장해 주어야 한다. 역방향 안전성 분석 방법은 시스템의 안전성을 분석하는 한가지 방법으로서 시스템의 위험 상태를 정의하고 그 위험의 원인들을 추적, 분석함으로써 안전성에 대한 효율적인 분석을 수행할 수 있는 장점을 갖는다. 이 논문에서는 소프트웨어 개발 초기 단계에서 안전성을 분석할 수 있는 방법으로 Colored Petri Nets(CPN)에 기반을 둔 역방향 안전성 분석 방법을 제시한다. 또한 CPN 역방향 안전성 분석 도구인 SAC(Safety Analyzer for CPN)의 설계 및 구현에 대해 언급한다. SAC은 기존의 상용 CPN 모델링 도구인 Design/CPN과 연계하여 사용될 수 있으므로 CPN으로 모델링된 시스템의 안전성을 분석할 수 있다는 장점이 있다. 이 논문에서는 예제로 자동 교통 제어 시스템의 일부를 CPN으로 모델링하고 SAC을 이용한 분석 과정을 기술한다.Abstract In safety-critical systems such as nuclear power plants, medical machines, and avionic systems which are closely related with our livings, the usage of software in the controlling part is growing rapidly. Since software errors in safety-critical systems may cause serious accidents leading to financial or human damages, system safety should be ensured during and after development of a system. A backward safety analysis technique defines system hazards and tries to trace their causes by analyzing system states backward. In this paper, we provide a backward safety analysis technique based on Colored Petri Nets(CPN), which is applicable to the early software development phase. Also Safety Analyzer for CPN(SAC), the supporting tool, is designed and implemented. Since SAC is compatible with Design/CPN, a commercial tool for supporting CPN, it can be applicable to analyze safety in practical problems. As an example, we model a part of the traffic light control system using CPN and analyze safety properties of the model using the SAC tool.

• 폴리머
• /
• 제35권3호
• /
• pp.238-243
• /
• 2011

유기/무기 혼합 물질은 뛰어난 성능으로 인해 지난 수년간 다양한 분야에서 많은 관심을 받고 있다. 고분자 매트릭스에서의 무기 나노입자의 위치 및 분산을 조절하기 위해 싸이올(-SH) 기능기로 말단이 치환된 고분자 리간드가 나노입자의 표면 성질을 개질하는 데에 많이 사용되고 있다. 그러나 싸이올 기능기와 금속 나노입자간의 특정한 결합은 높은 온도에서는 매우 불안정하다. 본 연구진은 UV 경화가 가능한 azide 그룹을 고분자 리간드에 도입하여 열적으로 매우 안정한 금나노입자를 합성하여 보고한 바 있다. 본 연구에서는 더 나아가 표면 성질이 개질된 열적으로 안정한 금나노입자를 얻기 위해서 상대적으로 극성인 UV 경화 가능한 azide와 무극성인 스티렌의 공급 몰 비를 각각 다르게 해서 다양한 UV 경화성 고분자 리간드를 합성하였다. 이를 이용해 합성한 금나노입자는 열적으로 매우 안정하였으며 PS-b-PMMA와 같은 블록공중합체 매트릭스 내에서 금나노입자의 위치를 한 도메인에서 계면으로 정교하게 조절 할 수 있음을 확인하였다.

• 마이크로전자및패키징학회지
• /
• 제26권1호
• /
• pp.29-33
• /
• 2019

전자패키지 크기의 소형화와 전자기기의 성능 향상이 함께 이루어지면서 높은 입출력 밀도 구현이 중요한 요소로서 평가받고 있다. 이를 구현하기 위해 팬아웃 웨이퍼 레벨 패키지(FO-WLP)가 큰 주목을 받고 있다. 하지만 FO-WLP는 휨(Warpage) 현상에 취약하다는 약점이 있다. 휨 현상은 생산 수율 감소와 더불어 패키지 신뢰성 하락에 큰 원인이므로 이를 최소화하는 것이 필수적이다. 유한요소해석을 이용한 재질의 물성 등 FO-WLP의 휨 현상과 연관된 요소에 대한 많은 연구가 진행되어 왔지만, 대부분의 연구는 이러한 요소들의 불확실성을 고려하지 않았다. 재질의 물성, 칩의 위치 등 패키지의 휨 현상과 연관된 요소들은 제조 측면에서 보았을 때 불확실성을 가지고 있기 때문에, 실제 결과와 더 가깝게 모사하기 위해서는 이러한 요소들의 불확실성이 고려되어야 한다. 이번 연구에서는 FO-WLP 과정 중 칩의 탄성 계수가 정규 분포를 따르는 불확실성을 가졌을 때 휨 현상에 미치는 영향을 유한요소해석을 통해 알아보았다. 그 결과 칩의 탄성 계수의 불확실성이 최대 von Mises 응력에 영향을 미치는 것을 확인하였다. Von Mises 응력은 전체 패키지 신뢰성과 관련된 인자이기 때문에 칩의 물성에 대한 불확실성 제어가 필요하다.

• 한국전기전자재료학회논문지
• /
• 제34권4호
• /
• pp.251-255
• /
• 2021

a-Si is commonly considered as a primary candidate for the formation of passivation layer in heterojunction (HIT) solar cells. However, there are some problems when using this material such as significant losses due to recombination and parasitic absorption. To reduce these problems, a wide bandgap material is needed. A wide bandgap has a positive influence on effective transmittance, reduction of the parasitic absorption, and prevention of unnecessary epitaxial growth. In this paper, the adoption of a-SiO_x:H as the intrinsic layer was discussed. To increase lifetime and conductivity, oxygen concentration control is crucial because it is correlated with the thickness, bonding defect, interface density (D_it), and band offset. A thick oxygen-rich layer causes the lifetime and the implied open-circuit voltage to drop. Furthermore the thicker the layer gets, the more free hydrogen atoms are etched in thin films, which worsens the passivation quality and the efficiency of solar cells. Previous studies revealed that the lifetime and the implied voltage decreased when the a-SiOx thickness went beyond around 9 nm. In addition to this, oxygen acted as a defect in the intrinsic layer. The D_it increased up to an oxygen rate on the order of 8%. Beyond 8%, the D_it was constant. By controlling the oxygen concentration properly and achieving a thin layer, high-efficiency HIT solar cells can be fabricated.

• 농업과학연구
• /
• 제30권2호
• /
• pp.175-183
• /
• 2003

본 연구에서는 청과물 포장설계시 중요한 자료가 되는 청과물의 공진 주파수 및 정점가속도 등의 진동특성을 분석하기 위하여 실험적 방법을 적용하였으며, 그 결과를 요약하면 다음과 같다. 1. 청과물의 진동특성을 분석할 수 있는 실험장치를 구성하였으며, 장치의 제어와 계측을 위한 컴퓨터 프로그램을 개발하였다. 2. 공시된 배의 공진 주파수는 약 64.5~72.2Hz 범위이었으며, 정점가속도는 약 1.78~2.21G-rms 범위이었다. 3. 공시된 배의 공진 주파수 및 정점 가속도는 배의 질량과 체적이 증가함에 따라 감소하는 것으로 판단되었다. 4. 배의 공진 주파수 및 정점 가속도와 기계적 특성들간에는 생물체항복변형량(BD) 및 극한변형량(RD)을 제외하고는 상관관계가 매우 낮은 것으로 분석되었다. 5. 본 실험의 목적은 과실의 공진 주파수를 구명하는 것으로 이 결과는 배의 운송 시 차량의 입력주파수와 배의 공진 주파수가 일치되어 공진으로 급격하게 가속도가 증가되는 것을 방지함으로써 충격에 의한 손상을 줄이는데 활용될 수 있을 것이다.

• 한국산학기술학회논문지
• /
• 제17권6호
• /
• pp.255-261
• /
• 2016

탄산칼슘은 뛰어난 물리 화학적 특성, 다양한 결정성, 많은 매장량 등으로 인한 경제성 등 때문에 고무, 플라스틱, 종이, 식품 첨가제 및 중화제 등 여러 분야에 걸쳐 응용되고 있다. 특히, 탄산칼슘의 백색도 및 물리적 특성은 입자의 크기 및 형상에 의존하기 때문에 구조 및 형태를 조절하는 연구가 최근 주목 받고 있다. 본 논문은, 수열합성법 및 자기조립법을 이용하여 염화칼슘과 탄산칼슘을 이용해 다양한 형상과 결정구조를 갖는 탄산칼슘을 합성하였다. 탄산칼슘의 구조 및 형태는 pH 및 전구체의 농도를 조절함으로써 제어할 수 있으며, 특히 pH 조절은 탄산칼슘의 형상 조절 및 결정성 변화에 중요한 요인으로 나타났다. 다양한 조건을 통한 실험 결과, 칼사이트 결정형을 가지며 큐빅 형상을 지닌 탄산칼슘은 pH 7에서 나타났고, 아라고나이트와 칼사이트상을 동시에 가지며 로드형상을 갖는 탄산칼슘 입자는 pH 7 이상에서 나타났다. 연구 결과 입자의 생성과정 분석을 통해 탄산칼슘 입자의 형성 과정을 확인할 수 있었다. 탄산칼슘의 물리 화학적 특성은 SEM, XRD, EDS, FTIR 및 TG/DTA를 통해 확인하였다.

• 공업화학
• /
• 제9권2호
• /
• pp.255-260
• /
• 1998

금속수소화물 $LaNi_5$와 $LaNi_{4.5}Al_{0.5}$을 화학적 합성법으로 제조하여, 합성된 금속수소화물의 물성을 다양한 방법으로 확인하였다. $LaNi_5$와 $LaNi_{4.5}Al_{0.5}$은 2회 정도 수소화/탈수소화 반응을 시키면 활성화되었으며, 압력-농도-온도 곡선을 측정한 결과 각각 6개와 5.5개의 수소원자가 저장되었다. $LaNi_{4.5}Al_{0.5}$의 경우 수소화 반응속도를 초기속도법으로 구한 결과 비반응 수축핵모델이 잘 적용되었으며, 수소화반응의 율속단계는 $LaNi_{4.5}Al_{0.5}$의 표면에서 수소분자의 해리화학흡착임을 알 수 있었다. $LaNi_{4.5}Al_{0.5}$의 수소화반응 활성화에너지는 $9.506kcal/mol-H_2$이었으며, 반응속도식은 273~343K와 $P_o-P_{eq}=0.25{\sim}0.66atm$의 범위에서 아래와 같이 표시되었다. $\frac{dX}{dt}=4.636(P_o-P_{eq})$ exp$\frac{-9506}{RT}$).

• 한국수산과학회지
• /
• 제35권3호
• /
• pp.247-252
• /
• 2002

어육 단백질로부터 가식성 필름을 제조하기 위하여 명태와 고등어로부터 최적 단백질 추출조건을 구명하고, 필름 제조용 용액의 단백질 농도, pH 및 온도가 필름의 물성에 미치는 영향을 조사하였다. 명태의 일반성분 함량은 수분 $79.62\%$, 조단백질 $18.2\%$, 조지방 $0.6\%$, 회분 $1.3\%$였으며, 고등어는 수분 $69.1\%$, 조단백질 $20.1\%$, 조지방 $9.5\%$, 회분 $1.3\%$로서 명태가 고등어에 비하여 수분함량은 높고 조단백질과 조지방 함량은 낮았다. 또한, 황함유 아미노산인 cysteine과 methionine 함량은 명태 771mg/100 g, 고등어 746mg/ 100 g 으로서 이들 아미노산의 비율은 그다지 높지 않았다 명태와 고등어로부터 가용성 단백질의 추출률은 pH 12에서 가장 높았으며. 다음으로 pH 2, 11의 순이었고, 중성부근에서는 추출률이 낮았다. 한편 추출된 가용성 단백질을 등전점 분리시켰을 때, 단백질의 회수율은 명태는 pH 4.8 ($79.8\%$)에서, 고등어는 pH 5.0 ($64.1\%$)에서 가장 높았다. 어육 단백질 필름은 증류수 100mL에 단백질 4g (glycerol 1.6g) 을 첨가하여 pH 10.0로 조정한 다음 $90^{\circ}C$로 가열하여 제조하는 것이 물리적 특성면에서 가장 우수하였다.

• 공업화학
• /
• 제28권5호
• /
• pp.506-512
• /
• 2017

편극화된 물/1,2-dichloroethane (1,2-DCE) 계면에서 이온화가 가능한 테트라사이클린(tetracycline, TC) 화학종 전이 반응을 순환전압전류법과 시차펄스전위법을 이용하여 조사하였다. 물의 pH 변화에 따라 전하 상태가 다른 TC 이온 화학종이 물/1,2-DCE 계면에서 전이하는 전위 값을 측정하여 TC 이온의 상 분배 도표를 얻었다. 이를 통해 각 pH에 따라 수용액 또는 유기 용액 층에서 좀 더 우세한 TC 이온 화학종 형태를 확인하였다. 이와 함께 상기 계면에서 TC 전이 반응의 형식 전이 전위, 분배 계수 및 Gibbs 에너지 값을 포함한 열역학적 정보를 얻었다. 또한 TC 이온을 정량 분석 가능한 센서로 제작하기 위해 고분자 박막에 단일 마이크로 홀을 만들고 유기성의 polyvinylchloride-2-nitrophenyloctylether (PVC-NPOE) 젤을 도포하여 물/젤 계면을 형성하였다. 물/1,2-DCE 계면에서 TC 이온의 전이 반응과 매우 유사하게 수용액의 pH가 4.0일 때 TC 이온의 농도 변화에 따라 전류 값이 증가하는 것을 순환전압전류법으로 관찰하였다. 시차펄스벗김전위법을 이용하여 상기 물/젤 계면에서 완충 수용액에 존재하는 TC 화학종을 $5{\mu}M$까지 검출할 수 있었으며, $5{\mu}M$에서 $30{\mu}M$까지 정량분석 할 수 있었다.

• 한국해양바이오학회지
• /
• 제15권2호
• /
• pp.41-48
• /
• 2023

The objective of the present study was to improve the biomass productivity of newly isolated freshwater green microalga Parachlorella sp. This was accomplished by culture conditions optimization, including CO₂ concentration, superficial gas velocity, and light intensity, in 0.5 L bubble column photobioreactors. The supplied CO₂ concentration and gas velocity varied from 0.032% (air) to 10% and 0.02 m/s - 0.11 m/s, respectively, to evaluate their effects on growth kinetics. Next, to maximize the production rate of Parachlorella sp., a lumostatic operation based on a specific light uptake rate (q_e) was applied. From these results, the optimal CO₂ concentration in the supplied gas and the gas velocity were determined to be 5% and 0.064 m/s, respectively. For the lumostatic operation at 10.2 µmol/g/s, biomass productivity and photon yield showed significant increases of 83% and 66%, respectively, relative to cultures under constant light intensity. These results indicate that the biomass productivity of Parachlorella sp. can be improved by optimizing gas properties and light control as cell concentrations vary over time.