• The Transactions of the Korea Information Processing Society
• /
• v.4 no.5
• /
• pp.1243-1256
• /
• 1997

Object modeling has been cinsidered as an efficient technique for eleciting user requirements and communicat-ing between developers and customers. But model itself is not easy to understand what recult will be after coding and whether it will be meet with the requirements of customers. In this paper, we developed the envuroment for visualization of object model for validating with rewuirnent at the early stage. Therefore, we defined correct and complete rules which can transform the object model.the delierables of Shler/Mellor's method, into a for-mal specification language of VDM(Vienna Development Methods) with a mathematical basis. This basis provides the means of proving that a specification is realizable and proving properties of a system.Therefore.the completeness, preciceness of object model can be verified by proving the transformed VDM specification and prototyping by constructing a visualization supporting enviroment.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.6
• /
• pp.147-154
• /
• 2015

Recently agile development process became increasing effectiveness, quality, attention to experts in customer satisfaction, as evidenced in this methodology when selecting projects promoting productive efficiency. With regard to contemporary needs and user requirements on the methodology selected to meet this paper is the product based Cross functional team suggested methodology Feature Team model to solve problems of this model, and organizing the Cross functional team, this team but this outcome (product) basis, were examined for the model that points to progress the development across multiple product as a functional unit, value-driven agile project through the Skills-based model and proposed a difference. And it examined the Agile Maturity metrics. PRINCE2 Agile Health-check entries future development direction of Agile techniques is a requirement of the project outset has studied the subject objective evaluation by the assumption that they can be changed at any time, not fixed this way and for the project team through research The proposed.

• The Journal of Korean Association of Computer Education
• /
• v.15 no.2
• /
• pp.57-66
• /
• 2012

It is the advantage of robot programming to improve the learners' interest. However, the drawback is existed in the fact that it is not easy to determine whether the problem lies in the hardware factor or programmed logic when an error takes place. This study is an attempt to develop a simulation tool which assists learners to concentrate on the problems not relating to robot assembling but to robot program. It aims to enable beginners make a sketch of their ideas and examine their logic through simulation. Therefore, an Etoys-based robot programming tool is developed to allows user to download and execute the simulated program into an assembled robot. The significance of this study is that easy activity of sketch-based simulation can support learners to understand how the principles of computer science are applied in daily life such as an automatic door system.

• Journal of Information Technology Applications and Management
• /
• v.20 no.4
• /
• pp.127-149
• /
• 2013

Competitiveness of service industry in Korea is relatively lower than OECD countries'. Korean government, therefore, has been trying to improve the competitiveness of service industry by accelerating information technology (IT) adoption. Even though most of factors of IT can be contributed to improve the financial performance, it may be affected differently among various industry types and life cycles of companies. Therefore, it is one of very important research issues to analyze the influential effect of IT considering industry types and organizational life cycles in service industries. The purpose of this study is to find out critical success factors of IT which influence financial performance considering different types and life cycles of service industries. We developed the model and identified key success factors of IT adoption as IT system quality, Information quality, IT maintenance, CEO support, IT education of organization, and IT competence of user. Additional analysis of moderating effect by organizational life-cycle and types of service industry are conducted. For data sampling 856 companies are participated and total 2,000 questionnaires are collected. Structural equation modeling method is conducted for statistical analysis. The results show that the model is valid and most of success factors of it are very useful for improving financial performance of service industries except organizational IT education. Moderating effect of industry types and organizational life cycles is valid but partially accepted. The results might be able to provide useful directions and guide lines of IT acceleration in service industries.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.24 no.8
• /
• pp.133-141
• /
• 2010

MG(Microgrid) is a small power supply system located on-site that can supply both the electricity and the hot-water simultaneously. Engineering S/W is requested to construct Microgrids economically. We developed Engineering S/W that can combine DERs (Distributed Energy Resources) most economically using the linear programming and estimate of the economic. Developed S/W was programed using GAMS(General Algebraic Modeling System) and it is composed of the optimal DER combination module and forecasting module of renewable energy's output. We embody it based on MS Excel considering the user's convenience and we show its validity through a case study. We think that developed S/W will be very useful for planning MGs and energy supply.

• The KIPS Transactions:PartD
• /
• v.9D no.1
• /
• pp.31-42
• /
• 2002

In this paper, we propose a new spatio-temporal representation scheme which can model moving objets trajectories effectively in video data and a new signature-based access method for moving objects trajectories which can support efficient retrieval on user query based on moving objects trajectories. The proposed spatio-temporal representation scheme supports content-based retrieval based on moving objects trajectories and concept-based retrieval based on concepts(semantics) which are acquired through the location information of moving objects trajectories. Also, compared with the sequential search, our signature-based access method can improve retrieval performance by reducing a large number of disk accesses because it access disk using only retrieved candidate signatures after it first scans all signatures and performs filtering before accessing the data file. Finally, we show the experimental results that proposed scheme is superior to the Li and Shan's scheme in terns of both retrieval effectiveness and efficiency.

