• Food Science and Industry
• /
• v.51 no.3
• /
• pp.196-208
• /
• 2018

This paper described the contents of the WTO (world trade organization) SPS (world trade organization) Agreement and trends in the WTO SPS provisions such as equivalence, localization, transparency, and risk assessment. The purpose of the WTO SPS agreement is to promote international trade by preventing arbitrary and unreasonable use of SPS measures, which are the rights of a country for the protection of human health and animal and plant health, and by abolishing the non-tariff barriers. To this end, the requirements for implementing the SPS measures taken by the importing country are restricted to those that can scientifically prove to be inevitable for SPS protection. The major provisions in WTO SPS agreement were elaborated to promote international trades. When trade-restricted SPS measures such as prohibition of imports are made, a scientific basis should be provided. Therefore, it is essential to provide scientific evidence based on risk analysis to protect people's health from potentially harmful imported foods.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.324-326
• /
• 2008

컴포넌트 기반 개발(Component Based Development, CBD)은 높은 품질의 소프트웨어를 신속하고 효과적으로 개발할 수 있는 방법으로써 각광 받아 왔다. 하지만 CBD를 이용한 기존의 소프트웨어 개발은 컴포넌트의 행위를 배제하고 컴포넌트 인터페이스만 참조하여 컴포넌트를 설계함으로써, 컴포넌트의 구체적인 행위에 대한 파악과 컴포넌트 간 인터페이스 호환성 보장이 불가능하였다. 이에 따라 컴포넌트 설계 단계에서 컴포넌트의 행위를 상태머신으로 표현하고, 표현된 상태머신을 통해 컴포넌트의 행위 호환성을 보장할 필요가 있다. 이 연구에서는 상태머신으로 표현된 컴포넌트의 행위를 관찰 일치(observation equivalence)와 호출 일관성(invocation consistency)의 개념을 이용하여 행위 호환성을 검증하는 방법을 제공하고, 동적으로 이를 수행하는 도구를 설계한다.

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.2
• /
• pp.27-32
• /
• 2004

If the areas existing in an object are composed of different color sets, the applicable object is segmented into independent areas so it gets to lose the meaning as an object. Therefore, it is required to selectively apply other information on the areas in addition to color information. Based on this methodology, this study, in addition to color information, has also analyzed the shape of isophotes that connect equivalence of brightness as a way of expressing cubic effect. And, through the analyzed information, it has judges independence or dependence of the areas, and then, proposed a way of object separation through significant regional matching of an object.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.9
• /
• pp.4742-4770
• /
• 2019

Cloud computing provides a broad range of services like operating systems, hardware, software and resources. Availability of these services encourages data owners to outsource their intensive computations and massive data to the cloud. However, considering the untrusted nature of cloud server, it is essential to encrypt the data before outsourcing it to the cloud. Unfortunately, this leads to a challenge when it comes to providing search functionality for encrypted data located in the cloud. To address this challenge, this paper presents a public key encryption with equality test for heterogeneous systems (PKE-ET-HS). The PKE-ET-HS scheme simulates certificateless public encryption with equality test (CLE-ET) with the identity-based encryption with equality test (IBE-ET). This scheme provides the authorized cloud server the right to actuate the equivalence of two messages having their encryptions performed under heterogeneous systems. Basing on the random oracle model, we construct the security of our proposed scheme under the bilinear Diffie-Hellman (BDH) assumption. Eventually, we evaluate the size of storage, computation complexities, and properties with other related works and illustrations indicate good performance from our scheme.

• Journal of Plant Biotechnology
• /
• v.47 no.4
• /
• pp.261-272
• /
• 2020

Approvals for cultivation and import of genetically modified (GM) crops have dramatically increased around the world. Comparative compositional studies are an important aspect of safety assessments of products from GM crops and are based on substantial equivalence. Compositional analyses focus on determining similarities and differences between the compositions of the GM crops and their conventional counterparts, and thereby assessing the compositional equivalence of GM crops and their conventional comparators. The analytes, such as major constituents, key nutrients, and antinutrients, are generally determined on a crop-specific basis according to the OECD consensus document. The use of standard methods throughout the processes, such as selection of comparators, field trials, analytical methods, and statistical data analysis, is crucial. In this study, we showed the general framework of compositional studies. Literature for compositional studies of GM crops conducted abroad and in Korea was reviewed to obtain information about analytes, conventional counterparts, cultivation year, location, and statistical methods. The studies conducted abroad assessed for commercial release of GM crops such as soybean, maize, and cotton, while domestic studies were mainly performed for research in rice. In addition, we suggested a guidance for conventional comparators and field trials applicable to the domestic situation.

