• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.212-218
• /
• 2003

State invariant is a property that holds in every reachable state. It can be used not only in understanding and analyzing complex software systems, but it can also be used for system verifications such as checking safety, liveness, and consistency. For these reasons, there are many vital researches for deriving state invariant from finite state machine models. In previous works every reachable state is to be considered to generate state invariant. Thus it is likely to be too complex for the user to understand. This paper seeks to answer the question `how to simplify state invariant\ulcorner`. Since the complexity of state invariant is strongly dependent upon the size of states to be considered, so the smaller the set of states to be considered is, the shorter the length of state invariant is. For doing so, we let the user focus on some interested scopes rather than a whole state space in a model. Computation Tree Logic(CTL) is used to specify scopes in which he/she is interested. Given a scope in CTL, mixed reachability analysis is used to find out a set of states inside it. Obviously, a set of states calculated in this way is a subset of every reachable state. Therefore, we give a weaker, but comprehensible, state invariant.

• Journal of the Korean Society for Marine Environment & Energy
• /
• v.9 no.2
• /
• pp.98-108
• /
• 2006

The vessels, already built and is operating in Korea, have the hull form of catamaran, with LOA(Length Over All) 15 m, LBP(Length Between Perpendiculars) 12 m, GT(Gross Tonnage) 9.77ton, Light Load Displacement 15.1ton. Korean Society of Ship Inspection & Technology, Chungnam National University, Inha University, Seoul National University and Advance Marine Tech co. ltd developed by cooperation it for fishing vessels. And it used FRP(Fiber Reinforced Plastics) for hull material and main engine of diesel $360ps{\times}2800rpm{\times}2sets$ with a water jet system. Based on these results, this paper describe small leisure fishing vessels with multi-hull, in relation to the project of CTYS(Regional Reserch Center for Transportation System of Yellow Sea Inha University) that aimed to development of trimaran hull form(LOA=17m, LBP=14m(Side Hull=6m), GT=9.77ton, Light Weight=11.2 ton).

• Journal of the Korean Society for Railway
• /
• v.10 no.6
• /
• pp.692-700
• /
• 2007

A trial run of locally-developed tilting train has been in process on Chungbuk line since the test vehicle was first produced. For the system stabilization, interface verification among the systems including track, structure, catenary and signaling system, not to mention the rolling stock, is very crucial. In the area of wayside structure, the stability of track structure and train run shall be evaluated through the review of impact by increased speed by developed train on track structure. The study thus was intended to evaluate the impact on track while a tilting train is running the curve section, which is vulnerable to accelerated train speed. The analysis of tilting train test running the part of Chungbuk line and Honam line was conducted to identify the impact on existing track performance by tilting train. To identify the movement behavior of each part of track while tilting train, high speed train and traditional train (Mugunghwa and freight train) were running the existing line, wheel load, lateral wheel load, rail bending stress, vertical and lateral displacement of rail and vertical displacement of sleeper were compared and analyzed so as to evaluate the expected impact by tilting train for improving the train speed.

• Journal of the Society of Cosmetic Scientists of Korea
• /
• v.23 no.2
• /
• pp.23-32
• /
• 1997

Melanin pigmentation in human skin is a major defense mechanism against ultraviolet light of the sun. Tyrosinase(EC 1.14.18.1) plays a key role in the biosynthesis of ultraviolet of melanin. This is why much researches have been focused on its regulation in controlling the epidermal melanization. We have found that the water-extract of Banha(Pinelliae ternate B.), an oriental medicinal plant, has no tyrosinase inhibitory activity, but does inhibit the melanin biolsynthesis in B16 mouse melanin cells. We also found that Banha extract lowers the tyrosinase activity in cultured cells. To elucidate the action mechanism of Banha extract we have investigated its effect on the tyrosinase mRNA level using reverse transcription-polymerase chain reaction technique. It was revealed that Banha extract reduced the tyrosinase mRNA level in dose dependent manner; when B16 mouse melanoma cells were cultured with 2mg/ml and 5mg/ml of Banha extract, there were 20% and 44% decrease in tyrosinase mRNA level, respectively. These data suggest that the Banha extract exerts its melanogenic inhibitory effect through the transcriptional regulation of tyrosinase mRNA.

