• 한국중재학회지:중재연구
• /
• 제29권4호
• /
• pp.57-75
• /
• 2019

In investigating how set-off defenses matter in arbitration, one should take into account that it is not permitted against the parties' will for arbitrators to rule on the disputes that are not the subject of an arbitration agreement, unless otherwise agreed upon by the parties involved, because it is considered that the parties intend to solve only the disputes which are the subject of the agreement by arbitration. Also, one should keep in mind that the parties must settle the disputes that are the subject of an arbitration agreement by arbitration when they conclude the agreement, and it is not allowed against the parties' will to resolve the disputes in other ways. The parties may agree whether the respondent can request for arbitration on the counterclaim, which is his/her claim against the claimant, and whether the respondent can raise a plea for a set-off that his/her claim against the claimant is a counter obligation. Failing on such agreement, the respondent may submit a counterclaim when his/her claim and the claimant's claim are the subject of the same arbitration agreement. The arbitral tribunal may rule on the counter obligation when the arbitration agreement, which becomes the basis for the claimant' claim, has an effect on the counter obligation. Where the claimant fails to raise an objection even after he/she becomes aware that the respondent has requested for arbitration or has raised a plea for set-off by providing his/her claim which is not the subject of the arbitration agreement as a counterclaim or a counter obligation, the arbitral tribunal may rule on the respondent's claim against the claimant. On these occasions, the arbitral tribunal has to guarantee the parties an opportunity to defend themselves by pointing out those situations. It will meet the purposes of arbitration systems to rule out the jurisdiction of the courts when the plaintiff alleges the existence of the arbitration agreement, in case the respondent raises a plea for set-off based on his/her claim which is not the subject of the arbitration agreement in the litigation procedures. However, where the plaintiff fails to allege the existence and conducts pleading in the court with regard to the counter obligation, the court must not reject the respondent's set-off defense because of the existence of the agreement.

• The Journal of the Acoustical Society of Korea
• /
• 제18권3E호
• /
• pp.37-43
• /
• 1999

In this paper, we present a new technique for the optimal local decomposition of convex structuring elements on a hexagonal grid, which are used as templates for morphological image processing. Each basis structuring element in a local decomposition is a local convex structuring element, which can be contained in hexagonal window centered at the origin. Generally, local decomposition of a structuring element results in great savings in the processing time for computing morphological operations. First, we define a convex structuring element on a hexagonal grid and formulate the necessary and sufficient conditions to decompose a convex structuring element into the set of basis convex structuring elements. Further, a cost function was defined to represent the amount of computation or execution time required for performing dilations on different computing environments and by different implementation methods. Then the decomposition condition and the cost function are applied to find the optimal local decomposition of convex structuring elements, which guarantees the minimal amount of computation for morphological operation. Simulation shows that optimal local decomposition results in great reduction in the amount of computation for morphological operations. Our technique is general and flexible since different cost functions could be used to achieve optimal local decomposition for different computing environments and implementation methods.

• Journal of Positioning, Navigation, and Timing
• /
• 제2권1호
• /
• pp.59-65
• /
• 2013

The signal broadcast from a GPS satellite experiences code delay and carrier phase advance while passing through the ionosphere, which causes a signal error. Many ionosphere models have been studied to correct this ionospheric delay error. In this paper, the ionosphere modeling for the Korean Peninsula was carried out using a spherical harmonics based model. In contrast to the previous studies, we considered a real-time ionospheric delay correction model using fewer number of basis functions. The modeling performance was evaluated by comparing with a grid model. Total number of basis functions was set to be identical to the number of grid points in the grid model. The performance test was conducted using the GPS measurements collected from 5 reference stations during 24 hours. In the test result, the modeling residual error was smaller than that of the existing grid model. However, when the number of measurements was small and the measurements were not evenly distributed, the overall trend was found to be problematic. For improving this problem, we implemented the modeling with additional virtual measurements.

• 한국정보시스템학회지:정보시스템연구
• /
• 제22권2호
• /
• pp.25-49
• /
• 2013

By virtue of the development and widespread of social network services, the importance of SNS for an individual's social capital formation as well as people's act of sharing information is increasingly highlighted. However, there are still few empirical studies on successful formation of SNS, people's attitude towards participation in SNS, and the brisk act of sharing information in the SNS as yet. This study performed an analysis that, in terms of forming the successful SNS, people's attachment to the group in SNS induces the attitude towards the participation in SNS, and the information-sharing act on the basis of the socio-psychological theory. For this purpose, this study carried out empirical study by dividing the influential factors into the attachment to online group, and attachment to the members in SNS group on the basis of trust. This study set up the component factors in trust as high-dimensional factors, and used SPSS 18.0 and SmartPLS 2.0 as analysis tools. Analysis results confirmed that group formation in SNS and people's attachment to the group were significantly influence attitude towards participation in SNS as well as information sharing behavior. This result implies that group formation in SNS plays an important role in active use of SNS.

• Bulletin of the Korean Chemical Society
• /
• 제31권7호
• /
• pp.1875-1880
• /
• 2010

