• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.265-272
• /
• 2007

In this paper, we implement an automated composition system of web services using hybrid techniques that merge the benefit of BPEL techniques, with the advantage of OWL-S, BPEL techniques have practical capabilities that fulfil the needs of the business environment such as fault handling and transaction management. However, the main shortcoming of these techniques is the static composition approach, where the service selection and flow management are done a priori and manually. In contrast, OWL-S techniques use ontologies to provide a mechanism to describe the web services functionality in machine-understandable form, making it possible to discover, and integrate web services automatically. This allows for the dynamic integration of compatible web services, possibly discovered at run time, into the composition schema. However, the development of these approaches is still in its infancy and has been largely detached from the BPEL composition effort. In this work, we describe the design of the SemanticBPEL architecture that is a hybrid system of BPEL4WS and OWL-S, and propose algorithms for web service search and integration. In particular, the SemanticBPEL has been implemented based on the open source tools. The proposed system is compared with existing BPEL systems by functional analysis. These comparisions show that our system outperforms existing systems.

• KIPS Transactions on Computer and Communication Systems
• /
• v.6 no.3
• /
• pp.121-134
• /
• 2017

With rapid increasing the development and use of IoT Devices, requirements for safe IoT devices and services such as reliability, security are also increasing. In Security engineering, SDLC (Secure Development Life Cycle) is applied to make the trustworthy system. Secure Development Life Cycle has 4 big steps, Security requirements, Design, Implementation and Operation and each step has own goals and activities. Deriving security requirements, the first step of SDLC, must be accurate and objective because it affect the rest of the SDLC. For accurate and objective security requirements, Threat modeling is used. And the results of the threat modeling can satisfy the completeness of scope of analysis and the traceability of threats. In many countries, academic and IT company, a lot of researches about drawing security requirements systematically are being done. But in domestic, awareness and researches about deriving security requirements systematically are lacking. So in this paper, I described about method and process to drawing security requirements systematically by using threat modeling including DFD, STRIDE, Attack Library and Attack Tree. And also security requirements are described via Common Criteria for delivering objective meaning and broad use of them.

• Korean Journal of Construction Engineering and Management
• /
• v.7 no.5
• /
• pp.128-137
• /
• 2006

This paper is to develop curtain wall process life-cycle system in high-rise buildings in order to establish effective cooperation communication channels among the diverse constituents. This paper is to provide a base toward a curtain wall life-cycle management system to support decision making and the effective flow in light of information and materials. The four objectives of the research are 1) the analysis of the current curtain wall life-cycle process, 2) the analysis and development of the curtain wall design process As-Is model, and 3) the Muda analysis of the design process As-Is model and the suggestion of the improvements, 4) the development of curtain wall design To-Be model and comparative analysis of the improvement in terms of value streams. This research indicates the wastes decrease (or the values increase) from 6.7% up to 100% in different decision criteria through the improvement by the comparative analysis between the As-ls and To-Be curtain wall design process. This research suggests the potential improvement by VSM and a curtain wall life-cycle management system in curtain wall construction for diverse constituents be significant.

• Journal of Environmental Health Sciences
• /
• v.41 no.4
• /
• pp.241-248
• /
• 2015

Objectives: This study was conducted to provide scientific and effective information on phytoncides, which are associated with forest healing, and to activate recreational forests. Methods: The target sites were natural recreation forests, a forest park and an arboretum, and the control sites were three urban parks. The samples were collected at a volume of 6.0 L and a flow rate of 0.1 L/min for one hour using a low volume pump and the solid adsorbent sampling method. The phytoncide compounds adsorbed in the Tenax TA tube were analyzed by a automatic heat desorption unit and GC-MS. Results: By type of recreational forest, the annual concentrations of phytoncide (monoterpene) for the forest park showed the highest concentration with $1.450{\mu}g/m^3$, while those for the arboretum showed the lowest concentration at $0.892{\mu}g/m^3$, and thus the concentration of the forest park was approximately 1.6 times higher than the arboretum. The season showing the highest concentration of phytoncides was summer (June) and the forest park was the highest among the recreational forests. The concentrations of major components for phytoncide showed in descending order: ${\alpha}-pinene$, ${\beta}-pinene$, camphene, 3-carene and limonene. The seasonal concentration of ${\alpha}-pinene$, camphene and ${\beta}-pinene$ by type of recreational forest increased in April, which is characterized by low temperature and humidity, and the seasonal concentration of camphene decreased with higher humidity. The meteorological factors which had the high correlation with the concentration of total terpene were temperature and humidity. $CO_2$ and $O_2$ showed an inverse correlation. Conclusion: The major components of phytoncide were ${\alpha}-pinene$, ${\beta}-pinene$, camphene, 3-carene and limonene in descending order of concentration. Further and systematic study on the chemical nature of individual phytoncides, and on the effect of phytoncides on humans needs to be performed.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.3
• /
• pp.322-327
• /
• 2003

The water level of a steam generator of pressurized light water nuclear Power generator is known as a subject whose control is difficult because of a shrinking and swelling effect that is been mutually contradictory in a variation of feed water. In this paper, a neural network model selects first coordinative controller by a inappropriate gain of two PI controllers and the selected controller＇s gain is tuned by a fuzzy self-tuner. Model inputs consist of the water level, the feed water, and the stream flow. One controller of both coupling controllers whose gain is handled firstly is decided based upon above data. The proposed method can analyze patterns of signals using the characteristic of neural networks and select one controller that needs to be tuned through the observed result in this paper. If one controller between both the water level controller and the feed water controller is selected by the neural network model then a gain of the PI controller is suitably tuned by the fuzzy self-tuner. Rules of the fuzzy self-tuner drew from the pattern of input and output data. In the summary, the goal of this Paper is to select the suitable controller and tune the control gain of the selected controller suitably through such two processes.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.38 no.3
• /
• pp.258-268
• /
• 2001

