• 정보처리학회논문지D
• /
• 제16D권6호
• /
• pp.921-926
• /
• 2009

소프트웨어가 이미 배포되어 사용되고 있는 경우, 상황에 따라 소프트웨어에 내재된 취약성은 심각한 사회적, 경제적 영향을 미칠 수 있다. 그러므로 소프트웨어의 취약성은 개발 단계에서부터 충분한 고려가 필요하다. 소프트웨어의 모델 및 시뮬레이션은 소프트웨어의 개발 단계에서 사용될 수 있는 취약성 검사를 위한 테스트 정책의 하나로 고려될 수 있다. 본 논문에서는 해당 방법의 사용 가능성 확인을 위해 톨레미를 이용하여 DNS 시스템의 행동 양식을 모델링하고 이를 시뮬레이션 하였다. 실험 결과에 따르면 기존에 알려진 DNS 서버의 취약성이 효과적으로 검출되고 있음을 확인할 수 있었고, 이는 모델 및 시뮬레이션이 취약성 테스팅에 사용 가능함을 의미한다.

• 품질경영학회지
• /
• 제46권4호
• /
• pp.821-842
• /
• 2018

Purpose: To derive key requirements and key technologies for weapon system acquisition business by using Qualify Function Deployment (QFD), and to reduce business cost by setting the target performance and key expense of weapon system. Methods: We propose a QFD methodology that can induce rational decision-making by translating analyst's subjective opinions into quantitative values when analyzing requirements at the initial stage of weapon system development project. Based on QFD methodology, QFD application model combining house of quality, value engineering, and analogy cost estimating technique is presented. Results: It was possible to analyze the specific requirements necessary for the development of the weapon system, to solve the communication problem of the participants, to set clear development direction and target. Conclusion: By applying the QFD application model at the early stage of the weapon system acquisition project, it is possible to reduce the business cost by establishing clear development direction and goal through the procedural analysis process.

• 한국시뮬레이션학회논문지
• /
• 제19권1호
• /
• pp.153-160
• /
• 2010

소프트웨어 개발 프로세스에서 발생되는 오류의 대부분은 요구사항 정의와 디자인 단계에서 비롯된다. 또한 이들 단계에서 포함된 오류의 수정 및 제거는 이후 단계에서 포함된 오류의 수정에 비해 훨씬 많은 노력과 비용을 요구한다. 하지만 요구사항과 디자인된 모델의 검증은 매우 중요한 작업임에도 불구하고 다양한 문제점들로 인해 성공적으로 수행되고 있지 못하다. 따라서 본 논문에서는 초기 디자인 단계에서 요구사항 및 모델의 검증 작업을 동시에 수행할 수 있는 모델의 시뮬레이션을 통한 검증 절차를 제안한다. 이 때 작성되는 모델은 Ptolemy 상에 소프트웨어의 행동 양식을 바탕으로 작성된다. 제안된 방법을 DNS 시스템 환경에 적용하여 사용 가능성을 확인하였으며, 시뮬레이션 결과에 따르면 행동 양식을 반영한 모델의 시뮬레이션을 통해 기존에 알려진 시스템의 내재된 오류 혹은 취약성을 발견 가능함이 확인되었다. 이는 제안된 방법이 소프트웨어 개발 프로세스 초기에서 요구사항과 모델을 검증하는 절차로 이용될 수 있음을 의미한다.

• 천문학회보
• /
• 제46권1호
• /
• pp.39.2-40
• /
• 2021

본 연구는 《숭전역서》 혹은 《서양신법역서》 이후, 하국종(何國宗, ? -1767)과 매각성(梅殼成, 1681-1764) 등에 의해 기술된 《역상고성》 상하편에 실린 <일전역리>, <일전역법>, <일전표>를 바탕으로 태양의 운동을 자세히 살펴보았다. 《숭전역서》 <일전역리>에서는 티코브라헤의 혼합모형을 기반에 두었지만 태양의 운동은 톨레미(Ptolemy)의 이심모델(Eccentric model)과 차이가 없다. 그러나 <일전표>에 수록된 가감차의 값은 이퀀트모델(Equant model)을 기초로 한 것이었다. 《신법산서》 <일전표>에는 이 모델에 의한 계산법을 소개하고 있으나 계산의 오류를 범하였다. 태양 실측과의 어긋남, 태양의 운동을 기술하는 여러 상수들이 다시 얻어짐에 따라 《역상고성》 상하편의 <일전역리>에서는 코페르니쿠스 모델을 기초로 한 본륜-균륜 모델을 채택하고 있다. 이 모델을 기초로 한 가감차 계산 과정에 조금의 수학적 오류가 있지만 계산 결과에는 영향을 미치지 않았다. 그리고 <일전표>에 제시된 가감차값은 바로 이 모델을 기반으로 한 값들이다. <일전역법>에 제시된 동지 이후 태양의 실제 경도를 구하는 방법이 매우 구체적이다. 이 방법은 이후 《역상고성후편》의 <일전역법>도 그대로 따르고 있는데 다만 《역상고성후편》의 <일전역리>는 케플러의 타원모델을 채택하고 있다. 태양의 황경을 구하는 현재의 방법과 비교해보면 《역상고성》 <일전역법>에서는 그 기준이 동지이고 현재의 방법은 춘분점이라는 것만 다를 뿐이고, 방법은 동일하다. 다만 필요한 상수 값들이 시간에 따라 아주 느리게 변하기에 이 값들의 보정이 필요할 뿐이다. 이 방법은 조선에서 집필된 《세초류휘》, 《시헌기요》, 《추보속해》, 《추보첩례》에도 사용한 모델과 상수들은 다르지만 동일한 방법을 요약하고 있다.