• 제목/요약/키워드: Consistency check

검색결과 138건 처리시간 0.03초

UML 2.0 프로파일링을 이용한 FORM 아키텍처 모델링 (Modeling FORM Architectures Based on UML 2.0 Profiling)

  • 양경모;조윤호;강교철
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제36권6호
    • /
    • pp.431-442
    • /
    • 2009
  • 소프트웨어 제품 생산 라인(Software Product Line) 공학은 새로운 소프트웨어 개발 패러다임으로 각광받고 있다. SPL에 FORM(Feature-Oriented Reuse Method) 방법론을 적용하면, 휴대전화나 디지털TV 같이 공통점이 많은 제품군의 다양한 소프트웨어를 휘처 모델링을 통해 만들어진 재사용 가능하고 유연한 컴포넌트를 조합하여 생산해 낼 수 있다. 한편, MDA(Model Driven Architecture) 방법론은 PIM(Platform Independent Model) 을 통해 다양한 개별 플랫폼을 위한 소프트웨어를 생산할 수 있게 하는 새로운 기술을 제공한다. 위 두 가지 방법론의 장점을 조합하면 공통점을 공유하면서 다양한 플랫폼에서 동작하는 제품군의 소프트웨어를 생산하는데 도움이 된다. 이 논문에서는 FORM 방법론과 MDA 방법론을 조합하기 위해 먼저, 프로파일링 기법을 통해 UML2.0을 확장하여 FORM 아키텍처와 Parameterized Statechart 모델링이 가능하게 한다. 다음으로, 휘처가 휘처 모델과 Parameterized Statechart사이에서 일관성 있게 element의 형태로 위치하고 있는지 검증하는 일관성 규칙을 제공한다. 몇 가지 규칙은 FORM 아키텍처와 Parameterized Statechart 사이의 일관성을 검사하기 위해 고안되었다. 마지막으로, 엘리베이터 시스템의 사례연구를 통해 이 논문에서 제안하는 모델링 기법과 일관성 검사 법칙의 유효성을 제시한다.

The Effect of Barrel Vibration Intensity to the Plating Thickness Distribution

  • Lee, Jun-Ho;Roselle D. Llido
    • 한국표면공학회:학술대회논문집
    • /
    • 한국표면공학회 1999년도 추계학술발표회 초록집
    • /
    • pp.15-15
    • /
    • 1999
  • In chip plating, several parameters must be taken into consideration. Current density, solution concentration, pH, solution temperature, components volume, chip and media ratio, barrel geometrical shape were most likely found to have an effect to the process yields. The 3 types of barrels utilized in chip plating industry are the conventional rotating barrel. vibrational barrel (vibarrel), and the centrifugal type. Conventional rotating barrel is a close type and is commonly used. The components inside the barrel are circulated by the barrel's rotation at a horizontal axis. Process yield has known to have higher thickness deviation. The vibrational barrel is an open type which offers a wide exposure to electrolyte resulting to a stable thickness deviation. It rotates in a vertical axis coupled with multi-vibration action to facilitate mixed up and easy transportation of components, The centrifugal barrel has its plated work centrifugally compacted against the cathode ring for superior electrical contact with simultaneous rotary motion. This experiment has determined the effect of barrel vibration intensity to the plating thickness distribution. The procedures carried out in the experiment involved the overall plating process., cleaning, rinse, Nickel plating, Tin-Lead plating. Plating time was adjusted to meet the required specification. All other parameters were maintained constant. Two trials were performed to confirm the consistency of the result. The thickness data of the experiment conducted showed that the average mean value obtained from higher vibrational intensity is nearer to the standard mean. The distribution curve shown has a narrower specification limits and it has a reduced variation around the target value, Generally, intensity control in vi-barrel facilitates mixed up and easy transportation of components, However, it is desirable to maintain an optimum vibration intensity to prevent solution intrusion into the chips' internal electrode. A cathodic reaction can occur in the interface of the external and internal electrode. $2HD{\;}+{\;}e{\;}{\rightarrow}20H{\;}+{\;}H_2$ Hydrogen can penetrate into the body and create pressure which can cause cracks. At high intensity, the chip's motion becomes stronger, its contact between each other is delayed and so plating action is being controlled. However, the strong impact created by its collision can damage the external electrode's structure thereby resulting to bad plating condition. 1 lot of chip was divided into two equal partion. Each portion was loaded to the same barrel one after the other. Nickel plating and tin-lead plating was performed in the same station. Portion A maintained the normal barrel vibration intensity and portion B vibration intensity was increased two steps higher. All other parameters, current, solution condition were maintained constant. Generally, plating method find procedures were carried out in a best way to maintained the best plating condition. After plating, samples were taken out from each portion. molded and polished. Plating thickness was investigated for both. To check consistency of results. 2nd trial was done now using different lot of another characteristics.

  • PDF

