• 충청수학회지
• /
• 제32권2호
• /
• pp.239-243
• /
• 2019

Logarithmic Sobolev trace inequalities are derived from the well known classical Sobolev trace inequalities as a limiting case.

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2017년도 추계학술논문요약집
• /
• pp.247-248
• /
• 2017

• 정보처리학회논문지D
• /
• 제12D권6호
• /
• pp.837-848
• /
• 2005

다중축척 공간데이터베이스란 동일한 현실 공간을 여러 축척으로 저장한 것으로, 기존에 구축된 원시 공간 데이터베이스로부터 유도될 수 있다. 이 유도과정에서 원시 데이터베이스에 있던 기하 및 위상관계는 변형이 되고, 이 관계 변형은 유도된 데이터베이스의 무결성을 보장하지 못하는 원인이 되므로, 유도과정이 수행된 후에는 반드시 유도된 데이터베이스와 원시 데이터베이스의 관계 일관성을 조사해야한다. 이 논문에서는 원시 데이터베이스와 유도된 다중축척 데이터베이스간의 위상 관계 일관성을 평가하는 방법을 제시하겠다. 특히, 2차원 공간객체가 1차원으로 축소되었을 때 위상관계의 일관성을 평가하는 방법을 제한할 것이며, 이 평가 방법들의 구현에 대해서 기술하고, 사례를 이용하여 구현결과를 기술하겠다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권11호
• /
• pp.1414-1428
• /
• 1999

ATM/B-ISDN 신호 프로토콜과 같은 통신 프로토콜의 상호운용성을 시험하기 위한 시험경우를 생성하는 알고리즘이 제안되었다 1]. 현재까지 상호운용성 시험경우 도출을 자동화하거나 이에 대한 커버리지를 분석한 경우는 없다. 본 논문은 1]에서 제안한 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜에 적용하고 결과를 분석한다. 이 과정에서 (1) TCP 연결설정 프로토콜의 3방향 핸드 쉐이킹 부분을 다루지 못했던 기존의 알고리즘을 개선하고, (2) 개선된 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜의 상호운용성 시험경우를 도출하고, (3) 생성된 상호운용성 시험경우를 트랜지션 커버리지 관점에서 분석하고, (4) 향상된 트랜지션 커버리지를 얻기 위하여 알고리즘 확장 방안을 제시한다.Abstract A test derivation method suitable for testing interoperability for the class of communication protocols like the ATM/B-ISDN signaling protocol was proposed 1]. Up to now, there is no work on automating derivation of the interoperability test suite and analyzing its coverage. In this paper, we implement the algorithm proposed by 1], apply it to the Transmission Control Protocol (TCP), and analyze its results. In this process, we (1) improve the algorithm that is not applicable to the TCPs three-way handshaking, (2) implement the improved algorithm as a program and derive an interoperability test suite automatically from a given pair of TCP FSMs, (3) analyze generated interoperability test suite in view of transition coverage, and (4) present a method in order to extend the algorithm for better transition coverage.

• 인터넷정보학회논문지
• /
• 제7권3호
• /
• pp.133-142
• /
• 2006

복수키 동의 프로토콜의 목적은 단일키 동의 프로토콜의 거듭 실행에 비하여 계산량과 통신량 면에서 효율성을 얻기 위함이다. 최근에 ID 기반의 3자 복수키 동의 프로토콜들이 제안되었지만, unknown key-share 공격 혹은 impersonation 공격 등에 대한 취약함이 발견되어 모든 종류의 공격에 대하여 안전하면서 효율적인 ID 기반 인증된 3자 키 동의 프로토콜의 설계는 아직 미지의 문제로 남아있다. 본 논문에서는 단일키 동의 프로토콜과 키 유도함수를 결합한 복수키 동의 기법을 제안한다. 기존의 복수키 동의 프로토콜에 비하여 계산적 효율성을 증가시킬 수 있을 뿐 아니라, 안전성이 증명된 단일키 동의 프로토콜과 키 유도함수를 사용함으로써 안전성을 보장받을 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제41권7호
• /
• pp.469-480
• /
• 2014

소프트웨어 제품라인은 제품들 간의 공통성 및 가변성을 전체 개발라이프사이클에 걸쳐 체계적으로 계획하고 재사용하여 생산성 향상, 비용절감, 시장적시성 향상을 꾀하는 소프트웨어 개발 패러다임이다. 소프트웨어 제품라인이 가져다 주는 이익을 최대화하기 위하여 시험은 도메인 공학과 어플리케이션 공학의 두 라이프사이클을 구성하는 프로세스들과 일관된 방식으로 통합되어야 하며, 더불어 시험 노력을 절감할 수 있어야 한다. 본 논문에서는 조합 시험 설계를 적용하여 제품라인 플랫폼을 시험할 시험항목을 생성함으로써 시험항목 개수를 상당히 줄이면서 동시에 재사용이 용이한 시험항목 생성을 지원하여 시험노력을 절감할 수 있는 조합 시험 설계를 이용한 제품라인 시험항목 생성 방법을 제안한다. 또한, 사례연구를 통하여 제안한 방법이 조합 설계를 이용하거나 그렇지 않은 기존의 다른 방법들 보다 효율적임을 보인다.

