• The Journal of the Convergence on Culture Technology
• /
• v.7 no.3
• /
• pp.89-94
• /
• 2021

Recently, the boundaries between people who produce and consume digital contents disappears due to the massive developments in information and communications technology (ICT) and the rapidly increasing spread of smartphones unlike in the traditional mass media (e.g., newspapers, radios, and TVs). Through the open service platform, the problem perception for each individual remains the same, but the problem solving methods varies as the service types have been diversified. The creation of added value through the growth of the new media platform industry is expected to enrich our lives, but it can also cause severe social side effects. For example, communication problems between social classes due to the information gap have led to generational conflict, and if such problems persist, it can cause national and social losses. Therefore, this paper analyzes the policy efforts to resolve the information gap and the necessity of the legalization of multimedia literary education to maximize the synergy effect through psychological model.

• Journal of the Korean Society for Library and Information Science
• /
• v.51 no.3
• /
• pp.265-292
• /
• 2017

The purpose of this study is to figure out the movements of policy actors in the policy process of the establishment of a local cultural foundation in B-gu(district), A-si (city), then to explore the way to contract out of the management of public libraries to the cultural foundation in the policy process. Data for the study were collected from various sources from newspapers and assembly minutes to blogs and SNS messages of the policy actors, then analysed based on Advocacy Coalition Framework (ACF). The results showed that 'agreement of contract-out' coalition only accepted public interest of the public libraries between the public interest and specialty of librarianship which were insisted by 'disagreement of contract-out' coalition's policy beliefs. The comparison between this case and a similar policy case showed that the specialty of librarianship as a core belief is effective in changing the beliefs of other coalition. Eventually, it is required to differentiate and to specialize library services among public services in a local area in order to keep the direct management of public libraries by the local government, and this means that everyday library services influence the decision making of library policies in the local area.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.6
• /
• pp.1522-1536
• /
• 1998

In this paper, we present a modeling method for the real-time systems. This method is based on the DARTS (Design Approach for Real-Time Systems) and widely extended to analysis phase. The DARTS method provides a good guideline for the real -time software design, but it uses structured analysis and does not provide a specification language. So. this paper provides extended DARTS modeling techniques to the analysis area based on the objects. Internal behavior of system showed by means of a NPN (Numerical Petri Net) for analysis, and the specification language is provided based on the temporal logic for transition synchronization sequence control. By the example, we identified the proposed method was applied well. And through the reachability graph, we verified whether the deadlocks may occur or not in the analysis phase before the design phase. Thus. it gives easy way to analysis, so that it will lead to the design phase naturally.

• Journal of Digital Convergence
• /
• v.17 no.5
• /
• pp.385-390
• /
• 2019

This study aimed to identify the model fit of various versions of Performance Enhancement Attitude Scale (PEAS) developed for measuring quantitatively the attitude toward doping and to provide the information on Korean version of PEAS. One hundred and eighty elite athletic players participated in this study and they filled out 17 items PEAS under the supervision. And 17 items, 11 items, 9 items, 8 items and 6 items PEAS were analyzed by using confirmatory factor analysis. The result of this study showed that an 8 items PEAS was fit for Korean elite athletic players, and a 6 items PEAS was for adolescents, but insignificant. Therefore, further studies of the relationship between psychosocial factors and attitudes toward doping by using 8-items PEAS would provide precise and useful information for developing anti-doping strategy.

• Journal of the Korea Convergence Society
• /
• v.6 no.3
• /
• pp.65-71
• /
• 2015

Based on Technology Threat Avoidance Theory, this study explains the process that the users cope with IT Threat and accomplish IS outcome. To empirically test the proposed model, data were collected through a survey of respondents who have the experience of using IS, and analyzed by using structural equations modelling. The result shows IT Threat had negative effects on Problem-Focused Coping and IS Appropriation. Also Problem-Focused Coping had significant effects on IS Appropriation and IS Appropriation had positive relation on IS Performance. In conclusion the study proposed that IT users improve Convergence Information System Performance by Problem-Focused Coping when they perceive IT Threat.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.01a
• /
• pp.107-109
• /
• 2021

