• 제목/요약/키워드: size specification

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

객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증 (Hierarchical Specification and Verification of Requirements using An Object-Oriented Petri Net)

  • 홍장의;윤일철;배두환
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제27권2호
    • /
    • pp.157-167
    • /
    • 2000
  • 요구사항이 복잡하고 다양해지면서 정형적인 방법을 이용한 시스템 명세가 방대해지고 이해하기 어려워진다는 문제들이 생겨났다. 따라서 요구사항의 명세를 위해 모듈화 및 객체화 개념 등을 도입하고 있으며, 특히 복잡한 시스템의 경우에 있어서는 요구사항을 하향식 접근 방법에 의해 분할하고, 이들을 각각 정형적으로 명세하여 합성하는 접근 방법을 사용하고 있다. 본 연구에서는 이러한 추세에 따라 요구사항을 계층적으로 모델링하고, 객체지향 개념을 충분히 표현할 수 있는 정형적인 방법을 제안한다. 제안된 객체지향 페트리 넷인 HOONet은 모듈화, 객체화, 추상화, 및 상세화 등의 개념을 지원하도록 설계되었으며, 복잡한 요구사항을 체계적으로 명세할 수 있는 방법을 제공한다. 특히 요구사항이 부분적으로 제시되었거나, 분석이 전체적으로 완료되지 않은 상황에서도 명세 및 검증이 가능하도록 하였으며, 점진적인 명세의 합성을 통해 시스템 모델링이 이루어지도록 하였다.

  • PDF

해양수산업의 시장규모 및 경제적 파급효과 분석 (Analyzing the Market Size and the Economic Effects of the Oceans and Fisheries Industry)

  • 김요섭;정동원;유승훈
    • Ocean and Polar Research
    • /
    • 제38권1호
    • /
    • pp.59-70
    • /
    • 2016
  • Establishing the strategic plans to foster the oceans and fisheries (O&F) industry as an engine for national sustainable economic growth has become an important task for developing countries as well as developed countries. The first step to do so is to identify O&F industry and analyze its economic effects. Therefore, the prime purposes of the paper are two-fold. The first is to identify O&F industry and estimate its market size using 2012 Input-Output (I-O) table published by the Bank of Korea. The second purpose is to obtain some quantitative information on production-inducing effect, value-added creation effect, and employment-inducing effect of the O&F industry. To this end, we apply an IO analysis using exogenous specification of the O&F industry. The results show that the O&F industry covers 4.1% and 3.0% of national output and gross domestic product, respectively. Moreover, we found that 1.0 won of production or investment in the O&F industry induces 1.7363 won of production and 0.4759 won of value-added in the national economy. One billion won of production or investment in the O&F industry touches off 7.5569 persons of employment. This information can be utilized in the O&F industry-related policy-making.

임베디드 프로세서를 이용한 스마트 배터리 관리 시스템 구현에 대한 연구 (A Study on Implement of Smart Battery Management System using Embedded Processor)

  • 오창록;이성원
    • 전기전자학회논문지
    • /
    • 제15권4호
    • /
    • pp.345-353
    • /
    • 2011
  • 최근 휴대 가능한 스마트폰, 노트북과 같은 모바일 기기의 수요가 급격하게 늘어나고 있다. 또한 이러한 기기는 한 제품에 여러 기능을 추가하는 복합화와 대용량의 멀티미디어 기능과 같은 스마트 기능이 주류를 이루면서 더 많은 전력을 소모하게 된다. 이에 따라 기존의 속도와 성능을 향상시키기 위한 노력에서 한정된 배터리 용량을 효율적으로 사용하여 효율을 극대화 시키려는 노력으로 변화하고 있다. 본 논문에서는 임베디드 프로세서를 이용해 이벤트 드리븐 프로그래밍 방식을 사용한 배터리 관리 시스템을 제안하고 제안된 시스템이 SBS(Smart Battery Specification) v1.1을 만족 할 수 있음을 보였다. 제안하는 배터리 관리 시스템의 특징은 기존의 임베디드 시스템에서 실시간 운영체제를 이용한 배터리 관리 시스템에 비해 전체 코드 크기와, 필요한 메모리 크기를 줄 일 수 있다. 또한 Firmware 형태로 구성하여 쉽게 기존의 운영체제에 포함 할 수 있다.

