• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2001.01a
• /
• pp.97-108
• /
• 2001

Frauds detection is a difficult problem, requiring huge computer resources and complicated search activities Researchers have struggled with the problem. Even though a fee research approaches have claimed that their solution is much better than others, research community has not found 'the best solution'well fitting every fraud. Because of the evolving nature of the frauds. a novel and self-adapting method should be devised. In this research a new approach is suggested to solving frauds in insurance claims credit card transaction. Based on evolutionary computing approach, the method is itself self-adjusting and evolving enough to generate a new self of decision-makin rules. We believe that this new approach will provide a promising alternative to conventional ones, in terms of computation performance and classification accuracy.

• Journal of Arbitration Studies
• /
• v.8 no.1
• /
• pp.3-33
• /
• 1998

Since the Start of WTO in 1995, world trade volume was substantially increased as much as over $250 billion by lifting the trade barriors This effect brought new problem of increasing disputes. Significantly an ever increasing atention is paid to the Question of means and procedures of settling such disputes by arbtration. The problem of arbitration has indeed become most popular with all those who take interest in legal aspects of international cooperation in various spheres. In practice arbitration seems to renovate its function to take over new disputes arising from electronic transaction such as internet trade. Looking at the actual use of arbitration, its merits than litigation should cover new aspect concerning new kind of claims caused by new type of transaction. The efficient procedure for dispute will help every country save loss of profit by the delay of settlment. This thesis aims to facilitate the appearence of more efficient arbitration procedure for dispute settlment system.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2001.06a
• /
• pp.293-304
• /
• 2001

frauds detection is a difficult problem, requiring huge computer resources and complicated search activities. researchers have struggled with the problem. Even though a flew research approaches have claimed that their solution is much bettor than others, research community has not found 'the best solution'well fitting every fraud. Because of the evolving nature of the frauds, a Revel and self-adapting method should be devised. In this research a new approach is suggested to solving frauds in insurance claims and credit card transaction. Based on evolutionary computing approach, the method is itself self-adjusting and evolving enough to generate a new set of decision-making rules. We believe that this new approach will provide a promising alternative to conventional ones, in terms of computation performance and classification accuracy.

• Food Science of Animal Resources
• /
• v.29 no.4
• /
• pp.523-532
• /
• 2009

Changing health awareness has had an important effect on the functional food industry and is creating greater market opportunities. Unfortunately, there is no statement on functional dairy products in the Processing of Livestock Products Act. As a result, there is confusion in the market and legal difficulties with regard to the advertising of functional dairy products. This study was carried out to improve the current standardization of functional dairy products by comparing the domestic Health/Functional Food Act with the Japanese Health Promotion Law, and by investigating scientific data and articles from various literature and the Internet. In Japan, the Ministry of Health, Labor, and Welfare (MHLW) officially presented the Food with Health Claims (FHC) system that consists of Food with Nutrient Function Claims (FNFC), and innovated Food for Specified Health Uses (FOSHU). In 2005, the FOSHU system was changed to include several new subsystems: Current, Standardized, Reduction of disease risk, and Qualified FOSHU. Finally, to manufacture FOSHU, scientific evidence pertaining to such products must be examined by MHLW. Since FNFC was allowed, only 12 vitamins, ${\beta}-carotene$, and five minerals were approved, though without scientific evidence of efficacy. The Korean Health/Functional Food Act requires that health/functional foods (HFFs) be marketed in measured doses. There are two types of HFFs: generic and product-specific. There are 67 ingredients listed in the act for generic HFFs, and if an HFF has a new active ingredient, it is considered a product-specific HFF. Product-specific HFFs must be approved by the Korean Food and Drug Administration (KFDA). With the present standards, it is impossible to label and advertise functional dairy products with health/functional claims. Government agencies must cooperate to solve this problem, and standardization should be carried out by considering existing health/functional products and claims/indications from other countries.

• Korean Journal of Logic
• /
• v.15 no.2
• /
• pp.223-250
• /
• 2012

The reference-class problem is known as a problem that frequentism on the nature of probability is supposed to encounter. Alan H$\acute{a}$jek argues that other theories on the nature of probability also meet this problem inevitably and claims that we can resolve the problem by regarding conditional probabilities as primitive. In this paper I shall present an adequate way of understanding the reference-class problem and its philosophical implications by scrutinizing his argument. H$\acute{a}$jek's claim is to be classified into the following two: (i) probability is relative to its reference class and (ii) what is known as the 'Ratio' analysis of conditional probability is wrong. H$\acute{a}$jek believes that these two are to be closely related but I believe these two should be separated. Moreover, I shall claim that we should accept the former but not the latter. Finally, regarding the identity condition of reference class I shall distinguish the extensional criterion from the non-extensional one. I shall claim that the non-extensional criterion is the right one for the identity condition of reference class by arguing that the reference-class problem should be regarded as an instance of the qua-problem.

