• Title/Summary/Keyword: logical framework

Search Result 139, Processing Time 0.021 seconds

The Worked Example Effect using Ill-defined Problems in On-line Learning : Focus on the Components of a Worked Example (온라인 학습에서 비구조화된 문제에 대한 해결된 예제 효과)

  • Kyun, Suna;Lee, Jae-Kyung;Lee, Hyunjeong
    • Journal of Information Technology Services
    • /
    • v.14 no.1
    • /
    • pp.129-143
    • /
    • 2015
  • This study has two goals. The first goal is to investigate whether worked examples are effective in the ill-defined domain with on-line learning and the second goal is to find out which components (conceptual or procedural knowledge) of worked examples are effective factor at the given learning environment. We carried out three experiments in which Korean undergraduate or graduate students were working in three or four conditions of worked examples (CWE, PWE, CPWE, or the control group). While experiment 1 conducted in on-line learning environment did not find any effect and difference among groups and also any logical reason for those results, experiment 2 conducted in completely controlled laboratory setting with less knowledgeable students showed the clear difference among groups by the order CPWE, PWE, and CWE. Experiment 3 in which highly knowledgeable and motivated students were presented the same materials in more controlled on-line learning environment indicated the difference among groups by the order CWE, CPWE, and PWE. The results were discussed within the framework of cognitive load theory.

A Study on Knowledge Management Model of Library Based on Knowledge Ecology (지식생태학 관점에서 본 도서관의 지식관리 모형 연구)

  • Choi, Hee-Yoon
    • Journal of the Korean Society for Library and Information Science
    • /
    • v.40 no.1
    • /
    • pp.397-416
    • /
    • 2006
  • This study is focusing on the establishment of knowledge management framework of library, supposed that library becomes an integrated knowledge system offering various types of knowledge. Knowledge management of library based on knowledge ecology justifies the logical and physical roles of library, as the sustainer of the knowledge ecosystem in which all the types of social factors consisting of knowledge ecosystem are Interacting to continuously circulate knowledge. The library as the center of knowledge ecosystem should make sure the systemized environment in which knowledge producer is supported to timely distribute knowledge to knowledge consumer through information professional accomplishing the role of knowledge facilitator.

A Study on the Great Principle of Pulse Diagnosis in the 『Nanjing』 (『난경(難經)』의 진맥(診脈) 대법(大法)에 관한 고찰)

  • Jang, Woochang;Kim, Yuna
    • Journal of Korean Medical classics
    • /
    • v.33 no.4
    • /
    • pp.83-105
    • /
    • 2020
  • Objectives : This paper aims to examine the system, principle, and fundamentals of the great principle of pulse diagnosis in the 『Nanjing』. Methods : The system, principle, and fundamentals of pulse diagnosis in the 『Nanjing』 were examined within the book's description framework and logical structure in light of its relationship to the 『Huangdineijing』. Previous studies that follow pulse diagnosis of 『Nanjing』 and 『Wangshuhe Maijue』 were referenced. Results & Conclusions : The structure of pulse diagnosis in the 『Nanjing』 is systematically organized under the principle of the three positions and nine indicators as the great principle to which the yinyang and five viscera pulse theories are included. The great principle of the three positions and nine indicators is consisted of a system that allows for a multiple and comprehensive interpretation wherein the theories of yinyang and five elements are interweaved within the pulse diagnosis system, which is comprised of a great principle and particular principles. The theory follows that of the three yin three yang theory of the five circuits and six qi, its principles manifesting as the three positions and nine indicators and integration of pulse and symptoms.

Automatic Verification of the Control Flow Model for Effective Embedded Software Design (효과적인 임베디드 소프트웨어 설계를 위한 제어흐름 모델의 자동 검증)

  • Park, Sa-Choun;Kwon, Gi-Hwon;Ha, Soon-Hoi
    • The KIPS Transactions:PartA
    • /
    • v.12A no.7 s.97
    • /
    • pp.563-570
    • /
    • 2005
  • Hardware and software codesign framework called PeaCE(Ptolemy extension as a Cod sign Environment) allows to express both data flow and control flow. To formally verify an fFSM specification which expresses control flow in PeaCE, the step semantics of the model was defined. In this paper, we introduce the automatic verification tool developed by formal semantics of previous work. This tool uses the SMV as inner model checker md, through our tool, users can formally verify some important bugs such as race condition, ambiguous transition, and circulartransition without directly writing logical formulae.

Simulation of solar radiation and wind events in the virtual environments (가상 환경에서 태양 복사와 바람 현상의 논리적 시뮬레이션 방법)

  • Cho, Jin-Young;Park, Jong-Hee
    • The KIPS Transactions:PartB
    • /
    • v.10B no.7
    • /
    • pp.785-794
    • /
    • 2003
  • Computer simulation of natural phenomena has been inclined to graphic processing for visual reality. This negligence of cosmic causalities in their occurrence and natural laws in their development should lead to limited degree of immersion to the users. We attempt to develop a logical framework for authentic simulation of diverse, unpredictable occurrence and development of natural phenomena (such as solar radiation and wind) based on their associated inherent laws and principles. To this end we structure the relevant objects organized in an ontology and propose a data management method. Then we describe our simulation method for the natural phenomena as delimited in phases and present modeling techniques for qualitative changes of physical objects due to their factors' values beyond normal ranges.

