• Title/Summary/Keyword: 절차언어

Search Result 237, Processing Time 0.025 seconds

Effects of Programming Education using Visual Literacy: Focus on Arts Major (시각적 문해력을 활용한 프로그래밍 교육의 효과 : 예술계열 중심으로)

  • Su-Young Pi;Hyun-Sook Son
    • Journal of Practical Engineering Education
    • /
    • v.16 no.2
    • /
    • pp.105-114
    • /
    • 2024
  • Recently, with an emphasis on software proficiency, universities are providing software education to all students regardless of their majors. However, non-majors often lack motivation for software education and perceive the unfamiliar learning content as more challenging. To address this issue, tailored software education according to the learners' characteristics is essential. Art students, for instance, with their strong visual comprehension and expressive abilities, can benefit from utilizing visual literacy to enhance the effectiveness of programming education. In this study, we propose decomposing everyday problems into flowcharts and pseudocode to construct procedural and visual images. Using the educational programming language PlayBot, we aim to analyze the effectiveness of teaching by coding to solve problems. Through this approach, students are expected to grasp programming concepts, understand problem-solving processes through computational thinking, and acquire skills to apply programming in their respective fields.

A Pilot Study on Developing a Reading Competency Diagnosis Program to Strengthen the Reading Abilities of Disabled Children and Adolescents (장애 아동·청소년 독서역량 강화를 위한 진단 프로그램 개발 기초 연구)

  • Gum-Sook Hoang;Hee-Sook Bae;Sungune Yoon;Jung Hyun Hwang
    • Journal of the Korean Society for information Management
    • /
    • v.41 no.1
    • /
    • pp.1-30
    • /
    • 2024
  • The purpose of this study is to develop a diagnostic tool to strengthen the reading competencies of children and adolescents with disabilities, analyze its validity and reliability, and present basic data for the development of a diagnostic program. For this study, it was conducted on literature and case studies, the Delphi Method, and a preliminary survey of actual disabled children/adolescents. As a result of the study, there were limitations in validity and reliability analysis due to the small number of samples, but basic data was secured along with the development of a prototype diagnostic tool for the reading ability of children and adolescents with disabilities. It was proposed to develop the future reading competency diagnostic program by expanding it to the web and mobile platforms, considering various variables such as the characteristics of each disability type, a plan for data collection and utilization through big data, diagnostic procedures, and precautions during the diagnosis.

Performance evaluation of API Gateway in GraalVM and Virtual Thread environment (GraalVM 및 Virtual Thread 환경에서 API Gateway의 성능 평가)

  • Dong-il Cho
    • Journal of Internet Computing and Services
    • /
    • v.25 no.4
    • /
    • pp.39-46
    • /
    • 2024
  • An API gateway is a high-availability component that provides a single entry point for API clients outside the cloud to connect with services inside the cloud. It has a high risk of creating bottlenecks and requires redeployment when services change. The Java language, in which several API gateways are implemented, announced technologies called GraalVM Native Image and Virtual Thread to overcome problems with deployment and operational performance. Applying these technologies to Java applications requires changes to the source code and deployment procedures. In this study, the performance of the API gateway was measured and analyzed when it operated based on GraalVM Native Image and Java Virtual Machine(JVM) and between Virtual Thread and Reactive thread processing methods. In this study, evaluation indicators were selected to evaluate deployment performance and operational performance, and the performance of the evaluation indicators was measured and evaluated in four environments.

Understanding the Legal Structure of German Human Gene Testing Act (GenDG) (독일 유전자검사법의 규율 구조 이해 - 의료 목적 유전자검사의 문제를 중심으로 -)

  • Kim, Na-Kyoung
    • The Korean Society of Law and Medicine
    • /
    • v.17 no.2
    • /
    • pp.85-124
    • /
    • 2016
  • The Human gene testing act (GenDG) in Germany starts from the characteristic features of gene testing, i.e. dualisting structure consisted of anlaysis on the one side and the interpretation on the other side. The linguistic distincion of 'testing', 'anlaysis' and 'judgment' in the act is a fine example. Another important basis of the regulation is the ideological purpose of the law, that is information autonomy. The normative texts as such and the founding principle are the basis of the classification of testing types. Especially in the case of gene testing for medical purpose is classified into testing for diagnostic purpose and predictive purpose. However, those two types are not always clearly differentiated because the predictive value of testing is common in both types. In the legal regulation of gene testing it is therefore important to manage the uncertainty and subjectivity which are inherent in the gene-analysis and the judgment. In GenDG the system ensuring the quality of analysis is set up and GEKO(Commity for gene tisting) based on the section 23 of GenDG concretes the criterium of validity through guidelines. It is also very important in the case of gene testing for medical purpose to set up the system for ensurement of procedural rationality of the interpretation. The interpretation of the results of analysis has a wide spectrum because of the consistent development of technology on the one side and different understandings of different subjects who performs gene testings. Therefore the process should include the communication process for patients in oder that he or she could understand the meaning of gene testing and make plans of life. In GenDG the process of genetic counselling and GEKO concretes the regulation very precisely. The regulation as such in GenDG seems to be very suggestive to Korean legal polic concerning the gene testing.

  • PDF