• Computational Structural Engineering
• /
• v.10 no.4
• /
• pp.217-228
• /
• 1997

The high precision analysis by the p-version of the finite element method are fairly well established as highly efficient method for linear elastic problems, especially in the presence of stress singularity. It has been noted that the merits of the p-version are accuracy, modeling simplicity, robustness, and savings in user's and CPU time. However, little has been done to exploit their benefits in elasto-plastic analysis. In this paper, the p-version finite element model is proposed for the materially nonlinear analysis that is based on the incremental theory of plasticity using the constitutive equation for work-hardening materials, and the associated flow rule. To obtain the solution of nonlinear equation, the Newton-Raphson method and initial stiffness method, etc are used. Several numerical examples are tested with the help of the square plates with cutout, the thick-walled cylinder under internal pressure, and the circular plate with uniformly distributed load. Those results are compared with the theoretical solutions and the numerical solutions of ADINA

• Journal of the Ergonomics Society of Korea
• /
• v.29 no.6
• /
• pp.907-914
• /
• 2010

Cognitive model, that is cognitive architecture, is the model expressed with computer program to show the process how human solve a certain problem and it is continuously under investigation through various fields of study such as cognitive engineering, computer engineering, and cognitive psychology. In addition, the much extensive applicability of cognitive model usually helps it to be used for quantitative prediction of human Behavior or Natural programming of human performance in many HCI areas including User Interface Usability, artificial intelligence, natural programming language and also Robot engineering. Meanwhile, when a system designed, an usability test about conceptual design of interface is needed and in this case, analysis evaluation using cognitive model like GOMS or ACT-R is much more effective than empirical evaluation which naturally needs products and subjects. In particular, if we consider the recent trend of very short-end term between a previous technology development and the next new one, it would take time and much efforts to choose subjects and train them in order to conduct usability test which is repeatedly followed in the process of a system development and this finally would bring delays of development of a new system. In this study, we predicted quantitatively the human behavior processes which contains cognitive processes for menu selection in touch screen interface through ACT-R, one of the common method of usability test. Throughout the study, it was shown that the result using cognitive model was equal with the result using existing empirical evaluation. And it is expected that cognitive model has a possibility not only to be used as an effective methodology for evaluation of HCI products or system but also to contribute the activation of HCI cognitive modeling in Korea.

• Steel and Composite Structures
• /
• v.10 no.3
• /
• pp.207-222
• /
• 2010

Fire incident in buildings is common, so the fire safety design of the framed structure is imperative, especially for the unprotected or partly protected bare steel frames. However, software for structural fire analysis is not widely available. As a result, the performance-based structural fire design is urged on the basis of using user-friendly and conventional nonlinear computer analysis programs so that engineers do not need to acquire new structural analysis software for structural fire analysis and design. The tool is desired to have the capacity of simulating the different fire scenarios and associated detrimental effects efficiently, which includes second-order P-D and P-d effects and material yielding. Also the nonlinear behaviour of large-scale structure becomes complicated when under fire, and thus its simulation relies on an efficient and effective numerical analysis to cope with intricate nonlinear effects due to fire. To this end, the present fire study utilizes a second-order elastic/plastic analysis software NIDA to predict structural behaviour of bare steel framed structures at elevated temperatures. This fire study considers thermal expansion and material degradation due to heating. Degradation of material strength with increasing temperature is included by a set of temperature-stress-strain curves according to BS5950 Part 8 mainly, which implicitly allows for creep deformation. This finite element stiffness formulation of beam-column elements is derived from the fifth-order PEP element which facilitates the computer modeling by one member per element. The Newton-Raphson method is used in the nonlinear solution procedure in order to trace the nonlinear equilibrium path at specified elevated temperatures. Several numerical and experimental verifications of framed structures are presented and compared against solutions in literature. The proposed method permits engineers to adopt the performance-based structural fire analysis and design using typical second-order nonlinear structural analysis software.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.36S no.7
• /
• pp.104-115
• /
• 1999

This paper proposes an efficient method for 3D modeling of a human face from trinocular images by reconstructing face surface using range data. By using a trinocular camera system, we mitigated the tradeoff between the occlusion problem and the range resolution limitation which is the critical limitation in binocular camera system. We also propose an MPC_MBS (Matching Pixel Count Multiple Baseline Stereo) area-based matching method to reduce boundary overreach phenomenon and to improve both of accuracy and precision in matching. In this method, the computing time can be reduced significantly by removing the redundancies. In the model generation sub-pixel accurate surface data are achieved by 2D interpolation of disparity values, and are sampled to make regular triangular meshes. The data size of the triangular mesh model can be controlled by merging the vertices that lie on the same plane within user defined error threshold.