A dicycle pyrazoline derivative, 1-phenyl-5-(p-fluorophenyl)-3,4-($\alpha$-p-fluoro-tolylenecyclohexano) pyrazoline, was synthesized and characterized by elemental analysis, IR, UV-vis, fluorescence spectra and X-ray single crystal diffraction. Density function theory (DFT) calculations were performed by using B3LYP method with 6-$311G^{**}$ basis set. The optimized geometry can well simulate the molecular structure. Vibrational frequencies were predicted, assigned and compared with the experimental values, which suggest that B3LYP/6-$311G^{**}$ method can well predict the IR spectra. Both the experimental electronic absorption spectra and the predicted ones by B3LYP/6-$311G^{**}$ method reveal three electron-transition bands, with the theoretical ones having some red shifts compared with the experimental data. Natural bond orbital analyses indicate that the absorption bands are mainly derived from the contribution of n $\rightarrow\pi^*$ and $\pi\rightarrow\pi^*$ transitions. Fluorescence spectra determination shows that the title compound can emit blue-light at about 478 nm. On the basis of vibrational analysis, the thermodynamic properties of title compound at different temperature have been calculated, revealing the correlations between $C^0_{p,m}$, $S^0_m$, $H^0_m$ and temperature.

• Structural Engineering and Mechanics
• /
• 제66권5호
• /
• pp.557-568
• /
• 2018

An investigation is made in the present work on the post-buckling and geometrically nonlinear behaviors of moderately thick perfect and imperfect rectangular plates made-up of functionally graded materials. Spectral collocation approach based on Legendre basis functions is developed to analyze the functionally graded plates while they are subjected to end-shortening strain. The material properties in this study are varied through the thickness according to the simple power law distribution. The fundamental equations for moderately thick rectangular plates are derived using first order shear deformation plate theory and taking into account both geometric nonlinearity and initial geometric imperfections. In the current study, the domain of interest is discretized with Legendre-Gauss-Lobatto nodes. The equilibrium equations will be obtained by discretizing the Von-Karman's equilibrium equations and also boundary conditions with finite Legendre basis functions that are substituted into the displacement fields. Due to effect of geometric nonlinearity, the final set of equilibrium equations is nonlinear and therefore the quadratic extrapolation technique is used to solve them. Since the number of equations in this approach will always be more than the number of unknown coefficients, the least squares technique will be used. Finally, the effects of boundary conditions, initial geometric imperfection and material properties are investigated and discussed to demonstrate the validity and capability of proposed method.

• 한국통신학회논문지
• /
• 제34권7C호
• /
• pp.663-670
• /
• 2009

본 논문에서는 NFSR(Non-linear Feedback Shift Register)과 2D CAT(Two-Dimensional Cellular Automata Transform)를 단계적으로 이용하여 영상을 암호화하는 방법을 제안한다. 암호화 방법은 먼저, NFSR을 이용해서 원 영상의 크기만큼 PN(pseudo noise) 수열을 생성한다. 그리고 생성된 수열을 원 영상과 XOR 연산하여 암호화를 한다. 그 후, 게이트 이 값을 설정하여 2D CAT 기저함수를 생성한다. 생성된 기저함수를 변환된 암호화 영상에 곱하여 2D CAT 암호화를 한다. 마지막으로, 키 공간 분석, 엔트로피 분석 및 민감도 분석을 통해 제안한 방법이 효율적이고 매우 안전함을 검증한다.

• 대한약침학회지
• /
• 제11권3호
• /
• pp.33-45
• /
• 2008

Objective: To review the clinical basis of the Sa-Ahm 5 Element acupuncture originated about 360 years ago, papers and books were researched. Methods: Total of 58 books and papers ranging from ancient Huang Di nei jing to modern Bio Medical Acupuncture for Pain Management were investigated to study the clinical practice of it. Results: It could be practiced differently depending upon the viewpoints of diagnosis. They are ranging from theories of the greater-less of Yin and Yang, 7 emotions, organs- visceras, 8 diagnostic criteria, and pulse diagnosis to meridian circulation. Conclusions: It needs to be set clinical guidelines by which to practice Sa-Ahm acupuncture though it is nowadays mostly-used method in accordance with practitioner's viewpoints.

• 한국주거학회논문집
• /
• 제16권2호
• /
• pp.55-65
• /
• 2005

'Movement System' is made of the interaction of user and architectural spaces related to each other in order. 'Movement' meant in movement system is possible only in the status of user and architectural space together. Movement created and disappeared by the user is not subordinated to the existing architectural space but becomes the main element of formating movement system. It is required that movement conception applied to architecture should be derived from the essence of movement and this study presents the movement system. To explain the formating process of movement system, A. N. Whitehead's process philosophy theory is at the basis and transformed in architectural aspects. On basis of these theoretical backgrounds, the process of making movement system can be explained. There are unit movement, unit object, and elements for movement process as the basic requirements for movement system, each unit is apprehended by individual operation and the nexus is composed by associative operation of apprehended units. This nexus becomes the object of a new subject and forms multiple nexus. Relation of unit movement and unit object and nexus are apprehended as the continuation and extensive continuum is made. At that time, movement with multiple phases set inbetween systems and extended multiplied. Through above study, movement system is applied to Korean traditional houses.

• Journal of Electrical Engineering and Technology
• /
• 제11권2호
• /
• pp.309-319
• /
• 2016

This paper presents a new recognition and classification method for power quality (PQ) disturbances on the basis of pattern linguistic values. This method solves the difficulty of recognizing disturbances rapidly and accurately by using fuzzy logic. This method uses classification disturbance patterns to define the linguistic values of fuzzy input variables and used the input variables of corresponding disturbance pattern to set membership functions. This method also sets the fuzzy rules by analyzing the distribution regularities of the input variable values. One characteristic of this method is that the linguistic values of fuzzy input variables and the setting of membership functions are not only related to the input variables but also to the character of classification disturbance and the classification results. Furthermore, the number of fuzzy rules is equal to the number of disturbance patterns. By using this method for disturbance classification, the membership function and design of fuzzy rules are directly related to the objective of classification, thus effectively reducing the complexity of the design process and yielding accurate classification results. The classification results of the simulation and measured data verify the feasibility and effectiveness of this method.