• Title/Summary/Keyword: state graph

Search Result 269, Processing Time 0.032 seconds

조립체 결함 분석 지원을 위한 영상 영역과 부품 정보의 병합 ^x Integration of Image Regions and Product Components Information to Support Fault (Integration of Image Regions and Product Components Information to Support Fault)

  • 김선희;김경윤;이형재;권오법;양형정
    • 한국콘텐츠학회논문지
    • /
    • 제6권11호
    • /
    • pp.266-275
    • /
    • 2006
  • 조립체 공정은 많은 부분이 자동화 되었지만 결함 진단 부분에서는 포괄적인 의사 결정을 지원하기 위해 다양한 분야의 전문성과 지식을 필요로 하기 때문에 자동화가 이루어지지 않고 있다. 본 논문에서는 다양한 분야의 전문가가 쉽게 접근할 수 있고 직관적으로 이해할 수 있는 영상 정보를 이용한 조립체 결함 분석 지원시스템을 제안한다. 본 시스템은 영상 정보와 제품 설계 정보 그리고 결함탐지 정보를 병합함으로써 조립체에서 효과적으로 결함을 분석하도록 지원한다. 제안된 방법은 라벨링을 이용하여 조립체의 영상을 부품 단위로 분할하고 확장된 속성 관계 그래프(eARG)를 사용하여 설계 정보와 결함 분석 정보를 일관되게 표현하여 결함 정보를 영상 정보로부터 접근할 수 있도록 한다.

  • PDF

무선메쉬네트워크에서 실시간 이동 멀티미디어 응용을 위한 고성능 QoS 멀티캐스트 라우팅 기법 (High Performance QoS Multicast Routing Scheme for Real-Time Mobile Multimedia Applications in Wireless Mesh Networks)

  • 강문식
    • 전자공학회논문지
    • /
    • 제52권6호
    • /
    • pp.85-94
    • /
    • 2015
  • 본 논문에서는 무선 메쉬네트워크(WMN)를 위한 동적 이동성 트래픽 환경에 적응하는 향상된 QoS 멀티캐스트 라우팅 스케줄링 기법을 제안한다. 이는 멀티미디어 응용에 대한 지연의 제약 조건을 제어함으로써 네트워크 QoS 문제를 처리하도록 한다. 멀티캐스트 그룹의 크기는 현재 네트워크 상태 및 QoS 요구사항 등에 따라 결정되며, 멀티캐스트 트리의 동적 재구성은 부분적 멀티캐스트 라우팅 방식 및 트래픽 예측 기법을 사용하는 전처리과정을 통해 이루어진다. 제안된 방법의 성능 평가는 적합한 지연시간 제한과 관련된 최적의 값을 선택함으로써, 임의로 생성된 가상 무선메쉬 네트워크 그래프에서 수행된다. 시뮬레이션 결과로 부터 제안된 QoS 멀티캐스트 라우팅 기법의 성능이 향상됨을 확인하였다.

AOP를 이용하여 진화된 프로그램의 회귀테스트 기법 (Regression Testing of Software Evolution by AOP)

  • 이미진;최은만
    • 정보처리학회논문지D
    • /
    • 제15D권4호
    • /
    • pp.495-504
    • /
    • 2008
  • 관점지향 프로그래밍(AOP)은 횡단 관심사까지 모듈화 하여 소프트웨어의 모듈화를 높여주는 새로운 프로그래밍 패러다임이다. 이를 이용하면 레거시 시스템에 손대지 않고 소프트웨어를 확장시킬 수 있다. 관점지향 프로그래밍 자체 혹은 레거시 시스템만의 테스트 기법은 많이 있으나 확장된 프로그램의 테스트 기법에 대해선 많은 연구가 진행되지 않고 있다. 이 논문에서는 관점지향 프로그래밍을 이용하여 소프트웨어를 확장한 경우의 테스트 기법에 대해 관점지향 프로그래밍의 결함 모델에 맞춰 제시한다. 우선 AOP의 반사기능의 객체를 이용하여 교차점 패턴의 부정확한 강도 및 부정확한 애스펙트의 우선순위를 테스트하고, 증명 규칙을 이용하여 기대하는 사후 조건 성립의 실패에 대해 테스트하였다. 또한 set() 교차점을 이용하여 불변 조건 보존의 실패에 대해 테스트하고, 제어흐름 그래프를 이용하여 제어 의존의 부정확한 변형에 대해 확인하는 방법을 제시한다. 실증을 위하여 셋탑박스의 채널 관리 시스템을 구현하여 제시한 각각의 테스트 기법들에 대해 실험하였다.

