• 제목/요약/키워드: 인프로세스

검색결과 272건 처리시간 0.026초

정형 명세를 이용한 제품계열 아키텍처의 인스턴스화 기법 (A Method for Instantiating Product Line Architecture using Formal Specifications)

  • 신숙경;허진선;김수동
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제33권12호
    • /
    • pp.1008-1021
    • /
    • 2006
  • 제품계열 공학(Product Line Engineering, PLE)은 최근 각광받고 있는 효율적인 소프트웨어 재사용 접근 방법 중 하나로 핵심자산을 인스턴스화(Instantiate)하여 여러 어플리케이션을 개발한다. 핵심자산(Core Asset)의 구성요소로는 제품계열 아키텍처(Product Line Architecture, PLA), 컴포넌트, 의사결정모델(Decision Model)이 있다. 이런 요소 중, PLA는 핵심자산의 전체적인 구조를 정의하고 있어 가장 핵심적인 요소라 할 수 있다. 현재 많은 PLE 방법론들이 소개되어 있으나, PLA의 구체적인 구성요소와 어플리케이션을 만들기 위해 PLA를 인스턴스화하기 위한 체계적인 기법이 미비하다. PLA의 구성요소를 명확히 정의하고 인스턴스화 프로세스를 상세히 정의하기 위해 정형명세가 효과적으로 사용될 수 있다. 본 논문에서는 먼저 PLA의 메타모델을 제시하고 PLA를 정형명세 언어인 Object-Z로 명세하는 방법을 제시한다. 또한 정형명세를 이용한 인스턴스화 규칙을 제안하며, 이런 규칙은 PLA를 인스턴스화히기 위한 제약사항을 상세히 정의하고 있다. 제안된 정형명세를 적용함으로써, PLA의 인스턴스화는 상세하고 명확하게 수행될 수 있어 고품질의 소프트웨어를 생산할 수 있다.

전해인프로세스드레싱에 의한 경면연삭기술개발 (Mirror grinding with Electrolytic In-process Dressing Method)

  • 이응숙;제태진;강재훈
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1995년도 추계학술대회 논문집
    • /
    • pp.57-60
    • /
    • 1995
  • Recently, ELID (electrolytic in-process dressing) grinding technique is developed. It is possible to make a efficient precision machining of hard materials such as ceramic hard metals, and quenched steels. This paper deals with some typical applications of ELID-grinding for cylindrcal machining. The significant advantages, performance and characteristics on mirror surface grinding for external surface are described.

  • PDF

ESCO를 활용한 에너지절감 방안

  • 차재호
    • ESCO지
    • /
    • 통권30호
    • /
    • pp.44-52
    • /
    • 2004
  • 기업들은 고유가 시대를 어떻게 헤쳐나갈 것인가. 이러한 문제에 알맞은 해답을 제시하기 위해 전국경제인연합회는 지난 8월 25일 제11차 기업경영 모범사례 설명회를 통해 고유가시대의 기업경영에 대한 모범답안으로 전사적인 에너지절감 노력을 제시했다. ''기업의 기술 및 프로세스 혁신을 통한 에너지 절감''을 주제로 한 이날 설명회에는 에너지관리공단의 ''자발적에너지절약협약'' (VA) 우수기업에 4년 연속 뽑힌 SKC와 최첨단 통합운항관리시스템을 도입해 항공유를 $10\%$이상 절감하고 있는 대한항공이 각각 에너지 절감 성공사례를 발표했으며, 삼성에버랜드는 국내 시장점유율 1위의 ESCO로서 ESCO를 활용한 에너지 절감방안을 소개했다. 이 자료는 그 주요내용을 정리한 것이다.

  • PDF

