• 정보과학회 논문지
• /
• 제43권9호
• /
• pp.1015-1025
• /
• 2016

소프트웨어 테스트에 대한 중요도는 오늘날의 산업 전반적으로 커지고 있으며 효과적인 테스트를 지원하기 위한 많은 방법들이 연구되고 있다. 이에 테스트 설계를 위해 시스템의 요구사항을 정형화하는 방법으로 모델 기반 테스트가 주로 사용되고 있는데, 반복과 동시성 작업을 포함하는 복잡한 시스템의 경우 경로 폭발을 야기하기 쉬운 문제가 있다. 특히 동시성 작업의 경우 Thread가 추가될수록 기하급수적인 수의 테스트 시나리오가 발생하게 되는데, 기존의 방법으로는 이를 해결하기 어렵다는 문제가 있다. 본 논문에서는 동시성 경로가 가지는 작업적 특성에 주안점을 두고, 이를 탐색하는 새로운 기법으로 경로 폭발 문제를 회피하는 방법을 제안한다. 사례 연구에서는 동시성 작업을 포함하는 시스템을 액티비티 다이어그램으로 표현하고, 기존의 기법이 생성할 테스트 시나리오의 수와 비교하여 본 기법의 효과를 보인다. 본 방법은 적은 수의 테스트 시나리오를 통해 반복과 동시성 작업의 결함을 효과적으로 발견할 것임을 기대한다.

• 한국건축시공학회지
• /
• 제11권1호
• /
• pp.1-8
• /
• 2011

기존의 선형 공정계획은 마스터 스케쥴과 같이 작업분류체계의 대분류 레벨의 작업을 사선의 형태로 표현하는 데 국한하고 수작업으로 작성하였다. 즉, 네트워크 공정표의 정보를 활용하지 못하고 독립적으로 선형 공정표를 작성하여 보고용 또는 전체 공정계획 확인용으로 사용하고 있는 실정이다. 따라서 기존에 축적된 자료가 많은 네트워크 공정표를 기반으로 선형 공정표를 자동으로 생성할 수 있는 시스템 개발이 필요하다. 이에 본 연구는 선형 공정표 구현을 위한 데이터 프로세스 모델, 데이터 플로 다이어그램, 데이터모델을 구축하고 시스템 프로토 타입의 시스템 솔류션 구조, 클래스 다이어그램, 데이터 타입스키마를 개발하고자 한다. 즉, 네트워크 공정표를 선형 공정표로 변환하기 위한 시스템 프로토타입 개발의 선행 연구를 수행하는 것이 본 연구의 목적이다.

• 한국전자거래학회지
• /
• 제14권1호
• /
• pp.35-56
• /
• 2009

프로세스 설계에는 Petri-net, EPC, UML Activity Diagram 등 다양한 모델 기법이 사용되고 있다. 업무 프로세스 내에 복잡한 업무 규칙이 다수 결합되어 있거나, 유비쿼터스 컴퓨팅과 같이 분산 환경에서 복합한 상호운용 규칙이 산재되어 있는 경우에는 정형적인 프로세스 모델링 기법이 비효율적이므로 규칙 기반의 분산 프로세스 설계를 사용할 수 있다. 본 연구는 유비쿼터스 환경에서의 규칙 기반 프로세스 설계 방법을 분석한다. 특히, 이벤트-조건-액션(ECA) 형태의 능동형 규칙을 이용한 프로세스 설계를 대상으로 분석하며, ECA 스키마는 웹 서비스 기술을 위해 개발된 WS-ECA 언어를 사용한다. ECA 규칙을 이용한 여러가지 프로세스 통제 흐름 표현 방법을 분석하기 위하여 워크플로우 패턴을 활용하였다. 워크플로우 패턴에 따라 ECA 규칙 기반 프로세스 표현법을 제공함으로써 규칙 기반 프로세스를 설계하기 위한 가이드라인을 제시하였다는 데 연구의 의의가 있다.

• 대한금속재료학회지
• /
• 제47권5호
• /
• pp.297-303
• /
• 2009

Solvent extraction experiments of cupric and cuprous chloride with Alamine336 have been performed from HCl solution. In order to identify the solvent extraction reaction, distribution diagram of cupric and cuprous species with HCl concentration was obtained by considering complex formation reaction and the activity coefficient of solutes with Pitzer equation. Analysis of the solvent extraction data by graphical method together with the distribution diagram of copper indicated that solvent extraction reaction of copper with Alamine336 depends on HCl concentration. In strong HCl solution of 3 and 5 M, ${CuCl_4}^{2-}$ and ${CuCl_3}^{2-}$ took part in the solvent extraction reaction as Cu(II) and Cu(I), respectively. When HCl concentration was 1 M, ${CuCl_2}^-$ was extracted into the organic phase in the case of Cu(I) while adduct formation between $Cu^{2+}$ and Alamine336 was responsible for the solvent extraction reaction of Cu(II).

• Corrosion Science and Technology
• /
• 제22권3호
• /
• pp.137-152
• /
• 2023

