• 한국정보교육학회:학술대회논문집
• /
• 2010.08a
• /
• pp.95-99
• /
• 2010

In this study, using the program in elementary school, scratch, based on user-centered design model, a high-level (High Level) step by applying prototyping techniques for application development, training and present a model applied to investigate reports that validate the effectiveness. The results of this study, problem solving and logical thinking ability in elementary school for the education of the new approach to application development is expected to be.

• Annual Conference of KIPS
• /
• 2003.05b
• /
• pp.1221-1224
• /
• 2003

비즈니스 룰은 이윤을 획득하기 위한 상용 시스템에서는 반드시 명확하게 기술되어야만 하며 시스템에서 비즈니스 룰의 충돌은 시스템에 대한 신뢰도를 떨어뜨리는 요인이 될 뿐만 아니라, 시스템의 계획 당시에는 예측하지 못했던 크고 작은 경제적인 손실을 발생하게 한다. 일반적으로 비즈니스 룰은 애매모호함을 가지고 있는 비정형 언어로 기술되는 경우가 많아서, 설정된 비즈니스 룰간의 충돌을 예측하기가 매우 어려울 뿐만 아니라, 개발 중에 룰이 추가되는 경우에 기존의 룰과의 충돌을 예측하기란 매우 어려운 일이다. 본 논문에서는 이 문제를 해결하기 정형 명세를 이용한 모델링을 사용하였다. 수학, 논리학에 기반을 둔 정형 모델링 방법으로 비즈니스 룰을 명확하게 표현하고, 해당 룰을 내포한 시스템 모델링을 구현하였다. 그 결과 작성된 비즈니스 룰의 충돌 여부를 판단할 수 있게 되었다. 시스템 개발 초기에 구현 후에 발생할 수 있는 문제를 미연에 발견하여 시스템 모델 혹은 비즈니스 룰의 수정하여 신뢰할 수 있는 시스템을 개발할 수 있도록 도움을 주고자 한다 본 논문에서는 명확한 표현을 위해서 비즈니스 룰을 일차 논리로 기술하고 룰과 모델링을 위해서 일차논리 기반의 정형 명세 언어인 Z 를 사용하였다.

• Proceedings of the IEEK Conference
• /
• 2003.07a
• /
• pp.454-457
• /
• 2003

대규모 시스템 명세의 올바름을 검증하기 위한 유한상태 LTS(Labeled Transition System)에 기반을 둔 CTL(Computation Tree Logic) 논리 적용의 문제점은 시스템 내부의 병렬 프로세스간 상호 작용으로 인한 상태폭발이다. 그러나 medal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결된다. 본 논문에서는 LTS 로 명세화 된 철도 신호제어용 프로토콜 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증하기 위해 시제 논리로 사용된 modal mu-calculus를 사용하여 해당 검정 알고리즘을 구현 및 적용하였다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.2
• /
• pp.234-240
• /
• 1999

널값(null value)중 그 값은 존재하지만 현재 알려지지 않은 값을 미지 값(unknown value)이라고 한다. 본 논문에서는 논리합 퍼지 정보를 허용하는 퍼지 데이터베이스 응용 환경에서 잠재술어(Implicit Predicate, IP)를 이용하여 미지 값을 문제를 해결하기 위한 새로운 접근 방법을 제안한다. 이 방법의 특징은 첫째, 논리합 퍼지 정보를 퍼지 데이터베이스 내에 허용함으로써 미지 값의 의미적 표현력을 강화시키고, 둘째 개념에 기반한 퍼지 부합 매커니즘을 지원할 수 있으며, 셋째, 퍼지 소속성 함수를 구조화하여 시소러스로 활용함으로서 보다 정교한 부합을 가능하게 한다는 점 등이다. 본 논문에서는 먼저 이러한 IP의 특징들에 대해 기술하고 퍼지 데이터베이스에서 이 IP들을 최대한 이용하여 확정적 답을 이끌어 내기 위한 질의 평가 방식을 제안한다.

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 1997.12a
• /
• pp.155-166
• /
• 1997

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.73-82
• /
• 2009

