• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.210-216
• /
• 2000

Place/Transition(P/T) nets has been used in protocol verification and concurrent system verification since it is suitable for describing concurrency and provides several well-established verification techniques. And it has been used as a base formalism for such high-level Petri nets as colored Petri nets, object-oriented Petri nets and etc. However, when analyzing complex models using P/T nets and P/T nets-based high-level Petri nets, there may be state explosion in reachability analysis due to improper handling of concurrency. In this paper, we define a structural concurrency in P/T nets, propose a partitioning algorithm based on the detected structural concurrency, and provide analysis techniques for such properties as boundedness of places and liveness of transitions, which are performed on compositional reachability graphs. The analysis techniques based on Petri net slices can be used in efficiently analyzing P/T nets-based high-level Petri net models as well as P/T net models.

• Proceedings of the KIEE Conference
• /
• 2002.07b
• /
• pp.1055-1057
• /
• 2002

산업이 발전할수록 정밀 위치제어 알고리즘에 대한 요구가 증가하고 있으며, 선형 전동기의 보급에 따라 1um 단위의 고급 위치 제어 알고리즘에 대한 중요성이 커지고 있다. 위치제어에 있어서 작업의 신속성 및 정밀도를 높이기 위해서는 제어의 오버슛 현상을 억제할 필요가 있으며, 현장에서 직접 활용이 가능하도록 하려면 보다 간단한 구조의 제어 알고리즘이 요구된다. 위치제어에서 가장 큰 문제는 전동기의 최대 속도 및 최대 전류 제한에 의한 비선형성이 위치의 과도한 오버슛으로 나타난다는 것이며, 기존의 고급 알고리즘에서는 미리 제공되는 S-커브 형태의 위치 명령 패턴을 사용하여 속도 및 전류 제한을 회피하고 있다. 본 연구에서는 고급 제어 알고리즘과 동일한 성능을 내면서 복잡한 패턴 생성기를 사용하지 않고도 실제 위치가 오버슛없이 부드러운 S-커브 형태로 목표값에 수렴하는 새로운 형태의 위치제어기를 제안한다. 제안된 제어기는 비교적 간단한 구조로 인하여 헌장 적용력이 매우 뛰어나며, 이득 설정이 간편하다는 장점을 지니고 있다.

• 월간낙농육우
• /
• v.19 no.4 s.204
• /
• pp.97-99
• /
• 1999

'생산성 향상, 전업 규모화, 육질 고급화' 이것이 김진황사장이 이야기하는 국제경쟁력 강화방안이다. 합리적인 관리와 깨끗한 환경, 고효율의 영양이 뒷받침된다면 사육기간을 $20\%$이상 단축시킬 수 있다는 신념아래 사양관리 방법을 개선하는데 심혈을 기울이고 있다.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2016.10a
• /
• pp.437-438
• /
• 2016

• Journal of Korea Spatial Information System Society
• /
• v.3 no.1 s.5
• /
• pp.37-48
• /
• 2001

ITS includes an Advanced Traveler Information System(ATIS) that provides travelers with service and facility data for the purpose of assisting prior to embarking on a trip or after the traveler is underway. ATIS consists of three major subsystems, which are a Pre-trip Traffic Information subsystem(PTIS), an En-route Traffic Information Subsystem(ETIS), and a Dynamic Route Guide Subsystem(DGIS). ATIS needs to be designed and implemented in accordance with the National ITS Architecture, a reference framework that spans all of standards activities. Recently, as software technology is rapidly improved and stabilized, there are some needs to reuse pre-developed and powerful ITS technology. ITS standardization based on components and open interfaces becomes a way to solve these reusability of current ITS technology. This paper focuses on how could we design and implement ATIS based on the component with the aid of UML(Unified Modeling Language). The UML methodology is expected to provide a standardized model for newly developed ITS components.

• The monthly packaging world
• /
• s.128
• /
• pp.116-117
• /
• 2003

• Proceedings of the Korean Environmental Sciences Society Conference
• /
• 2017.10a
• /
• pp.149-149
• /
• 2017

• The monthly packaging world
• /
• s.109
• /
• pp.71-73
• /
• 2002

• Korean Journal of Environmental Agriculture
• /
• v.7 no.2
• /
• pp.87-91
• /
• 1988

To investigate the effects of paper sludge on the seasonal variations of higher fatty acids in paddy soil, paper sludge was applied to pots at the rate of either 300, 600, 900 or 1,200kg/10a. Fractions of the higher fatty acids in the soil were analyzed. 1. Twenty-one kinds of higher fatty acids in the soil were detected. Among them, lauric, myristic, myristoric, palmitic, palmitoleic, stearic, oleic, linoleic, linolenic and arachidic acids were identified. The fatty acid content in the soil of acids, linolonic, myristic, palmitic, and stearic acid increased in ascending order. 2. The total content of higher fatty acids in the soil was increased as the application of paper sludge increased. The formation of the acids was at its highest point at the effective tillering stage. After WARDS the contents of the acids decreased as time elapsed. A positive correlation was observed between the total contents of both higher and volatile lower fatty acids in the soil.

• Culinary science and hospitality research
• /
• v.15 no.3
• /
• pp.197-212
• /
• 2009

Well-set tabletops influence customers' purchase behavior or post-purchase behavior by making the quality and image of a restaurant distinguished and customers impressed. This study aims to investigate the relations between the perception of environment among physical environments of restaurants and psychological responses to their tabletops and consumers' attitudes in order to suggest new guidelines for table-setting. As a result, the direct relations between the perception of environment in the tabletops of the restaurants and consumers' behavioral intention indicated that the perception factors of tabletops affected consumer behavior and that these perception factors affected the formation of general attitudes among consumers through emotional and cognitive responses. This result shows that tabletops can be an important key in managing restaurants with changing customer needs. Therefore, it is expected that positive customer attitude can be made by provoking their psychological responses with unique and attractive tabletop settings.