• The Transactions of the Korea Information Processing Society
• /
• v.1 no.2
• /
• pp.202-214
• /
• 1994

A functional reduction method of Petri nets is proposed. The method is based on interpretation of relations and transitions with functions which map one series of a relation a another. In particular, we propose CF-join which combines two transitions to new one after reduction of the common places, CE-join which superpose two transitions to one after superposition of the common places, and EQ-join which reduces the common places, after the Petri nets were explained be a relational scheme. A reduced net can be obtained without changing the properties such as liveness and boundness.

• International Journal of Advanced Culture Technology
• /
• v.6 no.2
• /
• pp.117-122
• /
• 2018

As evidenced through rapidly growing digital repositories and web resources, automatic metadata generation is becoming ever more critical, especially considering the costly and complex operation of manual metadata creation. Also, automatic metadata generation is apt to consistent metadata application. In this sense, metadata quality and interoperability can be enhanced by utilizing a mechanism for automatic metadata generation. In this article, a mechanism of automatic metadata extraction called ExMETA is introduced in order to alleviate issues dealing with inconsistent metadata application and semantic interoperability across ever-growing digital collections. Conceptual graph, one of formal languages that represent the meanings of natural language sentences, is utilized for ExMETA as a mediation mechanism that enhances the metadata quality by disambiguating semantic ambiguities caused by isolation of a metadata element and its corresponding definition from the relevant context. Hence, automatic metadata generation by using ExMETA can be a good way of enhancing metadata quality and semantic interoperability.

• Journal of ILASS-Korea
• /
• v.1 no.1
• /
• pp.44-54
• /
• 1996

A theoretical and experimental study was carried out on the prediction of drop size distribution of the pressure swirl atomizer. Drop size distribution was obtained by using maximum entropy formal ism. Several constraints in the form of the definition of mean diameter were used in this formulation in order to avoid the difficulties of the estimating source terms. In this study $D_{10}$ was only introduced into the formulation as a constraint. A drop size obtained by using linear Kelvin-Helmholtz instability theory was considered as an unknown characteristic length scale. As a result, the calculated drop size was agreed well with measured mean diameter, particularly with $D_{32}$. The predicted drop size distribution was agreed welt with experimental data measured wi th Malvern 2600.

• School Mathematics
• /
• v.4 no.3
• /
• pp.463-481
• /
• 2002

In this paper, I review the historical background of "the principle of the permanence of equivalent forms" and sum- marize properties of "the principle of the permanence of equivalent forms" as a kind of heuristic. 1 think that "the principle of the permanence of equivalent forms" can be used effectively for student's discovery of the algebraic structure. There are three ways of using "the principle of the permanence of equivalent forms" in extending number system - an extension on the base of set theory(SMSC), the formal or axiomatic extrapolation and the inductive-extrapolatory method. All those three methods are mixed up and being used potentially at various levels in current Korean text books. "The principle of the permanence of equivalent forms" is used most effectively in the subject of the exponent. 1 try to present a situation that makes the students find more general definition and cultivate their desirable attitudes for the mathematics in the process of extending the exponent through summarizing the debate between Goel & Robillard(1997) and Tirosh S, Even(1997).

• Journal of Korean Library and Information Science Society
• /
• v.10
• /
• pp.133-155
• /
• 1983

Most important of all was the concept of library life-long education on which the studies were to be based. This concept has been broad, both in its interpretation of what constitutes a "program" and of what life-long education in a library is. No formal definition was adopted, but a common understanding existed that a fundamental purpose of the public library is to provide the means of continuing education, and to encourage the most effective utilization of these means through a program of activities whose effects are continuous and cumulatives. There are educational program, socio-cultural program and recreational program in the life-long education program of the public library. These programs can be planned by which the public library developed its resources and its services. services.

• Proceedings of the KSRS Conference
• /
• 2004.10a
• /
• pp.276-279
• /
• 2004

The location-based service is one of the most powerful services in the mobile area. The location-based service provides information service for moving user's location information and information service using wire / wireless communication. In this paper, we propose a model for personalized recommendation system which includes location information and personalized recommendation system for location-based service. For this service system, we consider mobile clients that have a limited resource and low bandwidth. Because it is difficult to input the words at mobile device, we must deliberate it when we design the interface of system. We design and implement the personalized recommendation system for location-based services(advertisement, discount news, and event information) that support user's needs and location information. As a result, it can be used to design the other location-based service systems related to user's location information in mobile environment. In this case, we need to establish formal definition of moving objects and their temporal pattern.

• The Korean Society of Law and Medicine
• /
• v.14 no.2
• /
• pp.11-41
• /
• 2013

Article 347 of criminal law provides the act of deceiving another, thereby taking property or obtaining pecuniary advantage from another. On the other hand, the concepts of fraud and abuse are confused upon interpretation since the definition in National Healthcare Insurance Law is unclear, and it affects closely to the administrative measures such as surcharge levy by the period of inspection, therefore, the disputes continue in the forms of formal objection, administrative ruling and administrative litigation. This study aims to look over the legal problems on application of criminal fraud toward the abuse of 'Paid Medical Expenses(Article 57, Sections 1 and 4 of the National Health Insurance Act)'. The main issues are concept of abuse(Article 57, Sections 1 and 4 of the National Health Insurance Act), the problems of Directions of Health-Welfare Ministry on aspect of 'Nullum crimen sine lege' Principles, the proper sentenc-ing guidelines of fraud.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.8
• /
• pp.1972-1988
• /
• 2013

In order to deal with key exposure problem, we introduce forward secure technique into certificateless proxy signature scheme, and propose the formal definition and security model of the forward secure certificateless proxy signature. Our security model takes into account the super adversary in certificateless signature. Furthermore, we present a construction of forward secure certificateless proxy signature scheme with bilinear maps. Based on the difficulty of computational Diffie-Hellman problem, we prove the scheme is secure against chosen message attack in the random oracle model. Finally, we analyze efficiency of the proposed scheme.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.12
• /
• pp.5553-5571
• /
• 2016

In this paper, we introduce a new concept called generalized ring signcryption (GRSC), which can achieve ring signature and ring signcryption functions with only one key pair and one algorithm. It is very useful for a system which has a large number of users, or has limited storage space, or whose function requirements may be changed later. We give a formal definition and a security model of GRSC and propose a concrete scheme based on bilinear pairings. In the random oracle model, the scheme's confidentiality can be proved under the GBDH assumption, and its unforgeability can be proved under GDH' assumption, and what is more, this scheme also allows unconditional anonymity. Compared with other identity-based ring signcryption schemes that use bilinear pairings as well, our scheme is a highly efficient one.

• The Journal of Society for e-Business Studies
• /
• v.2 no.2
• /
• pp.55-74
• /
• 1997

In this paper, the concept of coordination under the setting of cooperative multiagent systems is examined. Based on the concept, a computational model in which the key constructs of coordination can be precisely defined is developed. This model can serve as a basis for developing software systems designed to support coordination in Eletronic Commerce. Coordination is viewed as management of conflicting demands on finite resources by actors or acitivities. The model views coordination as a cycle of four phases: the definition phase, the conflict resolution phase, the action phase, and the adaptation phase. Then, a formal model of coordination, both as a phenomenon and as a process is devloped. Within the context of this model, important concepts such as decomposability, informational privacy, informational decentralization, and informational efficiency are examined.