Open Source Software has over 60 percent of application software development but previous studies of objective quality model and characteristic to utilize Open Source Software appeared to be low and there are few studies regarding quantitative evaluation methods to evaluate Open Source Software. To solve these problems, in this paper, we propose a quality evaluation model, "Logical Open Source Software quality model", which is able to utilize for developing and maintaining application software and quantitative quality evaluation method that can utilize in the proposed model. The proposed Open Source Software quality model derives quality characteristics based on literature and it forms six main-features and twelve sub-characteristics by comparing with the quality characteristic of ISO/IEC 9126 and twelve evaluation metrics that can measure the metrics and the characteristics quantitatively. To verify efficiency of the proposed quality evaluation model, we apply the proposed quality evaluation to top 5 project management system (PMS) software in open source software community and prove its availability.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.30 no.1
• /
• pp.70-78
• /
• 2019

In this paper, modeling of a high-resolution multi-function radar is proposed to simulate radar performance in a war game simulator, called AddSIM. To incorporate the multi-function radar model into the AddSIM, the modeling must comprise a component-based structure consisting of physics, logics, and information blocks. Therefore, we assign the RF hardware of a RADAR as the physic block, a controller as the logics block, and the RF specifications of the RADAR as the information block. Detailed modeling of the physics and logics blocks are addressed, and data structure is also presented on an engineering level. On a multi-target engaged scenario, the performance of the multi-function radar is numerically analyzed and its validation is examined.

• Journal of the Korea Society for Simulation
• /
• v.30 no.1
• /
• pp.1-9
• /
• 2021

In actual battlefield environment, the naval ships which have specific missions have to respond to the attack of hostile forces. Especially, in modern warfare, the importance of the survivability of naval ships are increasing due to the high lethality of armaments. Naval ship survivability is generally considered to encompass three constituents, susceptibility, vulnerability and recoverability. Recently, among these three constituents, many researches on vulnerability have been conducted. However, for the vulnerability of naval ships, most of researches are aimed towards the detailed design stages where implementing changes is heavily constrained or even impractical. In this paper, vulnerability assessment model for naval ships on a theater engagement is developed by using M&S technique. By using this model, the characteristics of platform and armaments are reflected on the damage of naval ship. The basic logic of damage assessment is also considered in detail. The damage status of the naval ship is quantified by defining a representative state index of onboard equipment for each system.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.04a
• /
• pp.520-529
• /
• 1993

생산시스템의 효율적 설계/구축/운용에 상용 시뮬레이션 소프트웨어가 최근 급속히 이용되고 있다. 특히 복잡한 논리에 의해 제어되는 FMS(Flexible Manufacturing System)의 시뮬레이션에서는 동적인 상태변화의 파악이 중요하며, 거의 유사한 하드웨어와 소프트웨어의 조합에 의해 시스템이 구축될 수 있다는 특징을 가지고 있다. 본 연구에서는 FMS모델 구축에 필요한 구성요소를 갖추고 있는 상용시뮬레이션 소프트웨어를 생산시스템 구축 및 운용모델 설계에 이용한 사례를 소개하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.115-117
• /
• 2002

본 논문에서는 Mobile IPv6에 사이클이 있음을 Alloy로 명세(specification)하고 Alloy 분석기로 검증(verification)한 것을 해석해 보겠다. Acyclicity를 만족하지 못함으로 해서 모바일호스트는 이동을 하지 못하고 계속 사이클을 돌게 된다. Alloy는 Rational의 UML과 같은 객체모델링 언어인데, 일차논리와 집합에 기반을 둔 Z에서부터 파생되었다. Alloy는 작은 모델들을 위한 명세 언어로, Alloy 모델은 그래픽과 텍스트를 모두 지원한다. Alloy로 명세 된 것을 쉽게 분석 할 수 있는 검증도구로 Alloy 분석기가 있는데, 이러만 도구를 이용함으로써 손쉽고 빠르게 검증을 할 수 있다.