• Proceedings of the Korean Society of Postharvest Science and Technology of Agricultural Products Conference
• /
• 2003.04a
• /
• pp.132-132
• /
• 2003

포도 중 캠벨얼리 품종은 색이 검붉고 당도가 높아 우리나라 대표적인 품종 중에 하나로 알려져있다. 그러나 수확 후 저장 유통 중 품질이 저하되기 쉽다. 따라서 예냉 조건 및 수송, 저장, 유통조건에 따른 품질조사를 비교실험하여 가장 안전한 저장 유통 방법을 개발하고자 하였다. 실험재료는 2003년 8월20일경에 포도 주산지인 영천 농가에서 수화 한 후 바로 예냉처리를 하였다. 이때 사용한 예냉기는 원예연구소에서 개발한 시제작품을 사용하였다. 대조구로 무예냉을 두었으며 예냉 후 수송온도도 관행적인 상온과 저온(2$^{\circ}C$)로 구분 처리하였으며 저온온도별로도 함께 실험하였다. 포장단위도 2kg 와 5kg로 각각 처리하여 수행하였다. 예냉이 품질에 미치는 영향을 조사하기 위하여 예냉처리에 따른 호흡패턴 변화와 이화학적 특성변화를 조사하였다. 또한 저장 중 중량감소율, 부패율 및 탈립율을 조사하였다. 포도 ‘켐벨얼리’의 수확 시 품온 29.5$^{\circ}C$를 적정 저장 온도인 2$^{\circ}C$로 저하시키는데 일반 저온 저장고에서 10시간 정도 걸리는 데 반하여 차압예냉기 이용시 3시간으로 단축시킬 수 있었으며 예냉 포도의 처리구별 호흡량은 초기 6.65$m\ell$/kg/hr 였으나 상온무예냉 및 예냉 처리구의 경우에는 저장해가면서 급격히 증가되었고 저온에서는 무예냉의 경우에는 계속 증가되는 반면 예냉 처리구의 경우에는 포장 규격과는 상관없이 다른 처리구 보다 호흡억제 효과가 있었다. Ethylene 발생량 역시 호흡과 비슷한 경향을 보여 주어 예냉 시 과실의 품질 저하 요인 발생량을 억제시킬 수 있었다. 경도는 저장 기간이 경과됨에 감소되나 저온 예냉 처리구의 경우가 초기 1.26N을 높게 유지하였고 자연중량 감모율은 상온저장 2주째 무예냉처리구 8.40%로 감소된데 비하여 예냉 저온 수송 구의 경우에는 0.25%로 매우 낮았다. 포도 ‘켐벨얼리’의 저온 저장중 부패율은 저장 2주째 상온 무예냉 처리구의 경우 19.8%이었으나 저온 예냉 처리구의 경우는 부패과가 발생하지 않았고 탈립율 역시 상온무예냉처리구의 경우 53.5%인데 반하여 저온 예냉 처리구는 저장 4주경과 시까지 탈림과가 없었다. 당도 및 pH변화 역시 차압 예냉 후 저온 수송 처리구가 초기당도(12.0Bx)$^{\circ}$값과 초기 pH(3.8)를 저장 25일 경과시까지 유지하였다. 수확 시 높은 품온을 갖고 있는 과일을 산지에서 예냉 처리를 한 후 저온 냉장차를 이용하여 유통한다면 관행 유통 구조보다 고품질의 포도를 유통시킬 수 있는 것으로 사료되며 앞으로는 완숙된 고 당도(12.0~15.0Bx)$^{\circ}$ 포도를 수확 한 즉시 예냉 처리하고 저온 유통한다면 보다 신선한 과일을 소비자에게 전달 할 수 있을 것이다.

• Koreanishche Zeitschrift fur Deutsche Sprachwissenschaft
• /
• v.1
• /
• pp.313-348
• /
• 1999

