• 인터넷정보학회논문지
• /
• 제4권1호
• /
• pp.39-52
• /
• 2003

사회 및 경제가 발전함에 따라 소프트웨어 품질에 관심이 많아지며 고품질의 소프트웨어 생산을 위한 노력이 많이 이루어지고 있다. 이러한 소프트웨어의 가치를 평가하기 위해 ISO/IEC 9126 등의 표준안들이 많이 제공되고 있지만, 이러한 표준안들은 소프트웨어 항목 특성 및 평가 프로세스의 모형만을 제시하고 있을 뿐 평가 시 측정되는 평가 항목의 가중치에 대한 언급은 없다. 이에 본 논문에서는 ISO/IEC 9126의 지침에 따라 소프트웨어의 품질을 평가함에 있어 평가 항목간의 중요도 관계를 나타내는 평가 항목 가중치를 객관적이고 정량적인 방법으로 산출하여 품질 평가의 신뢰성을 높이고자 한다. 이러한 평가 항목에 대한 가중치 계산 방법의 바탕이 되는 이론으로, 각각의 평가 항목에 대한 신뢰 함수를 사용하여 평가 기준의 불확실성을 제거할 수 있게 하는 Dempster-Shafer 이론을 사용하며 더 나아가 Dempster-Shafer이론의 결합 규칙의 문제점을 개선하여 상호 배타적인 가설들의 결합 문제에도 효율적으로 적용하였다. 또한 평가자들의 정성적 인 표현으로부터 기초확률할당함수 값을 도출하는 정량화 기법의 사용으로 보다 효율적인 가중치 결정 기법을 제안하였다.

• 인터넷정보학회논문지
• /
• 제20권6호
• /
• pp.37-46
• /
• 2019

A test plan is a high level document detailing objectives, processes, schedules and so on for verifying a developed software. And a test strategy, a component of a test plan, is about how to test software products to guarantee its quality and find bugs in the software in advance. Therefore, establishing effective and suitable test strategies is important for elaborating test processes. However, these tasks are difficult for project managers who write a test plan if they were not trained well in software test processes. And mis-designed test strategies will also mislead entire testing behaviors that testers would do. As a result, there would be a low quality software product in the end. To solve this problem, we propose a new test strategy reuse technique in this paper. By utilizing test plans of already completed software development projects, we lead test planer to reuse suitable and effective test strategies which were used in previous projects. To do so, we evaluate existing test strategies by utilizing ISO/IEC 25010 quality model for evaluating the suitability of test strategies and also use effectiveness metrics for test strategies. And from these evaluations, we predict completeness of new test plan that is written by reused test strategies. It can help the project manager to write an appropriate test plan for the quality characteristics which are selected as objectives for testing and software product. We show the possibility of our approach by implementing a prototype into the existing framework in a case study.

• 한국컴퓨터정보학회논문지
• /
• 제13권6호
• /
• pp.51-58
• /
• 2008

버전 제어 시스템은 급속한 환경의 변화나 개발 환경이 복잡한 프로그래밍 환경에서 사용되고 있으며, 정의된 형상 규칙 정보를 정확하게 알지 못하는 경우나 미리 정의되지 않은 정보에 대해서는 형상 형성 정보 제공 문제가 발생한다. 본 논문에서는 사용자가 원하는 컴포넌트를 복합적으로 형상형성 제어 할 수 있는 라이브러리 시스템을 제안하고, 모델링하여 구현하였다. 제안한 형상형성 제어를 위해 사용되는 라이브러리는 확장 facet 분류를 응용하여 하부 표현 구조에 관계없이 라이브러리로부터 컴포넌트를 검색할 수 있도록 하였다. 이것은 본 논문에서 제안한 TreeSearch 클래스와 형상형성 제어 함수를 이용하여 관리된다. 본 논문의 라이브러리는 다른 언어와의 인터페이스를 통해 사용될 수 있으며, 사용자에 의해 facet이 확장되는 장점을 가진다.

• Nuclear Engineering and Technology
• /
• 제48권5호
• /
• pp.1162-1173
• /
• 2016

