• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제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.

• 한국정보통신학회논문지
• /
• 제16권9호
• /
• pp.1847-1855
• /
• 2012

클록 보정회로를 가진 1V 1.6-GS/s 6-비트 flash 아날로그-디지털 변환기 (ADC: analog-to-digital converter)가 제안된다. 1V의 저전압에서 고속 동작의 입력단을 위해 bootstrapped 아날로그 스위치를 사용하는 단일 track/hold 회로가 사용되며, 아날로그 노이즈의 감소와 고속의 동작을 위해 평균화 기법이 적용된 두 단의 프리앰프와 두 단의 비교기가 이용된다. 제안하는 flash ADC는 클록 보정회로에 의해 클록 duty cycle과 phase를 최적화함으로 flash ADC의 동적특성을 개선한다. 클록 보정 회로는 비교기를 위한 클록의 duty cycle을 제어하여 evaluation과 reset 시간을 최적화한다. 제안된 1.6-GS/s 6-비트 flash ADC는 1V 90nm의 1-poly 9-metal CMOS 공정에서 제작되었다. Nyquist sampling rate인 800 MHz의 아날로그 입력신호에 대해 측정된 SNDR은 32.8 dB이며, DNL과 INL은 각각 +0.38/-0.37 LSB, +0.64/-0.64 LSB이다. 구현된 flash ADC의 면적과 전력소모는 각각 $800{\times}500{\mu}m2$와 193.02 mW 이다.

• 한국식품저장유통학회지
• /
• 제11권2호
• /
• pp.263-268
• /
• 2004

곡물냉각기를 이용하여 벼의 냉각특성을 구명하기 위하여 RPC의 원형빈에서 2회의 냉각실험을 실시하였다. 1차 냉각 실험은 하절기에 200 톤 규모의 원형빈에서, 2차 냉각실험은 수확기에 300 톤 규모의 원형빈에 저장된 벼를 대상으로 실시하였다. 그 결과를 요약하면 다음과 같다. 1차 냉각실험에서 초기곡온 23.6$^{\circ}C$, 함수율 19.3%인 벼180.3 톤을 14$^{\circ}C$까지 냉각시키는데 52.5시간이 소요되었으며, 냉각을 통해 함수율은 약 0.6% 감소하였다. 또한, 2차 냉각실험에서 초기곡온 16.1$^{\circ}C$, 함수율 19.2%인 벼 272.2 톤을 5.5$^{\circ}C$까지 냉각시키는데 78.0시간이 소요되었다. 1, 2차 냉각실험에서 냉각공기온도를 각각 8.0, 5.5$^{\circ}C$로 설정하였을 때, 곡물냉각기출구의 냉각공기온도는 각각 8.0$\pm$0.48$^{\circ}C$, 5.7$\pm$0.84$^{\circ}C$로서 정밀하게 제어되고 있음을 알 수 있었으며, 2차 냉각실험에서의 온도편차가 1차 냉각실험에서보다 높게 나타난 것은 냉각부하가 적었고, 외기조건이 급격하기 변화하여 압축기 무부하전자변, 재열기 및 증발기에 공급되는 고온고압 냉매가스량, 응축기 송풍기가 제어되었기 때문으로 판단되었다. 1차 냉각실험에서 곡물냉각기에서 냉각된 공기량은 평균77.5㎥/min인데 비해 곡물층을 통과한 냉각공기량은 42.5㎥/min에 불과해 약 45%의 냉각공기가 누설되어 이에 대한 방지책이 필요하였다. 냉각부하가 큰 하절기에 실시한 1차 냉각실험에서는 댐퍼만이 제어되었으며, 소요전력은 평균 22.1㎾를 나타낸 반면, 냉각부하가 적은 수확기에 실시한 2차 냉각실험에서는 압축기의 무부하전자변, 응축기 송풍기 등이 제어되었으며, 소요전력은 평균 17.4㎾로 나타나 하절기에 비하여 약 27%정도의 에너지가 절감된 것으로 나타났다.

• 한국전자파학회논문지
• /
• 제8권1호
• /
• pp.13-21
• /
• 1997

본 논문에서는 능동 위상배열안테나(Active phased array antennas)의 구성소자로 사용될 수 있는 슬롯결합을 이용한 발진기형 능동안테나를 설계, 제작하였다. 배열 안테나 특히 평면 배열 얀테냐에 적합한 급전구조인 슬롯결합을 이용하여 방사소자와 능동회로룹 각각의 기판에 제작한 후 접지면의 슬롯을 통하여 전자기적으로 결합하였다 이와 같은 구조는 배열 안테나로 구성할 경우 단일 평면상에 안테나와 발진회로를 집적하는 구조에서 발생하는 안테나의 협대역 문제, 능동회로에 의한 기생방사, 집적의 문제 등을 해결할 수 있을 것이다. 본 논문에서 설계, 제작한 발진기형 능동안테나는 FET의 드레인 바이어스 전압을 조정하여 발진 주파수를 12.5 GHz를 중심으로 12.37 GHz에서 12.65 GHz까지 280 MHz (2.24%)의 주파수 범위를 선형적으로 조정할 수 있었다. 또한 주파수 가변범위 내에서의 출력이 5 dB 이내의 차이를 가짐으로서 거의 일정하였다. 따라서 본 논문에서 설계, 제작한 능동 안테나를 선형이나 평면의 능동 배열 안테나 소자로 사용할 수 있을 것이다.