이 논문은 독일어의 겹자음회피현상을 설명함에 있어 어휘음운론에서의 분석이 보이는 문제들을 지적하고, 이 문제들이 제약에 바탕을 둔 이론에서는 어떻게 해결될 수 있는가를 보인다. 제약들간의 상호작용에서 특히 중요한 역할을 하는 것이 단일형태실현제약 (Uniform Exponence)으로서, 이 제약을 통해 독일어 동사의 현재시제, 단수, 2인칭 형태와 3인칭형태에서 나타나는 겹자음회피현상이 동사의 어형변화표 (Verbparadigma)와 밀접한 관련이 있음을 알 수 있다. 이는 규칙들을 통해 2인칭과 3인칭의 올바른 형태를 각각 개별적으로 찾아내는 어휘음운론의 분석과는 근본적으로 다르다. 왜냐하면 어휘음운론의 분석에 따를 때, 예를 들어 3인칭 동사 arbeitet에서 Schwa 모음의 삽입은 겹자음회피를 위해 일어난다고 설명되지만 겹자음이 없음에도 불구하고 Schwa 모음이 마찬가지로 삽입되는 2인칭동사 arbeitest는 설명되지 않기 때문이다. 이런 분석에서는 2인칭 형태와 3인칭 형태가 서로 아무런 관련 없이 각기 따로 존재하게된다. 이에 반해 단일형태제약은 이 두개의 형태를 동시에 비교하므로, 동사 굴절형태에서 마치 불필요한 것으로 보이는 모음삽입이나 자음탈락의 원인에 대해 이론적인 근거를 제시할 수 있다. 즉 2인칭 형태와 3인칭 형태는 보다 상위의 제약들이 막지 않는 한 서로 최대한 비슷한 형태를 가지려고 한다. 이 논문은 겹자음 회피를 위한 수단으로서 모음삽입이나 자음탈락은 오로지 이를 통해 동사의 어형변화표가 좋아질 때만 가능하다는 것을 보여줌으로써 규칙이론이 포착하지 못하고 있는 중요한 일반화를 제시하고 있다. 단일형태 실현제약의 중요성은 접두사 in- 과 un- 이 어간과 결합할 때 보이는 대조를 통해서도 확인된다. 여기서도 어휘음운론의 다층어휘부 구조에 의한 설명이 갖는 문제점이 제약들간의 상호작용을 통해 해결될 수 있음을 알 수 있다.VII-1 및 VII-2공의 3600 m 하부층은 건성 가스 생성 단계에까지 도달한 것으로 나타났다. JDZ VII-1, VII-2 시추공의 3500 m 하위 구간의 올리고세 퇴적층에서 유기물 함량 및 수소 지수가 급격히 감소하는 것은 매몰 심도가 깊어지면서 유기물이 열 분해되어 이미 탄화수소를 생성한 것으로 해석된다. JDZ VII-1 및 VII-2 시추공의 가스징후 및 길소나이트 (gilsonite)는 탄화수소가 생성되어 이동한 흔적을 시사한다.을 해석할 수 있음을 보여주는 것으로 평가된다. 다만 PLAYMAKER2가 보다 신뢰할 만한 퇴적환경 해석을 위한 전문가 시스템으로 구축되기 위해서는 향후 많은 퇴적학 전문가들이 추가로 참여하여 기존 규칙들을 재검증하고 새로운 규칙들을 첨가함으로써 보디 세련된 지식베이스를 개발하여야 할 것으로 판단된다.이며 세 개의 산소가 이루는 평면에서 $1.68{\AA}$ 소다라이트내로 이동하여 위치한다. 32개의 $Tl^{+}$ 이온은 결정학적 자리 II에 존재하고 있으며 산소와의 결합거리를 $2.70(1){\AA}$을 유지하면서 큰 동공속으로 $1.48{\AA}$ 이동하여 위치한다. 약 18개의 $Tl^+$ 이온은 결정학적 자리III에, 또 다른 10개의 $Tl^+$ 이온은 결정학적 자리III'에 존재하고 골조 산소와 각각 $2.86(2){\AA},\;2.96(4){\AA}$의 결합거리를 이룬다.

• Journal of Advanced Marine Engineering and Technology
• /
• v.34 no.4
• /
• pp.515-521
• /
• 2010

