• 한국전문물리치료학회지
• /
• 제28권3호
• /
• pp.186-193
• /
• 2021

Background: While the formal test has been used to provide a quantitative measurement of core stability, studies have reported inconsistent results regarding its test-retest and intraobserver reliabilities. Furthermore, the validity of the formal test has never been established. Objects: This study aimed to establish the concurrent validity and test-retest reliability of the formal test. Methods: Twenty-two young adults with and without core instability (23.1 ± 2.0 years) were recruited. Concurrent validity was determined by comparing the muscle thickness changes of the external oblique, internal oblique, and transverse abdominal muscle to changes in core stability pressure during the formal test using ultrasound (US) imaging and pressure biofeedback, respectively. For the test-retest reliability, muscle thickness and pressure changes were repeatedly measured approximately 24 hours apart. Electromyography (EMG) was used to monitor trunk muscle activity during the formal test. Results: The Pearson's correlation analysis showed an excellent correlation between transverse abdominal thickness and pressure biofeedback unit (PBU) pressure as well as internal oblique thickness and PBU pressure, ranging from r = 0.856-0.980, p < 0.05. The test-retest reliability was good, intraclass correlation coefficient (ICC1,2) = 0.876 for the core stability pressure measure and ICC1,2 = 0.939 to 0.989 for the abdominal muscle thickness measure. Conclusion: Our results provide clinical evidence that the formal test is valid and reliable, when concurrently incorporated into EMG and US measurements.

• 한국컴퓨터정보학회논문지
• /
• 제18권10호
• /
• pp.149-161
• /
• 2013

본 논문에서는, 어휘정보를 체계화한 워드넷(WordNet)을 토대로 형식개념분석기법(Formal Concept Analysis)을 사용하여 폭소노미 사용자들의 태그데이터를 분석하여 사용자태그의 분류체계를 구축하기 위한 기법을 제안하였다. 또한, 제안된 기법을 지원하기 위한 도구(TagLighter)의 개발에 대하여 설명하고, 그 유용성을 확인하기 위하여 Bibsonomy.org의 사용자 태그데이터를 대상으로 실시한 실험결과를 기술하였다. TagLighter에 의해 구축된 사용자태그 분류계층구조는 사용자태그에 대한 보다 상세한 이해를 제공하기 때문에, 폭소노미기반 시스템에서의 정보검색과 데이터 분석에 유용하다. 본 논문의 연구결과는, 폭소노미기반의 웹서비스와 소셀네트워크시스템, 시맨틱웹 어플리케이션 등을 대상으로 하는 웹데이터 마이닝분야에 응용할 수 있다.

• Journal of Computing Science and Engineering
• /
• 제11권1호
• /
• pp.9-23
• /
• 2017

NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.

• 산업경영시스템학회지
• /
• 제46권spc호
• /
• pp.39-53
• /
• 2023

Recently, the market competition has been fiercer due to the acceleration of technological change and the launch of intelligent products. In this situation, technology cooperation activities through networks rather than independent technological innovation activities of a single company or institution are recognized as a crucial strategy to gain competitiveness. Technology cooperation can take various forms depending on the target technology, and researchers have conducted performance analyses of technology cooperation types. However, there have not been data-based quantitative studies on the types and trends of technology cooperation for the target technology. In this paper, we explored the difference between the technology cooperation types by technology and time using the formal concept analysis method and co-patent information. In particular, the proposed methodology has been verified through the case study of electric vehicles, and it is intended to suggest the direction of technological cooperation according to specific technologies and cooperation targets in the future

• 한국컴퓨터정보학회논문지
• /
• 제24권12호
• /
• pp.85-92
• /
• 2019

기업들은 소셜 미디어로부터 특정 주제 및 자사 제품에 대한 다수의 사용자들의 의견을 수집하고 분석하여 사용자 집단이나 소비 트렌드를 식별할 수 있고, 이를 기반으로 미래 예측 및 마케팅 등의 다양한 목적으로 활용하고 있다. 따라서 현재 소셜 미디어 분석 도구들이 네트워크 통계 분석을 통해 기업의 소셜 미디어 마케팅의 성과를 측정하기 위한 수단으로 사용되고 있다. 그러나 이러한 도구들은 방대한 양의 소셜 미디어 데이터를 수집하고 이를 분석하기 위해 고가의 컴퓨팅 자원 및 네트워크 자원을 소모하고, 복잡한 소프트웨어 플랫폼 구축 및 운용에 따른 비용 부담과 많은 운영 노하우를 필요로 한다. 그 결과 중소기업이나 개인 사업자의 경우는 이러한 소셜 미디어 데이터를 효율적으로 활용하지 못하는 어려움이 있다. 따라서 본 논문에서는 중소기업이나 개인 컴퓨터에서도 운영이 가능한 소셜 미디어 데이터 수집 및 분석 시스템 개발에 필요한 프레임워크 설계와 제시된 프레임워크 설계에 대한 완전성이나 일관성을 검증하기 위한 정형 명세 기법을 제시한다. 또한 정형명세 기법으로 Z 언어를 통해 명세한 결과를 Z-EVES Tool을 통해 Z 모델 체킹을 수행하여 프레임워크 설계의 명확성을 검증한다.