• 대한전자공학회논문지SP
• /
• 제37권4호
• /
• pp.65-71
• /
• 2000

본 논문에서는 SDFT(sliding discrete-Fourier transform)을 순환식(recursive)으로 구현할 때 유한 비트 고정소수점 계산하여 발생하는 오차의 영향을 해석적으로 구하는 방법을 제시하고 이의 유도 과정을 기술하였다. 유한 비트 오차는 계수의 양자화 때문에 발생하는 계수오차와, 곱셈연산 후 반올림되는 유효자리 때문에 발생하는 반올림오차로 구성된다. 각각의 오차는 주파수 스펙트럼 추정오차를 야기 시키며, 이 스펙트럼 오차의 전력과 실제 스펙트럼의 전력 비(noise-to-signal power ratio NSR)를 진동계수를 표현하는 비트 수, DFT 값을 표현하는 비트 수, 그리고 DFT 구간길이에 대한 식으로 유도하였다. 유도과정은 SDFT 순환식(recursive equation)을 통해 유도한 오차방정식(error-dynamic equation)과 계수오차 및 반올림오차의 확률분포특성에 근거하였다. 해석적으로 유도한 NSR 결과를 시뮬레이션 실험을 통해 얻은 결과와 비교하여 타당성을 확인하였다.

• 정보처리학회논문지A
• /
• 제9A권3호
• /
• pp.351-362
• /
• 2002

신호전이그래프는 비동기식 유한상태기와 더불어 신호수준에서 비동기식 제어회로의 사양을 기술하기 위하여 사용되는 가장 대표적인 사양 기술언어이다. 그러나 신호전이그래프는 설계자에게 친숙한 사양기술언어가 아니며, 결과적으로 비동기식 시스템의 설계자가 목적시스템의 비동기식 제어부를 구성하는 수∼수십개의 비동기식 제어회로에 대한 신호전이그래프를 일일이 고안하고 기술하는 것은 매우 힘들고 시간소모적인 일이다. 본 논문에서는 최근에 제안된 프로세스 중심방식을 이용하여 신호전이그래프를 자동으로 생성하는 방법을 제안하고자 한다. 특히, 제안된 방법은 신호전이그래프의 자동생성 과정에서 신호전이그래프에 기반한 비동기식 논리합성의 고유한 특성들을 주의 깊게 고려하여 준다. 결과적으로 자동 생성된 신호전이그래프로부터 합성된 비동기식 제어회로는 면적, 합성시간, 성능, 구현성의 측면에서 매우 우수하다.

• Journal of Korean Neurosurgical Society
• /
• 제63권4호
• /
• pp.470-476
• /
• 2020

Objective : The objective of this study was to develop a score to predict patients with acute ischemic stroke (AIS) who will not benefit from endovascular treatment (EVT) using computed tomographic angiography (CTA) parameters. Methods : The CTA-ABC score was developed from 3 scales previously described in the literature: the Alberta Stroke Program Early CT Score (0-5 points, 3; 6-10 points, 0), the clot burden score (0-3 points, 1; 4-10 points, 0), and the leptomeningeal Collateral score (0-1 points, 2; 2-3 points, 0). We evaluated the predictive value of CTA parameters associated with symptomatic intracranial hemorrhage (sICH) or malignant middle cerebral artery infarction (MMCAI) after EVT and developed the score using logistic regression coefficients. The score was then validated. Performance of the score was tested with an area under the receiver operating characteristic curve (AUC-ROC). Results : The derivation cohort consisted of 115 and the validation cohort consisted of 40 AIS patients. The AUC-ROC was 0.97 (95% confidence interval [CI], 0.94-0.99; p<0.001) in the derivation cohort. The proportions of patients with sICH and/or MMCAI in the derivation cohort were 96%, 73%, 6%, and 0% for scores of 6, 5, 1, and 0 points, respectively. In the validation group, the proportions were similar (90%, 100%, 0%, and 0%, respectively) with an AUC-ROC of 0.96 (95% CI, 0.90-1.00; p<0.001). Conclusion : Our CTA-ABC score reliably assessed risk for sICH and/or MMCAI in patients with AIS who underwent EVT. It can support clinical decision-making, especially when the need for EVT is uncertain.

• 한국수정란이식학회지
• /
• 제28권1호
• /
• pp.1-6
• /
• 2013

A lot of works have been dedicated to clarify the reasons why the establishment of embryonic stem cells (ESCs) from pig is more difficult than that from mouse and human. Several concomitant factors such as culture condition including feeder layer, sensitivity of cell to cell contact, definitive markers of pluripotency for evaluation of the validity and optimal timing of derivation have been suggested as the disturbing factors in the establishment of porcine ESCs Traditionally, attempts to derive stem cells from porcine embryos have depend on protocols established for mouse ESCs using inner cell mass (ICM) for the isolation and culture. And more recently, protocols used for primate ESCs were also applied. However, there is no report for the establishment of porcine ESCs. Indeed, ungulate species including pigs have crucial developmental differences unlike rodents and primates. Here we will review recent studies about issues for establishment of porcine ESCs and discuss the promise and strategies focusing on the timing for derivation and pluripotent state of porcine ESCs.