This paper dealt with the design and fabrication of an energy saving light emitting diode (LED) fishing lamp. Most fishes such as a squid, horse mackerel, mackerel, sardine and scabbard fish have characteristics for phototaxis and fishing lamps have promoted the fishery efficiency using their photo-reaction. In these days, metal halide lamp (MHL) as the fishing lamp, which consumes 1.5 kW and radiates harmful ultraviolet rays are mainly used. To develop the LED-fishing lamp, the penetration depth in sea water and the photo-reaction of a squid as light wavelength were studied. The experimental results showed the both characteristics were existed in blue color around 470 nm. Based on the results, we manufactured a 160 W and blue LED-fishing lamp which is consume about one-nine of 1.5 kW MHL. As energy saving effect, the use of LED-fishing lamp can reduce 128 kWh per an hour which is correspond to $CO_2$ of 86 kg for a 22ton-fishing boat equipped with 80-1.5 kW MHL. Now, the prototype LED fishing lampsare being evaluated on two fishing boats.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.12 no.4
• /
• pp.201-209
• /
• 2012

The point-based complex event processing handled an instantaneous event by using one time stamp in each event. However, the activity period of the event plays the important role in the field which is the same as the finance, multimedia, medicine, and meteorology. The point-based event is insufficient for expressing the complex temporal relationship in this field. In the application field of the real-time world, the event has the period. The events more than two kinds can be temporally overlapped. In addition, one event can include the other event. The relation about the events of kind of these can not be successive like the point-based event. This thesis designs and implements the method detecting the patterns of the complex event by using the interval-based events. The interval-based events can express the overlapping relation between events. Furthermore, it can include the others. By using the end point of beginning and end point of the termination, the operator of interval-based events shows the interval-based events. It expresses the sequence of the interval-based events and can detect the complex event patterns. This thesis proposes the algorithm using the active instance stack in order to raise efficiency of detection of the complex event patterns. When comprising the event sequence, this thesis applies the window push down technique in order to reduce the number of intermediate results. It raises the utility factor of the running time and memory.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.12
• /
• pp.797-803
• /
• 2019

This study was carried out to reduce the lateral vibration of high-speed electric multiple units. In the study, the high-speed electric multiple unit prototype (HEMU-430X) has a high lateral vibration at low equivalent conicity regardless of the wheel profiles (XP55, GV40, S1002). As wheel wear progresses and the equivalent conicity increases, the lateral vibration tends to decrease. The reason is that a combination of the suspension characteristics causes the body and bogie to resonate at a frequency of 1.4 Hz when the equivalent conicity is low, resulting in body hunting. An investigation of the lateral vibration of overseas high-speed trains showed that a decrease in the hydraulic stiffness of the yaw damper could improve the vibration. The series stiffness of the yaw damper is a combination of the hydraulic stiffness and elastic joint. In this study, an attempt was made to improve the lateral vibration by lowering the stiffness of the elastic joint. The series stiffness of the adjusted yaw damper was approximately 60% compared to the original one. The on track test results showed improvement in the lateral vibration for both running directions. The vibration reduction method of this study can be used for EMU-250 and EMU-320 in future commercial operations.

• Applied Chemistry for Engineering
• /
• v.2 no.2
• /
• pp.175-184
• /
• 1991

Ultraviolet curable coatings are often used to protect the surface of polymer materials exposed to the ultraviolet radiation. However, the adhesion of epoxy acrylate on poly(vinyl chloride) and the UV curable coating on polystyren are poor. The objective of this work was to improve the adhesion of coating according to various formulations of the reactive diluents and finishing methods using the photografting of multifunctional acrylate and the surface activation on polymer surface impregnated a phtoinitiator. The addition of Tripropylene glycole diacrlate in the formulation of coating results in the improvement of adhesion of coating due to the flexibility. But the increase of the crosslinking density which results from the oxidation of surface during the exposure of UV radiation caused the loss of adhesion of coating exept the photografting method. In the trimethylolpropane triacrylate the improvement of adhesion are considerable due to the chemical bond between multifundtional acrylate and surface. From this work we expect to achieve the varity and functionality in the formulation of coating according to the photografting and surface activating of polymer.