• 제목/요약/키워드: verification of effectiveness

검색결과 589건 처리시간 0.032초

Development of Electrical Power Subsystem of Cube Satellite STEP Cube Lab for Verification of Space-Relevant Technologies

  • Park, Tae-Yong;Chae, Bong-Geon;Oh, Hyun-Ung
    • International Journal of Aerospace System Engineering
    • /
    • 제3권2호
    • /
    • pp.31-37
    • /
    • 2016
  • STEP Cube Lab (Cube Laboratory for Space Technology Experimental Project) is a 1U standardized pico-class satellite. Its main mission objective is an on-orbit verification of five fundamental core space technologies. For assuring a successful missions of the STEP Cube Lab with five payloads, electrical power subsystem (EPS) shall sufficiently provide an electrical power to payloads and bus systems of the satellite during an entire mission life. In this study, a design process of EPS system was introduced including power budget analysis considering a mission orbit and various mission modes of the satellite. In conclusion, adequate EPS hardware in compliance with design requirements were selected. The effectiveness and mission capability of EPS architecture design were confirmed through an energy balance analysis (EBA).

SNS 정보확산력 산출에 관한 연구 - 트위터를 중심으로 - (Research on Information Spread impact of SNS(Study of Twitter))

  • 박상민;박태형;이경호
    • 디지털산업정보학회논문지
    • /
    • 제8권3호
    • /
    • pp.157-169
    • /
    • 2012
  • As of 2006. 3. the twitter offered in the USA has been one of the propaganda instrument used with ads and politics functioning speedy information diffusion on SNS communicated with others through 140 letters of short messages. and while twitter is using propaganda instrument, it keeps on trying to verify how it has an effect on. So, on the paper, I suggest new simulation model of information diffusion based on probability being able to predict the range of proliferation after it analyze the existing influence and the diffusion force on verification methods. It designed algorithm of verification and algorithm of prediction to use twitter's Open API with Python basement. It proved effectiveness on the model through the analysis to operate the twitter of practical local autonomous entity.

유정압테이블 수정가공 알고리즘의 실험적 검증 (Experimental Verification on Corrective machining Algorithm of Hydrostatic Table)

  • 박천홍;이찬홍;이후상
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1997년도 추계학술대회 논문집
    • /
    • pp.425-428
    • /
    • 1997
  • Effectiveness of corrective machining algorithm is verified experimentally in this paper by performing corrective lapping work to single side and double sides hydrostatic tables. Lapping is applied as machining method. Machining information is calculated from measured motion errors by applying the algorithm, without information on rail profile. It is possible to acquire 0.13pm of linear motion error, 1.40arcsec of angular motion error in the case of single side table, and 0.07pm of linear motion error, 1.42arcsec of angular motion error in the case of double sides table. The experiment is performed by the unskilled person after he experienced a little of preliminary machining. Experimental results show that corrective machining algorithm is very effective, and anyone can improve the accuracy of hydrostatic table by using the algorithm.

  • PDF

통합 모델 설계 방식 기반 통신 프로토콜 개발을 위한 SDL-OPNET 모델 변환 기법 (SDL-OPNET Model Conversion Technique for the Development of Communication Protocols with an Integrated Model Design Approach)

  • 김재우;김태형
    • 대한임베디드공학회논문지
    • /
    • 제5권2호
    • /
    • pp.67-76
    • /
    • 2010
  • Although both functional verification and performance evaluation are necessary for the development of effective and reliable communication systems, they have been often performed independently; by functional modeling with formal language tools and by performance modeling with professional network performance evaluation tools, respectively. Separate and repeated modeling of one system, however, would often result in cost increase and inconsistency between the models. This paper proposes an integrated model design approach in order to overcome this problem that evaluates the performance of a communication protocol designed in SDL with SDL-OPNET model conversion. The proposed technique generates OPNET skeleton code from Tau-generated C code of the SDL model by analyzing the relations between SDL and OPNET models. IEEE 802.2 LLC protocol was used as an example of model conversion to show the applicability and effectiveness of the proposed technique.

수요관리 투자사업의 성과검증(M&V)모형 개발 (Development on the M&V Protocol for DSM Investment Program)

  • 조성환;최봉하;김의경;전호철
    • 대한설비공학회:학술대회논문집
    • /
    • 대한설비공학회 2008년도 하계학술발표대회 논문집
    • /
    • pp.237-242
    • /
    • 2008
  • DSM(Demand Side Management) is reducing the load of energy supply utility through energy conservation and energy load distribution. This kind of program is necessary especially to our country which import above 97% of energy source. But the effectiveness of this kind program is not verified well even though our country is executing the various DSM programs. This study suggests M&V(Monitoring & Verification) guideline for DSM programs which are executing in Korea and shows the results which applied to verification of DSM programs.

  • PDF

