• 정보처리학회논문지C
• /
• 제10C권5호
• /
• pp.541-548
• /
• 2003

공평한 비밀정보 교환이란 서로 신뢰하지 못하는 당사자간에 공평한 비밀정보 교환의 목적을 가지는 프로토콜을 말한다. 두 당사자가 비밀정보를 교환할 때, 어느 한 쪽이 프로토콜을 임의로 중지하거나 부정을 저지름으로 인하여 다른 한 쪽이 불이익을 당하지 않는 특징을 가지며, 서로 신뢰하지 못하는 당사자간의 거래에 있어서 공평한 비밀정보 교환은 가장 중요한 요소가 된다. 이 논문에서는 새로운 공평한 비밀정보 교환을 설계하기 위해 기본개념과 정의에 대해 살펴보고, ELGamal의 공개키를 이용한 비대화형 OT 프로토콜을 설계한 후 설계한 프로토콜을 이용해 새로운 공평한 비밀정보 교환 알고리즘을 설계한다. 새로운 공평한 비밀정보 교환에서는 서로 신뢰하지 못하는 두 당사자가 비밀 정보를 불확정 전송하며 자신이 수신한 정보가 참인지를 양방항으로 확장한 영지식 증명을 이용하여 검증한다. 이때 두 당사자는 상대의 비밀정보를 복호화 할 수 없고, 양측의 검증 절차가 끝난 후 복호화가 가능하다. 상대의 신원을 밝히지 않아도 부정을 저지를 수 없는 특성 때문에 익명성과 공평성을 제공한다는 것이 가장 큰 장점이다.

• 대한수학교육학회지:학교수학
• /
• 제16권3호
• /
• pp.491-502
• /
• 2014

이 연구는 예비교사들이 $0.99{\cdots}$가 1보다 작다는 주장을 어떻게 반박하는지를 관찰함으로서 왜 $0.99{\cdots}=1$가 참이라고 정당화하는지를 분석하였다. 일부 예비교사는 $1-0.99{\cdots}$의 값을 무한소라고 생각하고 있었다. 표준 실수의 입장에서 $1-0.99{\cdots}$의 값은 무한소가 아닌 0이라고 생각했던 예비교사들도 이것을 실수에 대한 가정으로부터의 논리적 결론으로 정당화하기보다는 유한과 무한은 다르다는 직관적 정당화에 안주하였다. 예비교사들이 $0.99{\cdots}$ <1의 반박에서 드러낸 인식의 한계는, 표준 실수 체계만이 수학적으로 옳은 유일한 수체계라는 믿음과 무관하지 않다. $0.99{\cdots}$ <1이지만 표준 실수체계와 마찬가지로 무모순인 비표준 실수체계가 존재한다는 사실은, 평범한 중학생이 제기하는 $0.99{\cdots}$가 1이냐 아니냐의 질문도 학교수학 수준의 상식적 설명 혹은 예비교사들의 직관적인 정당화만으로는 대답할 수 없는 것임을 보여주고 있다.

• 한국멀티미디어학회논문지
• /
• 제7권4호
• /
• pp.559-566
• /
• 2004

일반적으로 퍼지 생성규칙의 확신도와 규칙에 나타나는 퍼지 명제의 확신도는 0과 1사이의 실수로 표현한다. 만일 퍼지 생성규칙의 확신도와 퍼지 명제의 확신도를 구간값 퍼지 집합으로 표현한다면, 규칙기반시스템이 더 유연한 방법으로 퍼지 추론을 하는 것이 가능하게 된다. 본 논문에서는 퍼지 페트리네트와 이 네트에 기반을 둔 규칙 기반시스템을 위한 구간값 퍼지 집합 후진추론 알고리즘을 제안한다. 규칙 기반시스템에 있는 퍼지 생성규칙은 퍼지 페트리네트로 모형화된다. 여기에서 퍼지 생성규칙에 나타나는 퍼지 명제의 확신도와 규칙의 확신도는 구간값 퍼지 집합으로 표현한다. 여기에서 제안한 알고리즘은 목표노드에서 시작노드까지 후진추론 통로를 찾아낸 후 목표노드의 확신도를 계산한다. 구간값 퍼지 집합 후진추론 알고리즘은 규칙 기반 시스템이 더 유연하고 사람들이 하는 것과 같은 퍼지 후진추론을 가능하게 한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권5호
• /
• pp.625-631
• /
• 2004