Features of International Marriage of Vietnamese Immigrant Women and Plans for Institutional Improvement (베트남결혼이주여성의 혼인의 특징과 국제결혼의 제도적 개선 방안)

  • Moon, Heung-Ahn
    • Journal of Legislation Research
    • /
    • no.44
    • /
    • pp.757-799
    • /
    • 2013
  • Ever since Korea and Vietnam reestablished diplomatic relations, the two countries'bond has become stronger than ever, augmenting the range of exchange between them in almost every possible field including politics, economy, society, and culture at such a high speed. Among many, an increase in number of Vietnamese immigrant women in international marriage is worthy of close attention. Since 2010, Vietnamese has topped the proportion of total foreign women married to Korean men, having surpassed Chinese. Nonetheless, the quick international marriage between Korean men and Vietnamese women, which usually happens without sufficient time to get to know about different cultures and languages, has not only raised problems for people concerned, but numerous social issues as well. Recognizing these problems, a number of government departments have provided various support on policies and legal issues toprotect multicultural families as a means of social integration and settlement support. Nevertheless, the support policies until now have been generalizing all of the immigrant women in international marriage as people subject to protection. Thus, considering every immigrant women as people in need, and trying to help them with various social issues have caused the government a high cost and low efficiency. This thesis emphasizes the point that through the cases of Vietnamese immigrant women in international marriage, there should be a specific support plan for specific people in need, reflecting various traits of different cultures and societies, in order to ease their settlement in Korea. Moreover, it suggests detailed plans for improvements on legal and institutional problems. Although the Vietnamese government forbids commercial agents for international marriage, many of agencies are still active and to help the immigrant women, who desire to return and resettle in Vietnam in case of divorce, this thesis suggests legal and institutional remedies for Korean and Vietnamese government. The composition of the thesis follows below: Part II on social and cultural traits of international marriage between Korean men and Vietnamese women. Part III on institutional problems and plans for improvements regarding settlement of immigrant women in international marriage. Part IV on legal and institutional problems and plans for improvements regarding divorced immigrant women and their return to Vietnam. Part V on conclusion. Divorce is not a flaw anymore nowadays, but in case of Vietnamese immigrant women ininternational marriage, an inadequate legal system hampers their resettlement process. Cases of not being ableto remove their own names from the family register due to poor financial and legal abilities are often identified and it is both the Vietnamese and Korean governments'duty to acquit their ethical responsibilities by seeking ways to institutionally and financially support them.

The Application of the Scratch2.0 and the Sensor Board to the Programming Education of Elementary School (초등학교 프로그래밍 교육을 위한 스크래치2.0과 센서보드 활용)

  • Moon, Waeshik
    • Journal of The Korean Association of Information Education
    • /
    • v.19 no.1
    • /
    • pp.149-158
    • /
    • 2015
  • Programming education plays a very effective role in comprehensively learning problem analysis ability, logical thinking ability, procedural problem solving method, and imaginary problem solving method. Until recently, however, it is not applied to the elementary and the middle school in Korea, which is very different from the other IT centerd countries such as the U.S., etc., where coding class is actively implemented. Fortunately, Korean government recognized this reality and decided to implement programming education as a regular subject in the elementary school from 2017. In this situation, many researchers' programming education model research is urgently required for the students to learn in the elementary and the middle school. This research developed and suggested 17 sessions of programing education model connected with scratch language and sensor board, which is hardware, to be applied to the class of the 5th and 6th graders. As the result of implementing the joint class of 5th and 6th graders during the after-school class based on programming education process suggested to verify the suitability for elementary school programing education, satisfactory achievement was attained by the assessed students. The researcher plans to develop an optimum model proper for the elementary school students' intellectual capacity by more improving programming education model.

An Analysis of Students' Understanding of Mathematical Concepts and Proving - Focused on the concept of subspace in linear algebra - (대학생들의 증명 구성 방식과 개념 이해에 대한 분석 - 부분 공간에 대한 증명 과정을 중심으로 -)

  • Cho, Jiyoung;Kwon, Oh Nam
    • School Mathematics
    • /
    • v.14 no.4
    • /
    • pp.469-493
    • /
    • 2012
  • The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

  • PDF