• Convergence Security Journal
• /
• v.18 no.4
• /
• pp.35-43
• /
• 2018

Currently, digital evidence takes judicial discretion in adopting it, which does not clarify the criteria for adoption, and it can shorten the analysis time of digital evidence with distributed processing techniques. However, due to the development of cryptographic techniques, there is a problem in that it is not suitable for the 48 hour limit of the warrant request. In this paper, we analyze the precedents for admissibility of evidence and the probative power in the civil/criminal proceedings, and discuss the need for objective and detailed adoption criteria to replace judicial discretion. In addition, we'd like to propose a preliminary application form for analysis of digital evidence as a problem for limit time for warrant claims from the perspective of forensics and a solution to the problem.

• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.349-358
• /
• 2014

Human being has attempted to solve the problem of imperfect knowledge for a long time. In 1982 Pawlak proposed the rough set theory to manipulate the problem in the area of artificial intelligence. The rough set theory has two interesting properties: one is that a rough set is considered as distinct sets according to distinct knowledge bases, and the other is that distinct rough sets are considered as one same set in a certain knowledge base. This leads to a significant philosophical interpretation: a concept (or an event) may be understood as different ones from different perspectives, while different concepts (or events) may be understood as a same one in a certain perspective. This paper claims that such properties of rough set theory produce a mathematical model to support critical realism and theory ladenness of observation in the philosophy of science.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37 no.3C
• /
• pp.241-250
• /
• 2012

In 2010, Jeon-Kim proposed HMAP(Hash-based Mutual Authentication Protocol for RFID Environment) to resolve a variety of problem related to security using Mutual authentication scheme, the hash function and secret key is used to update in RFID system. Jeon-Kim proved RMAP was safe for a variety of attacks including eavesdropping attacks through safety analysis. However, unlike the claims of the proposed protocol is vulnerable to next session of the secret key exposure due to eavesdropping. In this paper, we analyze the problem of RMAP and proves it through security analysis. And we also propose improved an RFID Mutual Authentication Protocol based on Hash Function to solve problems of HMAP.

• International conference on construction engineering and project management
• /
• 2005.10a
• /
• pp.417-423
• /
• 2005

Contractor's opportunistic bidding behavior refers to contractor's deliberate low-bid, which cannot accord with the cost, and expectation for beyond-contractual reward (BCR), the compensation earned through cutting corners or claims after undertaking the construction project. This research applies System Dynamics to develop a model of contractor's pricing with consideration for dimensions of "cost", "market competition", and "BCR". Iterative computer simulations were performed to analyze the effects of contractor's pricing on the market price. The results were then examined by statistical analysis on data collected from 44 highway projects in Taiwan. It is found that the critical force driving the contractors to bid opportunistically is their excessive expectations in BCR under the current environment. Within the price competition mechanism, if the problem of BCR exists, even if the bidding system is further improved, contractors would still prefer opportunistic bidding behavior, and eventually make the whole construction industry operate ineffectively. Therefore, it is crucial to remedy the aforementioned BCR problem by more effective management policy.

• Journal of Navigation and Port Research
• /
• v.41 no.3
• /
• pp.119-126
• /
• 2017

As container vessels get larger, container terminals are also likely to grow. The problem that arises is that the growing volume should be handled in the same amount of time as before. Container terminals are introducing an automation system in order to overcome the limitations of existing manual methods and to continuously reduce operating expenses. Because, Manual handling of carrying containers gate in and out of terminals causes inaccurate data, which results in confusion. An alternative is for containers to be labeled with barcodes that can be scanned into a system with a scanner, but this takes quite a long time and is inconvenient. A RFID system, also known as a gate automation system, can solve these problems by reducing the time of gate management with a technology that detects number identification plates, helping operators more efficiently perform gate management work. Having said that, with this system, when container damage is detected, gate operators make and keep documents manually. These documents, which are insufficient evidence in proving container damage, result in customer claims. In addition, it is difficult for gate operators and other workers to manage containers, exposing them to danger and accidents. This study suggests that if an automation system is introduced at gates, containers can be managed by a video storage system in order to better document damage The video system maintains information on container damage, allowing operators the ability to search for videos they need upon customer request, also allowing them to be better prepared for customer claims. In addition, this system reduces necessary personnel and risk of accidents near gates by integrating a wide range of work.