• 정보관리학회지
• /
• 제28권3호
• /
• pp.219-238
• /
• 2011

본 연구에서는 KMS의 지속적 사용에 영향을 미치는 요인을 분석하기 위해 KMS 품질, 지각된 사용용이성과 지각된 유용성, 태도 및 KMS의 지속적 사용 간의 구조적 관계를 실증적으로 분석하고자 하였다. 이를 위해 본 연구는 경찰공무원들을 대상으로 한 설문조사를 통해 실증분석을 시도하였다. 가설검증 결과, 외부요인인 KMS 품질은 지각된 사용 용이성과 지각된 유용성에 유의미한 긍정적 영향을 미치고, 지각된 사용 용이성은 지각된 유용성에 긍정적인 영향을 미치는 것으로 검증되었다. 그리고 KMS에 대한 사용자의 지각된 사용 용이성과 지각된 유용성 모두 KMS 태도에 긍정적인 영향을 미치고, 태도요인을 매개로 KMS 사용행위에 긍정적인 영향을 미치는 것으로 나타났다. 이러한 분석결과를 토대로 본 연구에서는 KMS의 지속적인 수용과정을 설명하고, 그 함의를 제시하였다.

• 정보보호학회지
• /
• 제11권2호
• /
• pp.27-37
• /
• 2001

PKI 정보보호 제품의 개발에 있어서 반드시 고려해야 하는 요소 가운데 하나는 PKI 정보보호 제품이 안전성, 신뢰 성 등의 요구조건을 만족하며, 확장성 및 상호연동성을 갖도록 개발되었는지 확인하는 것이다. 만약 이와 같은 사항들 이 만족되지 못한다면, 사용자는 PKI 정보보호 제품의 안전성 및 신뢰성을 의심할 수밖에 없다. 또한 다른 PKI 제품 들과의 연동에 있어서 문제를 일으킬 수밖에 없으며, 이는 결과적으로 사용자에게 불이익을 가져다 주게 된다. 이러한 문제를 방지하기 위해서는 개발 단계에서부터 X.509 등 관련된 기술 표준을 정확하게 준수하여야 한다. 또한 표준 적 합성 확인을 위해서 PKI 정보보호 제품이 표준에 따라 적합하게 구현되었는지 검증하는 절차가 필요하다. 즉, PKI 정 보보호 제품의 표준 적합성 여부에 대한 검증을 전문적으로 수행할 수 있는 시험도구의 개발이 요구된다. 본 논문에서는 PKI 정보보호 제품의 표준 적합성 여부를 판단할 수 있는 시험 절차를 제시하고, 이에 따라 PKI 정 보보호 제품에 대한 검증을 수행할 수 있는 시험도구를 구현하였다. 즉, PKI 정보보호 제품이 인증 서비스 제공을 위 해 사용하는 X.509 등 인증 관련 기술이 표준을 준수하고, 이를 통해 PKI 제품 간의 상호운용성을 지원할 수 있는지 여부를 검증하려는 것이다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 춘계학술발표회논문집(1)
• /
• pp.257-263
• /
• 1997

원자력 발전소의 주급수 유량은 원자로 열출력 산출에 사용되는 중요한 변수로서 , 노심관리 뿐만 아니라 원자로 안전 운전에도 중요하며, 발전소 출력에 직접적인 영향을 미친다. 원자력발전소의 주급수 유량은 1% 의 허용오차로 설계되어 있으나, 사용년수의 증가 및 운전조건의 영향 둥으로 정확도의 유지가 어려운 실정이다. 주급수 유량을 정확도 $\pm$0.5% 이내로 측정한다면 1000 MW 급 원자력 발전소에서 최대 10MW 의 전기출력 복구가 가능하며, 이를 위해 주급수 유량 측정 설비의 정확도 검증과 보정을 할 수 있는 정확한 유량 측정법의 개발이 절실하다. 본 연구에서는 화학 추적자 방법에 의한 정밀 유량 측정기술을 개발하여, 원자력 발전소 주급수 계통의 유량 측정에 사용되고 있는 벤츄리(venturi), 노즐(nozzle), 오리피스(orifice) 등의 유량검증에 활용함으로서 발전소의 안전성을 유지하면서 동시에 출력을 극대화하는 것을 목표로 하여 추적자 이용 유량 검증기를 설계 제작하였으며 그 정확도와 유효성에 대한 실험적 검토를 하였다. 본 연구에서 사용한 추적자 방법은 유량 번동에 좋은 응답성을 보이고 있으며, 유량 측정에 있어서도 정확도 $\pm$ 0.5 % 이내의 매우 신뢰성 있는 측정이 가능하다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (하)
• /
• pp.1381-1384
• /
• 2000

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 객체지향 다이아그램들의 일관성과 완전성을 해결하기 위하여 [1]에서 제공된 일관성과 완전성 규칙들을 기반으로 다이아그램들을 검증할 수 있는 검증 모델을 프레임을 이용하여 설계하였다. 본 논문에서는 프레임을 이용한 설계 과정을 보이기 위하여 다이아그램의 일관성과 완전성을 검증할 수 있는 검증 모델에 대한 각 다이아그램을 대상으로 정보를 유도하였고 유도된 정보를 기반으로 검증에 기초가 되는 공통 내부 표현을 프레임을 이용하여 설계하는 과정을 제시하였다. 설계된 검증 모델은 다양한 객체지향 다이아그램에 대하여 적용이 가능하며 기존의 다이아그래밍 도구와도 결합이 가능하도록 구성되어 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.15-17
• /
• 2000