An Improved SysML-Based Failure Model for Safety Verification By Simulation (시뮬레이션을 통해 안전성 검증을 위한 개선된 SysML 기반 고장 모델)

  • Kim, Chang-Won;Lee, Jae-Chon
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.19 no.10
    • /
    • pp.410-417
    • /
    • 2018
  • System design errors are more likely to occur in modern systems because of their steadily increasing size and complexity. Failures due to system design errors can cause safety-related accidents in the system, resulting in extensive damage to people and property. Therefore, international standards organizations, such as the U.S. Department of Defense and the International Electrotechnical Commission, have established international safety standards to ensure system safety, and recommend that system design and safety activities should be integrated. Recently, the safety of a system has been verified by modeling through a model-based system design. On the other hand, system design and safety activities have not been integrated because the model for system design and the failure model for safety analysis and verification were developed using different modeling language platforms. Furthermore, studies using UML or SysML-based failure models for deriving safety requirements have shown that these models have limited applicability to safety analysis and verification. To solve this problem, it is essential to extend the existing methods for failure model implementation. First, an improved SysML-based failure model capable of integrating system design and safety verification activities should be produced. Next, this model should help verify whether the safety requirements derived via the failure model are reflected properly in the system design. Therefore, this paper presents the concept and method of developing a SysML-based failure model for an automotive system. In addition, the failure model was simulated to verify the safety of the automotive system. The results show that the improved SysML-based failure model can support the integration of system design and safety verification activities.

Development of mobile-application based cognitive training for Menopausal Women with Cognitive Complaints (갱년기 여성을 위한 앱 기반의 인지기능훈련 프로그램 개발)

  • Kim, Ji-Hyun
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.21 no.5
    • /
    • pp.150-166
    • /
    • 2020
  • Based on the theory of cognitive reserve, we undertook this study to develop a cognitive function training program for woman in menopausal transition with complaints of declining in cognitive function. The program was established by applying the analysis, design, and development stages of the network-based instructional system designed by Jung. The cognitive function training program developed by us is an was an 8-week program composed of cognitive and video training using a mobile application. The program consists of 24 sessions, each with 20-30 minutes of duration, to be completed 3 sessions per week. The contents of the cognitive function training comprise of memory, attention, language function, and scenario-based problem-solving for executive functions, all of which are cognitive areas found to be the most vulnerable for menopausal women. The educational contents were developed for eight subject areas, one subject area per week, including the definition of menopause, its causes and symptoms, menopause and brain function, etc. During the pilot test, the cognitive function training program was applied to 10 menopausal women who complained of cognitive function decline. The results indicated that, after eight weeks of training, the overall cognitive function of participants increased, revealing statistically significant differences (t=-3.04, p=.014) after the program was completed. The mobile app-based cognitive function training program might not only improve patients' memory functions but also potentially reduce the incidence of dementia.

Disaster Recovery Priority Decision for Credit Bureau Business Information System: Fuzzy-TOPSIS Approach (신용조회업무 정보시스템의 재난복구 우선순위결정: 퍼지 TOPSIS 접근방법)

  • Yang, Dong-Gu;Kim, Ki-Yoon
    • Management & Information Systems Review
    • /
    • v.35 no.3
    • /
    • pp.173-193
    • /
    • 2016
  • The aim of this paper is to extend the TOPSIS(Technique for Order Preference by Similarity to Ideal Solution) to the fuzzy environment for solving the disaster recovery priority decision problem in credit bureau business information system. In this paper, the rating of each information systems and the weight of each criterion are described by linguistic terms which can be expressed in trapezoidal fuzzy numbers. Then, a vertex method is proposed to calculate the distance between two trapezoidal fuzzy numbers. According to the concept of the TOPSIS, a closeness coefficient is defined to determine the ranking order of all information systems. The combination between the fuzzy set and TOPSIS brings several benefits when compared with other approaches, such that the fuzzy TOPSIS require few fuzzy judgements to parameterization, which contributes to the agility of the decision process, it does not limit the number of alternatives simultaneously evaluated, and it does not cause the ranking reversal problem when a new alternative is included in the evaluation process. This paper is demonstrated with a real case study of a credit rating agency involving 9 evaluation criteria and 9 credit bureau business information systems assessed by 6 evaluators, and provide the systematic disaster recovery framework for BCP(Business Continuity Planning) to practitioner. Finally, this paper show that the procedure of the proposed fuzzy TOPSIS method is well suited as a decision-making tool for the disaster recovery priority decision problem in credit bureau business information system.

  • PDF