• 한국정보전자통신기술학회논문지
• /
• 제7권1호
• /
• pp.26-35
• /
• 2014

본 연구는 스트레스해소법에 따른 한부모가정 부모의 스트레스와 생활만족도와의 관계를 파악하고자 한다. 연구대상은 2013년 3월1일부터 7월31일까지 중부권 소도시를 중심으로 한부모가정 부모 260명을 대상으로 설문조사를 실시하였다. 자료분석은 빈도분석, 요인분석, t-test, 일원변량분석, 상관분석, 회귀분석을 실시하였으며, 실증분석은 유의수준 5%에서 검증하였다. 연구결과 스트레스는 경제, 신체, 사회 및 일상, 가족, 심리요인 순으로 높게 나타났고, 스트레스요인의 해소법과 조절효과에 따른 해소정도가 생활만족도에 유의미한 영향을 나타냈다. 그리고 하위요인은 재정, 정서, 인지적 순으로 유의미하게 나타났다. 연구의 시사점은 생활만족도 증진에 스트레스해소법이 유의미함으로, 한부모가정 부모에 대한 기초적인 지원정책수립과 프로그램개발의 자료가 될 것으로 사료된다.

• 한국컴퓨터정보학회논문지
• /
• 제12권5호
• /
• pp.103-112
• /
• 2007

본 논문은 uC/OS-II 실시간 커널이 관리하는 주 자원인 마이크로프로세서와 메모리를 가상화하여 하나의 마이크로프로세서 상에서 다수의 uC/OS-II 실시간 커널을 수행시키는 하이퍼바이저를 구현하였다. 마이크로프로세서는 uC/OS-II 실시간 커널이 처리하는 인터럽트들을 제어하는 알고리즘을 적용하여 가상화하고 메모리는 물리적 메모리를 파티션하는 방식을 사용하여 가상화한다. 개발된 하이퍼바이저 프로그램은 타이머 인터럽트와 소프트웨어 인터럽트를 가상화하는 인터럽트 제어 루틴들, 하이퍼바이저와 각 커널을 정상 수행 상태까지 유도하는 코드, 그리고 가상화된 두 커널 사이에 데이터 전달을 제공하는 API로 구성되어 있다. 기존의 uC/OS-II 실시간 커널은 개발한 하이퍼바이저 상에서 수행되기 위하여 소스 코드 레벨에서 수정이 필요하다. 구현된 하이퍼바이저는 Jupiter 32비트 EISC 마이크로프로세서 상에서 실시간 동작 시험 및 독립 수행 환경 시험을 거친 결과 가상화 커널이 정상적으로 수행되는 것을 확인하였다. 본 연구 결과는 다수의 내장형 마이크로프로세서가 요구되는 응용 분야에 활용될 경우 하드웨어 가격 절감효과를 얻을 수 있으며 내장형 시스템의 부피, 무게 및 전력 소비량을 줄이는 효과가 있음을 확인하였다.

• 한국결정성장학회지
• /
• 제22권6호
• /
• pp.305-311
• /
• 2012

화력발전소에서 발생되는 석탄 바닥재(이하 바닥재로 칭함)를 재활용하기 위하여 이를 적점토와 혼합, 소성하여 인공골재를 제조함에 있어, 바닥재의 입도와 배합비를 실험변수로 하여 인공골재의 특성을 제어하였다. 채취된 바닥재는 2 mm 이상의 입자들이 38 wt% 존재하는 거친 입도를 나타내었으며, 미연탄 덩어리들과 다공성 슬래그들이 혼재하였으나, 이를 체가름 및 분쇄공정을 통하여 세립(100 ${\mu}m$ 이하) 및 조립(2 mm 이하) 입도를 갖는 2가지 바닥재로 분리하였다. $1100{\sim}1200^{\circ}C$의 조건에서 직화 소성된 인공골재의 물성 측정 결과, 세립 바닥재로 제조된 인공골재는 조립 바닥재로 제조된 경우보다 높은 부피비중과 낮은 흡수율을 나타내었다. 또한 조립 바닥재로 제조된 인공 골재는 내부에 다공성 슬래그와 미연탄 덩어리로 인해 불균일하고 치밀하지 못한 구조를 나타낸 반면, 세립 바닥재로 제조된 인공골재는 상대적으로 치밀하고 균일하였다. 본 연구를 통해 바닥재의 입도 및 조성변화를 통해 인공골재의 비중 및 흡수율을 각각 1.2~1.7 및 13~21 % 범위로 제어할 수 있음을 확인하였고, 따라서 바닥재 인공골재는 향후 건축/토목 등의 재료로 폭넓게 활용될 것으로 기대된다.

• 한국결정학회지
• /
• 제8권1호
• /
• pp.38-47
• /
• 1997