In this paper, we describe a physicomathematical model of the processes that occur in a sodium circuit with a variable flow cross-section in the case of a water leak into sodium. The application area for this technique includes the possibility of analyzing consequences of this leak as applied to sodium-water steam generators in fast neutron reactors. Hydrodynamic processes that occur in sodium circuits in the event of a water leak are described within the framework of a one-dimensional thermally nonequilibrium three-component gas-liquid flow model (sodium-hydrogen-sodium hydroxide). Consideration is given to the results of a mathematical modeling of experiments involving steam injection into the sodium loop of a circulation test facility. That was done by means of the computer code in which the proposed model had been implemented.

• Nuclear Engineering and Technology
• /
• 제48권4호
• /
• pp.859-869
• /
• 2016

Component-scale modeling of boiling is predominantly based on the Eulerian-Eulerian two-fluid approach. Within this framework, wall boiling is accounted for via the Rensselaer Polytechnic Institute (RPI) model and, within this model, the bubble is characterized using three main parameters: departure diameter (D), nucleation site density (N), and departure frequency (f). Typically, the magnitudes of these three parameters are obtained from empirical correlations. However, in recent years, efforts have been directed toward mechanistic modeling of the boiling process. Of the three parameters mentioned above, the departure diameter (D) is least affected by the intrinsic uncertainties of the nucleate boiling process. This feature, along with its prominence within the RPI boiling model, has made it the primary candidate for mechanistic modeling ventures. Mechanistic modeling of D is mostly carried out through solving of force balance equations on the bubble. Forces incorporated in these equations are formulated as functions of the radius of the bubble and have been developed for, and applied to, low-pressure conditions only. Conversely, for high-pressure conditions, no mechanistic information is available regarding the growth rates of bubbles and the forces acting on them. In this study, we use direct numerical simulation coupled with an interface tracking method to simulate bubble growth under high (up to 45 bar) pressure, to obtain the kind of mechanistic information required for an RPI-type approach. In this study, we compare the resulting bubble growth rate curves with predictions made with existing experimental data.

• 한국컴퓨터정보학회논문지
• /
• 제11권2호
• /
• pp.93-99
• /
• 2006

컴퓨터에 의한 지능형 의미기반 지식/정보의 자동처리를 위해서는 사람이 보유하고 활용하는 상식을 포함한 지식을 정형화하고 체계적으로 표상하여 컴퓨터에게 이해시키고 활용할 수 있도록 하여야 한다. 이의 필요성은 각 분야에서 널리 공감되고 있고 온톨로지라는 지식/정보 표현 포맷으로 그 표상 형식이 수렴되고 있다. 그러나 사람이 가지고 있는 지식과 정보는 매우 비정형적이고 때로는 모호한 개념에 기반하고 있어, 이를 정형화하기가 어렵다. 본고에서는 비질료적인 개념에서 직접 온톨로지를 구축하지 않고 개념을 그대로 사상한다고 여겨지는 언어기호 간의 관계로부터 온톨로지를 구축하는 방법론을 논의한다. 기존의 개념분류체계에서 고찰된 개념간의 관계와 언어학적으로 규명된 어휘 간의 관계가 밀접히 일치함을 보이고 바로 활용할 수 있는 자료가 풍부한 어휘 간의 관계로부터 온톨로지를 구축하는 구체적인 알고리듬을 제시한다. 여기에서 온톨로지 표현 포맷은 월드와이드웹 컨소시엄(W3C)의 OWL을 채택했다.

• 정보화연구
• /
• 제10권3호
• /
• pp.315-321
• /
• 2013

우리군은 국방 아키텍처프레임워크(MND-AF)를 제정하여 전군적, 기관별, 단위시스템 아키텍처를 개발할 때 적용하고 있다. MND-AF의 아키텍처메타모델(AMM)은 국방아키텍처 산출물에서 정의된 아키텍처 정보의 구조를 조직화하고 정보간의 관계를 묘사하고, 참조모델 및 국방 상호운용성 표준인 정보기술표준, 공통컴포넌트, 국방메타데이터 등과 연계를 통해 표준을 기반으로 상호운용성 달성을 지원해야 한다. 그러나 AMM을 살펴보면 상호운용성 표준과의 연계성이 미흡하여 단위시스템 아키텍처를 개발할 때 상호운용성 표준을 원활하게 적용하는 것이 제한되고 있다. 본 논문에서는 단위시스템 아키텍처를 개발할 때 국방 상호운용성 표준으로 관리되는 국방메타데이터 적용을 촉진시킬 수 있도록 국방메타데이터 기반 아키텍처메타모델의 논리데이터모델(OV-7c)을 제안한다.

