• Title/Summary/Keyword: Formal Methods

Search Result 522, Processing Time 0.028 seconds

Formation Of Digital Culture Of Scientific And Pedagogical Workers In The Conditions Of General Digitalization Of Education

  • Kononenko, Andrii;Smyrnova, Iryna;Rybalko, Petro;Obraz, Vasyl;Balakhovska, Yuliia;Prepotenska, Maryna
    • International Journal of Computer Science & Network Security
    • /
    • v.21 no.12
    • /
    • pp.189-192
    • /
    • 2021
  • The article theoretically substantiated, developed and practically implemented a structural and functional model of the formation of ICT competence, taking into account interdisciplinary integration, defines the pedagogical conditions that contribute to the formation of ICT competence: interdisciplinary integration as a basis for building an interdisciplinary course, the content of which is aimed at the formation of ICT competence; the use of IEE, including information, didactic, technological components as a basis for the formation of ICT competence; integration of formal, non-formal and informal education for the implementation the integrity of the acquired knowledge, skills, experience as the basis for the formation of the ICT competence of teachers; creation and use of a set of tasks (educational (UZ), educational and methodological (UMP), educational and professional (UPZ)) as special tools for the formation of ICT competence.

A Study on Security Metrics and Research Trend Analysis on Cyber Resilence (보안메트릭과 사이버 내성에 대한 연구동향분석에 관한연구)

  • Lee, Sujin;Ahn, Seongjin
    • Convergence Security Journal
    • /
    • v.18 no.1
    • /
    • pp.3-11
    • /
    • 2018
  • The emerging field of Science of Security (SoS) is a new paradigm that emerged in the field of security as a research field that applied the scientific approach to cyber security. It is a direction to study the formal model and automation field to secure the security of such a network environment in the present that dynamic change of complex, large scale network environment and a lot of protocol and mechanism environment exists. Therefore, this study analyzes the latest cyber security research trends such as SoS and examines the research trends of advanced countries to examine a new approach to cyber security development direction in Korea. We also analyze the current state of domestic scientific research on the scientific security research methods for various cyber security paradigms and present directions for revitalizing domestic cyber security.

  • PDF

Reconsideration of Iron Arrowheads from Mongchon Earthen Wall (몽촌토성출토 철촉 재고 (夢村土城出土 鐵鏃 再考))

  • Choe, Jong-Taek
    • Korean Journal of Heritage: History & Science
    • /
    • v.33
    • /
    • pp.68-92
    • /
    • 2000
  • This paper reconsiders the users of iron arrowheads from Mongchon Earthen Wall(夢村土城). Because the Mongchon Earthen Wall has been seen as a major dwelling fort of the Hansong Period(漢城時代 : 18 B.C.~475), Paekche(百濟), these iron arrowheads have been considered as artifacts of the Hansong Paekche with no systematic analysis since they were found in 1985. However, uncovering numerous Koguryo artifacts, the excavations in 1988 and 1989 showed that Koguryo(高句麗) army had occupied the Mongchon Earthen Wall after they had conquered Hansong Paekche. In this paper, focusing on the formal similarity between these arrowheads and those from other Koguryo sites, I attempt to reconsider the nature of arrowheads from the Mongchon Earthen Wall. Found from a small pit, all of these arrowheads (88 in number) seem to have been contemporaneous. While all are stemmed, they can be divided into nine types on the basis of the shape of body and point. Most types are equal or similar to Koguryo arrowheads of other regions, and especially type F and G have not been found in southern Korean Peninsula. Accordingly, it is suggested that the existing models be reconsidered, and that Koguryo army who had conquered Hansong Paekche used these arrowheads around mid-5th century AD. Although at this point it is difficult to determine the users of these arrowheads only by analyzing several formal attributes due to Korean archaeology's little understanding of the arrowheads of the Three Kingdoms Period(三國時代), I expect that application of natural scientific methods will contribute to a better understanding.

