• Journal of the Korean Vacuum Society
• /
• v.2 no.4
• /
• pp.515-519
• /
• 1993

Image processin software is developed to get spot intensity form the frame of a LEEd pattern obtained by using a CCD Camera and a frame grabber. Imporved algorithm for more reasonable background substraction is implemented in this software . I/V Charateristicsof some spots form Cu(001) suface are collected . These results are compared with those of Davis and Noonan and found to be consistent with the latter results. This software is also applied to meausre RHEEd spot intensity oscillatin, and gives clear oscillations very easily.

• Structural Engineering and Mechanics
• /
• v.73 no.2
• /
• pp.181-190
• /
• 2020

In this paper, non-linear dynamic buckling behaviour of laminated composite curved panels subjected to dynamic in-plane axial compressive loads is studied using finite element methods. The work is carried out using the finite element software ABAQUS. The curved panels are modelled with S4R element and the nonlinear dynamic equilibrium equations are solved using the ABAQUS/Explicit algorithm. The effect of aspect ratio, radius of curvature and thickness are studied. The importance of orientation of plies in the direction of loading is also reiterated in this study. Vol'mir's criterion is used to calculate the dynamic buckling loads. The panels are subjected to rectangular pulse load of various amplitude and durations and the responses are observed. For particular loading amplitude, a critical value of loading duration is observed beyond which the variation of dynamic buckling load is insignificant. It is also observed that, the value of dynamic bucking load reduces as the loading duration is increased though the reduction is not much after a particular loading duration.

• Journal of KIISE:Software and Applications
• /
• v.30 no.9
• /
• pp.803-811
• /
• 2003

Multiple sequence alignment is a useful tool to identify the relationships among protein sequences. Dynamic programming is the most widely used algorithm to obtain multiple sequence alignment with optimal cost. However, dynamic programming cannot be applied to certain cost function due to its drawback and cannot be used to produce optimal multiple sequence alignment. We propose sub-alignment refinement algorithm to overcome the problem of dynamic programming. Also we show proposed algorithm can solve the problem of dynamic programming efficiently.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.22 no.1
• /
• pp.88-93
• /
• 2012

In this study, a multi-body dynamic model is developed for a washing machine and the dynamic behaviors of the machine are investigated. The mechanical properties such as spring constants and damping factors are measured from vibrational experiments. With these experimentally obtained mechanical properties, a computer simulation model for the washing machine is established by using a commercial multi-body dynamics software DAFUL. In order to verify the developed simulation model, the dynamic responses computed from simulation are compared to the responses measured from vibration experiments. In addition, the effects of the stiffness and damping factors on the dynamic responses are also analyzed.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.04a
• /
• pp.111-114
• /
• 2004

Management of human knowledge is an interesting concept that has attracted the attention of philosophers for thousands of years. Artificial intelligence and knowledge engineering has provided some degree of rigor to the study of knowledge systems and expert systems(ES) re able to use knowledge to solve the problems and answer questions. Therefore, the process of conceptualization and inference of knowledge are fundamental problem solving activities and hence, are essential activities for solving the problem of software ES construction Especially, the access to relevant, up-to-date and reliable knowledge is very important task in the daily work of physicians and nurses. In this study, we propose the conceptualization and inference mechanism for implicit knowledge management in medical diagnosis area. To this purpose, we combined the dynamic knowledge map(KM) and relational database(RDB) into a dynamic knowledge map(DKM). A graphical user-interface of DKM allows the conceptualization of the implicit knowledge of medical experts. After the conceptualization of implicit knowledge, we developed an RDB-based inference mechanism and prototype software ES to access and retrieve the implicit knowledge stored in RDB. Our proposed system allows the fast comfortable access to relevant knowledge fitting to the demands of the current task.

• Structural Engineering and Mechanics
• /
• v.37 no.6
• /
• pp.593-615
• /
• 2011

This study determines the water length effects on the modal behavior of a prototype arch dam using Operational and Analytical Modal Analyses. Achievement of this purpose involves construction of a prototype arch dam-reservoir-foundation model under laboratory conditions. In the model, reservoir length was taken to be as much as three times the dam height. To determine the experimental dynamic characteristics of the arch dam using Operational Modal Analysis, ambient vibration tests were implemented for empty reservoir and three different reservoir water lengths. In the ambient vibration tests, the dam was vibrated by natural excitations provided from small impact effects and the response signals were measured using sensitive accelerometers. Operational Modal Analysis software process signals collected from the ambient vibration tests, and Enhanced Frequency Domain Decomposition and Stochastic Subspace Identification techniques estimated modal parameters of the dams. To validate the experimental results, 3D finite element model of the prototype arch dam was modeled by ANSYS software for empty reservoir and three different reservoir water lengths, and dynamic characteristics of each model were determined analytically. At the end of the study, experimentally and analytically identified dynamic characteristics compared to each other. Also, changes on the natural frequencies along to water length are plotted as graphs. Results suggest that reservoir water complicates the modal behavior of the arch dam significantly.

• Journal of Internet Computing and Services
• /
• v.5 no.6
• /
• pp.111-120
• /
• 2004

In order to increase the productivity of software, the research to reduce the total cost in software development environments is working, Considerable time is wasted waiting for a changed program in program development, however smell the change, to be edited and compiled and executed. In case of partial change, we need incremental interpreter for reexecuting the changed parts and its affected parts, In this paper, we implement the incremental interpreter by using analyzing dynamic semantics at execution time, We define a new IMPLO(IMPerative Language with Object) language using EBNF(Extended Backus Naur Form) notation and then, design and implement the incremental interpreter of this language by using action equations to describe the dynamic semantics.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.315-326
• /
• 2000

As Internet is being widely used as an infra of distributed applications, the most of today's softwares are changing into Internet-based distributed applications. The development methods using the middleware, like CORBA ORB, make the development of the web-based software easy. However, the performance verification method useful for an optimized software distribution is not provided at software development. Additionally, monitoring methods and metrics for dynamic load-balancing are not presented at run-time. This paper presents the method to monitor the message between objects, load metric, and metrics for load-balancing. To calculate a load of a node, we define events occurred between applications, time between the events, then extract the data related to a load. And we derive formula calculating the load from the extracted data. Then using the formula, we present the metrics for dynamic load-balancing. Moreover, we observe the utilization and efficiency of the monitoring algorithm, load metric, and load-balancing metrics.

• KIPS Transactions on Computer and Communication Systems
• /
• v.3 no.2
• /
• pp.31-42
• /
• 2014

Debugger systems are necessary to apply dynamic program analysis when evaluating security properties of embedded system software. It may be possible to make the use of software-based debugger and/or DBI framework if target devices support general purpose operating systems, however, constraints on applicability as well as environmental transparency might be incurred thereby hindering overall analyzability. Analysis with JTAG (IEEE 1149.1) debugging devices can overcome these difficulties in that no change would be involved in terms of internal software environment. In that sense, JTAG API can facilitate to practically perform dynamic program analysis for evaluating security properties of target device software. In this paper, we introduce an implementation of JTAG API to enable analysis of ARM core based embedded systems. The API function set includes the categories of debugger and target device controls: debugging environment and operation. To verify API applicability, we also provide example analysis tool implementations: our JTAG API could be used to build kernel function fuzzing and live memory forensics modules.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.3 no.1
• /
• pp.97-101
• /
• 1993