• Journal of the Korean Data and Information Science Society
• /
• v.10 no.1
• /
• pp.79-89
• /
• 1999

A counting rule that allows an element to be linked to more than one enumeration unit is called a multiplicity counting rule. Sample designs that use multiplicity counting rules are called network samples. Defining a network to be a set of observation units with a given linkage pattern, a network may be linked with more than one selection unit, and a single selection unit may be linked with more than one network. This paper considers allocation for multivariate stratified random sampling with multiplicity.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2000.10a
• /
• pp.182-189
• /
• 2000

This paper presents a simple and reliable constitutive model for predicting the nonlinear response of reinforced concrete subjected to general membrane loadings. Based on the concept of equivalent uniaxial strain, constitutive relations of concrete are presented in the axes of orthotropy. The behavior of cracked concrete is described by a system of orthogonal cracks, which follows the principal strain directions and rotates according to the loading history. Simple hysteretic rules defining the cyclic stress-strain curves of concrete and steel are used. In addition, the stiffness and strength degradation of cracked concrete is included in the formulation. Correlation studies between analytical results and experimental values from idealized shear panel tests are conducted with the objective to establish the validity of the proposed model.

• International Journal of CAD/CAM
• /
• v.11 no.1
• /
• pp.1-10
• /
• 2011

Product lifecycle management (PLM) is a new business strategy for enterprise's product R&D. A PLM system holds and maintaining the integrity of the product data produced throughout its entire lifecycle. There is, therefore, a need to build a safe and effective product data model to support PLM system. The paper proposes a domain-based product data model for PLM. The domain modeling method is introduced, including the domain concept and its defining standard along the product evolution process. The product data model in every domain is explained, and the mapping rules among these models are discussed. Mapped successively among these models, product data can be successfully realized the dynamic evolution and the historical traceability in PLM system.

• Journal of the Korean Society for information Management
• /
• v.18 no.2
• /
• pp.231-254
• /
• 2001

As contemporary thesauri have become large and complex, it is increasingly difficult to assess the intended meaning of each one of the terms. Thereby the meaning of many descriptors seems to be very similar, and it is often not possible to distinguish among them and to identify the term correctly. Purpose of this article is to induce definitions of descriptors in thesaurus by specifying the characteristics of each concept, locating it in the domain and providing clear and prescriptive information on the meaning of each descriptor in the form of a standardized terminological definition. In this study, a small prototype thesaurus using definition of term in the field of information industry in Korean Standards has been developed. In this thesaurus definitions are written for each descriptor with the help of a proposed defining model and in accordance with defining rules borrowed from the field of terminology. In addition, elements of analyzed definition have been included in the relation structure of descriptors. It is revealed that terminological definition added to thesaurus may permit extraction of separate items of information from definitions for the representation of knowledge structures and makes it easier to confine the scope of descriptors to be included in thesaurus in a given subject field.

• Journal of KIISE:Software and Applications
• /
• v.33 no.12
• /
• pp.1008-1021
• /
• 2006

Product line engineering(PLE) is one of the recent and effective reuse approaches that enables developing a number of applications by instantiating a core asset. Elements of a core asset are product line architecture(PLA), component, and decision model. Among these elements, PLA is the key element since it defines the overall structure of the core asset. Although numerous PLE methodologies have been introduced, it is still unclear what should be the elements of a PLA and how to systematically instantiate it for specific applications. Formal specifications can play a key role in defining detailed and precise instantiation process. In this paper, we first present a meta model of PLA and show how to specify PLA in a formal language, Object-Z. Then, we propose instantiation rules using formal specification and those rules precisely define constraints for instantiating PLA. By applying the proposed formal specification, we believe PLA instantiation can be carried out precisely and correctly, yielding high quality software development.

• The Journal of the Korea Contents Association
• /
• v.11 no.9
• /
• pp.515-523
• /
• 2011

It is important to manage large amount of information from various information providers for supporting recent information services such as providing global research trends, detecting emerging signal and listing leading researchers. For integrated management, definition of integrated metadata schema, data transformation and schema matching are needed. It is first necessary to analyze existing various metadata for defining integrated metadata schema. In this paper, we have analyzed several metadata of scientific journal papers by classifying semantics, content rules and syntax, and looked around considerations to make integrated schema or transform metadata. We have known that XML is used as a syntax for supporting convenience and various usage condition, and hierarchy element names and common elements in semantics are needed. We also have looked at elements having various content rules and related standards. We hope that this study will be used as basic research material of metadata integrated management, data transform and schema matching for interoperability.

• The Korean Journal of Air & Space Law and Policy
• /
• v.23 no.2
• /
• pp.207-223
• /
• 2008

The launching of the Taepo-dong 1 on 31 August 1998 by the North Korea was the first case where the diplomatic protests was made against the flight, the purpose of which, the launching State claimed, consisted in space exploration and use. It is the principle regarding the freedom of space exploration and use, as included in the international treaty, that is relevant in applying the various rules and in defining the legal status of the flight. Its legal status, however, was not actually taken into account, as political negotiations leading to the test moratorium has been successful until present day in freezing the political crisis. This implies that the rules of the law lack the validity and logic sufficient in dictating the conduct of the States. This case shows that, in effect, it is not the rule but the politics that is to govern the status of the flight.

• Journal of the Korea Society for Simulation
• /
• v.21 no.1
• /
• pp.9-17
• /
• 2012

War-game simulation models the situation of a battlefield and has been used for evaluating fighting power and analyzing the occupation of a troop. However, in war-game simulation environment, it is very complex to consider all factors which can be influenced in real battlefields. To solve the problem of the consideration, we propose an ontology-based path finding model. This model uses an ontology to conceptualize the situation data of a battlefield and represents the relations among the concepts. In addition, we extract new knowledge from the war-game ontology by defining some inference rules and share knowledge by the established rules. For the performance evaluation of the proposed model, we made a limitation on the simulation environment and measure the moving time of a troop, the fighting capability of a troop, and the necessary cost while a troop is moving. Experimental results show that this model provides many advantages in aspects of the moving time, a loss of fighting capability, and the necessary cost.

• Journal of KIISE
• /
• v.42 no.9
• /
• pp.1147-1161
• /
• 2015

The ISO/IEC 11179 Metadata registry (MDR) is an international standard that was developed to register and share metadata. ISO/IEC 11179 represents an MDR as a metamodel that is an object model. However, it is difficult to develop an MDR based on ISO/IEC 11179 because the standard has no clear criteria to transform the metamodel into a database. In this paper, we suggest the design of an MDR data model that is based on object-relational transformation methodology (ORTM) for the MDR implementation. Hence, we classify the transformation methods of ORTM according to the corresponding relationships. After classification, we propose modeling rules by defining the standard use of the transformation. This paper builds the relational database tables as an implementation result of an MDR data model. Through experiments and evaluation, we verify the proposed modeling rules and evaluate the suitability of the created table structures. As the result, the proposed method shows that the table structures preserve classes and relationships of the standard metamodel well.

• Journal for History of Mathematics
• /
• v.21 no.2
• /
• pp.81-90
• /
• 2008

It has been noticed the greater importance of mathematical education, particularly of multi-variable calculus in the undergraduate level with remarkable progress of all sorts of sciences requiring mathematical analysis. However, there was lack of variety of introducing the definition of differentiation of multi-variable functions - in fact, all of them basically rely on the chain rules. Here we will introduce a way of defining the geometrical differentiation of the multi-variable functions based upon our teaching experience. One of its merits is that it provides the geometric explanation of the differentiation of the multi-variable functions, so that it conveys the meaning of the differentiation better compared with the known methods.