• 제목/요약/키워드: system specifications

검색결과 1,582건 처리시간 0.03초

상호 작용 중심 시스템의 품질 확보를 위한 LTL 분산 명세 (Decentralized LTL Specifications for Ensuring Quality of Interaction-centralized System)

  • 권령구;권기현
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제3권5호
    • /
    • pp.169-178
    • /
    • 2014
  • 본 논문에서는 상호 작용 중심 시스템의 품질을 확보하기 위하여 LTL 분산 명세를 활용하는 연구를 소개한다. 이러한 시스템의 품질확보를 위해서는 모듈 간의 상호 작용을 확인하여 기대하는 요구 사항을 달성하고 있는지를 검사해야 한다. 이 작업은 어렵고 노동 집약적이며 전문가를 필요로 한다. 따라서 본 논문에서는 이 검사에 도움을 주기 위한 방법을 제안한다. 먼저, 시스템의 기대하는 요구 사항은 각 모듈별로 분리해서 명세한다. 그리고 모듈 사이의 상호 작용은 다른 모듈이 수행하는 행위가 특정 모듈의 행위와 관련 있음을 의미한다. 여기서는 GR(1) 합성을 이용하여 명세를 만족하는 오토마타 모델이 생성되고 이것들은 소프트웨어 에이전트 기반의 시뮬레이터를 통해 모델의 행위를 확인하여 시스템이 요구 사항을 달성하고 있는지를 검사한다.

가변 특성을 갖는 디지털 TV 휘도신호 처리용 디지털 필터 설계 (Design of a digital filter with variable characteristics for a luminance signal processing of digirtal TV)

  • 왕종현;이해정;유영갑;조경록
    • 한국통신학회논문지
    • /
    • 제21권1호
    • /
    • pp.67-79
    • /
    • 1996
  • This paper presents a composite luminance signal processing system for NTSC, PAL and SECAM standards. Eaxh of the three standards employs its own specifications of subcarmier bandwidth and luminance signal waveform. The proposed system, compatible to the specifications of the three standard and B/W TV, implements variable freqneucy characteristics by controlling filter coefficients. The major features of the system are a luminance/chroma separation unit and an aperture compensation unit. The luminance/chroma separation unit employes a notch filter selection a trap freqneyc to atenuate unwanted color signals in luminance signal bands. The aperture compensation unit comprises two subunits, to provide clear color definition for each of the three standards: a primary compensation circuit and a variable compensation circuits. The proposed system yields a 40 dB gain from the chroma/luminance separation and a 10 dB gain from the aperture compensation unit.

  • PDF

국방 품질시스템의 개선에 관한 연구 (A Study on the Improvement in the Defence Quality System)

  • 김만성;안재경
    • 품질경영학회지
    • /
    • 제24권1호
    • /
    • pp.110-125
    • /
    • 1996
  • Since 1975, Korean defence quality system has been operated by adopting defence specifications, 0050-0015, 0050-0029 and 0050-0030, which were based on the American specifications, MIL-Q-9858, MIL-Q-45208 and MIL-STD-45662. The trend that the ISO certification is intensively required for the international trade, and the need for modernization of the Korean military forces, however, provide motivation to revise the defence quality system. In this study, an improved defence quality system has been proposed by the comparison study among the requirements prescribed in ISO 9000, AQAP 100 series, MIL-Q-9858.

  • PDF

공사장 소음모니터링 개선방안에 관한 연구 (A Study on the Improvement Plan of Construction Noise Monitoring)

  • 박영민;김경민
    • 한국소음진동공학회논문집
    • /
    • 제23권12호
    • /
    • pp.1056-1065
    • /
    • 2013
  • Noise generated from Construction site has been raised most civil complaints to 64.4 % among the environmental pollution in 2011. Therefore, local government recommends and prescribes that construction sites over a certain scale install sound level meter for noise monitoring. For example, Seoul has implemented a 24 hour noise monitoring system, with real time communication, to the large construction sites more than 10,000 $m^2$ from the end of August 2012. But it is difficult to use noise measurement data for the construction noise assessment, since the installation standards and technical specifications for construction noise monitoring system are not presented. In this paper, we proposed noise monitoring system improvement plan including technical specifications and installation standards using the investigating results of the problems of current noise monitoring system and the foreign cases.

