• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2015년도 추계학술대회
• /
• pp.66-68
• /
• 2015

최적항로 지원 시스템은 실해역 속도 성능 예측방법에서의 선택 근거확보와 정확도 평가를 위한 효과 검증이 반드시 필요하다. 하지만 이 같은 성능검증에 있어서 동일한 선박에 대한 다양한 대안 항로에서의 동시성능계측이 불가능하기 때문에 효과를 직접 비교하기는 상당히 어렵다. 따라서 본 논문에서는 최적항로 지원 시스템의 효과 검증을 위한 간접적인 절차를 제안하였고, 시스템의 내부 분석코드를 이용하여 효과를 비교 검증하였다. 그 절차는 1) 계산의 근거 인기상 정보의 정확성 검증, 2) 실제 항로에서의 성능예측계산의 신뢰성 확인, 3) 신뢰성이 확보된 계산방법을 이용한 최적항로선택, 4) 실제 항로와 최적항로의 연료 효율성 비교의 4단계로 이루어진다. 대상 선박은 폴라리스쉬핑의 솔라돌핀호(208k BC)이며 실선 운항 데이터는 최적항로 지원 시스템을 통하여 직접 계측하였다. 그 결과 호주-한국 항차에서 최적항로를 항해할 경우 약 6.0%의 연료 절감 효과를 기대할 수 있음을 확인하였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2010년도 제42차 하계학술발표논문집 18권2호
• /
• pp.91-94
• /
• 2010

본 논문에서는 SDP 시스템이 충족해야 할 요구 규격을 검증하기 위하여 시험 환경 구축 방안을 제안하였다. SDP 시험 환경은 기능/성능/안정성 시험을 수행할 수 있도록 기존 항공관제시스템의 서브 시스템들과 동일한 기능을 수행하는 Simulation System들과 항적 추적 성능을 검증하기 위한 Eurocontrol의 SASS-C와 SMART 시스템으로 구축하였다. 또한 SDP 시험에 있어 Test Case 및 Test Procedure를 구성하여 SDP 요구 규격에 대한 정확한 검증을 수행할 수 있도록 시험 절차를 정의하였다. 제안된 시험 환경 및 시험 절차는 모의 시험을 통해 소프트웨어 구현 과정에서의 시스템 요구 규격에 대한 충족도를 보다 높일 수 있다.

• 한국항공운항학회:학술대회논문집
• /
• 한국항공운항학회 2015년도 추계학술대회
• /
• pp.179-182
• /
• 2015

DO-278A는 소프트웨어 인증 절차를 제공할 목적으로 만들어진 것은 아니지만, 소프트웨어 개발 절차를 설명하는 것으로 지상용 항공장비의 소프트웨어를 만드는데 적절한 역할을 수행할 수 있다. 대체적으로, 수명주기증거품(life cycle evidence)을 통해 프로세스가 정확하고 적합하게 이행되었다는 것을 증명할 수 있다면 소프트웨어는 적합성을 확인을 받을 수 있다. 본 논문에서는 국토부 R&D로 개발되고 있는 항공기 지상이동유도 및 통제시스템(Advanced-Surface Movement Guidance & Control System, A-SMGCS)의 소프트웨어 개발 및 검증에 DO-278A 절차를 적용한 방안을 제시하고자 한다.

• 한국화재소방학회:학술대회논문집
• /
• 한국화재소방학회 2010년도 추계학술발표회 자료집
• /
• pp.328-331
• /
• 2010

본 연구는 IMO에서 제안하고 있는 피난모델에 대한 검증 및 확인 절차를 알아보고 이를 SIMULEX 모델에 적용하여 분석해보았다. 결과적으로 볼때 이 검증절차가 현재 사용되고 있는 피난모델들을 검증하기에는 아직 보완해야할 점이 많은 것으로 판단된다. 피난모델을 검증, 평가하기 위한 평가체계에 대한 연구가 필요하다 생각된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.638-640
• /
• 1999

