• Korean Management Science Review
• /
• v.15 no.2
• /
• pp.177-200
• /
• 1998

One of organization's generic functions is the interpretation of events to carry out decision-making activities. In intelligent Data Interpretation System(IDIS), Interpreting is computationally modeled as classification of new data into categories having similar features. We define the Extensional Object Model(ExOM) as a formalism for IDIS. In ExOM, objects and categories are loosely coupled to provide flexibility for both object description and category definition in data gathering and interpretation process. Objects are classified inductively based on exemplars of categories as well as deductively based on category structures.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.35 no.9
• /
• pp.836-842
• /
• 2007

This paper describes the development of an automated operational orbit processing system (KGS automated Operational Orbit Processing System, KOOPS), which can determine, evaluate, update, and generate the orbit data automatically. Developed system can be applied to the multi satellite mission operations as a generic satellite orbit processing system in that the KOOPS has a capability to process various kinds of tracking data and assign pre and post processes according to the satellite system respectively. Results of applying the KOOPS to the KOMPSAT-1 and KOMPSAT-2 mission operations show that man power is greatly reduced and the efficiency and stability of the mission operations are significantly increased. The experiences to develop the KOOPS and operate multi satellite missions using this system can be applied to enhance the multi and generic flight dynamics system further.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.2 s.40
• /
• pp.7-13
• /
• 2006

The advent of Semantic Web has generated several methods that can access the data on the web. Thus, it is necessary to handle the data by accessing the current web ontology as well as the existing knowledge base system. Web ontology languages are RDF(Resource Description Framework), DAML-OIL, OWL(Web Ontology Language), and so on. This paper presents the creation and the method of the ontology object model that can access, represent, and process the web ontology and the existing knowledge base. Unlike the existing access approach of web ontology using the model on memory constructed by each parser, we divide the model of web ontology into three layers such as frame-based ontology layer, generic ontology layer, and functional ontology layer. Generic ontology layer represents the common vocabulary among several domains and functional ontology layer contains the dependent vocabulary to each ontology respectively. Our model gets rid of the redundancy of the representation and enhances the reusability. Moreover, it can provide the easy representation of knowledge and the fast access of the model in the application.

• Journal of Korean Society for Quality Management
• /
• v.24 no.1
• /
• pp.10-19
• /
• 1996

In order to build a model to predict accidents in a complicated man-machine sytem, human errors and mechanical reliability can be viewed as the most important factors. Such factors are explicitly included in a generic model. Another point to keep in mind is that the model should be constructed so that the data in a type of accident can be utilized to predict other types of accidents. Based on such a generic prediction model, we analyze the effects of system reliability. When we improve the system reliability, in other words, when there are changes in model parameters, the predicted time to next accidents should be modified influencing the effects of system reliability improvements. We apply Bayesian approach and finds the formula to explain how a change on the machine reliability or human error probability influences the time to next accident.

• Wind and Structures
• /
• v.13 no.2
• /
• pp.95-108
• /
• 2010

This review paper discusses research from the last few years relating to windborne debris risk models and the essential elements of engineering damage prediction models. Generic types of windborne debris are discussed. The results of studies of debris trajectories that are relevant to damage models are described - in particular the horizontal component of debris velocity as a function of distance travelled. The merits of impact momentum versus impact kinetic energy as a relevant parameter for predicting damage are considered, and how published data from generic cannon Impact tests can be used in risk models. The quantitative variation of debris impact damage with wind speed is also discussed. Finally the main elements of previously-proposed debris damage models are described.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.11a
• /
• pp.281-284
• /
• 2000

For estimation manufacturing cost during the early design stage, desingers have to know compositon of manufacturmg cost. Manufacturing cost is summalion of material cost and processmg cost. To be able to control the manufacturmg cost, it is necessary to estimate the costs adequately and to store the cost data in a generic way. a generic system, which is the basis for the control of the production costs, takes into account geometric information, material information, process information and production planning information Manufacturing cost is summation of material cost and processing cost.

• Proceedings of the KIEE Conference
• /
• 1995.07b
• /
• pp.673-675
• /
• 1995

A nonlinear process-model based control for main steam temperature control of a 100MW oil-fired drum-type fossil power plant is delveloped and its performances are compared to those of the conventional PID control. The process model for simulation is derived based "first priciple approach" and is validated in steady and transient conditions. The model is in good agreements with the field test data. Performances of the nonlinear PMBC for main steam temperature control are far superior to those of PID in all aspects for the disturbances of ramp increase in load and step change in fuel Btu value.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.243-256
• /
• 2023

We deal with a type of inverse pseudo-orbit tracing property with respect to the class of continuous methods, as suggested and studied by Pilyugin [54]. In this paper, we consider a continuous method induced through the diffeomorphism of a compact smooth manifold, and using the concept, we proved the following: (i) If a diffeomorphism f of a compact smooth manifold M has the robustly pointwise inverse pseudoorbit tracing property, f is structurally stable. (ii) For a C1 generic diffeomorphism f of a compact smooth manifold M, if f has the pointwise inverse pseudo-orbit tracing property, f is structurally stable. (iii) If a diffeomorphism f has the robustly pointwise inverse pseudo-orbit tracing property around a transitive set Λ, then Λ is hyperbolic for f. Finally, (iv) for C¹ generically, if a diffeomorphism f has the pointwise inverse pseudo-orbit tracing property around a locally maximal transitive set Λ, then Λ is hyperbolic for f. In addition, we investigate cases of volume preserving diffeomorphisms.

• Proceedings of the Korean Society of Marine Engineers Conference
• /
• 2002.05a
• /
• pp.201-204
• /
• 2002

This study is for developing of the viwer that using Java3D API to viewing the modeling data from 3D CAD/CAM applications. For this Java3D is chosen for platform independent applying and distributed manufacturing environment. The developing system will be working with various modeling data of 3D shape for design and manufacturing on generic computer systems.

• Journal of the Korean Data and Information Science Society
• /
• v.25 no.5
• /
• pp.1039-1055
• /
• 2014

The distribution of a test statistic under a null hypothesis depends on the unknown distribution of the data and thus is unknown as well. Conditional tests replace the unknown null distribution by the conditional null distribution, that is, the distribution of the test statistic given the observed data. This approach is known as permutation tests and was developed by Fisher (Fisher, 1935). Theoretical framework for permutation tests was given by Strasser and Weber(1999). The coin package developed by Hothon et al. (2006, 2008) implements a unified approach for conditional inference via the generic independence test. Because convenient functions for the most prominent problems are available, users will not have to use the extremely flexible procedure. In this article we briefly review the underlying theory from Strasser and Weber (1999) and explain how to transform the data to perform the generic function independence test. Finally it was illustrated with a few real data sets.