• 전자공학회논문지B
• /
• 제29B권11호
• /
• pp.1-7
• /
• 1992

The conformance test is a methodology which verifies whether the Implementation Under Test (IUT) conforms to its standard specification or not. In this paper, first, the Conformance Test System(CTS) is implemented in prototype including verification test type, black-box test strategy, conformance test class, remote test structure, and IUT which is described by the ISO Estelle among Formal Description Techniques. Second, through this prototype the proposed system is experimented. The prototype is composed of two modules. The first module is the Estelle-to-Pascal preprocessor which converts the Estelle program to the corresponding Pascal program because the experimental IUT was described using the unexecutable code form of Estelle before being tested by the TD(Test Driver). The TD, the second module, is based on the master-slave concept and plays important role is CTS. The TD acts as the master with the IUTd being the slave. The prototype system is implemented using Turbo-C, Turbo-Pascal and Turbo-Assembly.

• 융합보안논문지
• /
• 제8권3호
• /
• pp.19-24
• /
• 2008

침입차단 시스템, 침입탐지 시스템 등 정보보호제품이 얼마나 안전하게 개발되고 구현되었는지 검증하기 위한 방안으로 공통평가기준(CC)를 제정 하여 제품을 평가한다. 이에 기존까지 적용된 CC v2.3에서 버전이 3.1로 전환이 되며 가장 큰 차이점인 정보보호 제품에 대한 평가방법론을 사전 확보하여 버전 3.1 수용 준비가 요구되고 있다. 이에 본 연구에서는 CC v3기반 합성제품 시험 및 취약성 분석 방법에 대한 연구를 진행하였다. 특히 합성형 정보보호제품 시험방법론을 기존원칙과 세부 방법론으로 분류하여 구체적 방안을 제시하고자 한다.

• 산업공학
• /
• 제13권3호
• /
• pp.296-305
• /
• 2000

In supply chains, coordination between a manufacturer and suppliers is regarded as the most important issue when partnership of organizations is considered. Since the suppliers are external to the manufacturer and poor coordination between them results in excessive delays and ultimately leads to poor customer service, manufacturers need a new methodology to select suppliers and to manage and enhance the partnership between manufacturer and suppliers. We suggest a methodology that extends knowledge obtained from the supplier selection process to the supplier management process. We reserved a word, the supplier selection and management system (SSMS) for this methodology. In this paper, we explain how the SSMS is applied to a real supply chain. The methodology identifies the managerial criteria using information derived from supplier selection process and makes use of them in the supplier management process. These managerial criteria include key criteria that are major criteria required by the manufacturer for the best quality of parts from suppliers according to the character of each part, and weak criteria that show the shortcomings of selected suppliers as compared with alternative suppliers with regard to each criterion. The effectiveness of supplier management with managerial criteria was verified by a t-test and a correlation analysis with data collected and hypothesized from a Korean air-conditioner manufacturer.

• 한국환경과학회지
• /
• 제18권11호
• /
• pp.1225-1234
• /
• 2009

The aim of this research was to apply experimental design methodology in the optimization condition of electrochemical oxidation of Rhodamine B(RhB). The reactions of electrochemical oxidation were mathematically described as a function of parameters amounts of current, NaCl dosage, pH and time being modeled by the use of the central composite design, which was used for fitting quadratic response surface model. The application of response surface methodology using central composite design(CCD) technique yielded the following regression equation, which is an empirical relationship between the removal efficiency of RhB and test variable in actual variables: RhB removal (%) = 3.977 + 23.279$\cdot$Current + 49.124$\cdot$NaCI - 5.539$\cdot$pH - 8.863$\cdot$time - 22.710$\cdot$Current$\cdot$NaCl + 5.409$\cdot$Current$\cdot$time + 2.390$\cdot$NaCl$\cdot$time + 1.061$\cdot$pH$\cdot$time - $0.570{\cdot}time^2$. The model predicted also agree with the experimentally observed result($R^2$ = 91.9%).

• 한국산림과학회지
• /
• 제95권6호
• /
• pp.778-783
• /
• 2006

표고버섯의 재배와 출하 결정에서 단기 가격의 예측은 매우 중요하다. 표고버섯 가격의 형성에는 많은 요인들이 작용하고 있기 때문에 이를 구조모형으로 예측하는 것은 어려운 일이다. Box-Jenkins 방법을 이용한 표고버섯과 모형선정 과정에서 발생할 수 있는 오류를 줄이고 경우에 따라서는 더 높은 예측력을 가지기도 한다. 이 연구는 1992~2005년의 가락시장 표고버섯 중품 가격자료를 이용하여 시계열 분석 모형을 구축하고 단기 가격을 예측한 것이다. 그리고 분석에 포함되지 않은 2006년의 실제가격과 예측결과를 비교하였다. 분석 결과는 날씨 변화의 영향으로 시장에 교란이 발생하였던 시기를 제외하면 비교적 높은 정확도를 보여 주어 모형의 유용성을 시사한다.