• 한국산학기술학회논문지
• /
• 제10권8호
• /
• pp.1877-1893
• /
• 2009

폭소노미(folksonomy)는 웹에 존재하는 리소스에 대해 사용자가 자유롭게 선택한 태그(tag)를 붙여서 정보를 체계화하는 새로운 분류 체계이다. 폭소노미 기반의 시스템에서는 사용자들의 협력태깅에 의해 사용자, 태그, 리소스사이의 관계를 나타내는 3항원 소데이터가 생성된다. 이와 같은 폭소노미 데이터는 웹 리소스에 대한 정보체계화를 위한 메타데이터로서 시맨틱 웹과 웹2.0 분야에 활용되고 있다. 본 논문에서는 다종다양한 폭소노미 데이터를 다양한 관점으로 분석하여 유용한 정보를 추출하기 위한 형식개념분석 기반의 폭소노미 데이터 마이닝 기법을 제안하고, 이를 지원하기 위한 분석도구 FMT를 개발하였다. 또한, 제안한 기법과 FMT의 유용성을 검증하기 위하여, 폭소노미 기반 시스템인 del.icio.us의 데이터를 대상으로 실험을 수행하고, 그 결과를 보고한다.

• 한국의류학회지
• /
• 제26권2호
• /
• pp.227-238
• /
• 2002

The purpose of this study is to investigate the influence of women's life-style on image evaluation of clothing styles, and on their selection of clothing styles by situations. The subject of investigation was 441 women above 20 living in Daegu. 6 types of clothing styles including classic, casual, elegant, dramatic, romantic, and mannish and 7 social situations including shopping near house, shopping in a busy street, cultural center, wedding ceremony, eating out, alumni meeting or fraternity meeting, and couples meeting were used for this study. Data analysis was performed using SPSS package, which included factor analysis, reliability test, cluster analysis, frequency, percentage, ANOVA, and $\chi$$^2$-test. The results are summarized as follows; 1. Adult women could be classified into 5 groups including activist, in-activist, the leisured well-off, the wholesomely economical, and the appearance showing-off by their life-styles. 2. The clothing image according to the 6 clothing styles was different. In the image evaluation of each clothing style by life-style groups, in-active group thought classic style most functional and leisured well-off group, mannish style. Elegant style and dramatic style were estimated positively by the leisured well-off and the appearance showing-off. 3. Selection of clothing style differed according to situations. More formal the situation was, more formal style tended to be selected and for less formal situation, active and mannish style was selected.

• 한국산학기술학회논문지
• /
• 제8권3호
• /
• pp.620-626
• /
• 2007

본 연구는 셋백에 관한 예비조사를 통하여 셋백의 정의와 셋백발생의 배경 및 기능 등을 파악하고 셋백 사례들에 대한 분석의 틀을 물리적인 특성, 주요 발생 요인, 그리고 셋백유형의 세 가지 범주로 나누어 각 범주별 분석 항목들과 산정식들을 제시함으로써 셋백에 관한 분석의 체계를 마련하고자 하였다. 또한 이를 서울지역 초고층 주거건물의 사례들에 적용하여 기존 사례들에서 이루어진 셋백의 특징들과 한계점을 제시하였다.

• 대한가정학회지
• /
• 제48권1호
• /
• pp.27-40
• /
• 2010

The objectives of this study were to investigate differences in shopping style and consumption value of apparel product type, and to establish the effects of consumption value on shopping style. A questionnaire was used to collect data from 263 women aged between 20 to 49 in Gwangju on their shopping style and consumption value according to formal and casual product type. Collected data were subjected to frequency analysis, factor analysis, ANOVA, t-test and multiple regression analysis using statistical program SPSS(version 17.0). Results showed that shopping style could be influenced by six factors: fashion-recreational, quality-brand, impulsive, confused, brand-loyal, and price conscious consumer. Clothing consumption value was influenced by five factors: emotional, functional, epistemic, social, and situational value. Shopping style and clothing consumption value were significantly different between a formal product purchaser and a casual product purchaser. Consumption value had a significant influence on shopping style of the formal product purchaser and also the casual product purchaser.

• Journal of Information Processing Systems
• /
• 제13권5호
• /
• pp.1158-1167
• /
• 2017

Many real-world applications information are organized and represented with graph structure which is often used for representing various ubiquitous networks, such as World Wide Web, social networks, and protein-protein interactive networks. In particular, similarity evaluation between graphs is a challenging issue in many fields such as graph searching, pattern discovery, neuroscience, chemical compounds exploration and so forth. There exist some algorithms which are based on vertices or edges properties, are proposed for addressing this issue. However, these algorithms do not take both vertices and edges similarities into account. Towards this end, this paper pioneers a novel approach for similarity evaluation between graphs based on formal concept analysis. The feature of this approach is able to characterize the relationships between nodes and further reveal the similarity between graphs. Therefore, the highlight of our approach is to take vertices and edges into account simultaneously. The proposed algorithm is evaluated using a case study for validating the effectiveness of the proposed approach on detecting and measuring the similarity between graphs.