• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.7
• /
• pp.3733-3755
• /
• 2019

E-cash has its merits comparing with other payment modes. However, there are two problems, which are how to achieve practical/complete tracing and how to achieve it in compact E-cash. First, the bank and the TTP (i.e., trusted third party) have different duties and powers in the reality. Therefore, double-spending tracing is bank's task, while unconditional tracing is TTP's task. In addition, it is desirable to provide lost-coin tracing before they are spent by anyone else. Second, compact E-cash is an efficient scheme, but tracing the coins from double-spender without TTP results in poor efficiency. To solve the problems, we present a compact E-cash scheme. For this purpose, we design an embedded structure of knowledge proof based on a new pseudorandom function and improve the computation complexity from O(k) to O(1). Double-spending tracing needs leaking dishonest users' secret knowledge, but preserving the anonymity of honest users needs zero-knowledge property, and our special knowledge proof achieves it with complete proofs. Moreover, the design is also useful for other applications, where both keeping zero-knowledge and leaking information are necessary.

• School Mathematics
• /
• v.4 no.3
• /
• pp.401-413
• /
• 2002

The Pythagorean theorem is one of the most important theorem which appeared in school mathematics. Allowing our pupils to rediscover it in classroom, we must know how this theorem was discovered and proved. Further, we should recompose that historical knowledge to practical program which might be suitable to them So, firstly this paper surveyed the history of mathematics on discovering the Pyth-agorean theorem. This theorem was known to many ancient civilizatons: There are evidences that Babylonian and Indian had the knowledges on the relationship among the sides of a right triangle. In Zhoubi suanjing, which was ancient Chinese text book, was the proof of the Pythagorean theorem in special case. And then this paper proposed a teaching program that is composed following five tasks : 1) To draw up squares on geo-board that are various in size and shape, 2) To invent squares that are n-times bigger than a given square, 3) Discovering the Pyth-agorean theorem through the previous activity, 4) To prove the Pythagorean theorem in special case, 5) To prove the Pythagorean theorem in general case.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10b
• /
• pp.534-540
• /
• 1993

In this paper, we present an iterative learning method of compensating for position sensor error. The previously known compensation algrithms need a special perfect position sensor or a priori information about error sources, while ours does not. To our best knowledge, any iterative learning approach has not been taken for sensor error compensation. Furthermore, our iterative learning algorithm does not have the drawbacks of the existing iterative learning control theories. To be more specific, our algorithm learns a uncertain function inself rather than its special time-trajectory and does not request the derivatives of measurement signals. Moreover, it does not require the learning system to start with the same initial condition for all iterations. To illuminate the generality and practical use of our algorithm, we give the rigorous proof for its convergence and some experimental results.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.9
• /
• pp.57-66
• /
• 1994

In this paper, we present an iterative learning method of compensating for position sensor error. The previously known compensation algorithms need a special perfect position sensor or a priori information about error sources, while ours does not. to our best knowledge, any iterative learning approach has not been taken for sensor error compensation. Furthermore, our iterativelearning algorithm does not have the drawbacks of the existing interativelearning control theories. To be more specivic, our algorithm learns an uncertain function itself rather than its special time-trajectory and does not reuquest the derivatives of measurement signals. Moreover, it does not require the learning system to start with the same initial condition for all iterations. To illuminate the generality and practical use of our algorithm, we give the rigorous proof for its convergence and some experimental results.

• The Korean Society of Law and Medicine
• /
• v.17 no.2
• /
• pp.57-81
• /
• 2016

It can determine the outcome of the lawsuit whether or not there is a causality between the medical malpractice of a physician and the patient's injury when the patient is filing a lawsuit against the physician in order to pursue civil liability for a medical accident. In medical malpractice lawsuits, it is not easy to judge causality between different civil cases because of the special nature of medical care. Also, information such as medical records is concentrated on doctors and the medical knowledge of the patient is relatively insufficient compared with the doctor. Therefore, it is recognized through medical malpractice lawsuits that the burden of proof of the causality burdened by the plaintiff patient is relaxed. In this paper, I examine the legal theory on how to recognize causality in medical civil liability and then concern the attitude of the case in Korea, which is divided into the types of the causality - such as the case of general medical practice, explanation duty, no causality with medical malpractice.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.1
• /
• pp.71-80
• /
• 2011

This paper provides a novel approach for developers to use face detection techniques for their applications easily without special knowledge by selecting optimal face detection algorithms based on fuzzy inference. The purpose of this paper is to come up with a high-level system for face detection based on fuzzy inference with which users can develop systems easily and even without specific knowledge on face detection theories and algorithms. Important conditions are firstly considered to categorize the large problem space of face detection. The conditions identified here are then represented as expressions so that developers can use them to express various problems. The expressed conditions and available face detection algorithms constitute the fuzzy inference rules and the Fuzzy Interpreter is constructed based on the rules. Once the conditions are expressed by developers, the Fuzzy Interpreter proposed take the role to inference the conditions and find and organize the optimal algorithms to solve the represented problem with corresponding conditions. A proof-of-concept is implemented and tested compared to conventional algorithms to show the performance of the proposed approach.

• International Journal of Computer Science & Network Security
• /
• v.22 no.5
• /
• pp.359-367
• /
• 2022

Arabic skills are the tools by which children are prepared for the educational procedures on which their life depends. Deaf and hard of hearing students (DHH), must be able to grasp the same Arabic terms as hearing students and their different meanings in a context of different sentences less than what they are supposed to be due to their inability. However, problems arise in the same Arabic word and their different meanings in a context for (DHH) students since the way of comprehending such words does not meet the needs and circumstances of (DHH) students. Therefore, researchers introduce web-based method for Arabic words and their meanings in a context prototype that can overcome those problems. Methodology: The study sample consists of 30 (DHH) students at Al Amal City of Palestine, Gaza Region (GR). Those participants that agreed to take part in this study were recruited using a purposeful sampling method. Additionally, to examine the survey information descriptively, the Statistical Packages for social Sciences (SPSS) version 24.0 was used. A sign language teaching movie is utilized in the prototype to standardize the process and verify that Arabic vocabulary and their implications are comprehended. The Evolutionary Process Model of Prototype technique was utilized to create this system. Finding: The findings of this study show that the prototype built is workable and has the ability to help DHHS differentiate between phrases that have the same letters but distinct meanings. The findings of this study are expected to contribute to a better understanding and application of Development of Web-based Arabic Assessments for (DHH) Students in developing countries, which will help to increase the use of Development of Web-based Arabic for (HDD) students in those countries. The empirical models of Web-based Arabic for (DHH) students are established as a proof of concept for the proposed model. The results of this study are predicted to have a significant impact to the information system practitioners and to the body of knowledge.