• 전기전자학회논문지
• /
• 제16권2호
• /
• pp.145-152
• /
• 2012

This paper is the Software Hazard Analysis (SWHA) which will study the managerial process and the technical methode and techniques inherent in the performance of software safety task within the Military Aircraft System Safety program. This SWHA identifies potential hazardous effects on the software intensive systems and provides a comprehensive and qualitative assessment of the software safety. The purpose of this paper is to identify safety critical functions of software in Military A/C. The identified software hazards associated with the design or function will be evaluated for risks and operational constraint to further improve the software design requirement, analysis and testing efforts for safety critical software. This common SWHA, the first time analysis in KOREA, was review all avionics OFP(Operational Flight Program), and focus only on software segments which are safety critical. This paper provides a important understanding between the customer and developer as to how the software safety for the Military A/C will be accomplished. It will also provide the current best solution which may as one consider the necessary step in establishing a credible and cost-effective software safety program.

• 한국정밀공학회지
• /
• 제24권6호
• /
• pp.86-95
• /
• 2007

This paper presents the optimal design of an exhaust system of a vacuum-compatible air bearing using a genetic algorithm. To use the air bearings in vacuum conditions, the differential exhaust method is adopted to minimize the air leakage, which prevents air from leaking into a vacuum chamber by recovering air through several successive seal stages in advance. Therefore, the design of the differential exhaust system is very important because several design parameters such as the number of seals, diameter and length of an exhaust tube, pumping speed and ultimate pressure of a vacuum pump, seal length and gap(bearing clearance) influence on the air leakage, that is, chamber's degree of vacuum. In this paper, we used a genetic algorithm to optimize the design parameters of the exhaust system of a vacuum-compatible air bearing under the several constraint conditions. The results indicate that chamber's degree of vacuum after optimization improved dramatically compared to the initial design, and that the distribution of the spatial design parameters, such as exhaust tube diameter and seal length, was well achieved, and that technical limit of the pumping speed was well determined.

• 디지털산업정보학회논문지
• /
• 제4권3호
• /
• pp.55-67
• /
• 2008

The user has to subscribe to the library so that user use the library service. User has to register at that in order to use of the nearby another library. Moreover, service such as the inter-library loan and returning my loan book to other library in which the mutual cooperation between the library is needed necessity. But it services due to the constraint condition because of the administrative or technical problems. In this paper excludes the administrative element. The web service model is forming the cluster based on the mutual cooperation between the technologically adjacent public library and provides the technologically necessary single sign-on (SSO) in order to support the additional service. The single sign-on of the library which is concluded by this model using the security information exchange standard (Security Assertion Markup Language : SAML), it is processed by XML base. In using this model, the loan information is confirmed in the attribution in return service library and the model can utilize for the return of loan book in other library. It designs the single sign-on about it.

• 정보처리학회논문지D
• /
• 제16D권2호
• /
• pp.265-272
• /
• 2009

디지털 장치들의 활발한 사용은 디지털 증거들을 양산하지만, 이들 증거들이 법정에서 범죄사실을 증명하는 증거로 채택되기에는 많은 어려움이 있다. 따라서 이 논문에서는 디지털 포렌식 온톨로지를 이용한 디지털 증거들의 증거능력에 대한 검증 방법을 제안한다. 디지털 증거들의 증거능력을 검증하기 위하여 경찰청에서 정의한 표준 디지털 포렌식 처리절차에 따라 디지털 포렌식 온톨로지를 확장하고, 디지털 포렌식 온톨로지에서 정의한 각 클래스들 간의 property 관계를 설정하였다. 또한 각 클래스간의 property 제한 규칙을 정의하여 활용한다. 이 논문에서 제안된 검증방법과 온톨로지는 디지털 증거 수집을 위한 계획을 수립하거나, 디지털 포렌식의 교육 등에 활용할 수 있다.

• 한국산학기술학회논문지
• /
• 제10권9호
• /
• pp.2179-2182
• /
• 2009

최근, 광학기계시스템에 새로운 구조 모델은 저비용, 고성능 및 품질의 개념설계에서 출발해야 할 필요성이 있다. 이런 관점에서, 기계적 구조의 개념설계와 연관된 구조적-위상적 형상은 구조적 강성과 감량과 같은 시스템 성능에 큰 영향을 끼친다. 본 연구에서는, 최적설계방법이 대구경 구조물의 설계단계에 제시되었다. 먼저, 위상 최적화법을 이용하여 구조물의 최적 배열과 보강방안을 얻었고, 사이즈 최적화와 다분야 최적기법을 사용한 세부 설계를 수행하였다. 그 일례로, 이 방법들을 대구경 구조물 설계에 적용하였다.

• Computers and Concrete
• /
• 제25권4호
• /
• pp.303-310
• /
• 2020

In this research, a hybrid mathematical model is derived using the higher-order polynomial kinematic model in association with soft computing technique for the prediction of best fiber volume fractions and the minimal mass of the layered composite structure. The optimal values are predicted further by taking the frequency parameter as the constraint and the projected values utilized for the computation of the eigenvalue and deflections. The optimal mass of the total layered composite and the corresponding optimal volume fractions are evaluated using the particle swarm optimization by constraining the arbitrary frequency value as mass/volume minimization functions. The degree of accuracy of the optimal model has been proven through the comparison study with published well-known research data. Further, the predicted values of volume fractions are incurred for the evaluation of the eigenvalue and the deflection data of the composite structure. To obtain the structural responses i.e. vibrational frequency and the central deflections the proposed higher-order polynomial FE model adopted. Finally, a series of numerical experimentations are carried out using the optimal fibre volume fraction for the prediction of the optimal frequencies and deflections including associated structural parameter.