A Study on Creative Fashion Design Processes (창조적(創造的) 패션디자인 프로세스에 관(關)한 연구(硏究))

  • Oh, Na-Reyoung;Lee, Seung-Hee
    • Journal of Fashion Business
    • /
    • v.11 no.2
    • /
    • pp.129-144
    • /
    • 2007
  • These days, public attention is being directed to the design processes by which a final outcome can be produced to achieve its goal according to the logical plans, as it is hard to address recent problems in design by the existing intuitive way due to the paradigm shift of design. Thus, this study aims to suggest creative fashion design processes to create a product as a final outcome by intentional and systematic processes. This study showed that design is considered as comprehensive problem solving processes, and it proposes framework of processes by integrating processes of industrial design and fashion design. In addition, this study classified creativity development methods that can be implemented to fashion design into promotion of ideas, breaking out of stereotypes, and extension of search areas. These creativity development methods can be applied to fashion design processes in order to make plans and strategies systematically and help you to choose the best ways to solve problems by processes.

A Review Study on Multiple Intelligence Theory and Nursing Educational Implication (아동의 지능 이해를 위한 새로운 패러다임:다중지능이론(Multiple Intelligence Theory))

  • Kim, Hyun-Sil
    • Child Health Nursing Research
    • /
    • v.13 no.4
    • /
    • pp.427-435
    • /
    • 2007
  • Purpose: This study presents the findings of various research on human intelligence and Multiple Intelligence Theory and suggested the implications of Multiple Intelligence Theory-based approach to the nursing education for the ill children. Method: Research objectives were accomplished by conducting a literature review. The main areas of the literature review included the Multiple Intelligence Theory, and it's application case for the children with learning disorder. Results: Dissatisfaction with traditional IQ tests has led to the development of a number of alternative theories, all of which suggest that intelligence is the result of a number of independent abilities that uniquely contribute to human performance. Among them, Multiple Intelligences Theory led to break intelligence down into at least eight different components: logical, linguistic, spatial, musical, kinesthetic, naturalist, intra-personal and interpersonal intelligences. In addition, Multiple Intelligence Theory and it's application case believes that every topic can be effectively taught and achieved using six entry points framework. Conclusions: The educational implications of Multiple Intelligence Theory in view of the health education and education in the children's hospital school should be considered for the ill children2's better education in a hospital setting.

  • PDF

A Study on Project Management System (프로젝트 관리 시스템에 관한 연구)

  • Park, Koo-Rack
    • Journal of Digital Convergence
    • /
    • v.13 no.1
    • /
    • pp.305-311
    • /
    • 2015
  • Nowadays, because IT market expansion and complexity has been progressing and competition has intensified, there is a growth of information system building industries having difficulty through traditional business management methods. A survey was conducted among site personnel (Project Manager PM and Project Participants) to generate an institutional framework to efficiently manage this and project management process support. Through this, the importance of element technology and fragility of software development project management must be understood and an improvement of the element technology must be generated. By using this, a very relevant result that presented a logical basis was obtained in the decision making of the importance of project management and the role of overall project manager and core project management fields.

A Study on Telecommunication Network Architecture for Intelligence Transportation System Based on DSRC Technology (DSRC 기술을 활용한 지능형 교통 시스템의 통신망 구조 연구)

  • Yee, Soung-Ryong;Choe, Kyung-Il;Lee, Hee-Sang;Kim, Yun-Bae
    • Journal of Korean Institute of Industrial Engineers
    • /
    • v.26 no.4
    • /
    • pp.345-353
    • /
    • 2000
  • ITS(Intelligent Transportation System) is an advanced system which can effectively handle the current transportation and tragic problems. In order to beneficially apply ITS to the current transportation infrastructure we need a telecommunication technology which guarantees high speed data transmission between the road side units and the on-board units in the vehicles. DSRC(Dedicated Short Range Communication) is considered as a promising technology since it has the capability of two-way communication and can serve to implement various ITS services. In this paper, we study an architecture of telecommunication network far ITS based on DSRC. We use the ISCNA(Information Systems and Communication Networks Architecture) framework for the method of approach. We first analyze the requirements for ITS services using DSRC in Korea, and then establish a logical architecture for the network. We also analyze the types of data and process between the network components. Based on these we propose an architecture for the telecommunication network for ITS. We also briefly discuss the simulation which we perform to validate the proposed network architecture.

  • PDF

The Influence of Purchase Types on Happiness: A Review

  • ZONG, Lu;DUAN, Xiaowei;DUAN, Shen
    • The Journal of Economics, Marketing and Management
    • /
    • v.10 no.3
    • /
    • pp.9-19
    • /
    • 2022
  • Purpose: Previous studies have shown that consumers feel more happiness when they have experiential purchases than material purchases. This experiential advantage has aroused great concern of researchers in the field of social and consumer psychology. Focusing on this issue, the paper aims to tease out the relevant academic work and to further provide with some significant implications. Research design, data and methodology: The paper has divided the review into the following parts. Firstly, the connotation of experiential purchase and material purchase has been simply defined; Secondly, based on the logical framework of pre-factor variables, intermediary variables and regulating boundary conditions, this paper has collated the causal chain of the influence of purchases types on happiness; Finally, this paper has reviewed and summarized the shortcomings of existing studies, and have pointed out specific objectives of future research. Results: From the perspective of time utility and space form, this paper has expounded the substantive differences between the two types of purchase, which lays a foundation for the explanation of the follow-up mechanism. Moreover, the paper has mainly interpreted the intermediary mechanism from two aspects, namely, individual elements of consumers and social elements of consumption situations. Conclusions: This study expands the scope of previous happiness research and strengthens the negative events adaptation research.