• Investigative Magnetic Resonance Imaging
• /
• v.19 no.4
• /
• pp.205-211
• /
• 2015

The human heart is a complex organ in which many complicated congenital defects may happen and some of them require surgical intervention. Due to the vast complexity of varied anatomical presentations, establishing an accurate and consistent nomenclature system is utmost important to facilitate effective communication among pediatric cardiologists, cardiothoracic surgeons and radiologists. The Van Praagh segmental approach to the complex congenital heart disease (CHD) was developed in the 1960s and has been used widely as the language for describing complex anatomy of CHD over the decades. It utilizes a systematic and sequential method to describe the cardiac segments and connections which in turn allows accurate, comprehensive and unambiguous description of CHD. It can also be applied to multiple imaging modalities such as echocardiogram, cardiac CT and MRI. The Van Praagh notation demonstrates a group of three letters, with each letter representative for a key embryologic region of cardiac anatomy: the atria, ventricles and great vessels. By using a 3-steps approach, we can evaluate complex CHD precisely and have no difficulties in communicating with other medial colleague. This pictorial essay revisits the logical steps of segmental approach, followed by a pictorial illustration of its application.

• International Journal of Computer Science & Network Security
• /
• v.22 no.11
• /
• pp.199-203
• /
• 2022

The article aims at studying the institution of human rights and civil freedoms with due regard to the anthropological approach in the theory of law. To the greatest extent, the provisions of non-classical legal science are confirmed in the Anglo-Saxon legal family, which endows the judge with law-making functions. In this regard, the role of a person in the legal sphere is increasing. The main research method was deduction used to study the anthropological approach to the institution of human rights and freedoms. The article also utilizes the inductive method, the method of systematic scientific analysis, comparative legal and historical methods. To solve the task set, the authors considered the legal foundations and features of human rights and freedoms in the modern world. The article proves that the classical legal discourse, represented by various types of interpretation, reduces the rule of law to the analysis of its logical structure and does not answer the questions posed. It is concluded that the prerequisite for the anthropological approach in the theory of law is the use of human-like concepts in modern legislation (guilt, justice, peculiar ferocity, child abuse, willful evasion, conscientiousness).

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.172-180
• /
• 2011

When it essentially designs and develops the Railway Signal System H/W and S/W, It requires base to build an environment which the safety of the complete system can be certified objectively. It is not rational choice to progress the safety certification of each of the subsystems to ensure reliability from an economic point of view. Furthermore, Even though H/W and S/W already certificated the safety, In case of changing subsystem to comprise relevant system, The safety certification of its parts newly must proceed. This study to solve these problems covers safety H/W platform which is commonly applicable to composition plan at Ground railway signaling systems such as CBTC, ETCS, CBI and safety-based modeling approach with S/W development tools (SCADE) and certificated O/S (Pike) to build the development environment. In addition, When it designs and develops safety S/W, This study explains structure to separate the data section which for logical operations and logical operations itself and provides guideline to support the certification through minimizing changes to the software.

• The KIPS Transactions:PartA
• /
• v.11A no.1
• /
• pp.97-108
• /
• 2004

This paper proposes to use an algorithmic debugging technique for locating logical errors in Java programs. The algorithmic debugging is a semi-automated debugging technique that builds an execution tree from a source program and locates logical errors, if any, included in the program from the execution tree with top-down method. So, it is very important to build a suitable execution tree from the various programming languages. In this paper we propose the method for building an execution tree iron Java programs and walk through an example. This approach could reduce the number of interactions between a user and a debugging system than the traditional step-wise debugging technique.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.2
• /
• pp.445-453
• /
• 2005

The design process of a relational database system consists of requirement analysis, conceptual design using ER diagram, logical design, and physical design. In logical design process, the conceptual schema is transformed to relational schema, and relational schema is normalized. This traditional design process is hard to applied in real database design process, since there is an ambiguity in conceptual design process. In this paper, we suggest a new design process, which provides more structural design steps by removing the conceptual design process. In new approach, we produce the data flow diagram by the structural methodology. From the attributes in the data store of data flow diagram, we construct relational table schema, and we normalize relational schema. Finally we produced table relationship diagram in order to figure out relationships between tables.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.16 no.1
• /
• pp.139-147
• /
• 1998