한국 소방용 방화복의 치수체계 개발 (Sizing System Development of Korean Structural Firefighting Protective Clothing)

  • 한설아;남윤자;최영림
    • 한국의류학회지
    • /
    • 제33권5호
    • /
    • pp.827-839
    • /
    • 2009
  • Sizing system of Korean structural firefighting protective clothing that is national approved should be met for specification of structural firefighting protective clothing that is identified by Ministry of Public Administration and Security(MOPAS). However if you look over the specification of sizing system, the standard is based on only 'height' and the others are indicated as the size of completed product. KS K ISO 13688 and EN 340 which is met on ISO 13688 which indicates sizing system about protective clothing has the standards of height, chest and waist circumference. Also NFPA 1971 that has standards of sizing system is based on chest circumference, cervical to wrist length, waist circumference and inseam. That is different from Korean standards. Therefore, fire fighting protective clothing standards which is based on only height should be compensated and not be relied on foreign standards like ISO. It is indispensable for developing our own sizing system of structural fire fighting protective clothing. In this studying, Korean new sizing system of structural fire fighting protective clothing was developed for providing basic information of ergonomic structural fire fighting protective clothing. The analyzed target age was between 20 and 59 years old fire fighter who extinguish the fire. And it was analyzed by 3D measurement among data of the $5^{th}$ Size Korea. On conclusion, in case of structural fire fighting protective clothing coat, physical dimension was to be chest circumference, cervical to wrist length. Three dimensions as 5cm space of circumference and four dimensions as 2.5cm space of cervical to wrist length were derived, which means that totally 12 dimensions were defined. Dimension standards of pants was based on the analysis of waist circumference and crotch height. Six dimensions as 5cm space of waist circumference and three dimensions as 5cm space of crotch height were derived, which means that totally 14 dimensions were defined.

영상처리에 의한 경량기포 콘크리트 블록의 치수 자동계측 알고리즘 개발 (Development of Automatic ALC Block Measurement Algorithm using Image Processing)

  • 허경무;엄주진
    • 전자공학회논문지SC
    • /
    • 제41권5호
    • /
    • pp.1-8
    • /
    • 2004
  • 본 논문에서는 개인용 컴퓨터와 CCD 카메라를 이용하여 실시간처리에 의해 생산 공정에서 자동으로 경량기포 콘크리트 블록의 각종 치수 측정을 할 수 있는 시스템 설계방법을 제안하였다. 또한 제안한 치수측정 자동화 알고리즘은 실제 작업환경을 고려하여 이중에지를 고려한 경계결정방법, 작업공정내의 피사체의 진동을 고려한 단위길이 결정방법, 카메라의 곡률보정에 의한 치수오차 보정 방법 등을 적용함으로써, 고성능의 하드웨어 장비를 이용하지 않고서도 실제공정에서의 실험결과를 통해 모든 경량기포 콘크리트 블록의 치수에 대해 1mm이내의 오차를 보장하므로, 설계한 시스템이 적합한 치수측정 시스템임을 확인할 수 있었다.

Multiobjective size and topolgy optimization of dome structures

  • Tugrul, Talaslioglu
    • Structural Engineering and Mechanics
    • /
    • 제43권6호
    • /
    • pp.795-821
    • /
    • 2012
  • The size and topology of geometrically nonlinear dome structures are optimized thereby minimizing both its entire weight & joint (node) displacements and maximizing load-carrying capacity. Design constraints are implemented from provisions of American Petroleum Institute specification (API RP2A-LRFD). In accordance with the proposed design constraints, the member responses computed by use of arc-length technique as a nonlinear structural analysis method are checked at each load increment. Thus, a penalization process utilized for inclusion of unfeasible designations to genetic search is correspondingly neglected. In order to solve this complex design optimization problem with multiple objective functions, Non-dominated Sorting Genetic Algorithm II (NSGA II) approach is employed as a multi-objective optimization tool. Furthermore, the flexibility of proposed optimization is enhanced thereby integrating an automatic dome generating tool. Thus, it is possible to generate three distinct sphere-shaped dome configurations with varying topologies. It is demonstrated that the inclusion of brace (diagonal) members into the geometrical configuration of dome structure provides a weight-saving dome designation with higher load-carrying capacity. The proposed optimization approach is recommended for the design optimization of geometrically nonlinear dome structures.