• 한국정보처리학회논문지
• /
• 제2권3호
• /
• pp.324-334
• /
• 1995

대부분의 사용자 인터페이스 관리 시스템은 사용자 인터페이스의 대화 모델을 채 택하고 있다. 사용자 인터페이스 관리 시스템의 구현은 채택된 사용자 인터페이스의 대화 모델에 의해 강한 영향을 받는다. 모델-뷰-콘트롤러(Model-View-Controller : MVC) 프레임웨이 Smalltalk 환경에서 사용자 인터페이스 개발의 여러 측면에서 기여한 동안 사용자 인터페이스는 강하게 결합된 모델, 뷰, 콘트롤러 클래스를 가진 MVC를 이 용하여 생성되었다. 이러한 결합은 소프트웨어 부품의 재사용을 방해하였다. 따라서 본 논문에서는 MVC모델이 갖는 강한 결합력으로 인한 소프트웨어 재사용의 저하를 해 결하기 위해, 상호 작용의 구문적 관리를 하는 다이알로그 객체를 추가하여 사용자로 부터 생성된 메세지가 콘트롤러에 의해 바로 값이 변경되지 않고 다이알로그에 전달 되도록 MVCD모델을 제안하였다. 메세지를 전달받은 다이알로그 객체는 모델 객체의 값 을 변경하기 위해 모델 객체를 호출한다. 모델 객체는 active 값들을 가지고 있기 때 문에 값의 변경은 연결된 콘크롤러 객체에게 전달된다. 최종적으로 콘트롤러 객체는 새로운 값을 변경하고 뷰 객체를 수정한다. 이러한 사용자 대화 모델에 기반을 둔 사 용자 인터페이스 구축기를 X-윈도우상에서 OSF/Motif을 이용하여 개발하였다.

• Korean Chemical Engineering Research
• /
• 제56권5호
• /
• pp.607-624
• /
• 2018

SAFT 상태 방정식이 기초하는 TPT 이론과 통계역학적 원리를 개괄하고, 회합성 유체 혼합물의 기액 상평형을 예측하는 유용한 도구로 사용될 수 있음을 확인한다. PC-SAFT 상태 방정식의 이론적 구조를 상세히 검토하고, 비극성 혼합물, 극성혼합물, 회합성혼합물에단계적으로적용하는과정을통하여, 상태방정식의적용성과성능을평가한다. PC-SAFT 상태 방정식은 기존의 공학용 상태 방정식과는 대조적으로, 경험적인 이성분 상호작용 매개변수의 사용 없이 다양한 혼합물들의 비이상적 거동을 정확하게 예측할 수 있다. 이는 SAFT 이론이 분자들 사이의 다양한 상호작용을 효과적으로 반영하는 분자 수준의 엄밀한 이론 체계에 기초하기 때문이며, 다성분 혼합물의 복잡한 열역학적인 현상에 대한 응용에서 실질적 이점을 제공한다.

• 산업경영시스템학회지
• /
• 제33권1호
• /
• pp.121-131
• /
• 2010

Technological innovation depends on the quality of workers, whose ability is the key component to raise business competitiveness. Our study evaluates how satisfactory is the training of workers at small and medium sized firms, and suggest how to improve upon it. We show the theoretical framework for the relation between customer satisfaction and their behavioral intent on the one side, and factors of training service quality. Our result show: (1) Factors affecting customer satisfaction are, in descending order of importance, expertise, policy, follow-up service, attitude and behavior, and convenience. (2) Contrary to established views on the service quality, satisfaction for training would not be the prerequisite variable for intent to act, in case of training service quality. (3) Satisfaction level for training depends on the type of organization in charge of training (government, university, or private sector.) It also varied among different types of business (L-type, A-type, and J-type.) Small and medium sized firms find it difficult to commit to training education due to lack of money and manpower. The recent expansion of free training service would address part of this problem. On the other hand, the outfit in charge of training could boost service quality by customizing their training program to the type of business they cater to.