새로운 방식의 결정성장용 직경 자동제어장치를 개발하였다. 이 장치는 금속선의 장력 변화를 주파수로 변환시켜 감지하는 무게센서로서 신호전달 및 전력공급 체계가 무접촉 방식이므로 노이즈가 극소화되며 따라서 안정성, 정밀성이 종래의 센서에 비해 10배 이상 증대된다. 이 장치에서 무게센서 부분은 1) 금속선, 2) 시그날을 형성하는 Sinusoidal Wave Generator, 3) 형성된 시그날의 진폭을 조정하고 안정화 시켜주는 자동 증폭조절회로, 4) 정류장치 및 신호 변환기, 5) 시그날을 관리, 제어하는 PC 보드 등으로 구성하였고, 그 외에 2개의 검증용, 무게보정용, 성장제어용 등 4개의 프로그램을 작성하였다. 이 장치는 표준편차 값이 $\pm0.10g$(1회/sec 측정 때), 분해능이 $5{\times}10^{-5}$이고, 최대 200kg까지 결정을 성장시킬 수 있으며, 또한 압력조건은 진공조건부터 200 atm 이하, 온도조건은 $350^{\circ}C$ 이하에서 일관성, 재현성 있는 작동이 가능했다. 단결정 자동직 경제어에 필요한 정확도를 확보하기 위해 온도범위 $100^{\circ}C$가 $\pm0.025^{\circ}C$로자동 조절되도록 '시그날 Divider'를 제작하였다. 이 무게 센서를 $Y_3Sc_2Ga_3O_{12},\;Er-Y_3Sc_2Al_3O_{12},\;Bi_{12}GeO_{20}$ 등의 단결정 성장에 응용하였으며 매우 양호한 결정을 성공적으로 성장시킬 수 있었다.

• 한국직업건강간호학회지
• /
• 제24권2호
• /
• pp.122-131
• /
• 2015

Purpose: The purpose of this study was to investigate what factors are affecting job-seeking stress in nursing students. Methods: Subjects were 463 students from two 3-year and two 4-year colleges of nursing in K-Province in Korea. Data was collected from self-administered questionnaires. t-test, ANOVA, Pearson's and Spearman's correlation coefficients, and hierarchical multiple regression with dummy variables were used for statistical analysis of data. Results: Job-seeking stress was significantly different by school system (t=2.76, p=.006), family economic status (F=3.40, p=.005), characteristics (t=1.99, p=.047), academic achievement (F=6.54, p=.002), current weight control status (t=2.23, p=.026), times of cosmetic surgery (r=.11, p=.022), self-esteem (r=-.47, p<.001) and appearance stress (r=.40, p<.001). However, after controlling for general characteristics, self-esteem, and perceived appearance stress, job-seeking stress was significantly different by grade (1st vs 3rd, ${\beta}=0.163$, p<.001), academic achievement (low vs. high, ${\beta}=-0.121$, p=.0321), self-esteem (${\beta}=-0.224$, p<.001), and appearance stress (${\beta}=0.099$, p<.001). The explanation power of self-esteem on job-seeking stress was greater compared with that of appearance stress. Conclusion: Results of this study suggest that it is necessary for nursing students to develop intervention program aimed at reducing job-seeking stress, and it would be effective to focus on improving self-esteem for them.

• 한국컴퓨터정보학회논문지
• /
• 제17권12호
• /
• pp.31-39
• /
• 2012

본 논문에서는 수용가의 에너지 절감과 최대수요전력 제어를 위하여 마이크로프로세서를 이용한 자동 전압 조정기(AVR)를 제안한다. 제안한 자동 전압 조정기(HS-AVR : Hybrid Switching Automatic Voltage Regulator)는 토로이달 코어에 1개의 직렬 권선과 분리된 4개의 분로 권선으로 구성되어 있는 단권변압기를 사용한다. 변압기의 전압 조정은 직렬 권선과 분로 권선의 연결 방법에 따라 감압/승압이 가능하다. 스위치는 릴레이와 트라이악을 병행하여 사용한다. 스위치의 조작 시 발생하는 권선의 여자돌입전류를 제어하기 위하여 트라이악을 이용하여 연결 상태를 변경하고, 연결 상태 유지 시에는 릴레이를 이용함으로써 스위치 소비 전력을 최소화 한다. 제어 신호는 여자 돌입 전류를 줄이기 위하여 전압 파형에 동기화 하여 제어되며 이를 위하여 소프트웨어 PLL을 사용한다. 소프트웨어 PLL은 전압 파형의 제로크로스, 전압 최고점 등의 동기화에 사용함으로써 스위치와 시스템을 최소화한다. 기존 전압 조절 스위치나 자동 전압 조정기 구조는 여자 돌입 전류로 인한 스위치 접점 손상을 막기 위하여 최대전류를 수용할 수있는 용량으로 구성함으로써 장치 크기가 매우 커지는 문제점이 있었다. 본 논문은 이런 문제를 해결하여 자동 전압 조정기의 크기를 줄이고 효율을 높이는 방법을 제안하였다.