본 논몬은 원본 DTD에서 사용자 요구에 따르는 파생 DTD를 생성, 관리하는 시스템을 설계함으로써 사용자 요구에 적합한 유효한 XML 문서의 생성 및 검증을 효율적으로 처리하는 시스템을 개발하고자 한다. 본 시스템은 원본 DTD에서 파생 DTD를 생성하여 클라이언트에서 생성된 XML 문서에 대한 유효성을 검증하고, 사용자 질의의 결과로 생성된 서버측의 XML 문서에 대한 유효성을 효율적으로 검증하는 기능을 지원하고 있다. 여기서 사용되는 파생 DTD는 사용자 요구를 받아서 하나의 원본 DTD에서 파생 DTD 생성 알고리즘에 의해 생성된다. 이렇게 생성된 파생 DTD로 XML 문서를 DOMAPI의 에러 체크 메소드를 통해 XML 문서가 유효한고 정확한지 검증한다. 이러한 절차를 통해서 유효성을 검증받은 XML 문서를 유효한 데이터로서 관리한다. 이러한 절차를 통해 클라이언트와 서버 사이에서 전송하는 XML 문서의 유효성 및 정확성을 보장할 수 있을 뿐만 아니라, 클라이언트에서 만든 XML 문서를 파생 DTD를 이용해 유효성을 보장하여 다른 클라이언트에 보낼수 있다.

• 정보처리학회논문지C
• /
• 제15C권3호
• /
• pp.199-204
• /
• 2008

CAN은 처음에는 차량 네트워크에서의 사용을 위해 고안되었으나 잡음에 강하고 신뢰성이 높아 공장자동화 등에서도 많이 사용되고 있다. 그러나 1:1통신에서 네트워크 기반의 통신방식으로 변화되면서 각 장치의 기계적인 동작뿐만 아니라 전자, 소프트웨어적인 동작에 대해서도 철저한 검증이 필요하게 되었다. 본 논문은 CAN 기반 시스템에서 통신의 신뢰성을 데이터의 정확성에 대한 부분과 시간상의 정확성에 대한 부분을 검증하는 방법을 제시하고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.736-738
• /
• 2003

수천 개의 유전자 발현 정보를 가지고 있는 DNA 마이크로어레이 기술의 발달로 대량의 생물정보를 빠른 시간 내에 분석하는 것이 가능하게 되었다. 유전자를 분석하는 방법 중 하나인 클러스터링 방법은 비슷한 기능을 가진 유전자들을 집단화시켜서 집단내의 유전자들의 기능을 밝히거나, 미지의 유전자를 분석하는데 이용되고 있다. 본 논문에서는 유전자 데이터를 분석하기 위한 퍼지 클러스터링 방법과 이를 효과적으로 검증할 수 있는 베이지안 검증 방법을 제안한다. 퍼지 c-means 알고리즘을 사용하여 클러스터를 생성하고, 클러스터 결과를 기존의 퍼지 클러스터 검증 방법들과 본 논문에서 제안하는 베이지안 검증 방법을 사용하여 비교 평가한다. 베이지안 검증 방법은 각 유전자의 클러스터 멤버쉽을 확률로 이용하여 각 클러스터에 속할 확률을 계산하고, 이 값을 가장 크게 해주는 클러스터 집단을 선택한다. 이 방법은 기존의 퍼지 클러스터 검증 방법들과는 달리 클러스터 수에 무관한 평가가 가능한 장점을 가지고 있다. Serum과 Yeast 데이터에 대한 실험 결과, 베이지안 검증 방법의 유용성을 확인할 수 있었다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1998년도 춘계학술발표회논문집(2)
• /
• pp.497-502
• /
• 1998

후행핵연료주기 정책 미결정국형 사용후핵연료 관리기술 개발을 위하여 자원으로서 가치가 있는 PWR 사용후핵연료를 대상으로 새로운 관리개념을 설정하였으며 본 개념을 뒷받침하는 요소기술들에 대한 비방사성 검증시험을 수행하였다. 본 논문에서는 이와 관련한 사용후핵연료 차세대관리 공정개념을 소개하고 모의 PWR 사용후핵연료의 금속전환 시험결과와 금속전환체의 관리상에 필수적으로 검토되어야할 핵임계안전성과 열안전성에 대한 예비해석 결과를 소개코자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.513-515
• /
• 2000

시스템 개발 단계 중 분석 단계는 이후의 설계, 구현 및 유지 보수 단계를 지원하기 위한 가장 중요한 단계로, 이후 단계에 미치는 영향이 크다. 그러므로, 분석단계의 산출물이 정확한지, 산출물간의 일관성을 검증하는 작업이 필요하다. 이에, 본 논문에서는 비즈니스 업무 개발에 초점을 두어, 사용자의 참여가 이루어지는 단순한 표기법을 사용하는 정보구조 모델링의 분석 단계의 여러 구조도 들간의 일관성 검증 방법을 제시한다. 이로써 분석 단계 중에 범하기 쉬운 오류들을 최소화하여, 정확한 분석 모델을 통한 사용자 만족도가 높은 시스템을 만들 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.1103-1106
• /
• 2004

Window Frame 방향성 추출법을 보완한 Extended Window Frame을 제시하고, 높은 보완성을 필요로 하는 곳에 사용할 수 있도록 하기 위해서 지문의 중심점으로부터 매칭 된 각각의 특징점까지 이르는 선상에 있는 융선을 추적하는 방법을 이용한 검증 방법을 제안한다. 제안된 검증 방법의 성능을 비교하기 위해서 방향성을 추출하는 방법, 특징점을 추출하는 방법을 기존의 여러 가지 방법들로 구현하고 그 결과를 비교, 분석한다.