LRB 댐퍼 조합형 지진격리장치 개발 및 특성평가실험 (Development of Seismic Isolation Device with LRB and Shock Transmission Units and Its Verification Tests)

  • 서주원;김남식;임진석;유문식
    • 한국지진공학회:학술대회논문집
    • /
    • 한국지진공학회 2002년도 춘계 학술발표회 논문집
    • /
    • pp.383-390
    • /
    • 2002
  • The new seismic isolation system (StLRB) is developed, which can separate non-seismic displacements which come from the thermal expansion etc. in LRB design. The StLRB has 3 components, sliding system (PTFE + stainless plate), LRB (lead rubber bearing) and STU (shock transmit units). In this project, the StLRB is designed to apply to the bridge structure by analyzing the characteristics of each component and also the dynamic behavior of the structure was analyzed by non-linear analysis. The verification test was performed to show the two stages separated by STU units. Test results show the effectiveness of both the separation and the seismic isolation performance.

  • PDF

진도대교 케이블 댐퍼시스템 설계 및 검증실험 (The Design of Cable Damper System far Jindo Bridge and its Field Verification Test)

  • 서주원;김남식;안상섭;정원
    • 한국지진공학회:학술대회논문집
    • /
    • 한국지진공학회 2001년도 추계 학술발표회 논문집 Proceedings of EESK Conference-Fall 2001
    • /
    • pp.302-310
    • /
    • 2001
  • In order to lessen cable vibration, new cable damper system with high damping rubber was developed using the basis of the LRB design scheme. The analysis model of cable damper system incorporate voigt-kelvin damper model into the nonlinear cable analysis model. To achieve maximum damping capacity both reducing damper stiffness and developing high damping rubber were performed. As a result of verification test, the high damping rubber damper shows its effectiveness in improving cable damping capacity.

  • PDF

VHDL 모델의 효율적인 검증 방법 (Efficient Strategies to Verify VHDL Model)

  • 김강철
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2003년도 춘계종합학술대회
    • /
    • pp.526-529
    • /
    • 2003
  • 논 논문에서는 VHDL 모델을 검증하기 위하여 정지법을 사용할 때 클럭 사이클을 줄일 수 있는 2가지 방법을 제안한다. 첫 번째 방법은 세미랜덤변수를 정의하고, 정지법이 동작 중에 세미랜덤변수의 영역에 존재하는 데이터를 생략하여 정지점(stopping point)을 줄이고, 두 번째 방법은 정지법의 페이즈가 변화시에 베이지안 파라미터의 기존 간을 그대로 유지하여 클럭 사이클을 줄이는 방법이다. 제안된 방법의 효율성을 입증하기 위하여 12개의 VHDL 모델에 대하여 분기검출률에 관한 모의실험을 하였다.

  • PDF

신경계 행위 표현 및 검증을 위한 FPN 설계 (Design on a Fuzzy Petri Net for Representation and Verification for Nervous System Behaviors)

  • 김성렬;김용승;이상호;이철희
    • 한국통신학회논문지
    • /
    • 제17권7호
    • /
    • pp.677-687
    • /
    • 1992
  • 본 논문은 신경계 행위 표현의 효율성과 동작의 정당성을 검증할 수 있는 모형화 도구로 FPN을 제안 하였다. 설계를 위해 기존의 통신망과 신경망 행위의 표현과 검증의 유사성 및 차이점을 분석하고, 신경계의 애매 모호성의 효율적인 표현을 위하여, PN에 Fuzzy 집합 이론을 적용하여 FPN 모형을 설계하였다. 설계된 FPN을 다층 퍼센트론 구조로 표현하여 그 효율성이 우수함을 보였다.

  • PDF

CNC 만능 원통연삭기의 CAD/CAM 시스템 개발 (Development of the CAD/CAM System for CNC Universal Cylindrical Grinding Machines)

  • 조재완;김석일
    • 한국CDE학회논문집
    • /
    • 제5권4호
    • /
    • pp.312-318
    • /
    • 2000
  • In this study, an exclusive CAD/CAM system is developed for enhancing the effectiveness and productivity of CNC universal cylindrical grinding machines on which the external/facing/internal grinding cycles and the wheel dressing cycles are integratively carried out. The CAD/CAM system can manage the various processes such as geometry design, NC code generation, NC code verification, DNC operation, and so on. Especially, the feature-based modeling concept is introduced to improve the geometry design efficiency. And the NC code verification is realized by virtual manufacturing technique based on the real-time analysis of NC codes and the boolean operation between workpiece and wheel.

  • PDF