The compression method is necessarily used to send the high quality moving picture that contains a number of data in image processing. In the field of moving picture compression method, the motion estimation algorithm is used to reduce the temporal redundancy. Block matching algorithm to be usually used is distinguished partial search algorithm with full search algorithm. Full search algorithm be used in this paper is the method to compare the reference block with entire block in the search window. It is very efficient and has simple data flow and control circuit. But the bigger the search window, the larger hardware size, because large computational operation is needed. In this paper, we design the full search block matching motion estimator. Using the DCT DC values, we decide luminance. And we apply 3 bit compare-selector using bit plane to I(Intra coded) picture, not using 8 bit luminance signals. Also it is suggested that use the same selective bit for the P(Predicted coded) and B(Bidirectional coded) picture. We compare based full search method with PSNR(Peak Signal to Noise Ratio) for C language modeling. Its condition is the reference block 8$\times$8, the search window 24$\times$24 and 352$\times$288 gray scale standard video images. The result has small difference that we cannot see. And we design the suggested motion estimator that hardware size is proved to reduce 38.3％ for structure I and 30.7％ for structure II. The memory is proved to reduce 31.3％ for structure I and II.

• Lingua Humanitatis
• /
• v.1 no.2
• /
• pp.123-139
• /
• 2001

In the history of linguistics in the world the scholars in India could be regarded as the representative linguists, who had provided the cornerstone of the academic development at linguistics. Without looking into the contents of Indian linguistic theories devised and developed in the past it would be almost impossible to account for the origin of descriptive linguistics and historical linguistics. These linguistics trends became full-fledged in 19 and 20 century and are still accepted by a lot of researchers in order to analyze newly revealed languages and train students only coming up the toddling level of linguistic studies. In this paper I will show how far the influence of Indian linguistics has colored the flow of linguistic growth historically. Especially through the analysis of Panini grammar I will prove the intimate relationship between the Indian linguistic theory and the generative grammar - it is the most active theory at present. The methods that Panini applied to constitute the rules like sutra include lots of information, that also could be discovered at the rules postulated in the generative grammar. One of the common features found at both linguistic theories is the simplicity of rule representation. At the generative grammar a rule has to be established without any redundancy. When certain number of sounds like p, b, m show the same phonological. change relevant to lips (labial in linguistic term) different rules need not to be given for each sound separately. It is better to find a way of putting the sounds together in a rule with grouping the 3 sounds with the shared phonetic feature 'labial'. In Panini grammar the form of a rule was decided based on the simplicity, too. For example, sutra 6.1.77 shows the phonological connection between the vowels i, u r 1 and the semi-vowels y, v, r, 1. However, it does not require to postulate 4 individual rules respectively. Instead a rule in which the vowels and the semi-vowels are involved is suggested, and linguistically the rule make it clear that the more simpler the rules will be the better they can reflect the efficiency of human language acquisition. Although the systems introduced at Panini grammar have some sense of distance from the language education itself we cannot deny the fact that the grammar formulates the a turning point of linguistic development. It is essential for us to think over the grammar from the view point of the modem linguistic theories to understand their root and trunk more thoroughly. It will also help us to predict in which way linguistic tendency will proceed to in future.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.10 no.6
• /
• pp.108-117
• /
• 2011

Seoul metropolitan government has been operating traffic signal control system with the name of COSMOS since 2001. COSMOS uses the degrees of saturation and congestion which are calculated by installing loop detectors. At present, inductive loop detector is generally used for detecting vehicles but it is inconvenient and costly for maintenance since it is buried on the road. In addition, the estimated queue length might be influenced in case of error occurred in measuring speed, because it only uses the speed of vehicles passing by the detector. A traffic signal control algorithm which enables smooth traffic flow at intersection is proposed. The proposed algorithm assigns vehicles to the group of each lane and calculates traffic volume and congestion degree using traffic information of each group using VANETs(Vehicular Ad-hoc Networks) inter-vehicle communication. It does not demand additional devices installation such as cameras, sensors or image processing units. In this paper, the algorithm we suggest is verified for AJWT(Average Junction Waiting Time) and TQL(Total Queue Length) under single intersection model based on GLD(Green Light District) Simulator. And the result is better than Random control method and Best first control method. In case real-time control method with VANETs is generalized, this research that suggests the technology of traffic control in signalized intersections using wireless communication will be highly useful.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.23 no.2
• /
• pp.187-193
• /
• 2017

This study evaluated tidal stream energy resources according to tidal flow properties around Uido off the west coast of, Jeollanam-do, South Korea. A feasibility study was first carried out through the collection of bathymetry data and tidal phase information. For this simulation, a depth-averaged 2D ADCIRC (Advanced Circulation) model for real sea situations was applied to a Finite Element Method (FEM) approach for tides given the variation of tidal current speed. Hydrodynamics were simulated with 4 major tidal constituents (M2, S2, K1, and O1) after setting up 4 observation points. From the real depth-averaged model simulation results, it was found that the spring tide Higher High Water (HHW) and tidal current speed values at the 4 observation points were about 2.2 m and 1.33 m/s, respectively. The ADCIRC model results were analyzed with reference to the Korea Hydrographic and Oceanographic Agency's (KHOA) observed data for verification. Furthermore, using topographical characteristics via the Tidal Flux Method (TFM), tidal energy density distribution was calculated, indicating a maximum tidal energy density of about $1.75kW/m^2$ for the 5 assessment areas around Uido. The tidal energy density was evaluated with consideration given to topographical characteristics as well as tidal elevation and tidal current speed to determine an optimum tidal farm candidate.