객체지향 방법의 초기 단계인 객체지향 분석은, 문제 기술서에서 사용자 요구 사항을 실 세계의 개념과 도메인 지식을 통하여 객체 관점에서 모델링하고, 객체 지향 요구 명세를 생성하는 절차이다. 기존에 제안된 객체 모델링 방법론에서 분석 단계의 정적 모델링은 시멘틱 모델 등의 풍부한 시멘틱을 제공하여 모델과 모델링의 많은 부분들을 정형화할 수 있었다. 그러나 대부분의 방법론들의 분석과정은 동적 모델의 정형화가 미흡하다. 본 논문에서는 시스템의 정적인 구조를 검증할 수 있는 정보 트리 모델에 동적인 행위 정보를 포함하도록 확장하고, 검증 절차를 제시함으로써 시스템의 동적 행위를 검증할 수 있게 하였다. 또한, 객체 지향 요구 명세의 동적인 행위에 대한 검증은 확장 정보트리를 사용하여 use case와 시나리오를 추적하면서 검증한다.

• 천문학회보
• /
• 제34권1호
• /
• pp.165.1-165.1
• /
• 2009

• 한국산업정보학회논문지
• /
• 제13권2호
• /
• pp.88-99
• /
• 2008

본 논문에서는 ERP를 도입하여 개발중인 국방인사정보체계에서 구현되어야 할 인사기록방법을 절차에 중점을 두고 제안한다. 국방부와 육 해 공군이 공동으로 인사업무에서 사용할 수 있는 인사기록절차는 현재 국방부와 각 군 인사기록절차의 문제점인 수작업과 전산작업의 혼용, 일부기관(국방부)의 전자적 기록관리 부재, 실시간 기록미흡, 기록사항의 확인 및 입력 중앙집중/업무과다를 해결할 수 있도록 제안되었다. 인사기록절차는 표준화된 인사기록 절차도와 인사기록절차 정의서로 표현되었다. 제안된 인사기록절차는 인사기록의 진본성, 무결성, 신뢰성, 이용가능성이 보장되도록 세 가지의 개선방향인 일원화된 전자기록관리, 실시간 기록관리, 검증권한의 효율적 집중과 분산을 적용하여 제안되었으며 제안된 인사기록절차가 개발중인 국방인사정보체계를 통해서 구현될 시 12개의 기록관리체계의 통합, 기록관리시간을 45일에서 3일로 감소, 검증권한을 국방부 및 각 군 본부와 소속기관 및 개인으로 분산, 일부 수작업문서의 감소효과를 가져올 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 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를 이용해 유효성을 보장하여 다른 클라이언트에 보낼수 있다.

• 한국초등수학교육학회지
• /
• 제19권4호
• /
• pp.649-666
• /
• 2015

본 연구에서는 문헌 연구 및 초등학교 교사를 대상으로 한 설문의 통계적 검증 절차를 기반으로 하여 초등학교 교사의 수학교수불안(數學敎授不安) 측정 도구를 개발하였다. 특히, 본 연구에서는 신뢰도 검증을 위해 주성분분석(Principal Components Analysis)을 이용하여 설문 문항 간 유기성을 검증하였으며, 타당도 검증을 위해서 수학 교수 효능감 도구의 적용 결과와 비교 분석을 실시하였다. 문헌 연구를 기반으로 개발된 문항들의 신뢰도와 타당도에 대한 통계적 검증 절차를 통해, 본 연구에서는 21문항으로 구성된 초등학교 교사의 수학교수불안 측정 도구를 개발하였다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2008년도 춘계 종합학술대회 논문집
• /
• pp.236-241
• /
• 2008

경찰공무원은 공직의 체계상 특정직으로 분류된다. 대부분의 특정직은 별도의 인사법규에 근거하여 개별적 인사행정이 이루어지고 있다. 조직과 임무가 특수한 만큼 일반직에 대한 인사행정을 적용햐는데 한계가 있기 때문이다. 경찰 근무성적평정도 이러한 논리로 타 공직과는 상이한 형태로 실시되고 있다. 본 연구에서는 경찰 근무성적평정 제도의 보다 바람직한 운영을 도모하기 위해서 평정결과에 대한 검증절차를 도입할 것을 제안하였다. 다만, 제도시행 초기에는 검증대상을 최종 평정권자의 결과만으로 한정하는 것이 바람직할 것이다.