초대형 워크플로우 시스템에서의 워크케이스 생성 기법에 대한 구현 분석 (Analysis of Workcase Creation's Management Shemes for Very-Large Scale Workflow System)

  • 안형진;김광훈
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
    • /
    • pp.67-69
    • /
    • 2004
  • 기업 및 조직 내외에서 이루어지고 있는 대량 작업들을 처리하기 위하여 기존의 워크플로우 시스템보다 더욱 대형화된 처리를 지원하는 워크플로우 시스템의 등장이 요구되어지고 있다. 기업 인프라는 급격히 발전하고 있지만 그에 반해 워크플로우 시스템은 처리적인 측면에서 이를 뒷받침하지 못하고 있다. 현재의 시스템 환경의 한계를 극복하며 대량의 비즈니스 작업들을 처리해내기 위해서는 이에 대한 극복 방안이 마련되어야 한다. 본 논문에서는 극복 .방안의 일환으로 다수 사용자들의 요청에 의해 발생되는 프로세스 인스턴스인 워크케이스에 대한 효과적인 생성 기법에 대해 제시하고 이러한 방법을 기반으로 하여 실제적인 구현 및 테스트를 통해 결과를 도출해 내고자 한다.

  • PDF

인 메모리 악성코드 인젝션 기술의 언 패킹기법 (Unpacking Technique for In-memory malware injection technique)

  • 배성일;임을규
    • 스마트미디어저널
    • /
    • 제8권1호
    • /
    • pp.19-26
    • /
    • 2019
  • 2018년 평창 동계 올림픽 개막식에서 출처를 알 수 없는 사이버공격이 발생하였다. 해당 공격에서 사용된 악성코드는 인 메모리 악성코드로 기존 악성코드와 은닉하는 장소가 다르며, 140개 이상의 은행, 통신, 정부 기관에서 발견될 정도로 빠르게 확산되고 있다. 인 메모리 악성코드는 전체 악성코드의 15%이상을 차지하며 매우 심각한 피해를 주고 있다. 비휘발성 저장장치로 알려진 하드디스크에 자신의 정보를 저장하는 것이 아닌 휘발성 저장장치 인 램의 특정 메모리영역인 프로세스에 삽입하여 악성행위를 일으키는 악성코드를 인 메모리 악성코드라고 지칭한다. 결과적으로 자신의 정보를 남기지 않아 메모리 탐지 도구를 우회하여 악성코드 분석가들의 분석을 어렵게 한다. 또한 현대 메모리는 갈수록 크기가 증가해 메모리 탐지 도구를 사용하여 메모리전체를 보기 힘들다. 따라서 본 논문에서는 인 메모리 악성코드인 Dorkbot과 Erger를 대상으로 IDA Pro 디버거를 통해 인젝션을 언 패킹하여 효율적으로 페이로드를 산출하는 방법을 제안한다.

ELID 연삭에서 부도체 피막의 실시간 계측 (In-Process Measurement of Insulating Layer in ELID-Grinding)

  • 김화영;안중환;서영호
    • 대한기계학회:학술대회논문집
    • /
    • 대한기계학회 2001년도 춘계학술대회논문집C
    • /
    • pp.71-76
    • /
    • 2001
  • In general, it is known that the wear rate of the abrasive and the removal rate of the metal bond of the grinding wheel should be balanced to maintain the depth of the insulating surface layer to an appropriate level. In order to accomplish, the high quality ELID grinding, therefore, it is necessary to measure the depth of the insulating layer in real-time and then to control the electrolytic conditions to keep the depth to a certain level. In this study, an in-process measurement system of the insulated layer using two gap sensors - a capacitor type and an eddy current type - developed and the change of the status of the insulated layer during ELID grinding is detected. And from the experimental data, we have chosen the best mathematical model to predict the depth of the insulating layer.

  • PDF

신경회로망을 이용한 채터진동의 인프로세스 감시

  • 박철;강명창;김정석
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1993년도 추계학술대회 논문집
    • /
    • pp.70-75
    • /
    • 1993
  • Chatter vibration is an unwanted phenomenon in metal cutting and it always affects surface finish, tool life machine life and the productivity of machining process. The In-process monitoring & control of chatter vibration is necessarily required to automation system. In this study, we constructed the multi-sensing system using Tool Dynamometer,Accelerometer and AE(Acoustic Emission) sensor for the credible detection of chatter vibration. And a new approach using a neural network to process the features of multi-sensor for the recognition of chatter vibration in turning operation is proposed. With the back propagation training process, the neural network memorize and classify the feature difference of multi-sensor signals.

  • PDF

원통연삭가공시 레이저 빔을 이용한 금속 표면거칠기의 인프로세스 측정에 환한 연구 (A Study on the In-process Measurement of Metallic Surface Roughness in Cylindrical Grinding by Laser Beam)

  • 김희남;윤여권;이주상;김대욱
    • 한국안전학회지
    • /
    • 제9권3호
    • /
    • pp.41-52
    • /
    • 1994
  • This paper deal with the design of noncontact In-process measurement system which measures the surface roughness during cylindrical grinding. The measuring system is extremely simple and the apparatus proposed is composed of a laser unit, photodetector and optical system. The experimental performance of the apparatus is satisfactory and good results are expected in the actual use. During operation, the surface of a workpiece Is continuously scanned by a laser beam. The experimental results show that the presence of chattering, loading and glazing can be detected sensitively along both circumferential and feed directions and the surface roughness value is obtained from the reading along the feed direction.

  • PDF

초음파 인프로세스 센서를 이용한 공구마멸 검출 (Detection of Tool Wear by Using the Ultrasonic In-Process Sensor)

  • 강형식;황준;고준빈;정의식
    • 한국공작기계학회논문집
    • /
    • 제10권3호
    • /
    • pp.55-60
    • /
    • 2001
  • A technique on the detection of tool wear based on the ultrasonic pulse-echo method in turning process is presented. The change in amount of the reflected energy from nose and flank of the tool can be related to the level of tool wear and mechanical integrity of the tool, that is, there exists an excellent correlation between the ultrasonic measurement and tool wear. As a results, the method is very useful for the prediction of cutting tool life and the determination of tool exchange period.

  • PDF

구조용 세라믹스 강도의 신뢰성 평가에 관한 연구 (Study on the Reliability of Engineering Ceramics)

  • 김부안;남기우
    • 한국세라믹학회지
    • /
    • 제34권2호
    • /
    • pp.157-162
    • /
    • 1997
  • 소결온도 및 열처리에 의하여 미세조직을 변화시킨 질화규소의 파괴강도특성 및 그 신뢰성 평가를 하였다. 결정립이 클수록 파괴인성치는 증가하였지만 굽힘강도는 저하하였다. 균열재의 파괴응력 $\sigma$c와 등가균열길이 ae와의 관계는 프로세스 존 크기 파기기준에 의한 계산 결과와 매우 잘 일치하였다. 그리고 굽힘파괴응력 $\sigma$F와 파괴인성치 KIC의 통계적 특성을 고려한 파괴평가고건을 제안하였다.

  • PDF