• 전자공학회논문지
• /
• 제54권1호
• /
• pp.139-146
• /
• 2017

ISDB-T(Integrated Service Digital Broadcasting Terrestrial)는 OFDM(Orthogonal Frequency Division Multiplexing) 기반의 전송기술 및 Time Interleaving 기술을 사용하고 있기 때문에 다중 경로 및 Impulse Noise에 대응 가능하며, 이동 수신 환경에서도 어느 정도 양호한 성능을 나타낸다. 원세그(One-Seg), 풀세그(Full-Seg)는 할당된 세그먼트 개수에 따라 구분하며, 원세그 수신기는 변복조 방법으로 QPSK(Quadrature Phase Shift Keying)를 사용하기 때문에 64QAM(64 Quadrature Amplitude Modulation)을 사용하는 풀세그 수신기와 비교하여 높은 기술력 없이도 구현 가능하지만, 영상 데이터율의 한계로 화면 사이즈와 해상도의 제한이 크다. 본 논문에서는 셋탑박스, 고정형 TV, 일체형 네비게이션 등에 적용 가능한 HD급 해상도를 지원하는 풀세그 ISDB-T 방송 수신 모듈을 설계하고 구현한다. 실험을 통해 개발된 풀세그 ISDB-T 방송 수신 모듈의 기능이 정상적으로 동작함을 확인하였다.

• 한국융합학회논문지
• /
• 제8권12호
• /
• pp.283-289
• /
• 2017

본 연구에서는 자동차 현가장치의 정적설계인자를 계산하기 위한 프로그램을 개발하였다. 이를 위해 기호계산기법을 사용하여 구속방정식의 자코비언에 대한 편미분을 계산하여 자코비언의 변형률 행렬을 유도하였다. 상용프로그램에서는 자코비언의 변형률 행렬을 계산하기 위하여 유한차분법 등을 사용하기도 하지만 본 연구에서는 이를 정확하게 고려하기 위하여 기호계산기법을 사용하여 계산하였다. 계산된 구속방정식 자코비언의 변형률 행렬을 사용하기 쉽도록 모듈화해 프로그램을 구성하였다. 계산된 자코비언 행렬을 사용한 결과를 1/4차량 더블위시본 현가장치에 대한 시뮬레이션을 통해 상용프로그램의 결과와 비교하여 정확성을 검증하였다. 향후 계산된 자세정보로부터 정적설계인자를 자동으로 추출하는 모듈과 함께 이를 이용하여 가상 테스트를 수행할 수 있는 융합 모듈을 추가할 예정이다.

• 열처리공학회지
• /
• 제31권6호
• /
• pp.275-282
• /
• 2018

Two different modes of rolling were applied to control the texture development in tantalum sheet. In the conventional uni-directional rolling, the typical rolling textures of a body-centered cubic metal which was primarily composed of <110>//(rolling direction) was developed. In a cross rolling where the specimen was rotated by $90^{\circ}$ between each pass, the rotated cube components, i.e. {100}<011> were greatly reinforced. The prediction of lattice rotation by the full-constraint Taylor model showed that the high stability and the symmetry of the rotated cube components caused their strengthening in cross-rolling. The two specimens were heated to $1,100^{\circ}C$ at $9^{\circ}C/min$and held for 1 hour for annealing, then cooled to room temperature in atmosphere. In spite of the significant difference in the deformation textures, the annealing textures were very similar. They developed strong <111>//(plane normal) components with negligible intensity at the rotated cube components, which was attributed to the negligible capability of the latter components to provide effective recrystallized grains.

• 한국조리학회지
• /
• 제15권4호
• /
• pp.187-199
• /
• 2009

본 연구는 가치 차원, 관계 품질 차원, 행동 의도 등의 구성개념들 간 인과관계로 구성된 구조방정식모형을 개발하여 지각된 희생이 만족, 충성도와 행동 의도에 영향을 미치는 3개의 경로들을 제한한 제한모형과 제한하지 않은 무제한모형 간 적합도 비교를 통해 우수한 적합도를 보이는 모형을 파악하고, 또한 구성개념들 간 인과관계를 파악하고자 구조방정식모형 분석을 수행하였다. 본 연구는 이론적인 측면에서 그동안 음식점에 대한 관광객들의 행동 의도에 미치는 4개의 가치 차원들과 2개의 관계 품질 요인들의 직접효과와 간접효과를 분석하지 못했지만 본 연구에선 가치 차원들과 관계 품질 요인들의 영향을 분석해 냈다. 이와 같이 본 연구가 관광객 행동 의도모형의 직접효과와 간접 효과를 분석하는 연구의 틀을 제공함으로써 기능적 가치, 감정적 가치, 사회적 가치, 지각된 희생, 만족, 충성도, 행동 의도 등의 구성개념들 간 인과 관계를 이해하는데 도움을 줄 수 있다고 생각한다.