테스트 수행시간을 고려한 임베디드 소프트웨어의 적합성 테스트 시나리오 추출 기법 (Conformance Test Scenario Extraction Techniques for Embedded Software using Test Execution Time)

  • 박인수;신영술;안성호;김진삼;김재영;이우진
    • 정보처리학회논문지D
    • /
    • 제17D권2호
    • /
    • pp.147-156
    • /
    • 2010
  • 임베디드 소프트웨어의 적합성 테스트는 소프트웨어의 기능이 명세를 따라 정확히 구현되었는지 검사하는 것이다. 적합성 테스트에서 테스트 시나리오는 소프트웨어의 전체 기능을 테스트할 수 있도록 추출되어야 한다. 일반적으로 테스트 시나리오는 단순히 전체의 기능들을 한 번씩 테스트해 보는데 초점이 맞춰져 있다. 하지만 테스트 시나리오는 테스트 수행의 효율성을 고려할 필요가 있다. 이 연구에서는 각 함수들을 테스트하는데 걸리는 시간과 사용자 입력으로 인해 발생하는 대기 시간을 고려하여 최적화된 테스트 시나리오를 추출하는 기법을 제안한다. 테스트 시나리오를 추출하기 위해 상태 머신 다이어그램과 테스트 케이스를 바탕으로 그래프 형태의 테스트 모델을 생성한다. 테스트 모델에는 테스트 수행 시간과 사용자 입력에 대한 정보가 포함되어 있다. 최적화된 테스트 시나리오는 테스트 모델을 기반으로 수정된 최단거리 알고리즘을 이용하여 추출한다. 제안하는 테스트 시나리오 작성 기법을 이용하면 테스트 수행 시간을 줄일 수 있고, 테스트 자동화를 향상시킬 수 있다.

복수 크레인을 활용한 블록 내 컨테이너 이적 계획 (A Heuristic Approach to Scheduling Multiple Cranes for Intra-Block Remarshalling)

  • 오명섭;강재호;류광렬;김갑환
    • 한국항해항만학회지
    • /
    • 제29권5호
    • /
    • pp.447-455
    • /
    • 2005
  • 블록 내 이적이란 컨테이너를 선박에 싣는 적하 작업을 효율적으로 수행하기 위하여 유휴 시간에 여기저기에 흩어져 있는 대상 컨테이너들을 적하 순서에 맞춰 몇 개의 베이로 모으는 작업이다. 이적 작업을 가능한 일찍 완료하기 위해서는 블록 내의 설치된 여러 대의 트랜스퍼 크레인들을 모두 활용하는 것이 유리하지만, 이적 계획 수립 시 크레인들 간의 간섭을 효과적으로 고려하지 못하면 상당한 작업 지연이 발생할 수 있다. 특히, 상호 교차가 불가능한 크레인들을 이용하여 이적을 수행하고자 하는 경우에는 이러한 간섭에 의한 지연이 보다 빈번히 발생한다. 본 논문에서는 교차가 불가능한 크레인들 간의 간섭을 고려하여 개별 컨테이너를 취급할 크레인을 선정하고 작업 순서를 결정하는 휴리스틱을 제안한다. 시뮬레이션 실험 결과 본 제안 방안이 다양한 환경에서 간섭에 의한 지연을 효과적으로 줄일 수 있음을 확인하였다.

