• Journal of KIISE
• /
• v.44 no.12
• /
• pp.1307-1312
• /
• 2017

Due to their convergence with state-of-the-art ICT technologies, the complexity and reliability demands of industrial automation systems have been rapidly increasing. In recent years, to cope with these demands, several research works have been carried out to adopt formal methods to the application development cycle at the early design stage. In this paper, we propose an automated code generation framework for industrial automation applications, based on a timed automata model. As a case study, we developed a formal model for a traffic light control system and verified the timing properties described in the specification. We finally demonstrated that the operation of a test-bed based on the auto-generated native code was identical to that of the model specification.

• Journal of Ginseng Research
• /
• v.29 no.2
• /
• pp.71-79
• /
• 2005

In vitro studies using detached inflorescences with peduncles were conducted to investigate flower abscission agents in North American ginseng (Panax quinquefolius L.). Of the nine compounds studied only three, ammonium thiosulphate (ATS), abscisic acid (ABA) and ethephon induced abscission. Anilazine, benzyladenine, carbaryl, gibberellic acid, napthaleneacetic acid and thidiazuron did not induce abscission. ATS dip treatments did not induce abscission but the spray treatments induced $60.5\%$ abscission at $1500\;mg{\cdot}L^{-1}$ and $33.1\%$ at $3000\;mg{\cdot}L^{-1}$. Severe chlorophyll loss occurred on all inflorescences treated with ATS. Both ABA dip treatments and a $250\;{\mu}mol{\cdot}L^{-1}$ spray treatment caused abscission $(40\%)$ without adverse effects, and timing of ABA application was important. Because ABA was only significant in the dip treatments, ABA may not be a practical option for field use on ginseng. Ethephon sprays induced more abscission as the season progressed and as the concentration increased. As the dip concentrations of ethephon increased, the abscission rate decreased and the health of the inflorescences declined. The $1500\;mg{\cdot}L^{-1}$ spray of ethephon gave consistent abscission results over the glowing season with little phytotoxicity. Treatment with the competitive ethylene inhibitor 1-methylcy-clopropene (1-MCP) suggested that flower abscission was due to the liberation of ethylene from the breakdown of ethephon.

• The Journal of the Korea Contents Association
• /
• v.14 no.3
• /
• pp.11-21
• /
• 2014

Multi-scale image segmentation is important in many applications such as image stylization and medical diagnosis. This paper proposes a novel segmentation algorithm based on MSER(maximally stable extremal region) which captures multi-scale structure and is stable and efficient. The algorithm collects MSERs and then partitions the image plane by redrawing MSERs in specific order. To denoise and smooth the region boundaries, hierarchical morphological operations are developed. To illustrate effectiveness of the algorithm's multi-scale structure, effects of various types of LOD control are shown for image stylization. The proposed technique achieves this without time-consuming multi-level Gaussian smoothing. The comparisons of segmentation quality and timing efficiency with mean shift-based Edison system are presented.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.5
• /
• pp.614-621
• /
• 1999

In this paper, the analytical appproaches are presented for jointly determining the profit-miximizing configuration of the fault-tolerance real time modular cell manufacturing system. The transient(time-dependent) analysis of Markovian models is firstly applied to modular cell manufacturing system from a performability viewpoint whose modeling advantage lies in its ability to express the performance that truly matters - the user's perception of it - as well as various performance measures compositely in the context of application. The modular cells are modeled with hybrid decomposition method and then availability measures such as instantaneous availability, interval availability, expected cumulative operational time are evaluated as special cases of performability. In addition to this evaluation, sensitivity analysis of the entire manufacturing system as well as each machining cell is performed, from which the time of a major repair policy and the optimal configuration among the alternative configurations of the system can be determined. Secondly, the recovery policies from the machine failures by computing the minimal number of redundant machines and also from the task failures by computing the minimum number of tasks equipped with detection schemes of task failure and reworked upon failure detection, to meet the timing requirements are optimized. Some numerical examples are presented to demonstrate the effectiveness of the work.

• Journal of Korean Society of Transportation
• /
• v.20 no.5
• /
• pp.193-206
• /
• 2002

A signal optimization model is proposed by applying the Cell-Transmission Model(CTM) as an embedded traffic flow model to estimate a system-optimal signal timing plan in a transportation network composed of signalized intersections. Beyond the existing signal-optimization models, the CTM provides appropriate theoretical and practical backgrounds to simulate oversaturation phenomena such as shockwave, queue length, and spillback. The model is formulated on the Mixed-Integer Programming(MIP) theory. The proposed model implies a system-optimal in a sense that traffic demand and signal system cooperate to minimize the traffic network cost: the demand departing from origins through route choice behavior until arriving at destinations and the signal system by calculating optimal signal timings considering the movement of these demand. The potential of model's practical application is demonstrated through a comparison study of two signal control strategies: optimal and fixed signal controls.