시제열차 개발에서의 신뢰성 관리 체계 (Reliability Management Process for the Development of a Prototype Train)

  • 최성훈;박춘수;이태형
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2007년도 추계학술대회 논문집
    • /
    • pp.206-210
    • /
    • 2007
  • IEC 62278 presents a process to implement a consistent approach to the management of reliability for railway applications. A reliability program has to be established at the outset of a project in order to manage reliability activities effectively through the life cycle. The first step of the reliability program is to evaluate reliability requirements and targets based on the system specifications. The system specifications are derived from the customer's needs. The way in which the system requirements reflect the customer's needs is strongly dependent on the characteristics of the product. In general the customer of commercial trains presents the system requirements from their needs. However, the relation between the customer and supplier is equivocal for a project to development a prototype train, and the reliability program should be different from that of an usual commercial project. This paper deals with a process to manage reliability activities for the development of a protype train based on the experiences obtained from the development of the Korea High-Speed Train: Hanvit-350.

  • PDF

발전소 전자제어설비 환경시험에 관한 고찰 (An investigation of environmental tests for electric control system in power plants)

  • 정창기;이주현;류흥우
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1997년도 하계학술대회 논문집 B
    • /
    • pp.550-554
    • /
    • 1997
  • It is important to select a reliable electronic control system in power plants because a trip of a power plant caused by malfunction of the control system can lead to a great deal of economic and social loss. In this paper. environmental test specifications for evaluating the reliability of the electronic control system were developed in order to select a reliable one. Also, the electronic control systems made by domestic manufacturers were tested based on these developed environmental test specifications.

  • PDF

인과성 모델에 기반 한 멀티미디어 동적 저작시스템 구현 (An Implementation of the Multimedia Dynamic Authoring System based on Causality Model)

  • 신현산
    • 인터넷정보학회논문지
    • /
    • 제5권6호
    • /
    • pp.67-77
    • /
    • 2004
  • 본 논문은 인과성 모델에 기반 한 멀티미디어 동적 저작시스템을 구현하였다. 사용자가 원하는 시나리오를 직관적이고 자연스럽게 프로그램 하도록 2가지 명세를 정의하였다. 인과성을 바탕으로 한 시간 명세는 프리젠테이션에 참여하는 미디어 객체간의 시간관계를 정의한 것이며, 두 번째 명세는 스크린상에 실행되는 미디어들의 상대적인 위치 관계를 토대로 정의한 공간 명세이다. 이 두 가지 사양을 토대로 프리젠테이션 시스템을 구성하였다. 본 시스템의 구성은 멀티미디어 전자문서 생성 과정을 반영한 것이며 그 단계로는 1차원 스트링 리스트 생성 단계, 시간 및 공간 트리 생성 단계, 복합 트리 생성 단계로 구성 처리하였다.

  • PDF

모델 불확실성을 고려한 변형된 IMC-PID 제어기 설계 (A Modified IMC-PID Controller Design Considering Model Uncertainty)

  • 김창현;임동균;서병설
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2005년도 심포지엄 논문집 정보 및 제어부문
    • /
    • pp.128-130
    • /
    • 2005
  • This paper proposes a modified IMC-PID controller that introduces controlling factor of the system identification to the standard IMC-PID controller in order to meet the design specifications such as gain, phase margin and maximum magnitude of sensitivity function in the frequency domain as well as the design specifications in time domain, settling, rising time and overshoot, and so on.

  • PDF

효율적 시공을 위한 라이트웨이 조명등기구의 작업지시서 개발 (Development of Light-Way Lighting Appliance of Specifications for Efficient Construction)

  • 최충석;고재완
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2009년도 춘계학술대회 논문집 전기설비전문위원
    • /
    • pp.18-22
    • /
    • 2009
  • In this paper, we are develop specifications light-way lighting appliance for efficient construction. Analyzed wide application and connection regulation. Also, flickering circuit Presented separation, arrangement, mounting instruction. Incandescent lamp occurs much heat. Therefore, establishment of enough electric light interval is required. Voltage of discharge lamp does by below 300v, and provide so that a person is not can may touched.

  • PDF

시간 영역에서의 성능 사양 만족을 위한 스위칭 직류 변환기의 제어기 설계 (A controller design method of switching regulator satisfying time-domain specifications)

  • 고정호;권봉환;윤명중
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1986년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 17-18 Oct. 1986
    • /
    • pp.576-579
    • /
    • 1986
  • In this paper, a design method of an optimal output PIM(Proportional-Integral-Measurable) controller is presented so that the closed-loop output response of the switching regulator closely match to that of ideal model system satisfying the time domain specifications. The computer simulation for a design example is given to show the usefulness of the proposed technique.

  • PDF