• Journal of Internet Computing and Services
• /
• v.11 no.4
• /
• pp.107-117
• /
• 2010

The feature models representing the common and variable concepts among the software products and the feature configurations generated by selecting the features to be included in the target product are the essential components in the software product lines methodology. Although the researches on the formal semantics and reasoning of the feature models and feature configurations are in progress, the researches on feature model ontologies and feature configuration validation using the semantic web technologies are yet insufficient. This paper defines the formal semantics of the feature models and proposes a feature configuration validation technique based on ontology and semantic web technologies. OWL(Web Ontology Language), a semantic web standard language, is used to represent the knowledge in the feature models and the feature configurations. SWRL(Semantic Web Rule Language), a semantic web rule languages, is used to define the rules to validate the feature configurations. The approach in this paper provides the formal semantic of the feature models, automates the validation of feature configurations, and enables the application of various semantic web technologies, such as SQWRL.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2010.11a
• /
• pp.287-293
• /
• 2010

본 연구에서는 개방형 로켓엔진시스템의 제어시스템을 구성하기 위한 선행연구로서, 시동특성을 예측하기위해 Simulink 모델을 구성하였다. 구성품별 동특성 모델을 바탕으로 로켓엔진시스템의 예측 프로그램을 구성하였으며, 대상으로 하는 시스템의 천이 작동상태에서의 동특성 변화의 예측과 더불어 그 모델링의 타당성 검증을 위하여 실제 개방형 로켓엔진 상사모델의 수류실험을 통해 실험적으로 측정하여 비교하였다. 또한 Simulink모델이 제어시스템을 구성하기위해 적합한지를 판단하기위해 기 수행된 천이 동특성 예측 프로그램의 결과와 비교하였고 검증하였다.

• Electronics and Telecommunications Trends
• /
• v.14 no.5 s.59
• /
• pp.151-152
• /
• 1999

화자검증기술은 화자의 입력음성으로부터 화자의 특성을 계산하고 해당 화자를 유일하게 구분할 수 있는 통계적 모수를 추출하여 이를 화자의 개인 데이터베이스로 구축하며, 검증시에는 개인데이터베이스와 입력되는 미지 화자의 특성에 대한 유사도를 비교.검증하는 것이다. 또한 이때 주어진 임계치(Threshold)의 만족 정도에 따라 동일 화자여부를 결정하는 결정논리(decision logic)로 검증엔진을 구성하는 기술이며, 응용영역에 따라 환경잡음, 채널잡음 등 사용환경과 전체시스템과의 적절한 시나리오 구성 등이 실용화를 위한 중요한 척도가 된다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2010.05a
• /
• pp.54-60
• /
• 2010

액체로켓엔진 시스템의 시동 및 정지 또는 추력 제어와 같은 천이 작동시 동특성을 예측하기 위한 선행 연구로서 추진제 공급 시스템의 구성품에 대한 동특성 모델링을 수행하였다. 연료 공급계통과 산화제 공급 계통의 구성품들은 재생냉각채널을 제외하고 같은 것으로 가정하였다. 동특성 모델링의 대상 구성품은 펌프, 관로, 오리피스, 제어 벨브, 재생냉각채널, 인젝터 등이며 실제 엔진 시스템의 축소모형에 대한 수력시험을 통해 각 구성품의 동특성 모델링을 검증하였다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2010.05a
• /
• pp.181-189
• /
• 2010

개방형 액체로켓엔진 시스템에 대한 동특성 예측 프로그램을 작성하였다. 이 프로그램을 통해 얻은 펌프 시동 시 시간에 따른 압력 및 유량 변화 결과를 수류실험장치를 구축하여 실험적으로 검증하였다. 수류실험장치는 실제 액체로켓엔진 추진제 공급 계통에서 구성품의 형태와 배치위치, 가스발생기와 주연소실로 분기되는 유량비를 기준으로 모사되었다. 측정 시 관로가 채워진 상태에서 펌프를 시동하였으며 펌프는 전동기로 구동된다. 동특성 예측 프로그램의 작성을 위해 구성품별 동특성 모델링을 수행하고 엔진 시스템을 기준으로 각 모델링을 순차적으로 통합하였다. 구성품의 동특성 파라미터를 측정 반영하였고 압력 밸런싱을 통해 수렴 조건이 결정된다. 수렴된 밀도와 유량을 가지고 다음 시간에서의 초기 입력 값으로 대체하여 계산을 수행하였다. 천이 작동 상태에서 엔진 시스템 내의 물리량 변화를 전산 예측과 더불어 실험적으로 측정하고 비교하였다.

