• Journal of KIISE:Computing Practices and Letters
• /
• 제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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• 제16권9호
• /
• pp.1847-1855
• /
• 2012

A 1V 1.6-GS/s 6-bit flash analog-to-digital converter (ADC) with a clock calibration circuit is proposed. A single track/hold circuit with a bootstrapped analog switch is used as an input stage with a supply voltage of 1V for the high speed operation. Two preamplifier-arrays and each comparator composed of two-stage are implemented for the reduction of analog noises and high speed operation. The clock calibration circuit in the proposed flash ADC improves the dynamic performance of the entire flash ADC by optimizing the duty cycle and phase of the clock. It adjusts the reset and evaluation time of the clock for the comparator by controlling the duty cycle of the clock. The proposed 1.6-GS/s 6-bit flash ADC is fabricated in a 1V 90nm 1-poly 9-metal CMOS process. The measured SNDR is 32.8 dB for a 800 MHz analog input signal. The measured DNL and INL are +0.38/-0.37 LSB, +0.64/-0.64 LSB, respectively. The power consumption and chip area are $800{\times}500{\mu}m2$ and 193.02mW.

• Food Science and Preservation
• /
• 제11권2호
• /
• pp.263-268
• /
• 2004

Two field cooling tests were conducted to evaluate the cooling characteristic of paddy with a prototype grain cooler. The first test was carried out during summer season in a steel bin with 180.3ton of paddy at Sunchon. And the second test was carried out during harvesting season in a steel bin with 272.2ton of paddy at Ulsan. At the first test, initial paddy temperature of 23.6$^{\circ}C$ was dropped to 14$^{\circ}C$, and initial moisture content of 19.9% was dropped to 19.3% after 52.5 hours of cooling. At the second test, initial paddy temperature of 16.1$^{\circ}C$ dropped to 5.5$^{\circ}C$ after 78.0 hours of cooling. And, at the first test, the average air flow rates of chilled air leaving the grain cooler and penetrating the grain layer were 77.5 ㎥/min and 42.5 ㎥/min, respectively. To prevent leakage of chilled air from plenum chamber of steel bin, which was about 45% of the average air flow rates of chilled air leaving the grain cooler, a proper method was required. The average total power consumption at the first test during summer was 22.1 ㎾ with control of fan damper. At the second test, it was 17.4 ㎾ due to controlling the capacity of compressor with unloading solenoid valve and changing the flow rates of hot refrigerant gas flowing into evaporator and reheater from compressor, resulting in 27% reduction of energy consumption.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• 제8권1호
• /
• pp.13-21
• /
• 1997

In this paper, the oscillator type active antenna used as an element of active phased array antenna is designed and fabricated using slot coupling. The radiating element and active circuit are fabricated on each layer respectively and coupled electromagnetically through slot on the ground plane. This structure can solve the problems such as narrow bandwidth of microstrip antenna, spurious radiation by active circuits, and spaces for integration of the feeding circuits which are caused by integrating antennas with oscillator circuits in the same layer. The active antenna in this paper, the oscillation frequency can be tuned linearly by controlling the drain bias voltage of FET. The frequency tuning range is between 12.37 GHz to 12.65 GHz when bias voltage is varied from 3V to 9V, thus frequency tuning bandwidth is 280 MHz (2.24%). The output power of antenna is uniform within 5dB over frequency tuning range. Therefore this active antenna can be used as an element of linear or planar active phased array antennas.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• 제7권1호
• /
• pp.26-35
• /
• 2014

This research aims to identify relationships between stress level of parents in single parent families and life satisfaction in accordance with methods of getting rid of stress. Subject of the research were 260 parents in single parent families, centering on small towns in midsection sphere based on answers to questionnaire executed from March 1, 2013 to July 31, 2013. Collected data were analyzed by executing frequency analysis, factor analysis, t-test, one-way ANOVA, correlation analysis, regression analysis, etc. and an empirical verification was performed at 5% of significance level. From the result of the research, stress level appeared according to factors in a sequence of economic power, physical strength, social relation, family, mentality, etc. and significant influence to life satisfaction was found depending on factors such as stress removing methods and controlling effect. And minor factors were shown in a sequence of finance, emotion and acknowledgement. Suggestive points of the research are thought to be significance of stress removing method to the enhancement of life satisfaction, which will be a good material for the establishment of fundamental supporting plans and development of programs for single parent families.

• Journal of the Korea Society of Computer and Information
• /
• 제12권5호
• /
• pp.103-112
• /
• 2007

