• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권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.

• 대한수학교육학회지:학교수학
• /
• 제4권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년도 한국자동제어학술회의논문집(국제학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• 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.

• 전자공학회논문지B
• /
• 제31B권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.

• 의료법학
• /
• 제17권2호
• /
• pp.57-81
• /
• 2016

환자가 의사를 상대로 의료사고에 대한 민사책임을 추궁하기 위하여 소송을 제기하게 될 때, 의사의 의료과실과 환자에게 발생한 손해 사이에 인과관계가 존재하는지 여부는 소송의 승패를 좌우한다. 의료과실소송에서는 의료가 지니는 특수성으로 인하여 다른 민사사건과 달리 인과관계의 존부의 판단이 쉽지 않다. 또한 의료과실소송에서는 진료기록을 비롯한 정보가 의사에게 집중되어 있고, 환자의 의료지식은 의사에 비하여 상대적으로 부족하다. 따라서 원고인 환자가 부담하는 인과관계에 관한 증명책임의 완화가 판례를 통하여 인정되고 있다. 이에 본고에서는 우리나라에서 의료민사책임에서 인과관계를 어떻게 인정하는지에 관한 법리를 살펴보고자 한다. 그리고 우리나라 판례의 태도를 인과관계가 문제되는 유형별 - 일반적 의료행위의 경우, 설명의무의 경우, 의료과실과의 인과관계가 없는 경우 - 로 나누어 고찰하기로 한다.

• 한국컴퓨터정보학회논문지
• /
• 제16권1호
• /
• pp.71-80
• /
• 2011

본 논문에서는 퍼지추론을 기반으로 얼굴검출 알고리즘을 지능적으로 선택함으로써 개발자들이 전문적인 지식이 없이 얼굴검출 기능을 손쉽게 사용할 수 있는 새로운 기법을 제안한다. 본 논문의 목적은 퍼지추론 기반의 고차원 얼굴검출 시스템을 제시함으로써 사용자들이 컴퓨터비전 이론이나 개별 알고리즘들에 대한 전문적인 지식이 없어도 손쉽게 얼굴검출 기능을 포함하는 시스템을 개발할 수 있도록 지원하는데 있다. 얼굴검출의 방대한 문제영역을 분류하기 위해서 가장 먼저 얼굴검출을 위한 주요한 조건들을 고려하고 정리하였다. 이렇게 정리된 조건들은 개발자들이 주어진 문제를 표현하는데 사용할 수 있도록 정의되었다. 정의된 조건들과 사용 가능한 얼굴검출 알고리즘들은 퍼지추론 규칙을 이용하여 규칙화 되고 퍼지추론 해석기를 구성한다. 개발자들에 의해서 개별 문제의 조건들이 정리되면, 제안된 퍼지해석기가 퍼지추론을 통해 이에 대응되는 문제를 해결하기 위한 최적을 알고리즘들을 찾아내고 구성한다. 제안된 방법의 개념검증을 위해 기존의 알고리즘들과 성능을 비교하였으며 이를 분석하고 우수성과 실용성을 보여준다.

• International Journal of Computer Science & Network Security
• /
• 제22권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.