Developing Formal Framework for Cross-Platform Based Mobile Game Process (크로스 플랫폼 기반의 모바일게임 개발을 위한 정형 프레임워크 개발)

  • Choi Jaejun
    • Journal of Korea Society of Digital Industry and Information Management
    • /
    • v.19 no.4
    • /
    • pp.147-154
    • /
    • 2023
  • With the recent popularity of smartphones, many games are being developed on mobile-based platforms. As a result, it has brought about many changes in the way mobile game is developed. Especially mobile platforms, which are divided into Android and IOS, can now be applied to each platform without additional development through cross-platform. This means that it is necessary to move away from the method of developing each using separate development tools and implement the development process through cross-platform unique features. In this paper, we studied various methods to increase the productivity and quality of game development for the development of mobile games, and a formal framework considering the development process was developed. The framework consists of process, development domain, and platform support parts, each playing its own role. Items of the detailed framework must be reflected so that detailed response data for efficient application of game development can be established in actual mobile game development. The framework was developed by approaching it from two domains, the need for a framework and the framework implementation of key item response data.

A Study on the Identification Methods for Artistically Gilled Children in the Elementary School (초등학교 시각예술영재의 판별방법에 관한 연구)

  • 이용애
    • Journal of Gifted/Talented Education
    • /
    • v.11 no.3
    • /
    • pp.203-220
    • /
    • 2001
  • The purpose of this study is to propose the direction for identification of artistically gifted children by considering the methods of it as a part of the basic study for artistically gifted children education. The result of study on the identification of artistically gifted children in literature, the identification methods are classified into the formal standardized art test, the informal test, and non-test measure. And they are considered and discussed laying importance on their characteristics and problems.

  • PDF

Outlier tests on potential outliers (잠재적 이상치군에 대한 검정)

  • Seo, Han Son
    • The Korean Journal of Applied Statistics
    • /
    • v.30 no.1
    • /
    • pp.159-167
    • /
    • 2017
  • Observations identified as potential outliers are usually tested for real outliers; however, some outlier detection methods skip a formal test or perform a test using simulated p-values. We introduce test procedures for outliers by testing subsets of potential outliers rather than by testing individual observations of potential outliers to avoid masking or swamping effects. Examples to illustrate methods and a Monte Carlo study to compare the power of the various methods are presented.

The Analysis of Fashion Styles from Global Plus-size Woman's Power Blog -Focused on Analysis of USA Market- (글로벌 플러스 사이즈 파워 블로그에 나타난 여성 패션 연구 -미국 시장을 중심으로-)

  • Ryu, Jinyoung;Syn, Hye-young;Im, Jooyeon;Lee, Inseong
    • Journal of the Korean Society of Clothing and Textiles
    • /
    • v.40 no.5
    • /
    • pp.830-843
    • /
    • 2016
  • The world wide increase of obesity and demands for various plus-size fashion are expanding the global plus-size fashion market. This study is to understand the market status of the US (the biggest plus-size fashion market) as well as analyze women's fashion shown in power blogs on the plus-size fashion trend. For research methods, photos from the top 10 globally ranked plus-size power blogs on Alexa.com were collected and divided into 5 plus-size body types based on: design factors, style, color, item, and texture. Pants with tops or completed outfits including pants, tops, and outer were the most common for casual styles; in addition, a tendency to pursue comfortable and naturally fitted clothes was also indicated. As for colors, the most common were blue colors and white or pastel toned colors; in addition, soft, hard, and transparent were all evenly used for materials. One-piece items were the most popular formal style that were mostly a one-tone color made with hard materials indicated by the pursuit of the fanciness and formality of a dress for a formal occasion. Black was the most common color, and the color variation was less diverse compared to that of casual styles. The most common for semi-formal styles were outfits with movability and more fanciness such as wearing a casual outer on top of a formal one-piece. When examining the fashion in plus-size blogs, there are differences in the frequency of design factors due to the diversity of body-types; in addition, different items were shown to be preferred in accordance with styles. The results of this study will help fashion companies who want to enter the global plus-size women's fashion market (including the US market); in addition, research on plus-size fashion that is changing the fashion and aesthetic paradigm is expected to contribute to academia.

