• Title/Summary/Keyword: 절차적 언어

Search Result 181, Processing Time 0.027 seconds

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.

A Study on Complexity Analysis of Extensible Profile Verification Software for Energy Storage System (에너지저장장치용 확장성 프로파일 검증 소프트웨어 복잡도 분석에 관한 연구)

  • Kwon, Hyeokyoung;Ryu, Youngsu;Park, Jaehong;Kwon, Kiwon
    • Journal of Internet Computing and Services
    • /
    • v.17 no.5
    • /
    • pp.59-65
    • /
    • 2016
  • Recently, a study has been progressed about the energy storage system for resolving energy shortage problems in the world. The energy storage system can maximize energy storage system's energy usage by monitoring and controlling about all energy infrastructures on energy network. However, compatibility problems among main components or devices of the energy storage system are obstacles to development of energy storage system products. An extensible profile and extensible profile verification software being able to verify the extensible profile have been required in order to resolve compatibility problems. In this paper, the study on complexity analysis for the extensible profile verification software for the energy storage system is performed. A XML based profile and C language structure based profile are used for analysis of the profile verification software. The complexity of complex verification structure that parses the XML based profile several times and simple verification structure that parses the C language structure based profile are analyzed and compared. Time complexity, space complexity, and cyclomatic complexity are used for complexity analysis. By using these complexity analysis, the study result that compares and analyzes the complexity of XML based and C language structure based profile verification software is presented.

The Operation Plan of the Community-Linked Extracurricular Education program for Lifelong Education for the Persons with Disabilities Based on the Memorandum of Understanding (MOU) of Extracurricular Education between Chosun University and Daegu University (조선대학교-대구대학교 비교과 교육 업무협약(MOU) 기반 지역 연계 장애인평생교육 비교과프로그램 운영 방략)

  • Kim, Young-Jun;Kim, Wha-Soo;Rhee, Kun-Yong
    • The Journal of the Convergence on Culture Technology
    • /
    • v.8 no.2
    • /
    • pp.273-280
    • /
    • 2022
  • Based on the MOU between Chosun University and Daegu University, this study was conducted with the aim of exploring the operation strategy of a extracurricular education program on the theme of lifelong education for the disabled in community connection. In front-line university sites, extracurricular education programs are often recognized as forms and procedures to assist in subject learning at the major or liberal arts level, but they have a very important status and identity considering that they are classified as "learning competency reinforcement support", "career psychological counseling support", "employment and start-up support", "subject-linked extracurricular education". Accordingly, the extracurricular education programs has the nature and advantage of covering not only the level of the one-time trend program itself, but also various community -linked problem-solving learning, including students' major learning and employment linkage. As part of the above, this study aims to present a strategy for the operation of a extracurricular education programs with the main theme and content of "lifelong education for the disabled" by viewing Chosun University and Daegu University. The contents of the study were largely presented as "organizational operation strategy between two universities," "operation strategy of curriculum between two universities," and "comprehensive system for extracurricular education programs operation of lifelong education for the disabled between the two universities". First, the first research content, "Organized Operation Strategy between Two Universities," was schematized in detail the process of collaborating and communicating with Chosun University's center of extracurricular activities, Daegu University Lifelong Education Center, and other committees and departments. The second research content, "The Curriculum Operation Strategy between Two Universities", is a detailed schematic diagram of the learning contents, methods, and procedures to be organized in the extracurricular education program. The third study, "Comprehensive System of extracurricular education program Operation for Lifelong Education for the Disabled between Two Universities," presents the results of synthesizing the basis elements essential for operating the extracurricular education program at the level of a roadmap. As a result of the study, it was possible to see the project tasks that could be promoted in-depth through the operation of a extracurricular education program on lifelong education for the disabled through the MOU between the two universities.

A Development Strategy of Busan New Port by a Comparative Analysis on Singapore and Hong Kong Ports (싱가포르 및 홍콩항과의 비교분석에 의한 부산 신항의 발전전략)

  • Kim, Jeong-Su
    • Journal of Korea Port Economic Association
    • /
    • v.24 no.4
    • /
    • pp.1-23
    • /
    • 2008
  • In order for Busan New Port to secure more trading volumes than the competing ports at home and abroad, an alternative plan for the new port management policy needs to be sought. By the way, aiming to minimize trial and error while maximizing effect in establishing and driving the new port management policy, there is necessity of referring to the developmental strategies of the advanced ports such as Singapore and Hong Kong that are possessing the globally leading position as well as maximizing the substantial value added and the employment-creation effect even qualitatively. Accordingly, the purpose of this study is to propose for a reasonable development strategy for Busan New Port in line with conditions and characteristics of Busan New Port by comparing and analyzing conditions and characteristics of these two advanced ports and by comparative analysis on the developmental strategy according to this.

  • PDF

