• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.1
• /
• pp.1-6
• /
• 2014

Many companies have tried to adopt Software Product Line Engineering for improving the quality and productivity of information systems and software product. There are several models defined in software product line methodology and each model has different abstraction level. Therefor it is important to maintain the traceability and consistency between models. In this paper, consistency checking rules are suggested by traceability matrix of work products.

• Bulletin of the Korean Chemical Society
• /
• v.31 no.12
• /
• pp.3718-3722
• /
• 2010

Theoretical investigations are carried out on the title reaction by means of ab-initio and DFT methods. The optimized geometries, frequencies and minimum energy path are obtained at UB3LYP/6-311G(d,p) level. Single point energy calculations are performed at MP2 and MP4 levels of theory. Energetics are further refined by calculating the energy of the species with a modified Gaussian-2 method, G2M(CC,MP2). The rate constant of the reaction is calculated using Canonical Transition State Theory (CTST) utilizing the ab-initio data obtained during the present study and is found to be $5.47{\times}10^{-12}\;cm^3\;molecule^{-1}s^{-1}$ at 298 K and 1 atm.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1685-1688
• /
• 2003

객체지향 환경에서 복잡한 소프트웨어 시스템을 개발하기 위해서는, 그것의 복잡성과 대규모성 때문에 추상화에 의한 다계층적인 use case model 의 사용이 불가피하다. 이러한 경우 모델의 consistency 유지가 매우 주요하고 어려운 이슈가 된다. 본 논문에서는 각 추상화 단계에 따른 use case model 들 사이에서 자동적으로 형식적인 consistency 를 체킹할 수 있는 방법을 제안한다. 이 접근 방법은 rule 을 기반으로 하여 actor tree, use cose composition diagram를 use case description을 활용한다. 본 접근법을 검증하기 위하여, ITS 아키텍처 (Intelligent Transportation System architecture)의 한 파트를 예로 들어 적용하였다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 1999.06a
• /
• pp.151-158
• /
• 1999

This paper describes TVML (TV program Making Language) for automatically generating television programs from text-based script. This language describes the contents of a television program using expression with a high level of abstraction like“title #1”and“zoom-in”. The software used to read a script written in TVML and to automatically generate the program video and audio is called the TVML Player. The paper begins by describing TVML language specifications and the TVML Player. It then describes the“external control mode”of the TVML Player that can be used for applying TVML to interactive applications. Finally, it describes the TVML Editor, a user interface that we developed which enables users having no specialized knowledge of computer languages to make TVML scripts. In addition to its role as a television-program production tool. TVML is expected to have a wide range of applications in the network and multimedia fields.

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 2006.05a
• /
• pp.453-456
• /
• 2006

In this paper, we introduce the design and implementation of Information exchange technique among power system facilities and/or their monitoring systems based on Universal Description, Discovery and Integration Service and Simple Object Access Protocol. The rapid progresses in high speed network, 4G web language S/W and embedded H/W enabled faster and easier communications among electric power systems monitoring facilities. However, each facility or system has its own specific protocol like RS-232 and RS-486, which somewhat limits the capability of flexible information exchange among thor In this paper, we try to demonstrate the potential of utilizing the SOAP and UDDI services in exchanging the metadata and possibly high abstraction level informations among electric power facilities and/or their monitoring systems.

• Research in Mathematical Education
• /
• v.26 no.3
• /
• pp.147-166
• /
• 2023

Mathematics is a science of pattern. Mathematics is a subject of inquiring which aims at discovering the models hidden behind the world. Pattern is abstraction and generalization of the model. Mathematical pattern is a higher level of mathematical model. Mathematics patterns are often hidden in pattern similarity. Creation of mathematics lies largely in discovering the pattern similarity among the various components of mathematics. Inquiring is the core and soul of mathematics teaching. It is very important for students to study mathematics like mathematicians' exploring and discovering mathematics based on pattern similarity. The author describes an example about how to guide students to carry out mathematics inquiring based on pattern similarity in classroom.

• Journal of Convergence Society for SMB
• /
• v.6 no.4
• /
• pp.151-156
• /
• 2016