• Korean Journal of Construction Engineering and Management
• /
• v.10 no.4
• /
• pp.151-164
• /
• 2009

Strategic alliances developed as formalized inter-organizational relationships are core vehicles to share information, resources and knowledge. The structural characteristics of strategic network constructed by strategic alliances have been important agenda in strategic management discipline. This paper has two folds in analysing the strategic network formulated by project level alliances in Korean construction industry. First, we investigate the strategic network using the tools and methods of social network analysis, such as centrality, cohesion, structural equivalence, and power law. Second, the performance of firms within networks are analysed longitudinally with panel data analysis. We have found that the strategic networks in this industry has scale-free characteristics, where the degree distribution fits the power law, and the vertically equivalent structure is clear. We also present that the performance of firms are continuously affected by the degree centrality of firms in this network for the last 10 years.

• Journal of Internet Computing and Services
• /
• v.13 no.1
• /
• pp.83-98
• /
• 2012

Recently Web services and SOA(Service Oriented Architecture) is widely used for an effective integration way of distributed applications. The service choreography is a way of service compositions to define workflows and the message exchange protocols among several partner ser-vices in the B2B business process environment. It defines the overall business process from a global perspective. However, it must be transformed into some kind of the executable form to implement service compositions, because it does not support an execution mechanism but is a de-clarative form. Therefore, the transformed executable model must be validated with the original choreography model to guarantee behavior equivalence. In this paper, we propose the conformity assessment with respect to service compositions method between the choreography model and the transformed executable model. And we suggest the test method to show behavior equivalence between them from a viewpoint of the dynamic execution.

• Journal of Internet Computing and Services
• /
• v.8 no.2
• /
• pp.1-13
• /
• 2007

GPS/GIS and RFID technologies have been changing the paradigm af our society toward ubiquitous era. Especially, geographically distributed mobile agents with transporting objects need to be automatically recognizable and traceable under certain conditions. To do this, fundamental theories and technologies are required to specify and verify spatial and temporal behaviors of agents on geographical space. This paper presents a new formal method, called Calculus of Real-Time Distribution, Mobility, and Interaction (CaRDMI), for this purpose. For specification, CaRDMI defines a map, mobile agents with transporting objects. The movement of on agent is represented by a path on the map, consisting of a list of nodes and a list of edges with spatial and temporal constraints. Interactive constraints among agents are represented by synchronization modes on objects at nodes. These constraints are distinguishable features of CaRDMI from other methods. Especially, many-to-many timed synchronization constraints are noticeable. For verification, CaRDMI presents the spatial, temporal and interactive deduction rules and the spatial and temporal equivalence relations.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.12 no.2
• /
• pp.11-17
• /
• 1975

The paper examined the character structure as a basic study for the recognition of Korean characters. In view of concave structure, line structure and node relationship of character graph, the algebraic structure of the basic Korean characters is are analized. Also, the degree of complexities in their character structure is discussed and classififed. Futhermore, by describing the fact that some equivalence relations are existed between the 10 vowels of rotational transformation group by Affine transformation of one element into another, it could be pointed out that the geometrical properting in addition to the topological properties are very important for the recognition of Korean characters.

• Journal of Digital Convergence
• /
• v.19 no.10
• /
• pp.377-382
• /
• 2021

A fuzzy relation between X and Y as fuzzy subset of X × Y was proposed by Zadeh. Subsequently, several researchers have applied the notion of fuzzy subsets to various branches of mathematics and computer sciences. Murali an Nemitz have studied fuzzy relations connected with fuzzy equivalence relations and fuzzy functions. Ounalli and Jaoua defined a fuzzy difunctional relation on a set. difunctional relations are versatile mathematical tool, which can be used in software design and in database theory. Their work have revealed the usefulness of difunctional relations in program specification and in defining program correctness. The main goal of this paper is to define a fuzzy deterministic relation on a set, characterize the fuzzy deterministic relation as its level subsets and investigate some properties in connection with fuzzy deterministic relation. In particular we prove that a fuzzy relation R is fuzzy deterministic iff R is a fuzzy function.