• The Journal of the Korea Contents Association
• /
• v.20 no.3
• /
• pp.18-30
• /
• 2020

Recently, as graph-structured data is widely used in various fields such as social networks and semantic Webs, needs for an effective and efficient search on a large amount of graph data have been increasing. Previous keyword-based search methods often find results by considering only the relevance to a given query. However, they are likely to produce semantically similar results by selecting answers which have high query relevance but share the same content nodes. To improve the diversity of search results, we propose a top-k search method that finds a set of subtrees which are not only relevant but also diverse in terms of the content nodes by controlling their similarity. We define a criterion for a set of diverse answer trees and design two kinds of diversified top-k search algorithms which are based on incremental enumeration and A^⁎ heuristic search, respectively. We also suggest an improvement on the A^⁎ search algorithm to enhance its performance. We show by experiments using real data sets that the proposed heuristic search method can find relevant answers with diverse content nodes efficiently.

• Korean Journal of Psychosomatic Medicine
• /
• v.5 no.1
• /
• pp.43-51
• /
• 1997

This study was conducted to identify the relationships between personality disorders/traits and somatoform disorders. After the patients were screened through self-rated SCID-II Questionnaire(Structured Clinical Interview for DSM-III-R, Questionnaire), the researcher got psychiatric history, performed clinician-rated SCID-P(Structured Clinical Interview for DSM-III-R, Patient Edition), classified and diagnosed mental disorders with SCID-P, and evaluated SCID-II(Structured Clinical Interview for DSM-III-R, Personality Disorders) by direct interview. The prevalencies of avoidant, obsessive-compulsive, schizotypal, narcissistic, paranoid, dependent, self-defeating, borderline personality disorders/traits in patients with somatoform disorders were diagnosed as 67.4%, 48.8%, 44.2%, 41.9%, 37.2%, 34.9%, 34.9%, 32.6%, respectively. The frequencies of self-defeating and schizotypal PD/traits were significantly higher than those of other neurotic control group. The results of this study could be regarded as replicating the results of previous studies that had reported most of all patients with somatoform disorder had presented with personality disorders/traits. This study, however, showed that the patients with somatoform disorders accompanied not with any specific types of personality disorders/traits but with various types of personality disorders/traits, which was much different from the previous usual clinical impressions. Thus, it is necessary for clinicians to approach the patients with somatoform disorders through more flexible and more supportive methods and attitude, in order that they should treat them more effectively.

• Journal of the Korean Ceramic Society
• /
• v.45 no.4
• /
• pp.226-231
• /
• 2008

The dense sintered bodies with >95% theoretical densities were successfully obtained from the $BaZrO_3,\;BaCeO_3,\;Ba(Zr_{0.7}Ce_{0.3})O_3$ solid solution, and core-shell structured $0.7BaZrO_3-0.3BaCeO_3$ composite powders prepared by sol-gel methods. The activation energy of $Ba(Zr_{0.7}Ce_{0.3})O_3$ solid solution calculated from the Arrhenius plot of the proton conductivities was similar to that of $BaZrO_3$. The activation energy of core-shell structured $0.7BaZrO_3-0.3BaCeO_3$ composite, however, was much lower than that of $BaZrO_3$ or $Ba(Zr_{0.7}Ce_{0.3})O_3$ solid solution, and was very similar to that $BaCeO_3$. These results could be assigned to the Ce-rich grain boundary which was clearly observed by EDX in core-shell structured $0.7BaZrO_3-0.3BaCeO_3$ composite.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.21 no.3
• /
• pp.102-113
• /
• 2017

A new index for the buckling strength of non-structured plates is proposed. The external work or the deformation energy caused by the external loads or the boundary displacement controled by a load parameter is calculated along an equilibrium path of the member under consideration. If the second variation of the energy with respect to the parameter loses its positiveness, it defined as the limit of the stability. In contrast to the current method given in codes where the stability limit is evaluated by using only representative internal forces, the evaluation of the stability limit is always consistent even with the change of the distribution of the internal forces on the boundary. If the elasticity is concerned, the result from this proposed approach becomes identical to that from the classical methods.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• International conference on construction engineering and project management
• /
• 2007.03a
• /
• pp.800-809
• /
• 2007

Current payment methods have many faults which are detrimental to the formation and completion of a project. This includes the use of unfair payment terms, pricing strategies and payment mechanisms between the contracting parties. This resulted in being criticised and remain in doubt, the use of current payment methods to reward good contractors and to distinguish poorly performed construction firms. In order to have an insight into this issue, a structured survey was conducted amongst UK construction practitioners. It was found that traditional pricing methods (i.e. lump sum and unit price), payment methods (i.e. interim valuation) and retention still dominate current practice. The empirical findings show that there are significant differences in the use of pricing and payment methods (when making and receiving payments) in construction. Significant differences also found in the factors affecting the choice of pricing methods when making (and receiving) construction payments. The paper concludes with analysis of the findings and future direction of research in payment systems is also provided.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.445-449
• /
• 1997

구조 지향적인 개발방법론(Structured Methods)에서 객체 지향적인 개발방법론 (Object Orientation)으로 개발 방법의 변경은 시스템 개발 과정의 패러다임 쉬프트 (Paradigm Shift)라고 불린다. 본 연구는 이러한 시스템 개발 도구의 변경에서 나타나는 개 발자들의 혼동을 구조 지향적 개발방법론의 객체 지향적 개발방법론에 대한 지식간섭 (Knowledge Interference)의 현상으로 간주한다. 개인의 특성에, 예를 들면 지식간섭에 영 향을 미치는 구조 지향적 개발방법론의 사용 경험과 신기술에 대한 개방성, 맞는 훈련방법 이나 정보원이 존재하는지를 규명하는 연구모형을 제시한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.702-705
• /
• 2003

Directed graph and Lindenmayer system (L-system) are two major encoding methods of representation to develop creatures in an application field of artificial life. It is difficult to structurally define real morphology using the L-systems which are a grammatical rewriting system because they represent genotype as loops, procedure calls, variables, and parameters. This paper defines a class of representations called structured directed graph and interactive genetic algorithm for automatically creating 3D flower morphology. The experimental results show that natural flower morphology can be created by the proposed method.

• Proceedings of the KIEE Conference
• /
• 1992.07a
• /
• pp.258-260
• /
• 1992

Existing methods for controlling systems containing unknown dead-zones show the limitations on the performances. To solve these problems, this paper proposes a novel two-layer structured Fuzzy controller by analyzing the output response of the existing Fuzzy PD controller and the precompensator.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.2
• /
• pp.35-44
• /
• 1994

In this paper, an observer for linear discrete systems with unknown inputs is presented. The suggested observer can estimate the system state vector and the unknown inputs simultaneously. As an extension of the observer, a new fault diagnosis observer for linear discrete systems with structured uncertainty is presented. The fault diagnosis observer can detect and identify the actuator and the sensor faults as well. The stability conditionsand the design methods of the each observers are presented and the usability of the observers is shown via numerical examples.