골재 입도분포가 도로포장용 롤러전압 콘크리트에 미치는 영향 연구 (A Study on the Gradation Effect of the Property of Roller Compacted Concrete Pavement)

  • 송시훈;이승우
    • 한국도로학회논문집
    • /
    • 제17권3호
    • /
    • pp.49-58
    • /
    • 2015
  • PURPOSES : The use of environmentally friendly construction methods has been recently encouraged to reduce fuel consumption and the effects of global warming. For this purpose, the roller compacted concrete pavement (RCCP) construction method has been developed. RCCP is more environmentally friendly and economically efficient than general concrete by reducing the amount of CO2 generated through the application of a smaller amount of cement. RCCP has a number of advantages such as an easy construction method, low cost, high structural hydration performance, and aggregate interlocking. However, mix design standards and construction guidelines of RCCP are required for domestic application. In addition, a study on aggregate selection, which has an effect on the characteristics of RCCP, is necessary owing to a limited number of researches. Thus, the aggregate effect on the performance of RCCP in securing the required strength and workability was evaluated in consideration of domestic construction. METHODS : Sand and coarse aggregates of both 19mm and 13mm in maximum size were used in this study. Four types of aggregate gradations (s/a = 30%, 58%, and 70% for the sand and coarse aggregate of 19mm in maximum size, and s/a = 50% for a combination of the three types of aggregates) were set up to investigate the effects of the PCA band on the RCC characteristics. The conditions of s/a = 30% and 70% were evaluated to check the gradation effect outside of the recommended band. The conditions of s/a = 58% and 50% were used because they are the optimum combination of the two and three types of aggregates, respectively. RCCP gradation band was suggested gradation with a proper construction method of RCCP by synthetically comparing and analyzing the correlation of optimum water content, maximum dry density, and strength of requirements through its consistency and compaction test. RESULTS : The lower and upper limit lines are insufficient to secure a relatively strong development and workability compared to an aggregate gradation in the RCCP gradation band region. On the other hand, the line in the RCCP gradation band and the 0.45 power curve in the RCCP gradation band region were satisfactory, ensuring the required strength and workability. CONCLUSIONS : The suitable aggregate gradation on RCCP process should meet the RCCP gradation band area; however, fine particles passing through a #60 sieve do not need to be within the recommended gradation band because the influence of this region on such fine particles is small.