본 연구는 당뇨병 환자의 자기조절에 대한 주관적 유형과 특성을 분석하고자 시도되었으며, 당뇨병 환자의 주관성을 연구하는데 효과적인 Q방법론을 적용하였다. 대상자는 제2형 당뇨병을 진단받은 사람으로서 경구약이나 인슐린 주사로 치료받고 있으나 현재는 입원한 싱태가 아닌 사람 38명으로 구성하였으며, Q표본 40개의 진술문을 가장 부정(-4)에서 가장 긍정(+4) 범위의 9점 척도 상에 분류하도록 하였다. Q분류된 자료는 QUANL PC program을 이용하여 주요인분석(principal component factor analysis)과 배리맥스 회전(varimax rotation)을 통해 Q 요인분석이 행해졌다. 분석결과 당뇨병환자 자기조절에 대학여 제 1유형은 근거기반 순응형, 제2유형은 위기의식 자립거부형, 제3유형은 정보기반 관계지향형, 제4유형은 자기신뢰 실천형, 제5유형은 주관적 결핍 기반 반응 행동형으로 5가지 유형의 관점을 보여주었다. 따라서 당뇨병 환자 효율적 관리방법을 위해 당뇨병 환자의 질병 관리의 부정적 행위 성향을 이해하고, 당뇨지식 교육, 당뇨관리 정보 및 긍정적 심리를 통한 자기조절 프로그램을 개발 할 필요가 있다.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.15 no.1
• /
• pp.167-184
• /
• 2020

This study analyzed the effects of information orientation and technology commercialization ability on technological performance of corporate workers. Information Orientation consisted of information technology capability, information management ability, information behavior and value, and technology commercialization capability consisted of productization capability, production capability, and marketing capability as sub-variables, and technology accumulation capacity was used as a coordinating variable. An empirical analysis was performed on 349 online and offline questionnaires collected from corporate employees. Analysis results using SPSS v22.0 and Process macro v3.4 First, information orientation and technical performance were found to have a significant effect.In addition, information orientation had a significant effect on technology commercialization capability. The magnitude of the influence on the productive capacity and the productive capacity in the variable of competency was in the order of information technology ability, information management ability, information behavior and value, but the influence on marketing capability was different from the previous results. Information management ability and information technology ability were in order. Second, the product commercialization capability, production capability, and marketing ability of technology commercialization ability had a significant effect on technology performance independently of information orientation. Third, the information technology ability and information management ability had a significant influence on the technical performance, but the indirect effect through the commercialization ability and marketing ability in information behavior and value was significant, the indirect effect of transit was not significant. Fourth, only the interaction terms of production capacity and technology accumulation capacity were significant among the sub-variables of technology commercialization capacity, and technology accumulation capacity, commercialization capacity, and marketing ability were not significant. Therefore, the relationship between productive capacity and technological performance can be interpreted as lower in firms with high technology accumulating ability than in lower firms, subsequent studies will require the introduction of other independent variables, models through the introduction of parameters and control variables.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.7 no.2
• /
• pp.63-76
• /
• 2012

The possibility of successful commercialization of technologically innovative products depends on the degree to which consumers select and utilize the product. Therefore, the research that endeavors to find the usage behavior and the acceptance intention of users of technologically innovative products is a very important quest. This study empirically analyzes the factors that influence commercialization of a technologically innovative product: cloud computing. Existing studies examined acceptance intentions by expanding the TAM model and excluded attitude and usage behavior. This study determined attitude, usage behavior and personal characteristics of consumers to be important influencing factors. The results of the empirical analysis are as follows: First, the self-efficacy of personal characteristics had a significant effect on ease of use and acceptance intention and perceived costs had a significant influence on the factors of perceived usefulness and perceived ease of use. Second, research on the systematic characteristics of cloud computing confirmed that security was an important factor affecting acceptance intention while innovativeness was critical to ease of use. Third, of the usage characteristics among users of technologically innovative products, perceived usefulness had an effect on the acceptance and usage behavior of cloud computing, and perceived ease of use had an important influence on perceived usefulness. Currently, when cloud computing services have not yet become widespread to the public, this study proposed meaningful results for policy direction and commercialization strategies by revealing variables that influence acceptance and usage behavior.

• Journal of the Korean Data and Information Science Society
• /
• v.19 no.2
• /
• pp.559-568
• /
• 2008

This paper analyzes Korean residential tenure choice for house which is the most important in Korean households' assets. Data used in the analysis is the data of Korean Labor and Income Panel Study for the period from 1998 to 2006 and with 2341 households. In this paper, a household chooses a housing tenure mode, either by renting or by owing house. We use a mixed-logit panel model as an estimation model to take into consideration household's heteroscedasticity of preference in tenure choice. It turns out that the heteroscedasticity is significant in households' tenure choice behavior, implying that Korean housing policy emphasizing supply side should consider the demand side.