The Effects of the Expansion of Formal Home Care Services for the Elderly on Time Allocation of Family in Korea (노인 재가서비스의 확대가 가족의 생활시간에 미친 영향: 삼중차이 방법의 적용)

  • Lee, Seungho;Byun, Geumsun;Shin, Yumi
    • 한국사회정책
    • /
    • v.23 no.1
    • /
    • pp.227-256
    • /
    • 2016
  • This study examines whether formal home care has led to a reduction in family member's allocation of time to care of elderly and changing the allocation of other time: informal care, market work, leisure, etc. Long-term care for the elderly is not the entire burden of elderly families anymore due to the increasing of the formal home care service for elderly since mid-2000's. This study uses triple difference(DDD) methods for evaluating policy reforms when reforms are equally and nation-wide accessible and analyzes data from the 2004 and 2009 Time Use Survey Data of the National Statistical Office in Korea. The treatment group is composed of the families of the elderly who need care and low- and middle- income family. Controlling for demographic characters, the three-way interaction term has statically significant and negative impact on care time of family members in treatment group statistically significant. The results reveal that the policy changes in elderly home care service affect time allocation of family members with old adults, which decreases caregiving time in a daily life. This result becomes apparent when we limit the case of women. But the level of reduction is not enough to change other kinds of time-informal care, market work, leisure, etc. The results indicate that formal home care for the elderly can reduce the burden of caregiving in families, but only minimally.

The Effect of the Social Support on the Psychological Well-being of Custodial Grandmothers in Rural Korea (사회적 지지가 농촌 조손가족 조모의 심리적 복지에 미치는 영향)

  • Lee, Jeong Hwa;Choi, Won Kyu
    • The Korean Journal of Community Living Science
    • /
    • v.23 no.4
    • /
    • pp.419-439
    • /
    • 2012
  • Family dissolution and economic difficulties of the grandchild's parents are the most prevailing reason for an increase of grandparent-headed families in rural Korea. However, there is a lack of empirical research looking at the experiences of custodial grandmothers, social support, and their psychological well-being. In this regard, this study examined the effect of social support (formal & informal) on the psychological well-being of custodial grandmothers in rural Korea. For this purpose, quantitative and qualitative research methods were conducted. Quantitative data were gathered, using structured questionnaire, from 311 grandmothers who were raising their grandchildren in rural Korea as primary care-givers. Statistical methods used for data analysis were descriptive statistics and hierarchical regression analysis with SPSS WIN 19.0 programs. Qualitative data were collected by in-depth interviews to 10 custodial grandmothers in rural area. The results of this study are as follows. First, almost half of the parents of the grandchild didn't visit and didn't call anymore. Some relatives -aunt, uncle, etc.- support the grandparent-headed family economically and emotionally. 3/4 of the grandparent-headed families were supported by the government and community. This was not small numbers, but the amount of economic support was low. Second, grandmothers in the study showed quite a high level of depression while their happiness level was relatively low. There were differences in the factors influencing the level of happiness/depression of these rural grandmothers. Overall, the study's results showed the importance of formal & informal support for psychological well-being of the custodial grandmothers in rural Korea. Policy and theoretical implications are discussed.

A study on integrating and discovery of semantic based knowledge model (의미 기반의 지식모델 통합과 탐색에 관한 연구)

  • Chun, Seung-Su
    • Journal of Internet Computing and Services
    • /
    • v.15 no.6
    • /
    • pp.99-106
    • /
    • 2014
  • Generation and analysis methods have been proposed in recent years, such as using a natural language and formal language processing, artificial intelligence algorithms based knowledge model is effective meaning. its semantic based knowledge model has been used effective decision making tree and problem solving about specific context. and it was based on static generation and regression analysis, trend analysis with behavioral model, simulation support for macroeconomic forecasting mode on especially in a variety of complex systems and social network analysis. In this study, in this sense, integrating knowledge-based models, This paper propose a text mining derived from the inter-Topic model Integrated formal methods and Algorithms. First, a method for converting automatically knowledge map is derived from text mining keyword map and integrate it into the semantic knowledge model for this purpose. This paper propose an algorithm to derive a method of projecting a significant topic map from the map and the keyword semantically equivalent model. Integrated semantic-based knowledge model is available.