농업용저수지 수문학적 안전성 평가 항목 및 지표 개발 (Development of Evaluation Items and Indicators for Hydrological Safety on Agricultural Reservoir)

  • 이재주;이경훈;박종석;한창화;진완규
    • 한국습지학회지
    • /
    • 제16권4호
    • /
    • pp.403-411
    • /
    • 2014
  • 본 논문은 농업용저수지의 수문학적 안전성을 평가하기 위하여 평가 항목 및 지표를 설정하여 제시하였으며, 이를 위하여 전문가 집단을 대상으로 AHP 기법을 통해 평가 항목의 계층화를 통한 상대적인 중요도를 파악하였다. 연구 결과 다음과 같은 결론을 얻었다. 첫째 평가항목의 계층구조는 2계층(상위, 하위)으로 구분하여 상위 평가항목은 6개(제체의 여유고, 여수로의 방류능력, 유지관리 상태, 하류하천 제방의 여유고, 잠재 홍수피해, 홍수량 산정 인자)를 선정하였고, 하위 평가항목 11개를 선정하였다. 둘째, 계층적의사결정법에 의하여 각 항목간 쌍대비교 설문과 일관성 검증을 통해 도출된 6개 상위 평가항목의 중요도는 유지관리 상태(상태평가 등급), 제체(비월류부)의 여유고, 여수로의 방류능력, 잠재 홍수피해, 홍수량 산정 인자, 하류하천 제방의 여유고 순으로 나타났다. 유지관리 상태(안전점검 상태평가 등급)가 농업용저수지 수문학적 안전성에 지배적인 영향을 미치고 있는 것으로 나타났다. 마지막으로 농업용저수지의 수문학적 안전성 확보를 위해서는 단기적 방안으로 신속한 개선이 가능한 안전점검 상태평가 등급의 개선이 유용하며, 장기적으로 여수로 방류능력과 제체의 여유고를 확보하는 방안이 필요할 것으로 판단된다.

격자 기반의 통계정보 표현을 위한 데이터 변환 방법 (A Data Transformation Method for Visualizing the Statistical Information based on the Grid)

  • 김문수;이지영
    • Spatial Information Research
    • /
    • 제23권5호
    • /
    • pp.31-40
    • /
    • 2015
  • 본 논문에서는 다양한 형태로 존재하는 통계정보를 일정한 모양과 크기를 갖는 격자로 표현하기 위해 필요한 데이터 변환 방법론에 대하여 제시한다. 격자는 기존 통계지도 서비스에서 활용하고 있는 통계공간단위인 행정구역과 집계구와 비교하였을 때 모양과 크기가 일정하여 통계정보를 객관적으로 파악할 수 있게 하며, 지도 축척 변화에 유연하게 적용될 수 있는 특징이 있다. 한편, 기존 통계지도 서비스에서는 면 보간법을 활용하여 통계공간단위로 변환하고 있는데, 이것을 다양한 형태로 존재하는 통계정보에 적용시키기 위해서는 추가적인 프로세스가 필요하다. 이에 따라, 본 논문에서는 다양한 형태로 존재하는 통계정보의 격자 변환을 위해 1)지오코딩을 통한 공간데이터로의 변환, 2)공간 관계 정의를 통한 위치정보 변환, 3)데이터 척도를 고려한 속성정보 변환을 수행하는 방법론을 정리하였다. 제시한 방법론은 서울시 A지역의 인구 밀도 통계정보를 격자로 변환하기 위해 적용하였다. 특히, 동일한 통계정보를 표현하는 참조데이터가 서로 다르더라도 유사한 격자 표현이 가능해야 함을 검증하기 위해 공간 자기상관성을 통해 분석하였다. 그 결과, 집계구와 건물을 통해 표현되는 인구 밀도를 각각 격자로 변환하였을 때, 두 데이터 모두 유사한 격자 분포를 표현함을 파악할 수 있었다. 이러한 결과를 통해 본 연구에서 제안하는 방법론은 일관된 결과를 표현할 수 있음을 확인하였다.