시간 제약을 포함한 워크플로우 모델링 및 검증 (Modeling and Verification of Workflows with Time Constraints)

  • 정희택;이도헌;김문자;류영철
    • 한국정보처리학회논문지
    • /
    • 제6권2호
    • /
    • pp.261-274
    • /
    • 1999
  • 최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에 대한 연구가 활발히 이루어지고 있다. 기존 연구에서는 태스크 자체에 시간적 특성을 고려하지 않고 태스크의 상태 변이 특성만을 고려하였다. 본 연구는 태스크의 최소 처리시간과 마감시간을 고려함으로써, 시간 제약을 포함한 워크플로우 모델링 및 검증방안을 제안한다. 이를 위해 첫째, 마감시간을 위배하지 않는 태스크의 철회에 대해 대안 태스크를 결정할 수 있는 우선 순위 함수를 제안한다. 우선 순위 함수는 대안 태스크에 대한 시간요소, 의미적 호환 수준을 고려함으로써, 가장 적절한 대안 태스크를 결정한다. 둘째, 기존 연구에서는 순차 및 병행 종속성만을 고려하였으나, 본 연구에서는 태스크간 종속성을 순차 종속성이외에 다양한 병행 종속성인 동시 수행 종속성, 동시시작 종속성, 동시종료 종속성, 간섭된 종속성, 그리고 중첩된 종속성으로 구분하여 제안한다. 셋째, 기술된 워크플로우에 존재할 수 있는 논리적 모순을 발견하기 위해 그래프를 이용한 검증기법을 제안한다.

  • PDF

그라프에서의 휴리스틱 탐색에 관한 연구 (A Study on the Heuristic Search Algorithm on Graph)

  • 김명재;정태충
    • 한국정보처리학회논문지
    • /
    • 제4권10호
    • /
    • pp.2477-2484
    • /
    • 1997
  • $A^{\ast}$와 같은 Best-first 휴리스틱 탐색 알고리즘들은 인공지능 분야에서 많은 문제를 해결하는데 가장 중요한 기법들 중의 하나이다. 휴리스틱 탐색의 공통적 특성은 계산의 복잡도가 매우 높다는 것이며, 이는 수많은 노드를 가진 지도에서 경로를 찾는 것과 같은 실질적인 문제 영역에 적용되기 어렵다는 것을 나타낸다. 본 논문에서는, 몇몇 휴리스틱 탐색 알고리즘이 언급되고, path-sensitive heuristic이라 불리는 새로운 동적 가중치 휴리스틱 방법이 제안되었다. 이 방법은 동적 가중치 휴리스틱에 기초하였고, 동적 휴리스틱은 admissible heuristic을 허용하지 않거나 휴리스틱의 정확도가 떨어지는 실제 문제 영역에서 탐색 노력을 줄이는데 사용될 수 있다. 탐색 과정 동안 ${\omega}$(가중치)가 동적으로 조정된다는 점에서, 다른 동적 가중치 휴리스틱 알고리즘과 구분된다.

  • PDF

Dielectric and Electrical Characteristics of Lead-Free Complex Electronic Material: Ba0.8Ca0.2(Ti0.8Zr0.1Ce0.1)O3

  • Sahu, Manisha;Hajra, Sugato;Choudhary, Ram Naresh Prasad
    • 한국재료학회지
    • /
    • 제29권8호
    • /
    • pp.469-476
    • /
    • 2019
  • A lead-free bulk ceramic having a chemical formula $Ba_{0.8}Ca_{0.2}(Ti_{0.8}Zr_{0.1}Ce_{0.1})O_3$ (further termed as BCTZCO) is synthesized using mixed oxide route. The structural, dielectric, impedance, and conductivity properties, as well as the modulus of the synthesized sample are discussed in the present work. Analysis of X-ray diffraction data obtained at room temperature reveals the existence of some impurity phases. The natural surface morphology shows close packing of grains with few voids. Attempts have been made to study the (a) effect of microstructures containing grains, grain boundaries, and electrodes on impedance and capacitive characteristics, (b) relationship between properties and crystal structure, and (c) nature of the relaxation mechanism of the prepared samples. The relationship between the structure and physical properties is established. The frequency and temperature dependence of the dielectric properties reveal that this complex system has a high dielectric constant and low tangent loss. An analysis of impedance and related parameters illuminates the contributions of grains. The activation energy is determined for only the high temperature region in the temperature dependent AC conductivity graph. Deviation from the Debye behavior is seen in the Nyquist plot at different temperatures. The relaxation mechanism and the electrical transport properties in the sample are investigated with the help of various spectroscopic (i.e., dielectric, modulus, and impedance) techniques. This lead free sample will serve as a base for device engineering.