• 스마트미디어저널
• /
• 제12권9호
• /
• pp.116-123
• /
• 2023

본 연구에서는 MORPG PC 게임에서 초심자와 전문가 그룹 간의 게임 조작계를 중심으로 한 조작 방식의 차이에 대해 기술하고, 이를 분석하기 위한 방법론에 집중하고자 한다. 우선 MORPG에서 흔히 사용하는 캐릭터 움직임에 대한 조작계를 중심으로 초심자와 전문가 그룹을 구분 지을 수 있는 가설을 수립하고, 이러한 구분을 통해 조작계에 관련된 손가락 움직임 데이터와 키 Stroke 데이터가 향후 MORPG 조작계 분석에 유의미하게 활용될 수 있는가를 분석하였다. 이러한 분석 결과를 바탕으로, 기존의 단순 키 Stroke를 통한 분석이 아닌, 손가락 움직임 데이터와 키 Stroke 분석을 결합시킨 분석 방법론이 향후 PC MORPG 게임 조작계에 대한 유저테스트 방법론으로서 의미가 있다는 것을 보였다.

• 대한조선학회논문집
• /
• 제48권5호
• /
• pp.390-395
• /
• 2011

The main purpose of ice model basin is to assess and evaluate the performance of the Arctic ships and offshore structures because the full-scale tests in ice covered sea are usually very expensive and difficult. There are various ice conditions, such as level ice, brash ice, pack ice and ice ridge, in the real sea. To estimate their capacities in ice tank accurately, an appropriate model ice sheet and prepared ice conditions copied from actual sea ice conditions are needed. Pack ice is a floating ice that has been driven together into a single mass and a mixture of ice fragments of varying size and age that are squeezed together and cover the sea surface with little or no open water. So Ice-class vessels and Icebreaker are usually operated in pack ice conditions for the long time of her voyage. The most ice model tests include the pack ice test with the change of pack ice concentration. In this paper, the effect of pack ice size and channel breadth in pack ice model test is conducted and analyzed. Also we presented some techniques for the calculation of pack ice concentration in the model test. Finally, we developed a new model test methodology of pack ice condition in square type ice tank.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 1999년도 학회창립 10주년 기념 1999년도 가을 학술발표회 논문집
• /
• pp.759-762
• /
• 1999

The concrete structures possessing good structural integrity can face durability problems due to deteriorations of concrete structures under various environmental conditions. The durability problems weaken the structural integrity in the long run. Especially, the excessive use of sea sand causes serious reinforcement corrosion and carbonation in concrete structures. An accelerated test is often used to predict deterioration as a qualitative measure, but without long term exposure test results or understanding of the relationship between the accelerated test and the long term exposure test, the accelerated test result alone can not be used effectively as a quantitative measure. In this paper, a methodology is proposed to predict the long term deteriorations, based on the result of the short-term accelerated test, of concrete containing different contents of chloride ions. Then, the correlation between two results on the steel corrosion ratio and the carbonation depth is analyzed for concrete with different chloride contents.

• 한국압력기기공학회 논문집
• /
• 제4권2호
• /
• pp.29-33
• /
• 2008

As the measures of nuclear power plant utilities and manufacturers to reduce the defects of tube expansion region during manufacturing steam generators, many types of NDEs(Non-Destructive Examinations) are conducted to inspect the expansion region. The expansion region of tube is subject to degrade because of stress concentration induced by tube expansion, sludge pile and high temperature. So the inspections for tube expansion region have been reinforced. Liquid penetrant test, helium leak test, Bobbin profile test and hydraulic test are performed to confirm the integrity of tube expanded by hydraulic expansion method. Liquid penetrant test and helium leak test are used to inspect seal weld region on tubesheet end part. Bobbin Profile test is used to inspect fully the expanded region of steam generator tube. Hydraulic test finally verifies the integrity of seal weld region on tubesheet end part.

• 한국군사과학기술학회지
• /
• 제19권6호
• /
• pp.744-751
• /
• 2016

Interoperability tests are required to determine whether network-based defense systems successfully share and exchange certain services, information, and data. We must examine various aspects of interoperability. The DITA (Defense Information Technical stAndard) is the basis for interoperability. However, DITA is being applied to the defense system in a state that the standard test methods and procedures are not established. And there is no test method and procedure of the DITA well applicable to military weapons systems or information systems. Therefore, in this paper, we propose a framework that includes procedures, methodologies, so as to test whether a standard is applied to the DITA in terms of Standard Conformance Test.