국내 농약 제품표지 내용 및 유독성 표시의 적절성 (Appropriateness of Labelling Practice for Pesticides in Korea)

  • 오범진;노형근;김원;조규종;손유동;강희동;임경수
    • 대한임상독성학회지
    • /
    • 제3권2호
    • /
    • pp.71-78
    • /
    • 2005
  • Purpose: The morbidity of pesticides are largely related with accidental ingestion in human. The four principal ideals of clarity, completeness, conformity and consistency of label are important to make a correct usage and prevent unnecessary health risk. The aim of this study is to evaluate the appropriateness of pesticides labelling practice in Korea. Methods: The photographic label images of pesticide products were gathered through visiting thirteen manufacturers that produce pesticide products in Korea. We scored labelling practice by guidelines of Food and Agriculture Organization of the United Nations in 1995. Results: From August 2005 to November 2005, we gathered 1,296 label images of pesticide and $58.3{\%}$ (755/1,296) of images were scored by check lists for reviewing label content. The average score of four check list categories was $71.9{\pm}2.2$. Each categorical score were $91.7{\pm}0.9$ for the information appearing on the label, $31.3{\pm}0.0$ for safety precaution, $77.7{\pm}2.0$ for instructions for use, $87.0{\pm}8.7$ for general configurations. In safety precaution, the sentence of keeping locked up the product and two mandatory safety pictograms were missed in all label images. In general configurations category, there was score difference in product package types between bottle and bag container ($85.1{\pm}9.0$ vs. $90.3{\pm}7.2$, p < 0.01). Conclusion: Although there was no comparable previous data, the score of safety precaution was lowest than other categories because the two mandatory safety pictograms and locked up warning sentence were missed. In general configurations, the colour contrast was more inappropriate in the labels on bottle than bag container.

  • PDF

AHP 분석을 통한 공동주택 안전 및 안심생활 수준 향상에 관한 연구 (A Study on the Improvement of the Safety and Safe Living Standards of Apartment Houses through AHP Analysis)

  • 지영일;신승하;최병정
    • 한국재난정보학회 논문집
    • /
    • 제17권2호
    • /
    • pp.289-305
    • /
    • 2021
  • 연구목적: "AHP 분석을 통한 공동주택 입주민의 안전 및 안심생활 수준 향상"을 위하여 상위계층과 sub 상위계층, 하위대안 요소의 중요도 및 안심생활을 위한 요인을 확인하며, 종합우선도를 확인하고자 한다. 연구방법: 본 연구에서는 공동주택 유지보수 및 제도에 관한 선행연구와 전문가 자문을 토대로 안전관리 평가요소 및 대안을 계층 구조화하였다. 연구 모형은 전문가를 상대로 쌍대비교 구성의 설문에 활용하고, 대체안 순위 결정 등을 위해 AHP분석 기법을 사용 하였다. 연구결과: 설문조사 응답 결과는 일관성을 확보하였고, 연구의 최종 목표 달성을 위해 sub상위계층 그리고 대안을 상대적 가중치 비교 등을 분석한 결과 상위계층은 공동주택 전기설비 안전점검, sub 상위계층은 안전점검/정밀점검/진단평가, 대안은 급·배수시설이 최우선적으로 중요한 것으로 확인되었다. 결론: 공동주택관리 전문가의 관리자적 시각으로 볼 때 급·배수시설, 방범안전, 전기안전이 최우선적인 대안으로 나타났다. 이는 생활안전사고의 중요성을 확보하고 안심생활의 수준 향상이 가능한 것으로 의사 결정되어 사전 예방 및 관리 강화의 대안임을 보여 주었다.

Automatic Construction of SHACL Schemas for RDF Knowledge Graphs Generated by Direct Mappings

  • Choi, Ji-Woong
    • 한국컴퓨터정보학회논문지
    • /
    • 제25권10호
    • /
    • pp.23-34
    • /
    • 2020
  • 본 논문에서는 Direct Mapping(DM) 방식으로 생성된 RDF 지식 그래프에 대한 SHACL 스키마를 RDB 스키마로부터 자동 생성하는 방법을 제안한다. DM과 SHACL은 모두 W3C 표준 사양이다. DM은 RDB 데이터를 RDF 그래프로 변환하기 위한 규칙들로 구성되어 있다. SHACL은 RDF 그래프의 구조 묘사와 구조 검증을 위한 언어이다. 제안하는 방법은 RDB 스키마의 구조 정보뿐 아니라 무결성 제약조건을 SHACL로 자동 번역한다. 즉, 자동 생성된 SHACL 스키마는 RDBMS를 대신하여 무결성 제약조건 위배 여부를 검증할 수 있다. 이것은 RDB가 RDF 표현의 가상 지식 그래프로서 서비스되는 상황에서도 데이터베이스의 일관성을 보장하기 위한 고려이다. 자동 생성된 SHACL 스키마를 W3C가 발표한 24가지 DM 테스트 케이스에 적용하여 RDF 그래프의 구조 설명과 검증에 있어서 유효함을 보였다.