• Journal of Computing Science and Engineering
• /
• v.7 no.1
• /
• pp.53-66
• /
• 2013

Bounding the worst-case DRAM performance for a real-time application is a challenging problem that is critical for computing worst-case execution time (WCET), especially for multicore processors, where the DRAM memory is usually shared by all of the cores. Typically, DRAM commands from consecutive DRAM accesses can be pipelined on DRAM devices according to the spatial locality of the data fetched by them. By considering the effect of DRAM command pipelining, we propose a basic approach to bounding the worst-case DRAM performance. An enhanced approach is proposed to reduce the overestimation from the invalid DRAM access sequences by checking the timing order of the co-running applications on a dual-core processor. Compared with the conservative approach, which assumes that no DRAM command pipelining exists, our experimental results show that the basic approach can bound the WCET more tightly, by 15.73% on average. The experimental results also indicate that the enhanced approach can further improve the tightness of WCET by 4.23% on average as compared to the basic approach.

• Journal of The Korean Society of Inherited Metabolic disease
• /
• v.2 no.1
• /
• pp.7-11
• /
• 2002

Isovaleric acidemia is an inborn error in metabolism due to a defect in isovaleryl-CoA dehydrogenase. Accumulation of serum isovaleric acid causes poor feeding, vomiting, lethargy, hypothermia, convulsion, mental retardation, etc. It is inherited as an autosomal recessive trait. Since the first reports of isovaleric acidemia by Tanaka et al in 1966, more than 60 cases have been reported. There are two clinically different presentations of isovaleric acidemia, with about half the patients presenting with an acute severe neonatal form and about half with a chronic intermittent form. The difference in clinical presentation may not be a consequence of differing severities of the causative mutation, but a result of the timing of application of catabolic stress or the ability to form isovalerylglycine. We described here clinical and organic acid analytical findings of in 3 cases isovaleric acidemia.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.14 no.1
• /
• pp.115-122
• /
• 2006

EGR system has been widely used to reduce NOx emission in light duty diesel engines, but its application to heavy duty diesel engine is not common yet. In this study, simulation model for EURO-3 engine was developed using commercial code WAVE and then verified by comparison with experimental results in performance and emission. Possibility to meet EURO-4 regulation using modified EURO-3 engine with LPL EGR system was studied. Each components of the engine was modeled using CATIA and WaveMesher. The engine test mode was ESC 13 and injection timing and quantity were changed to compensate engine performances, because applying EGR causes power reduction. As a results of the simulation, it was found that EURO-4 NOx regulation could be achieved by applying LPL EGR system to current EURO-3 engine even with some BSFC deterioration.

• Smart Structures and Systems
• /
• v.5 no.2
• /
• pp.119-137
• /
• 2009

Smart sensors densely distributed over structures can use their computational and wireless communication capabilities to provide rich information for structural health monitoring (SHM). Though smart sensor technology has seen substantial advances during recent years, implementation of smart sensors on full-scale structures has been limited. Hardware resources available on smart sensors restrict data acquisition capabilities; intrinsic to these wireless systems are packet loss, data synchronization errors, and relatively slow communication speeds. This paper addresses these issues under the hardware limitation by developing corresponding middleware services. The reliable communication service requires only a few acknowledgement packets to compensate for packet loss. The synchronized sensing service employs a resampling approach leaving the need for strict control of sensing timing. The data aggregation service makes use of application specific knowledge and distributed computing to suppress data transfer requirements. These middleware services are implemented on the Imote2 smart sensor platform, and their efficacy demonstrated experimentally.

• Korean Journal of Construction Engineering and Management
• /
• v.5 no.2 s.18
• /
• pp.144-152
• /
• 2004

Defining value as a measure of how well the project value objectives are met, Value Management Process (VMP) is considered to be any management effort or process that can proactively pursue one or more project objectives (i.e., security/safety, cost effectiveness, schedule optimization, and risk containment). The collection of 44 VMPs has been established based on a rigorous effort conducted by Construction Industry Institute (CII). Because varying circumstances on each project determine the level of suitability, it is crucial to identify which VMP should be implemented on a particular project. The current VMP selection process is primarily based on human intuition. The main objective of this paper is to provide a systematic method to facilitate the usage of VMPs on a particular project. This paper identified and quantified the selection principles (i.e., targeted value objectives, timing of initiation, project characteristics, and relative impact). The data collected from industry practitioners and VMP experts characterized each VMP in terms of the magnitude of benefit. An automated selection tool by Visual Basic Application (VBA) on MS Excel TM, was developed and proved its validity. As a pioneering study, this paper provides a comprehensive and structured knowledge on the subject of VMPs. From the industry's perspective, the automated selection tool, the premier of this study, contributes the facilitation of the VMP implementations in the construction industry thereby maximizing the potential benefits to a particular project.