• Journal of Astronomy and Space Sciences
• /
• v.15 no.2
• /
• pp.475-484
• /
• 1998

The object-oriented approach is a difficult method for engineers who are accustomed to other software development methods although it is an excellent software development approach. This paper presents a method for object-orineted modeling re-using DFD(Data Flow Diagram) and SC(Structure Chart) of structured analysis and design approach. This paper suggests an easy method for analysis and design using structured approach for object abstraction, which is one of the most difficult things in object-oriented approach.

• The Journal of Asian Finance, Economics and Business
• /
• v.2 no.2
• /
• pp.19-25
• /
• 2015

This research is aimed the furthest development of the conception of Human capital formation. The study made on the base of methods of scientific classification and systematization; dialectical method and the method of scientific abstraction, systematic and comparative analysis; expert assessment and ratings. Formation of the competitive human capital is one of the most important goals of modern development of Kazakhstan in condition of the innovative economy construction. In this context the necessity of formation and development of the effective human capital considerably increases. Realization of this requires definition of a technique of measurement of its cost as well. The authors attempt to calculate the value of human capital for Kazakhstan during independency time. In order to determine the methods of its quantitative and qualitative assessment different methodological ways for human capital research are studied. On the basis of the study, it was revealed that formation of the competitive human capital can't be considered in a separation from development and modernization of system of quality education, improvement of the employment sphere, worthy payment for work.

• International Journal of Contents
• /
• v.7 no.1
• /
• pp.23-28
• /
• 2011

In a SoC (system-on-chip) design, a design complexity is a big bottleneck. In order to overcome the design complexity, platform based design method is widely adopted for designers. Most complex SoCs need a heterogeneous design development environment for hardware and software co-design. In this paper, we discuss about some kinds of verification approaches with platform based design methodology at various abstraction levels of SoC design. We separate the verification process to two steps according to the different levels of verification. We employ a flexible SoC design environment to support simultaneous hardware and software development. We demonstrate the verification strategy of a target SoC design, IEEE 802.11a WLAN SoC.

• Proceedings of the Korea Contents Association Conference
• /
• 2005.11a
• /
• pp.644-648
• /
• 2005

Agent-Oriented Software Engineering is the one of the most recent contributions to the field of Software Engineering. This method has many benefits compared in existing development approaches. In particular the ability to let agents represent high level abstraction of active entity in software system. This paper gives an overview of research for agent-oriented software and industrial applications.

• Journal of Korea Multimedia Society
• /
• v.9 no.6
• /
• pp.720-727
• /
• 2006

In this paper, we propose a method which allows the SuperSQL query processor to share as much code as possible among various, generators, each of which is responsible for the output of a certain medium. SuperSQL is an enhanced query-processing system that converts database records into a variety of formats such as XML, HTML, PDF and etc. However, the existing SuperSQL media generator would require creation of a different processor for each medium, causing duplicated development cost. This research makes three main contributions: First, it analyzes the structures of various media, examining any possibility of integration based on their common structure. Second, it also facilitates the addition of a new output media generator by separating constructors and decorators from each medium. Last, it provides an integrated user interface to each media by method of the Media Abstraction Table Concept. We also show the performance and feasibility of our system using experimental results.

• The Journal of the Korea Contents Association
• /
• v.5 no.5
• /
• pp.305-305
• /
• 2005

In modern society, diseases are variously found. Also, disease can be fatal once starting attack or one misses the proper medical examination time. According to the development of society, our liver settled on exhausted status which causes high disease development ratio because of excess business, smoking and drinking. Especially liver related disease cannot be recovered, therefore it depends on internal organ transplant surgery. In this paper, calculate volume from rendered liver shape using 3-dimensional image processing method and we develop an image processing method for the image acquired by MDCT, that can simulate incision line decision according to blood vessel segmentation that can be used on liver transplant operation. Simulation results which adopt automatic liver segment abstraction algorithm show that it can help surgical operation.

• Journal of The Korean Association of Information Education
• /
• v.21 no.6
• /
• pp.629-638
• /
• 2017

This study investigated the definition and characteristics of computer science problem to be solved through computational thinking. It also explored types and cases of both computer science problems and teaching learning methods to solve computer science problems. Before studying computer science problems, I examined the definition, type, and the importance of problem solving in other subjects. Based on this research, We found that informatics can solve ill-structured problems through computational thinking and the power of computing. This includes counting, decision, retrieval, and optimization problems. Teachers can improve their students' skills in computational thinking, particularly as related to abstraction, automation, and generalization, by choosing the appropriate teaching and learning method or based on the characteristics of the problem.

• Korean Journal of Acupuncture
• /
• v.25 no.3
• /
• pp.167-174
• /
• 2008

Objective : To make comprehensive feature of previous researches on moxibustion, then build a basis of strategy for development of moxibustion-derived therapeutics. Methods : Surveyed 326 abstraction-containing literatures from total 467 of moxibustion-related papers in PubMed and 29 papers in Korea. Analysis was performed according to distribution by study subject, number by year, nation, research method, and its efficacy. Results : Moxibustion-related researches have been rapidly increased since 2001. The main contributive country for moxibustion research was China whileas few researches was done by Korea. The main subjects of moxibustion research are associated with immunity, inflammation, neurosystem, and digestive function. The most therapeutic roles of moxibustion were on pain control, modulation of immunity, anti-fatigue and anti-stress. Conclusion : This study will help Korean Oriental medical doctors to systematically review the moxibustion researches, and to develop more competitive therapeutics using moxibustion in global CAM field.

• Nuclear Engineering and Technology
• /
• v.46 no.6
• /
• pp.753-772
• /
• 2014

The paper presents functional modelling and its application for diagnosis in nuclear power plants. Functional modelling is defined and its relevance for coping with the complexity of diagnosis in large scale systems like nuclear plants is explained. The diagnosis task is analyzed and it is demonstrated that the levels of abstraction in models for diagnosis must reflect plant knowledge about goals and functions which is represented in functional modelling. Multilevel flow modelling (MFM), which is a method for functional modelling, is introduced briefly and illustrated with a cooling system example. The use of MFM for reasoning about causes and consequences is explained in detail and demonstrated using the reasoning tool, the MFMSuite. MFM applications in nuclear power systems are described by two examples: a PWR; and an FBR reactor. The PWR example show how MFM can be used to model and reason about operating modes. The FBR example illustrates how the modelling development effort can be managed by proper strategies including decomposition and reuse.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.65-72
• /
• 2009

Component based development has increasingly become important in the software industry. However, in the current component based development approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of the provided and required interfaces of components. In order to solve these problems, we describe the behaviors of component interfaces by state machine diagram and guarantee their behavior conformance at the modeling phase. We also propose a method to guarantee the behavior conformance of component interfaces with concept of observation equivalence and invocation consistency. And we provide an analyzing tool which checks interface behavior conformance.