The national topographic basedata should meet a variety of user requirements. To generate, maintain and handle the national topographic basedata in economic and effective way, the nationally supported research works on data model, structure and feature classification system should be intensively undertaken by government agency, research institute and university. This paper presents the technical definitions of conceptual and logical model for proposed data model representing digital map data. The key aspects of the proposed data model are flexibility for accommodating user requirements as well as step-by-step approach for modification as necessary m recent future. Conclusively, the proposed data model is a transitional data model between simple graphical model and object oriented data model.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.1 s.39
• /
• pp.11-18
• /
• 2006

The logical analysis of data(LAD) is a Boolean-logic based data mining tool. A critical step in analyzing data by LAD is the pattern generation stage where useful knowledge and hidden structural information in data is discovered in the form of patterns. A conventional method for pattern generation in LAD is based on term enumeration that renders the generation of higher degree patterns practically impossible. In this paper, we present a novel optimization-based pattern generation methodology and propose two mathematical programming models, a mixed 0-1 integer and linear programming (MILP) formulation and a well-studied set covering problem (SCP) formulation for the generation of optimal and heuristic patterns, respectively. With benchmark datasets, we demonstrate the effectiveness of our models by automatically generating with ease patterns of high complexity that cannot be generated with the conventional approach.

• The Mathematical Education
• /
• v.52 no.2
• /
• pp.203-215
• /
• 2013

We explored implications of storytelling in learning and teaching mathematics and examined examples of storytelling for deep understanding of the educational meanings of storytelling and new direction of storytelling approach to mathematics teachers. Mathematics had been commonly considered as the subject irrelevant to the narrative mode of thinking and only relevant to the paradigmatic mode of thinking that has rigorous logical forms and independent from human mind. As a result, this common sense forced a transmission pedagogy of mathematics: only the teachers as owners of the objective and logical truth of mathematics could transmit mathematical truths to students. Storytelling is highlighted as an alternative to the common teaching practices of mathematics focused only on the paradigmatic mode of thinking. Although a lot of research about the educational uses of storytelling mainly focused on the development and modification of stories, we suggested that the educational interest about storytelling should move to the elements or techniques for the positive effect of storytelling.

• The Journal of Information Systems
• /
• v.7 no.1
• /
• pp.181-208
• /
• 1998

In many literatures of model management, various schemes for representing model base schema have proposed. Ultimately, the goal is to arrive at a set of mutually supportive and synergistic methodologies and tools for the modeling problem domain and model base design. This paper focus on how best to structure and represent conceptual model of problem domain and schema of model base. Semantic concepts and modeling constructs are valuable conceptual tools for understanding the structural relationships and constraints involved in an model management environment. To this end, we reviewed the model management literature, and analyzed the constructs of modeling tools of data model management graph-based approach. Although they have good tools but most of them are not enough for the representation of structural relationships and constraints. So we wanted more powerful tools which can represent diverse constructs in a decision support modeling and model base schema design. For the design of a model base, we developed object modeling framework which uses Object Modeling Techniques (OMT). In Object Modeling Framework, model base schema are classified into conceptual schema, logical schema, and physical schema. The conceptual schema represents the user's view of problem domain, and the logical schema represents a model formatted by a particular modeling language. The schema design, this paper proposes an extension of Object Model to overcome some of the limitations exhibited by the OMT. The proposed tool, Extended Object Model(EOM) have diverse constructs for the representation of decision support problem domain and conceptual model base schema.

• Journal of the Korean Data and Information Science Society
• /
• v.10 no.2
• /
• pp.359-367
• /
• 1999

We investigate a logical approach to represent medical knowledge, reason deductively and diagnostically. It is suggested that medical knowledge-bases can be formulated as a set of sentences stated in classical logic where each sentence reflects a doctor's knowledge about the human anatomy or his/her view of patient's symptoms. It is also suggested that a form of temporal reasoning can be captured within the same framework because each sentence can have a different truth value based on time. We apply our logical framework to formalize diagnostic reasoning, where the primary cause of illness is chosen among the set of minimal causation on the basis of abductive hypotheses. Most of our examples are given in the context of medical expert systems.