인공신경망을 이용한 드레이프성 예측 (Prediction of Fabric Drape Using Artificial Neural Networks)

  • 이소민;유동주;신보나;윤선영;심명희;윤창상
    • 한국의류학회지
    • /
    • 제45권6호
    • /
    • pp.978-985
    • /
    • 2021
  • This study aims to propose a prediction model for the drape coefficient using artificial neural networks and to analyze the nonlinear relationship between the drape properties and physical properties of fabrics. The study validates the significance of each factor affecting the fabric drape through multiple linear regression analysis with a sample size of 573. The analysis constructs a model with an adjusted R2 of 77.6%. Seven main factors affect the drape coefficient: Grammage, extruded length values for warp and weft (mwarp, mweft), coefficients of quadratic terms in the tensile-force quadratic graph in the warp, weft, and bias directions (cwarp, cweft, cbias), and force required for 1% tension in the warp direction (fwarp). Finally, an artificial neural network was created using seven selected factors. The performance was examined by increasing the number of hidden neurons, and the most suitable number of hidden neurons was found to be 8. The mean squared error was .052, and the correlation coefficient was .863, confirming a satisfactory model. The developed artificial neural network model can be used for engineering and high-quality clothing design. It is expected to provide essential data for clothing appearance, such as the fabric drape.

Protective effect of Capsosiphon fulvescens on oxidative stress-stimulated neurodegenerative dysfunction of PC12 cells and zebrafish larva models

  • Laxmi Sen Thakuri;Jung Eun Kim;Jin Yeong Choi;Dong Young Rhyu
    • Fisheries and Aquatic Sciences
    • /
    • 제26권1호
    • /
    • pp.24-34
    • /
    • 2023
  • Reactive oxygen species (ROS) at high concentrations induce oxidative stress, an imbalanced redox state that is a prevalent cause of neurodegenerative disorders. This study aimed to investigate the protective effect of Capsosiphon fulvescens (CF) extract on oxidative stress-induced impairment of cognitive function in models of neurodegenerative diseases. CF was extracted with subcritical water and several solvents and H2O2 (0.25 mM) or aluminum chloride (AlCl3; 25 µM) as an inducer of ROS was treated in PC12 neuronal cells and zebrafish larvae. All statistical analyses were performed using one-way analysis of variance and Dunnett's test using GraphPad Prism. H2O2 and AlCl3 were found to significantly induce ROS production in PC12 neuronal cells and zebrafish larvae. In addition, they strongly affected intracellular Ca2+ levels, antioxidant enzyme activity, brain-derived neurotrophic factor (BDNF) and tropomyosin receptor kinase B (TrkB) signaling, acetylcholinesterase (AChE) activity, and hallmarks of Alzheimer's disease. However, treatment of H2O2-induced PC12 cells or AlCl3-induced zebrafish larvae with CF subcritical water extract at 90℃ and CF water extract effectively regulated excessive ROS production, intracellular Ca2+ levels, and mRNA expression of superoxide dismutase, glutathione peroxide, glycogen synthase kinase-3 beta, β-amyloid, tau, AChE, BDNF, and TrkB. Our study suggested that CF extracts can be a potential source of nutraceuticals that can improve the impairment of cognitive function and synaptic plasticity by regulating ROS generation in neurodegenerative diseases.