Considerations on Mathematics as a Practice (실천으로서의 수학에 대한 소고)

  • Jeong Eun-Sil
    • Journal of Elementary Mathematics Education in Korea
    • /
    • v.1 no.1
    • /
    • pp.87-98
    • /
    • 1997
  • A practice is classified into the practice as a content and the practice as a method. The former means that the practical nature of mathematical knowledge itself should be a content of mathematics and the latter means that one should teach the mathematical knowledge in such a way as the practical nature is not damaged. The practical nature of mathematics means mathematician's activity as it is actually done. Activities of the mathematician are not only discovering strict proofs or building axiomatic system but informal thinking activities such as generalization, analogy, abstraction, induction etc. In this study, it is found that the most instructive ones for the future users of mathematics are such practice as content. For the practice as a method, students might learn, by becoming apprentice mathematicians, to do what master mathematicians do in their everyday practice. Classrooms are cultural milieux and microsoms of mathematical culture in which there are sets of beliefs and values that are perpetuated by the day-to-day practices and rituals of the cultures. Therefore, the students' sense of ‘what mathematics is really about’ is shaped by the culture of school mathematics. In turn, the sense of what mathematics is really all about determines how the students use the mathematics they have learned. In this sense, the practice on which classroom instruction might be modelled is that of mathematicians at work. To learn mathematics is to enter into an ongoing conversation conducted between practitioners who share common language. So students should experience mathematics in a way similar to the way mathematicians live it. It implies a view of mathematics classrooms as a places in which classroom activity is directed not simply toward the acquisition of the content of mathematics in the form of concepts and procedures but rather toward the individual and collaborative practice of mathematical thinking.

  • PDF

Mathematical truth and Provability (수학적 참과 증명가능성)

  • Jeong, Gye-Seop
    • Korean Journal of Logic
    • /
    • v.8 no.2
    • /
    • pp.3-32
    • /
    • 2005
  • Hilbert's rational ambition to establish consistency in Number theory and mathematics in general was frustrated by the fact that the statement itself claiming consistency is undecidable within its formal system by $G\ddot{o}del's$ second theorem. Hilbert's optimism that a mathematician should not say "Ignorabimus" ("We don't know") in any mathematical problem also collapses, due to the presence of a undecidable statement that is neither provable nor refutable. The failure of his program receives more shock, because his system excludes any ambiguity and is based on only mechanical operations concerning signs and strings of signs. Above all, $G\ddot{o}del's$ theorem demonstrates the limits of formalization. Now, the notion of provability in the dimension of syntax comes to have priority over that of semantic truth in mathematics. In spite of his failure, the notion of algorithm(mechanical processe) made a direct contribution to the emergence of programming languages. Consequently, we believe that his program is failure, but a great one.

  • PDF

A Study of Development of Diagnostic System for Web Application Vulnerabilities focused on Injection Flaws (Injection Flaws를 중심으로 한 웹 애플리케이션 취약점 진단시스템 개발)

  • Kim, Jeom-Goo;Noh, Si-Choon;Lee, Do-Hyeon
    • Convergence Security Journal
    • /
    • v.12 no.3
    • /
    • pp.99-106
    • /
    • 2012
  • Today, the typical web hacking attacks are cross-site scripting(XSS) attacks, injection vulnerabilities, malicious file execution and insecure direct object reference included. Web hacking security systems, access control solutions, access only to the web service and flow inside but do not control the packet. So you have been illegally modified to pass the packet even if the packet is considered as a unnormal packet. The defense system is to fail to appropriate controls. Therefore, in order to ensure a successful web services diagnostic system development is necessary. Web application diagnostic system is real and urgent need and alternative. The diagnostic system development process mu st be carried out step of established diagnostic systems, diagnostic scoping web system vulnerabilities, web application, analysis, security vulnerability assessment and selecting items. And diagnostic system as required by the web system environment using tools, programming languages, interfaces, parameters must be set.

Design and Implementation of National Language Ability Test System using Korean Style Internet-Based Test added Middle-Server (미들서버방식 한국형 IBT를 이용한 국가언어능력평가 시스템의 설계 및 구현)

  • Chang, Young-Hyun;Park, Dea-Woo
    • Journal of the Korea Society of Computer and Information
    • /
    • v.16 no.9
    • /
    • pp.185-192
    • /
    • 2011
  • The purpose of this paper is to propose the design and implementation of a korean style internet-based test system on the basis of efficiency and stability for middle server. The current assessment system has some unstable elements with regard to transmission procedure, cost, system load and stability. This paper proposes a series of activities for the performance improvement of korean style internet-based test system which finally produced various excellent results in the administration of expense control, human resources, and special operational affairs. The proposed system's technological factors using middle server have been tested through a basic simulation pilot system. Actual development procedure starts from the analysis required by improving the shortcomings of existing internet-based test systems. A efficiency comparison with existing system and newly developed system was made in the area of number of operators, abnormal processing, system maintenances. Korean style internet-based test system using middle server has shown great efficiency increased to the maximum of 2 times about the effectiveness of processing for various parts. The korean style internet-based test system using middle server have been given good evaluations with regard to the convenience of their use and the management system for operators and supervisors.

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.

A Method for Combining Object-Oriented Design Modules (객체 지향 설계 모듈의 결합 방법)

  • Ha, Gye-Beom;Lee, Jong-Seop;Jeong, Gye-Dong;Choe, Yeong-Geun
    • The Transactions of the Korea Information Processing Society
    • /
    • v.3 no.4
    • /
    • pp.817-833
    • /
    • 1996
  • Most object-oriented analysis and design methodologies are based on structured analysis and information modeling and are using for intuitive analysis and design models based on object-oriented programming languages. Therefore there are many problems such as when a system is implemented incorrect semantics and inconsistency between models.This paper submits a decomposition and design method for object, dynamic and functional module of the methodology of a new system development life-cycle. Thus, we present a new system development life cycle, and suggestsa object-oriented design methodand standards of module decomposition for the decomposition of object, dynamic, functional models due to object-oriented design procedures and specifications. This proposed method enables developers to reflect user's software requirements conveniently. We prove the validity and practicality of this object-oriented design method through implementing a real-system.

  • PDF