It has been constantly demanding for effective way to improve software development productivity and automation. In this paper, we did research to configure the component assets to reuse design information from the design phase domains based on the DMI. It is necessary abstracted information architecture of an independent platform development environment to reuse design information on the design stage. Also, It should be based on a well-designed to support the design architecture of the application domain. Therefore, in this paper, I want to use the DMI architecture that can be represented by formal level of architectural design information platform and application domain area. It is able to decomposition architecture asset with the part design information from the design phase composition or a high level of abstraction on DMI. Therefore, the metadata structure of the asset architecture will support a structure which can reuse the structure-based design of the domain areas.

• Journal of the Ergonomics Society of Korea
• /
• v.26 no.4
• /
• pp.127-133
• /
• 2007

The purpose of this study is to apply WDA (Work Domain Analysis) for the development of EID (Ecological Interface Design) of vehicle control display. At first, a work domain model on the automobile operation was developed using the AH (Abstraction Hierarchy) which is one of WDA tools. Secondly, information requirements that should be included in vehicle control displays were extracted on the basis of the completed model. The vehicle control information that typical automobiles interface displays currently provide occurred on the low level of the work domain model. This implies that current control displays impose too heavy cognitive workload on automobile drivers. Information requirements that can be included new vehicle control display are also discovered in the high level of the work domain model. The detailed information for EID was not proposed in this study. In the further study, the development of vehicle control display will be deeply conducted, using the results of this study.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.4 no.2
• /
• pp.154-173
• /
• 2010

Database outsourcing is unavoidable in the near future. In the scenario of data stream outsourcing, the data owner continuously publishes the latest data and associated authentication information through a service provider. Clients may register queries to the service provider and verify the result's correctness, utilizing the additional authentication information. Research on On-line Stream Analytics (OLSA) is motivated by extending the data cube technology for higher multi-level abstraction on the low-level-abstracted data streams. Existing work on OLSA fails to consider the issue of database outsourcing, while previous work on stream authentication does not support OLSA. To close this gap and solve the problem of OLSA query authentication while outsourcing data streams, we propose MDAHRB and MDAHB, two multi-dimensional authentication approaches. They are based on the general data model for OLSA, the stream cube. First, we improve the data structure of the H-tree, which is used to store the stream cube. Then, we design and implement two authentication schemes based on the improved H-trees, the HRB- and HB-trees, in accordance with the main stream query authentication framework for database outsourcing. Along with a cost models analysis, consistent with state-of-the-art cost metrics, an experimental evaluation is performed on a real data set. It exhibits that both MDAHRB and MDAHB are feasible for authenticating OLSA queries, while MDAHRB is more scalable.

• Journal of the Korean earth science society
• /
• v.39 no.4
• /
• pp.388-400
• /
• 2018

The purpose of this study was to explore the nine components of computational thinking (CT) practices and their operational definitions from the view of science education and to develop a CT practice framework that is going to be used as a planning and assessing tool for CT practice, as it is required for students to equip with in order to become creative problem solvers in $21^{st}$ century. We employed this framework into the earlier developed STEAM programs to see how it was valid and reliable. We first reviewed theoretical articles about CT from computer science and technology education field. We then proposed 9 components of CT as defined in technology education but modified operational definitions in each component from the perspective of science education. This preliminary CTPF (computational thinking practice framework) from the viewpoint of science education consisting of 9 components including data collection, data analysis, data representation, decomposing, abstraction, algorithm and procedures, automation, simulation, and parallelization. We discussed each component with operational definition to check if those components were useful in and applicable for science programs. We employed this CTPF into two different topics of STEAM programs to see if those components were observable with operational definitions. The profile of CT components within the selected STEAM programs for this study showed one sequential spectrum covering from data collection to simulation as the grade level went higher. The first three data related CT components were dominating at elementary level, all components of CT except parallelization were found at middle school level, and finally more frequencies in every component of CT except parallelization were also found at high school level than middle school level. On the basis of the result of CT usage in STEAM programs, we included 'generalization' in CTPF of science education instead of 'parallelization' which was not found. The implication about teacher education was made based on the CTPF in terms of science education.