• 인터넷정보학회논문지
• /
• 제4권3호
• /
• pp.57-67
• /
• 2003

소프트웨어 생산 라인은. 소프트웨어 자산에 존재하는 일반적인 컴포넌트를 구체화하고 미리 정의된 아키텍처를 기반으로 조립함으로써, 고품질의 응용 프로그램을 빠르게 개발할 수 있도록 해 주는 것을 목적으로 한다. 본 논문에서는, 소프트웨어 생산 라인 구축을 지원하기 위하여 GenVoco 아키텍처와 XML/XSLT 기술을 이용한 컴포넌트 코드 자동 생성 기법과, 이를 기반으로 한 컴포넌트 코드 생성 시스템인 CompGenX(Component Generator using XML)를 제안한다. CompGenX은 컴포넌트 코드 생성 시에 컴포넌트의 재구성성을 지원함으로써 재사용자가 컴포넌트 재사용 시 자신의 목적에 맞는 컴포넌트의 소스 코드를 자동으로 생성할 수 있게 해 준다. 이를 위한 컴포넌트 개발 과정은 크게 컴포넌트 패밀리 구축 과정과 컴포넌트 재사용 과정으로 나누어진다. CompGenX는 컴포넌트 패밀리 구축 과정을 위하여, 도메인 분석을 위한 특성 모델 작성 도구, 도메인 설계를 위한 도메인 아키텍처 정의 도구를 제공한다. 또한 코드 자동 생성에 필요한 구성 지식 명세서와 코드 템플릿 작성 도구를 제공한다. 컴포넌트 재사용 과정을 위해서 CompGenX는, 컴포넌트 패밀리 검색 도구, 컴포넌트 커스터마이징 도구 및 컴포넌트 코드 생성기 등을 제공한다. 본 논문의 컴포넌트 코드 자동 생성 기법과 생성 시스템은 컴포넌트 기반 소프트웨어 생산 라인 구축을 위한 기반 기술로서 적용될 수 있다.

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 2003년도 춘계학술대회
• /
• pp.271-285
• /
• 2003

In the conduct of this study, a web-enabled healthcare system for the management of hypertension was implemented through a hyperlink-based inference approach. The hyperlink-based inference platform implemented using the hypertext capacity of HTML which ensured accessibility, multimedia facilities, fast response, stability, ease of use and upgrade, and platform independency of expert systems. Many HTML documents, which are hyperlinked to each other based on expert rules, were uploaded beforehand to perform the hyperlink-based inference. The HTML documents were uploaded and maintained automatically by our proprietary tool called the Web-Based inference System (WeBIS) that supports a graphical user interface (GUI) for the input and edit of decision graphs. Nevertheless, the editing task of the decision graph using the GUI tool is a time consuming and tedious chore when the knowledge engineer must perform it manually. Accordingly, this research implemented an automatic generator of the decision graph for the management of hypertension. As a result, this research suggests a methodology for the development of Web-enabled healthcare systems using the hyperlink-based inference approach and, as an example, implements a Web-enabled healthcare system for hypertension, a platform which peformed especially well in the areas of speed and stability.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2010년도 추계학술대회 초록집
• /
• pp.75.1-75.1
• /
• 2010

This research presents a fuel cell simulator for control logic verification and operator training. Nowadays, power industries are focusing on clean energy as a response to new policy. The fuel cell can be the solution for clean energy, but operating technology is not well developed compared to other conventional power plans because of its short history. Therefore we need a simulator to verify the new control strategy and train operators, because the price of a real fuel cell system is too high and mechanically weak to be used for these kind of purposes. To develop the simulator, a 300 KW MCFC(Molten Carbonate Fuel Cell) system was modeled with stack, BOPs(pre-reformer, steam generator, etc) and mechanical components(valves, pipes, pumps, blowers, etc). The process model was integrated to emulated control system and HMI(Human Machine Interface). A static load and open loop tests were conducted for verifying the accuracy of the process model, since it is the most important part in the simulation. After verifying the process model, an automatic load change and start-up tests were conducted to verify the performance of a new control strategy(logic and functional loops).

• 대한의용생체공학회:의공학회지
• /
• 제22권3호
• /
• pp.293-301
• /
• 2001

A patient-specific musculoskeletal model, whose parameters can be identified noninvasively, was developed for the automatic generation of patient-specific stimulation pattern in FES. The musculotendon system was modeled as a torque-generator and all the passive systems of the musculotendon working at the same joint were included in the skeletal model. Through this, it became possible that the whole model to be identified by using the experimental joint torque or the joint angle trajectories. The model parameters were grouped as recruitment of muscle fibers, passive skeletal system, static and dynamic musculotendon systems, which were identified later in sequence. The parameters in each group were successfully estimated and the maximum normalized RMS errors in all the estimation process was 8%. The model predictions with estimated parameter values were in a good agreement with the experimental results for the sinusoidal, triangular and sawlike stimulation, where the normalized RMS error was less than 17%, Above results show that the suggested musculoskeletal model and its parameter estimation method is reliable.

• International Journal of Fluid Machinery and Systems
• /
• 제8권3호
• /
• pp.142-154
• /
• 2015

