• 전기전자학회논문지
• /
• 제15권1호
• /
• pp.43-48
• /
• 2011

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 방출문제에 대하여 연구되었다. 무한고장수를 가진 비동질적인 포아송 과정에 기초하고 수명분포는 최소 및 최대값을 적합 시키는데 효율성을 가진 극값 분포를 이용한 최적 방출시기에 관한 문제를 제시하여 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발 및 유지 총비용을 최소화 시키는 최적 소프트웨어 방출 정책에 대하여 논의 되었다. 본 논문의 수치적인 예에서는 고장 간격 시간 자료를 적용하여 기존의 로그 포아송 실행시간 모형과 로그 파우어 모형의 대안으로서 극값 분포모형이 또 하나의 대안이 될 수 있음을 입증하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제32권2호
• /
• pp.49-54
• /
• 2005

본 논문에서는 즉시 할당 상태와 함께 단일 자원, 단일 요청의 가정 하에서 다중처리 시스템에서 사이클을 발생 즉시 발견함으로써 지연 없는 교차상태의 발견 방법을 소개한다. 기존의 방법과는 달리 제시된 방법은 n과 m으로 프로세스와 자원의 수론 나타낼 때 사이클의 발견에 O(1), 대기나 자원의 반납시에 O(n.m)의 시간을 요한다. 따라서 n과 m의 크기에 상관없이 교착상태를 발생 즉시 알 수 있으며, 이점이 다중처리 시스템의 특성과 잘 조화될 수 있음을 보였다. 교착상태와 연관된 응용환경에서 이러한 발견의 예측성과 비 지연성은 매우 유용할 것이다.

• 융합보안논문지
• /
• 제11권4호
• /
• pp.85-91
• /
• 2011

소프트웨어 시스템의 대규모 응용 프로그램으로 인해, 소프트웨어 신뢰성은 소프트웨어 개발에서 중요한 역할올 담당하고 있다. 본 연구에서는 소프트웨어 신뢰성장 모형 중에서 고장 시간 절단 모형인 로그 로지스틱 분포에 근거한 모형이 제안되었다 고정시간에 따른 강도함수, 평균값함수, 신뢰도를 추정하였고 모수 추정은 최우 추정 법을 사용하였다. 실중분석에서는 이 분야에서 기본 모형인 포아송 실행 시간 모형과 비교 분석하였다. 그 결과 로그-로지스틱 모형이 기존의 로그 포아송 실행 시간 모형보다 신뢰성 측면에서 더 효율적이기 때문에 이 분야에서 기존 모형의 대안으로 로그-로지스틱모형을 사용할 수 있음을 확인 할 수 있었다.

• 한국건설관리학회논문집
• /
• 제17권3호
• /
• pp.3-12
• /
• 2016

최근 건설업계의 해외진출이 불가피한 상황에서 국내 설계도면의 경쟁력은 뒤처져있다는 평가를 받고 있다. 따라서 객관적 도면평가를 통해 국내도면수준을 파악하고, 설계경쟁력 확보방안을 마련하고자 한다. 실시설계도면을 기반으로 설계속성을 도출하고, 기존 유사연구와 전문가 인터뷰를 거쳐 속성을 보완한 뒤, 이들을 평가항목으로 Likert척도와 FMEA기법을 이용하여 실무자를 대상으로 설문조사를 실시하였다. 그 결과 국내도면의 상대적 수준에 대한 시공사와 설계사의 의견이 다르고, 중요성을 인지하는 속성이 상이함을 확인하고 그 이유를 분석하였다.

• 정보처리학회논문지D
• /
• 제10D권3호
• /
• pp.439-446
• /
• 2003

많은 수의 클라이언트들에게 데이터를 방송하는 환경에서 가장 큰 제약은 서버와 통신하는데 이용가능한 대역폭이 낮다는 점이다. 이동 컴퓨팅 환경에서 많은 응용들이 개발되고 있으나, 무선망의 낮은 대역폭으로 인하여 전통적인 동시성 제어 방법을 그대로 적용하기 어렵다. 이 논문에서는 이동 트랜잭션을 위한 새로운 낙관적 동시성 제어 방법을 제안한다. 제안하는 방법에서 판독 전용 트랜잭션은 서버와 부가적인 메시지 교환없이 지역적으로 완료가 가능하며, 이동 갱신 트랜잭션은 서버로 보내져 전역적 검증을 수행한다. 또한 충돌 정보를 이용한 낙관적 방법에서 발생하는 트랜잭션의 불필요한 철회를 줄이고, 데이터 테이블에 유지된 정보를 이용하여 직렬가능하지 않은 수행을 찾아 직렬성 위배를 해결할 수 있다.

• 정보처리학회논문지D
• /
• 제13D권1호
• /
• pp.97-102
• /
• 2006