일반적으로 퍼지 생성규칙의 확신도와 규칙에 나타나는 퍼지 명제의 확신도는 0과 1사이의 실수로 표현한다. 만일 퍼지 생성규칙의 확신도와 퍼지 명제의 확신도를 구간 값 퍼지 집합으로 표현한다면, 규칙기반시스템이 더 유연한 방법으로 퍼지 추론을 하는 것이 가능하게 된다[15］. 본 논문에서는 퍼지 페트리네트와 이 네트에 기반을 둔 규칙기반시스템을 위한 구간 값 퍼지 집합 추론 알고리즘을 제안한다. 규칙기반시스템에 있는 퍼지 생성규칙은 퍼지 페트리네트로 모형화 된다. 여기에서 퍼지 생성규칙에 나타나는 퍼지 명제의 확신도와 규칙의 확신도는 구간 값 퍼지 집합으로 표현한다. 제안한 구간 값 퍼지집합 추론알고리즘은 규칙기반시스템에서 더 유연한 퍼지추론을 하는 것을 가능하게 한다.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제6권3호
• /
• pp.154-161
• /
• 2006

This paper describes the new types of ngative differential resistance (NDR) IC applications which use a monolithic quantum-effect device technology based on the RTD/HBT heterostructure design. As a digital IC, a low-power/high-speed MOBILE (MOnostable-BIstable transition Logic Element)-based D-flip flop IC operating in a non-return-to-zero (NRZ) mode is proposed and developed. The fabricated NRZ MOBILE D-flip flop shows high speed operation up to 34 Gb/s which is the highest speed to our knowledge as a MOBILE NRZ D-flip flop, implemented by the RTD/HBT technology. As an analog IC, a 14.75 GHz RTD/HBT differential-mode voltage-controlled oscillator (VCO) with extremely low power consumption and good phase noise characteristics is designed and fabricated. The VCO shows the low dc power consumption of 0.62 mW and good F.O.M of -185 dBc/Hz. Moreover, a high-speed CML-type multi-functional logic, which operates different logic function such as inverter, NAND, NOR, AND and OR in a circuit, is proposed and designed. The operation of the proposed CML-type multi-functional logic gate is simulated up to 30 Gb/s. These results indicate the potential of the RTD based ICs for high speed digital/analog applications.

• Journal of Welding and Joining
• /
• 제24권4호
• /
• pp.32-38
• /
• 2006

The objective of present research works is to investigate the effects of process parameters, including the power of laser, cutting speed, material thickness, and the edge angle, on the melted area in the sharp edge of the cut material fur the case of cutting of a low carbon steel sheet using high-power CW Nd:YAG laser. In order to investigate the influence of edge angle and size of loop on the melted area in the sharp edge, angular cutting tests and loop cutting tests have been carried out. From the results of angular cutting tests, the relationship between the edge angle and the melted area has been obtained. The results of the experiments have been shown that the melted area is rapidly reduced from $120^{\circ}$ of the edge angle and the melted area is nearly zero at $150^{\circ}$ of the edge angle. Through the results of loop cutting experiments, the relationship between the cutting angle on the melted area in the edge according to the size of loop have been obtained. In addition, it has been shown that a proper size of loop is nearly 3 mm as the corner angle is greater than $90^{\circ}$ and 5 mm as the comer angle is less than $90^{\circ}$. The results of above experiments will be reflected on the knowledge base to generate optimal cutting path of the laser.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2017년도 추계학술대회
• /
• pp.571-572
• /
• 2017

전자화폐를 구현하는 블록체인 기술은 분산화된 컴퓨팅을 사용하며 모든 거래가 모두에게 공개되어 있다. 이러한 기술은 사용자 대신 주소를 사용하여 거래에 수행하여 익명성을 보장하는 것처럼 보이지만 거래 그래프를 기반으로 비순환 방향 그래프를 이용하여 공개된 주소를 추적함으로써 프라이버시 문제가 발생하게 된다. 본 논문에서는 블록체인 기술 내에서 발생하는 프라이버스를 보호하기 위하여 그래프 상의 관련성을 찾기 어렵게 하는 중앙 집중적으로 처리하는 다양한 기법들을 분석한다. 또한, 프라이버시를 강화하기 위하여 분산화된 방법으로 익명화하는 기법들도 분석한다. 영지식 증명 기법을 이용하면 완전 분산 익명성을 보장하지만 더 많은 연산과 저장 공간이 필요하게 되며, 이를 효율적으로 하기 위한 여러 가지 기법들도 제안되었다. 본 논문에서는 기존 프라이버시 보호 기법들을 블록체인 기술에 융합하여 블록체인 기술의 프라이버시 보호를 위한 기법을 제안한다.

• 정보보호학회논문지
• /
• 제12권1호
• /
• pp.33-42
• /
• 2002

본 논문에서는 약한 키를 가지는 대화식 영지식 증명을 이용한 인증 프로토콜의 안전성을 강화하는 방법을 제시한다. 일반적으로 대화식 영지식 증명을 이용한 인증 프로토콜은 충분히 길고 랜덤한 비밀키를 가정하고 그 비밀키에 대한 영지식 증명을 수행하게 된다. 하지만 때에 따라서 충분히 길지 않거나 랜덤하지 않은 비밀키가 선택될 수 있다. 즉, 좋지 않은 난수 발생기를 써야 하는 경우, 또는 패스워드처럼 의도적으로 약한 키를 사용하는 경우가 생기며, 대화식 영지식 증명은 이에 적합하지 않다고 알려져 있다. 본 논문에서는 비밀 동전 던지기(Secret Coin Tossing)라는 개념을 제시해서, 일반적인 영지식 증명을 이용한 인증 프로토콜을 약한 키를 가지는 영지식 증명 기반 인증 프로토콜로 쉽게 변환할 수 있는 프레임웍을 제안한다. 또한, 이 프레임웍을 이용해서 설계된 인증 프로토롤이 ideal cipher mode에서 안전함을 보인다.

• Clinical and Experimental Reproductive Medicine
• /
• 제49권1호
• /
• pp.16-25
• /
• 2022

In mammalian species, females are born with a number of oocytes exceeding what they release via ovulation. In humans, an average girl is born with over a thousand times more oocytes than she will ovulate in her lifetime. The reason for having such an excessive number of oocytes in a neonatal female ovary is currently unknown. However, it is well established that the oocyte number decreases throughout the entire lifetime until the ovary loses them all. In this review, data published in the past 80 years were used to assess the current knowledge regarding the changing number of oocytes in humans and mice, as well as the reported factors that contribute to the decline of oocyte numbers. Briefly, a collective estimation indicates that an average girl is born with approximately 600,000 oocytes, which is 2,000 times more than the number of oocytes that she will ovulate in her lifetime. The oocyte number begins to decrease immediately after birth and is reduced to half of the initial number by puberty and almost zero by age 50 years. Multiple factors that are either intrinsic or extrinsic to the ovary contribute to the decline of the oocyte number. The inflammation caused by the ovulatory luteinizing hormone surge is discussed as a potential contributing factor to the decline of the oocyte pool during the reproductive lifespan.

• Journal of Veterinary Science
• /
• 제22권5호
• /
• pp.47.1-47.10
• /
• 2021

Background: Due to multiple similarities in the structure and physiology of human and pig skin, the pig model is extremely useful for biological drug testing after subcutaneous administration. Knowledge of the differences between subcutaneous injection sites could have a significant impact on the absorption phase and pharmacokinetic profiles of biological drugs. Objectives: This study aimed to analyze the impact of administration site on pharmacokinetics and selected biochemical and hematological parameters after a single subcutaneous administration of ustekinumab in pigs. Drug concentrations in blood plasma were analyzed by enzyme-linked immunosorbent assay. Pharmacokinetic analyses were performed based on raw data using Phoenix WinNonlin 8.1 software and ThothPro v 4.1. Methods: The study included 12 healthy, female, large white piglets. Each group received a single dose of ustekinumab given as a 1 mg/kg subcutaneous injection into the internal part of the inguinal fold or the external part of the inguinal fold. Results: The differences in absorption rate between the internal and external parts of the inguinal fold were not significant. However, the time of maximal concentration, clearance, area under the curve calculated between zero and mean residence time and mean residence time between groups were substantially different (p > 0.05). The relative bioavailability after administration of ustekinumab into the external part of the inguinal fold was 40.36% lower than after administration of ustekinumab into the internal part of the inguinal fold. Conclusions: Healthy breeding pigs are a relevant model to study the pharmacokinetic profile of subcutaneously administered ustekinumab.