Nowadays, computational fluid dynamics is commonly used by design engineers to evaluate and compare losses in hydraulic components as it is less expensive and less time consuming than model tests. For that purpose, an automatic tool for casing and distributor analysis will be presented in this paper. An in-house mesh generator and a Reynolds Averaged Navier-Stokes equation solver using the standard $k-{\omega}$ shear stress transport (SST) turbulence model will be used to perform all computations. Two solvers based on the C++ OpenFOAM library will be used and compared to a commercial solver. The performance of the new fully coupled block solver developed by the University of Lucerne and Andritz will be compared to the standard 1.6ext segregated simpleFoam solver and to a commercial solver. In this study, relative comparisons of different geometries of casing and distributor will be performed. The present study is thus aimed at validating the block solver and the tool chain and providing design engineers with a faster and more reliable analysis tool that can be integrated into their design process.

• 한국정보처리학회논문지
• /
• 제3권7호
• /
• pp.1792-1802
• /
• 1996

영한 기계번역에서 전치사구의 해석 부착의 문제(Attachment Problem)와 의미 해석의 문제, 그리고 해석에 필요한 정보 획득의 문제가 있다. 이 세 가지 문제를 해결하기 위하여 본 논문은 전치사구 해석 시스템을 제시한다. 이 시스템은 규칙 제어기와 신경망의 하이브리드 구문해석 시스템, 격의미 해석 시스템, 그리고 신경망 의 입력 정보를 자동으로 생성하는 의미속성 생성기로 구성한다. 의미속성 생성기는 시스템의 입력이 되는 의미속성을 자동으로 생성하는 방법으로 인위적인 방법의 단점 을보완하여 객관성 있는 전치사구 해석을 하게 한다. 격의미 해석 시스템은 영한 기계 번역에 맞는 격의미를 찾아내어 자연스런 한국어 생성을 하게 하고 구문해석 시스템은 규칙 방법의 장점과 신경망 방법의 장점을 취한 하이브리드 방식의 시스템으로 전치사 구 부착의 문제를 해결한다.

• Nuclear Engineering and Technology
• /
• 제31권2호
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

• 경영과학
• /
• 제22권1호
• /
• pp.15-26
• /
• 2005

The bootstrap is a method of computational inference that simulates the creation of new data by resampling from a single data set. We propose a new job for the bootstrap: generating inputs from one historical trace using Threshold Bootstrap. In this regard, the most important quality of bootstrap samples is that they be functionally indistinguishable from independent samples of the same stochastic process. We describe a quantitative measure of difference between two time series, and demonstrate the sensitivity of this measure for discriminating between two data generating processes. Utilizing this distance measure for the task of generating inputs, we show a way of tuning the bootstrap using a single observed trace. This application of the threshold bootstrap will be a powerful tool for Monte Carlo simulation. Monte Carlo simulation analysis relies on built-in input generators. These generators make unrealistic assumptions about independence and marginal distributions. The alternative source of inputs, historical trace data, though realistic by definition, provides only a single input stream for simulation. One benefit of our method would be expanding the number of inputs achieving reality by driving system models with actual historical input series. Another benefit might be the automatic generation of lifelike scenarios for the field of finance.

• 한국광학회지
• /
• 제9권3호
• /
• pp.175-180
• /
• 1998

고체 레이저매질로 가장 널리 쓰이는 Nd:YAG 단결정을 Czochralski 방법으로 육성하였다. 자체 제작한 Czochralski 결정 육성로 및 자동 결정 적경제어 장치를 써서 유효 직경 50mm, 길이 100mm의 Nd3+ 이온농도가 0.9at%이고 <111>방향의 단결정을 육성하였다. 단결정 육성시 융액의 수직방향에 대한 온도구배가 중용한 변수인 것이 확인되었으며, 결정 직경은 자동 제어가 가능하도록 컴퓨터 프로그램을 제작하였다. 육성된 단결정을 절단, 가공, 연마, 코팅 과정을 거쳐서 레이저 발진용 Nd:YAG막대를 제작하고 흡수 스펙트럼, 형과 스펙트럼 분석을 통하여 정확한 Nd:YAG의 레이저 발진특성을 확인하였다. 자체 가공된 레이저 막대로부터 발진된 CW 레이저의 최대 출력은 70W이었고, 발진문턱값과 효율은 각각 1.3kW, 1.64%이었다.

• 한국전자거래학회지
• /
• 제12권1호
• /
• pp.135-149
• /
• 2007

개인 사용자가 전자문서를 쉽게 사용하려면 전자문서를 효과적으로 분류하고, 정확하게 검색할 수 있는 기능이 필요하다. 그러나 개인 사용자의 컴퓨터에 저장된 문서를 효율적으로 관리하기 위한 방법이나 도구에 대한 연구는 상대적으로 미흡한 상태이다. 본 연구는 개인 사용자가 전자 문서를 효과적으로 관리하고 검색하기 위한 방법을 제안한다. 연구 결과인 ONTALK은 모든 전자문서의 메타데이터를 온톨로지 기반으로 생성하고, 추론엔진(inference engine)을 이용하여 의미적(semantics) 정보 검색을 제공한다.