일반적으로 소프트웨어 개발 과정은 요구사항 분석, 설계, 코딩, 테스트, 유지보수의 과정으로 이루어진다. 그러나 개발 과정에 있어 설계의 빈번한 수정은 그 다음 단계인 코딩을 매우 어렵게 만든다. 즉, 설계와 구현 사이에 항상 불일치를 유발하게 된다. 본 논문에서는 시스템 설계와 구현 사이의 불일치를 줄이고, 소프트웨어의 개발이 신속하고 유연하게 되도록 비즈니스 로직을 식별하여 응용프로그램을 생성시켜주는 도구를 개발하였다. 또한 비 프로그램 기반 응용 프로그램 시스템 방법도 제안하였다 이 방법은 동적 메소드를 통하여 실행 시간에 시스템 설계의 메타데이터를 편집해서 실제로 응용프로그램을 구축하거나 수정한다.

• 한국실내디자인학회논문집
• /
• 제7호
• /
• pp.70-78
• /
• 1996

Artificial Intelligence is generally concerned with tasks whose execution appears to involve some intelligence if done by humans, and knowledge-based system ( in other word, expert system) is the research about the specific domain. This concept also can be applied to interior design field. So the purpose of this study is in reconstructing the accomplishment of artificial Intelligence and knowledge engineering, searching basic theories and cased to knowledge engineering , searching basic theories and cases to formulate knowledge -based design system, and testing the posibilities how the design information can be dealt in computer system. Given that recognition , two major problems must be solved before knowledge-based CAD systems could be come practical : Firstly , identification of the interior of designers use .Secondly , representing this knowledge in a computationally effective manner. I had discussed the basic concepts on which to base a knowledge- based design model, knowledge representation schemes, and problem solving, I could find the possibility which the knowledge-based system can be applied to the interior design according to this study. But there are non-deductive, often irrational and now easily computerized design process in interior design. Those are problems which are relevant to the machine learning and the creativity in design. So there should be a lot of research about the machine learning and the creatively in design in order to construct successfully intelligent knowledge-based design system.

• 전기학회논문지
• /
• 제56권7호
• /
• pp.1309-1314
• /
• 2007

The assignment of cells to reporting or non-reporting cells is an NP-hard problem having an exponential complexity in the Reporting Cell Location Management (RCLM) system. Frequent location update may result in degradation of quality of service due to interference. Miss on the location of a mobile terminal will necessitate a search operation on the network when a call comes in. The number of reporting cells and which cell must be reporting cell should be determined to balance the registration (location update) and search (paging) operations to minimize the cost of RCLM system. T1is paper compares Max-Min ant system (MMAS), rank-based ant system (RAS) and hybrid method of MMAS and RAS that generally used to solve combinatorial optimization problems. Experimental results demonstrate that hybrid method of MMAS and RAS is an effective and competitive approach in fairly satisfactory results with respect to solution quality and execution time for the optimal design of location management system.

• 한국자동차공학회논문집
• /
• 제18권6호
• /
• pp.23-30
• /
• 2010

A detailed circuit level model requires a small sampling time to represent high frequency switching behaviors with proper resolution. The small sampling time leads a large execution time to obtain the system analysis results. As the alternative of the detailed circuit model, an averaged PWM switch model was proposed for the rapid system level analysis. There exists a voltage distortion between the reference and output voltage because of non-ideal switching characteristics, such as the dead-time, diode forward voltage drop and conduction resistance. This paper analyzed causes and effects of the voltage distortion. The average inverter model, which reflecting this voltage distortion, is developed for the rapid and accurate analysis of automotive electric drive system in MATLAB/Simulink environment. The rapidity and accuracy of the proposed inverter model is proved through comparison between simulation and experiment.

• Advances in concrete construction
• /
• 제2권2호
• /
• pp.91-108
• /
• 2014

This paper presents a nonlinear finite element analysis (FEA) in order to investigate the flexural performance of one-way slabs strengthened by epoxy-bonded steel plates. Four point loading scheme is selectively chosen. A model is developed to implement the material constitutive relationships and non-linearity. Five Slabs were modeled in FEM software using ABAQUS. One slab was unstrengthened control slab and the others were strengthened with steel plates with varying the plate thickness and configuration. In order to verify the accuracy of the numerical model, a comparison was done between the experimental results available in the literature and the proposed equations by ACI 318-11 for the calculation of ultimate load capacities of strengthened slabs, the agreement has proven to be good and FEA attained accurate results compared with ACI code. A parametric study was also carried out to investigate the influence of thickness of steel plate, strength of epoxy layer and type of strengthening plate on the performance of plated slabs. Also, the practical and technical feasibility of splitting the steel plate in strengthening process has been taken into account. For practical use, the author recommended to use bonded steel plate as one unit rather than splitting it to parts, because this saves more effort and reduces the risk of execution errors as in the case of multiple bonded parts. Both techniques have nearly the same effect upon the performance of strengthened slabs.