Polarization behavior and corrosion inhibition of copper in acidic chloride solutions containing benzotriazole were studied. Pourbaix diagrams constructed for copper in NaCl solutions with different BTAH concentrations were used to understand the polarization behavior. Open circuit potential (OCP) depended not only on chloride concentration, but also on whether a CuBTA layer was formed on the copper surface. Only when the (pH, OCP) was located well in the CuBTA region of the Pourbaix diagram, a stable corrosion inhibiting CuBTA layer was formed, which was confirmed by X-ray Photoelectron Spectroscopy (XPS) and a long-term corrosion test. The OCP for the CuBTA layer decreased logarithmically with increasing [Cl^-] activity in the solution. A minimum BTAH concentration required to form a CuBTA layer for a given NaCl concentration and pH were determined from the Pourbaix diagram. It was found that 320 ppm BTAH solution could be used to form a corrosion-inhibiting CuBTA layer inside the corrosion pit in the sprinkler copper tube, successfully reducing water leakage rate of copper tubes. These experimental results could be used to estimate water chemistry inside a corrosion pit.

• 자원환경지질
• /
• 제24권3호
• /
• pp.261-276
• /
• 1991

The main aspect of this study are to clarify igneous activity of igneous rocks, which is a member of various intrusives and volcanics exposed in Naju-Namchang area of southern central zone of Ogcheon Geosynclinal Belt, southern part of Youngdong-Kwangju depression zone of tectonic provinces in Korea. Naju-Namchang area are subdivided into three rock belts based on occuring of Cretaceous granites. Three rock belts consist of foliated granites, Jurassic granites and Cretaceous granites in central granitic rock belt (C-C), and acidic tuff and lavas in northwest volcanic rock belt(C-NW) and southeast volcanic rock belt(C-SE). Chemical composition of these igneous rocks show mostly similar trend to the Daly's values on Harker diagram and correspond to VAG + Syn-COLG region on Pearce's discrimination diagram. These igneous rocks vary wide range in total REE amount(37.4-221.3ppm) characterized by enriched LREE content and steep negative slope in Eu(-) anomaly. It is concluded each synchronous granites which composed of serveral rock facies is considered to formed by differentiation of co-magma at continental margin, and igneous activity of study area are two more Pre-Cambrian Orogenies, Songrim Disturbance, Daebo Orogeny and Bulkuksa Disturbance.

• Journal of Mechanical Science and Technology
• /
• 제15권5호
• /
• pp.544-554
• /
• 2001

A shop floor can be considered as an important level to develop Computer Integrated Manufacturing system (CIMs). However, a shop floor is a dynamic environment where unexpected events continuously occur, and impose changes to the planned activities. To deal with this problem, a shop floor should adopt an appropriate control system that is responsible for the coordination and control of the manufacturing physical flow and information flow. In this paper, a hybrid control system is described with a shop floor activity methodology called Multi-Layered Task Initiation Diagram (MTD). The architecture of the control model contains three levels: i.e., he shop floor controller (SFC), the intelligent agent controller (IAC) and the equipment controller (EC). The methodology behind the development of the control system is an intelligent multi-agent paradigm that enables the shop floor control system to be an independent, an autonomous, and distributed system, and to achieve an adaptability to change of the manufacturing environment.

• 한국시스템다이내믹스연구
• /
• 제13권3호
• /
• pp.67-98
• /
• 2012

This study suggests a set of Causal Loop Diagram (CLD) of Causality Mechanism which integrates the matter of characteristics of emerging market and its expansion strategies. In order to make CLD more objective, all causalities are articulated from recent 55 studies (2000~2012) of SSCI Top Journals. This approach is valuable in that it is a first try to draw all the causalities from rigorous literature review regarding emerging market strategy. The 5 CLDs will show and clarify the strategies of how to expand into emerging market for MNCs. In sum, political activity and institutional void is a critical factor related to characteristics of emerging market, and CSV and cultural distance should be considered as a leverage point. For all this study's contribution to clarify the causality of emerging market strategies with abundant literature review, the study has its limits in integrating and testing CLD.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 추계학술대회 논문집
• /
• pp.442-445
• /
• 1997

A challenging activity in the manufacturing industry is to perform in real time the continuous monitoring of the process state, the situation assessment and identification of the problem on line and diagnosis of the cause and importance of the problem if he process does not work properly. This paper describes LAT(Ladder Analysis Tool) system for fault tree generation to improving the fault diagnosis of CNC machine tools. The system consists of 4 steps which can automatically ladder analysis from ladder diagram to two diagnosis function models. The two diagnostic models based on he ladder diagram is switching function model and step switching function model. This system tries to overcome diagnosis deficiencies present machine tool.

• 한국시스템다이내믹스연구
• /
• 제11권3호
• /
• pp.61-86
• /
• 2010

This research analyzed on the future energy society of Korea in 2030 using system thinking approach. Key uncertainty factors determining the future energy society were analyzed in a multi disciplinary view point such as politics, economy, society, ecology and technology. Three causal loop diagrams for the future energy system in Korea and related policy leverages were shown as well. 'Global economic trends', 'change of industrial structure' and 'energy price' were identified as key uncertainty factors determining the Korean energy future. Three causal loop diagrams named as 'rate of energy self－sufficiency and alternative energy production', 'economic activity and energy demand' and 'Excavation of new growth engines' were developed. We integrated those causal loop diagrams into one to understand the entire energy system of the future, proposed three strategic scenarios(optimistic, pessimistic and most likely) and discussed implications and limits of this research.