• Journal of Internet Computing and Services
• /
• v.8 no.6
• /
• pp.135-144
• /
• 2007

Feature models are widely used in domain engineering phase of software product lines development to model the common and variable concepts among products. From the feature model, the feature configurations are generated by selecting the features to be included in target product. The feature configuration represents the requirements for the specific product to be implemented. Although there are a lot of researches on how to build and use the feature models and feature configurations, the researches on the formal semantics and reasoning of them are rather inactive. This paper proposes the feature configuration verification approach based on JESS, java-based rule-base system. The Graph Product Line, a standard problem for evaluating the software product line technologies, is used throughout the paper to illustrate this approach. The approach in this paper has advantage of presenting the exact reason causing inconsistency in the feature configuration. In addition, this approach should be easily applied into other software product lines development environments because JESS system can be easily integrated with Java language.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.15 no.1
• /
• pp.35-44
• /
• 2011

Mathematical modelling for liquid rocket engine(LRE) main components were conducted to predict the dynamic characteristics when the LRE operates at the transient condition, which include engine start up, shut down, or thrust control. Propellant feeding system is composed of fuel and oxidizer feeding components except for regenerative cooling channel for the fuel circuit. Components modeling of pump, pipe, orifice, control valve, regenerative cooling channel and injector was serially made. Hydraulic tests of scale down component were made in order to validate modelling components. The mathematical models of engine components were integrated into LRE transient simulation program in concomitant with experimental validation.

• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.97-98
• /
• 2006

디지털 보호계전기의 성능 검증은 정특성 성능 검증, 동 특성 성능 검증, 내 환경 성능 검증으로 나누어진다. 이 중 동특성 성능 검증에 대한 중요성이 증가하고 있으나, 실시간 디지털 시뮬레이터에 대한 접근의 어려움으로 인해서 해당 기술의 보급이 용이하지 않았다. 전력연구원에서는 이러한 점을 해결하고 관련 기술의 보급을 위해서 디지털 보호계전기 동특성 성능 검증의 기반을 마련하였으며, 이 기반은 성능 검증을 위한 계통 모델과 성능 검증 절차서로 각각 구성되어 있다.

• Proceedings of the KIEE Conference
• /
• 2005.07a
• /
• pp.453-455
• /
• 2005

디지털 보호계전기의 성능 검증은 정특성 성능 검증, 동특성 성능 검증, 내 환경 성능 검증으로 나누어진다. 이 중 동특성 성능 검증에 대한 중요성이 증가하고 있으나, 실시간 디지털 시뮬레이터에 대한 접근의 어려움으로 인해서 해당 기술의 보급이 용이하지 않았다. 전력연구원에서는 이러한 점을 해결하고 관련 기술의 보급을 위해서 디지털 보호계전기 동특성 성능 검증의 기반을 마련하였으며, 이 기반은 성능 검증을 위한 계통 모델과 성능 검증 절차서로 각각 구성되어 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.38-43
• /
• 2008

특성 모델(Feature Model)은 소프트웨어 제품 라인 개발 시 도메인 공학 단계에서 제품들 사이의 공통점과 차이점을 모델링하는데 널리 사용된다. 특성 구성(Feature Configuration)은 특성 모델로부터 특정 제품에 포함될 특성들을 선택한 결과이다. 특성 구성은, 특성 모델에 표현되어 있는 여러 가지 제한 조건을 만족해야 한다. 본 논문에서는 특성 모델 작성 기능과 특성 구성 정의 기능을 지원하고 특성 구성의 검증 기능을 지식 기반 시스템인 JESS를 활용하여 구현한 특성 모델링 도구를 제안한다. 본 도구는 자바 언어와의 결합성이 좋은 JESS 시스템을 이용하여 확장성이 좋으며 특성 구성에서의 오류 원인을 명확히 알려주는 장점을 가진다.