• 한국축산물위생처리협회지
• /
• no.63
• /
• pp.1-2
• /
• 2003

학교급식법 개정안 '또' 폐기 - 외국인 연수생고용 '법인'에도 허용 - 쇠고기 부분육등급표시제 참여 업체 2개소 늘어 - 축분 퇴비화, 지렁이로!

• Proceedings of the Korean Society for Food Science of Animal Resources Conference
• /
• 1998.10a
• /
• pp.140-140
• /
• 1998

• Proceedings of the Korea Technical Association of the Pulp and Paper Industry Conference
• /
• 2009.10a
• /
• pp.131-136
• /
• 2009

• LP가스
• /
• s.106
• /
• pp.9-10
• /
• 2006

액화석유가스안전관리기준통합고시(산업자원부고시제2005-26호,2005.3.8)중 일부가 개정되었다. 관련고시를 게재한다.

• Proceedings of the SAREK Conference
• /
• 2006.06a
• /
• pp.126-131
• /
• 2006

• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.10a
• /
• pp.221.2-221
• /
• 1999

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.6
• /
• pp.455-462
• /
• 2017

In recent decades, many researchers have been struggling to developing the compound aircraft that is capable high speed and VTOL flight. And in recent years, multi-copters are very popular because of having advantages of VTOL and easy handling, but they are lack of doing long-range mission. Therefore, we presents simple aircraft architecture which is equipped fixed wing, multi propellers and no control surfaces. In this paper, we designed the attitude control for the compound aircraft prototype and measured the attitude control performance with flight test for validating prototype's performance. We analysed the attitude control test result comparing with similar size of a fixed wing aircraft. The performance was almost same as fixed wing aircraft.

• Korean Journal of Soil Science and Fertilizer
• /
• v.11 no.1
• /
• pp.37-42
• /
• 1978

In other to find out the effect of N.K compound fertilizers, 17-0-17 and 17-0-14, a field experiment was conducted with rice (Oryza sativa L. Akibare). Results obtained were summarized as fellows: 1. The effect of compound fertilizer on the yield of paddy and nutrient uptake was not much differed from that of Urea and Muriate potassium. 2. It seemed that the compound fertilizer, 17-0-17, was rather pertinent for the top dressing at effective tillering stage than that at primodial stage, for its slow effectiveness. 3. From the viewpoint of increasing paddy yield and nutrients uptake as well as the exchangeable potassium content of soil after harvesting, it seemed necessary to give a serious consideration to the development of such a compound fertilizer as used in this experiment which was prepared by the Chosen Fertilizer Industrial Cooporation on a trial base.

• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.642-648
• /
• 2003

In this paper, we are interested in checking equivalence of FSMs(finite state machines). Two FSMs are equivalent if and only if their responses are always equal with each other with respect to the same external stimuli. Equivalence checking FSMs makes complicated FSM be substituted for simpler one, if they are equivalent. We can also determine the system satisfies the requirements, if they are all written in FSMs. In this paper, we regard equivalence checking problem as model checking one. For doing so, we construct the product model $M ={M_A} {\beta}{M_B} from two FSMs ${M_A} and {M_B}$. And we also get the temporal logic formula ${\Phi}$ from the equivalence checking definition. Then, we can check with model checker whether if satisfies ${\Phi}$, written $M= {.\Phi}$. Two FSMs are equivalent, if $M= {.\Phi}$ Otherwise, it is not equivalent. In that case, model checker generates counterexamples which explain why FSMs are not equivalent. In summary, we solve the equivalence checking problem with model checking techniques. As a result of applying to several examples, we have many satisfiable results.

• Journal of the Korea Convergence Society
• /
• v.9 no.1
• /
• pp.181-187
• /
• 2018

This study was to develop and apply the avatar art activity as a career search program to find out the possibility of oneself based on self-understanding and to find out the value of work. Furthermore, this study has suggested the effect obtained by appreciating their own business card and images in the use of color code media. Art program has been conducted for five sessions in 'past tense' 'present tense' and 'future tense' on first graders in Middle School. As a result education effect obtained from the art program for career exploration in manufacturing Avatar is as follows. First, there was an effect as to how students ended up knowing their inner strength through mind-map realizing their characteristics and personal interest. Secondly, Avatar was manufactured by enhancing an understanding about them through self-exploration. Third, students appreciated their 'business card' and 'video clip' by using color code media building self-leading attitude in realizing career design.