관계 유형에 기반한 온톨로지 모듈 평가 메트릭 (Evaluation Metrics for Ontology Modules Based on the Relationship Type)

  • 오선주
    • 한국전자거래학회지
    • /
    • 제15권2호
    • /
    • pp.19-35
    • /
    • 2010
  • 온톨로지 모듈화에 대한 필요성이 증가하고 있으며 이에 따라 다양한 방법으로 온톨로지를 모듈화하려는 시도들이 이루어져 왔다. 그러나 모듈화 과정을 통하여 생성된 온톨로지 모듈의 품질과 모듈화 일치성을 평가할 수 있는 공통된 기준인 평가 메트릭에 대한 연구가 부족한 실정이다. 본 연구에서는 소프트웨어 메트릭 이론을 바탕으로 하여 온톨로지에 적합한 모듈 응집도와 결합도 메트릭을 제안한다. 새로이 제안하는 메트릭은 기존의 온톨로지 메트릭과 상이하게 온톨로지 모듈을 적용 대상으로 하며 모듈의 클래스가 다른 클래스와 형성하는 관계의 유형을 세분화시킴으로써 관계 유형에 따른 영향도를 각각 반영할 수 있도록 하였다. 또한 제안한 메트릭의 검증을 위하여 메트릭 검증 프레임워크를 이용하여 이론적으로 타당성을 검증하고 웹 상의 온톨로지를 모듈화하여 적용하는 실증적 실험을 하였다. 본 연구에서 제안하는 온톨로지 모듈 응집도와 결합도 메트릭은 온톨로지 엔지니어들이 온톨로지 모듈과 모듈화 기법을 선택하여 사용하는 기준으로 활용할 수 있을 것이다.

평면곡선부의 속도 및 교통사고 영향분석연구 (The Effects of Horizontal Curves on Vehicle Speeds and Accidents)

  • 이점호;이동민;최재성
    • 대한교통학회지
    • /
    • 제18권1호
    • /
    • pp.35-43
    • /
    • 2000
  • 본 연구는 평면곡선부의 자유속도변화와 교통사고에 대한 영향을 분석하기 위해 수행되었으며, 이를 위해 곡선반경별로 진입부 직선도로-곡선부도로-진출부 직선도로로 구분하여 각 차량의 속도를 산출하였다. 평면곡선부의 자유속도변화와 기하구조의 영향을 분석하기 위해 선행차량에 의해 영향을 받지 않는 속도를 이용하였다. 이러한 곡선부에서 주행하는 차량의 자유속도를 통해 곡선반경별 최저속도와 그 속도가 나타나는 위치를 분석하였고, 해당 도로구간의 교통사고자료를 비교·분석하여 평면곡선 내의 속도변화와 교통사고발생간의 관계를 규명하였다 연구 결과는 다음과 같다. 첫째, 운전자들은 곡선시작지점에 도착하기 전에 충분히 속도를 줄이고, 곡선부에서 가장 낮은 속도가 나타나는 위치는 곡선내에서 나타난다. 이는 운전자의 시거에 의한 영향이다 둘째, 곡선부에서의 속도변화폭이 클수록 사고위험성은 크고, 실제 교통사고 발생건수도 높다. 본 연구의 결과를 통해 도로 주행의 안전성을 고려한 평가지표를 개발할 수 있으며, 이는 일관성 있는 도로설계를 이루게 한다.

  • PDF