In this paper, we implement a hypervisor that runs multiple uC/OS-II real-time kernels on one microprocessor. The hypervisor virtualizes microprocessor and memory that are main resources managed by uC/OS-II kernel. Microprocessor is virtualized by controlling interrupts that uC/OS-II real-time kernel handles and memory is virtualized by partitioning physical memory. The hypervisor consists of three components: interrupt control routines that virtualize timer interrupt and software interrupt, a startup code that initializes the hypervisor and uC/OS-II kernels, and an API that provides communication between two kernels. The original uC/OS-II kernel needs to be modified slightly in source-code level to run on the hypervisor. We performed a real-time test and an independent computation test on Jupiter 32-bit EISC microprocessor and showed that the virtualized kernels run without problem. The result of our research can reduce the hardware cost, the system space and weight, and system power consumption when the hypervisor is applied in embedded applications that require many embedded microprocessors.

• Journal of the Korean Crystal Growth and Crystal Technology
• /
• 제22권6호
• /
• pp.305-311
• /
• 2012

In order to recycle the coal bottom ashes (denoted as BA) produced from a thermal power plant, the artificial aggregates (denoted as AAs) containing BA and red clay were manufactured, and the physical properties of AAs were studied as a function of particle size of BA and batch compositions. As-received BA had 38 wt% coarse particles of above 2 mm and many unburned carbon mass and porous slag particles were co-existed. So the two particle sizes of BA, the fine (< 100 ${\mu}m$) and coarse (< 2 mm), were prepared by milling and screening process. The AAs containing fine BA sintered at $1100{\sim}1200^{\circ}C$ had the higher bulk density and lower water absorption compared to the specimen made of coarse BA. The inside core of AAs manufactured by using coarse BA showed nonuniform and porous microstructure, while the AAs made of fine BA had a uniform and dense microstructure. In this research, the AAs containing BA and red clay with various bulk density (1.2~1.7) and water absorption (13~21 %) could be manufactured by controlling the particle size of BA and batch compositions, so the AAs of various physical properties could be applied to the wide fields such as construction/building materials in near future.

• Korean Journal of Crystallography
• /
• 제8권1호
• /
• pp.38-47
• /
• 1997

A new weighing sensor for the automatic diameter control system of the crystal growth is developed in this study. This weighing sensor measures the frequency of the vibrating element which is lineally changing with respect to weight. The signal and the power of this system are transmitted without any physical contact, so that this sensor offers high accuracy and resolution. This system consists of a string, a sinusoidal wave generator, an automatic amplification adjusting circuit, signal transformers and a PCB. 4 kinds of programs are developed for checking DAC, weight calibration and controlling growth process. The measurements of the standard deviation and the resolution show $\pm0.10g$(measured at every second) and $5{\times}10^{-5}$, respectively, This weighing sensor is effective under high pres-sure of 200 atm, high temperature and vacuum condition. The weighing system can control the temperature in the accuracy of $\pm0.025^{\circ}C$ with the 'signal divider'. The optical quality single crystals of $(YGd)_3Sc_2Ga_3O_{12},\;Er-Y_3Sc_2Al_3O_{12},\;and\;Bi_{12}GeO_{20}$ have been grown by Czo-chralski method using this auto-diameter control system.

• Korean Journal of Occupational Health Nursing
• /
• 제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.

• Journal of the Korea Society of Computer and Information
• /
• 제17권12호
• /
• pp.31-39
• /
• 2012

In this paper, we propose a microprocessor-based automatic voltage regulator(AVR) to reduce consumers' electric energy consumption and to help controlling peak demanding power. Hybrid Switching Automatic Voltage Regulator (HS-AVR) consist of a toroidal core, several tap control switches, display and command control parts. The coil forms an autotransformer which has a serial main winding and four parallel auxiliary windings. It controls the output voltage by changing the combination of the coils and the switches. Relays are adopted as the link switches of the coils to minimize the loss. To make connecting and disconnecting time accurate, relays of the circuit have parallel TRIACs. A software phase locked loop(PLL) has been used to synchronize the timings of the switches to the voltage waveform. The software PLL informs the input voltage zero-crossing and positive/negative peak timing. The traditional voltage transformers and AVRs have a disadvantage of having a large mandatory capacity to accommodate maximum inrush current to avoid the switch contact damage. But we propose a suitable AVR for every purpose in smart grid with reduced size and increased efficiency.