Quayside Container Cranes in Year 2013

  • Lee, Suk-Jae;Hong, Keum-Shik
    • 한국항해항만학회:학술대회논문집
    • /
    • 한국항해항만학회 2004년도 춘계학술대회 논문집
    • /
    • pp.437-442
    • /
    • 2004
  • In this paper, design specifications for a new generation container crane in year 2013 is investigated. After analyzing the trend of the development of container cranes from the 1950s to date, a prospective size for targeting year 2013 is proposed. Introductory specifications of the frame, trolley, hoist and spreader for the proposed new crane are discussed. Considering that the mega-ships will load and unload more than 15000 boxes at one stop, rough dimensions of the crane including outreach, rail gage, lift, backreach, etc. are also suggested. Although the sheer size of the cranes already present some challenges, the biggest challenge is to improve productivity by maximizing the moves per hour. For this, the speeds of trolleys and hoists, rail loads, stability, etc. are discussed.

  • PDF

Finishing 용 전자빔 집속 장치의 성능 실험 (Performance Experiment of Electron Beam Convergence Instrument)

  • 임선종
    • 한국레이저가공학회지
    • /
    • 제18권3호
    • /
    • pp.6-8
    • /
    • 2015
  • Finishing process includes deburring, polishing and edge radiusing. It improves the surface profile of specimen and eliminates the alien substance on surface. Deburring is the elimination process for debris of edges. Polishing lubricates surfaces by rubbing or chemical treatment. There are two types for electron finishing. The one is using pulse beam. The other is using the convergent and scanning electron beam. Pulse type device appropriates the large area process. But it does not control the beam dosage. Scanning type device has advantages for dosage control and edge deburring. We design the convergence and scan type. It has magnetic lenses for convergence and scan device for scanning beam. Magnetic lenses consist of convergent and objective lens. The lenses are designed by the specification(beam size and working distance). In this paper, we evaluate the convergence performance by pattern process. Also, we analysis the results and important factors for process. The important factors for process are beam size, pressure, stage speed and vacuum. These results will be utilized into systematizing pattern shape and the factors.

양방향 고유압 말뚝재하시험을 이용한 대형건축물 기초의 공사비 절감에 관한 사례 연구 (A Case Study on Construction Cost Reduction of Large-size Building Foundation using Bi-directional High Pressure Pile Load Test(BDHPLT))

  • 김남일;김상일;최용규
    • 한국지반공학회:학술대회논문집
    • /
    • 한국지반공학회 2009년도 춘계 학술발표회
    • /
    • pp.518-525
    • /
    • 2009
  • The bi-directional high pressure pile load test(BDH PLT) which is a kind of pile load tests was conducted to find out a reasonable design procedure of large-diameter drilled shafts of large-size building structures. The behaviors of bearing capacity and settlement of the large-diameter drilled shafts were analyzed and the results obtained from BDH PLT were also compared with those obtained from the equations suggested in the specification. In case of the reasonable design procedure adopted, the construction cost could be saved at least 15 ~ 28%. It could be concluded that BDH PLT should be needed for the foundation construction cost reduction of the high-rise building structures.

  • PDF

한국아동보육사업의 경제적 규모 평가를 위한 지표개발 연구 (Development of Indicators for Evaluating the Size of Economic Investment for Child Care in Korea)

  • 이승희;백일우;김명순
    • 아동학회지
    • /
    • 제26권1호
    • /
    • pp.183-202
    • /
    • 2005
  • This study performed intensive indicators based on a model of economics of education. Trends of childcare in Korea were obtained by producing values developed with statistical data. Results showed that such simple initial indicator values as numbers of children, institutions and teachers have improved. However, intensive indicator values that take demographic and economic conditions into consideration have not reached the same rate of progress as the initial indicator values. In other words, qualitative growth remains at an unsatisfactory level in comparison to quantitative growth and to qualitative growth in members of the Organization for Economics Cooperation and Development (OECD).Thus, financial investment by the government should be expanded in order to reach the desired level of high quality in daycare for children.

  • PDF