• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1992년도 춘계학술대회 논문집
• /
• pp.374-379
• /
• 1992

The automation system oriented as one of the second year automation projects for the small and medium sized enterprises(SME) was developed for the improvement of the production rate and cut the required manpower in the field of the relay which is one of the small electric components used in various industrial fields. The objectives of this study are not only improving the international competition of the relay itself but also partially solving the technical and financial porblems featured by common bottlenecks of the SME for effecient assembly automation. For the purpose of these objectives, several topics are studied as followings. -. Analyzing the adjustment process and determining the specification of the automation system. -. Determining the layout for the automation system to meet the determined specification. -. Detail design ofthe automation system for relay adjusment and inspection. -. Control system design. -. Automation system development and performance test.

• 한국IT서비스학회지
• /
• 제3권2호
• /
• pp.85-98
• /
• 2004

As the e-Commerce based on the XML technology is getting bigger, user authentication, integrity, non-repudiation and confidentiality has become important for security. Since the XML technology is widely used for exchanging information among the Internet e-business systems, the security of XML documents is essentially required and XML digital signature should be supported. To support the digital signature of XML documents, W3C proposed the XML-Signature specification as an international standard that describes five transform algorithms. In this paper, we design and implement a XML/PKI based digital tax invoice system. Our system supports the five transforming algorithms defined in the XML-Signature specification and exchanges digital tax invoices among enterprises securely. We design and implement the flexible and efficient system consists of reusable components using CBD(Component Based Development).

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2001년도 추계종합학술대회
• /
• pp.749-752
• /
• 2001

본 논문에서는 AIS 용 채널 접속 알고리즘을 분석하고 이를 구현하기 위한 모듈화 된 함수로 설계한 결과를 제시하였다. 먼저 ITU-R M.1371에서 규정한 RATDMA, ITDMA, FATDMA 및 SOTDMA 알고리즘의 기능을 분석하였으며 각각의 알고리즘을 모듈화 된 함수로 설계하였다. 설계한 채널 접속 알고리즘의 기능을 검증하기 위해 PC 상에서 C 언어를 이용하여 구현하고 모의 실험을 수행하였다. 실험 결과 설계한 채널 접속 알고리즘이 슬롯 할당을 제대로 수행함을 확인하였으며 표준안에서 제시한 요구를 만족함을 확인하였다.

• 한국방재학회:학술대회논문집
• /
• 한국방재학회 2008년도 정기총회 및 학술발표대회
• /
• pp.333-336
• /
• 2008

U-Channel Bridge is effective bridge type, because its edge beam performs role of barrier and enables to reduce additional dead loads. Nevertheless, there is possibility of bridge collapse under impact load due to car crash. Also, edge beam must have ability to induce safe driving and prevent falling accidents. Therefore, this study carries out analysis of behavior of edge beam and slab and evaluation of structural stability under impact loads, based on Korean Highway Bridge Design Specifications and AASHTO LRFD Bridge Design Specification. According to analysis result, the maximum stress of edge beam and slab satisfies specification of allowable stress.

• 교육녹색환경연구
• /
• 제1권1호
• /
• pp.44-58
• /
• 2001

This study aims to establish new architectural agenda for the existing middle school facilities responding to individualized interactive learning approach(IILA). First, it investigates the mechanism of new teaching methods and contents proposed in the national level curriculum and the province guidances. Secondly, it suggests the Quality and Quantity of new (multi-purpose) classrooms that should be built for operating new curriculum in the existing middle schools. Finally, it finally emphasizes the educational specification that should be prepared prior to planning school buildings.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 V
• /
• pp.2501-2504
• /
• 2003

This paper presents LQ-PID controller to reduce the gap between the input speed and the out speed at the induction motor.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2008년도 춘계 학술논문 발표대회
• /
• pp.187-191
• /
• 2008

This study focuses on applying performance-based design to construction standard in building construction. First, it realizes situation and issues of standard specification in building construction, deduces the need factors for establishing performance-based construction standard, and then, it proposes the application of performance standard. The required stages for deducing performance-based construction standard consist of dividing building parts, deducing required functions, performance items and performance requirement and deciding a method of performance evaluation. Through these stages, performance-based design process is deduced.

• 한국산학기술학회논문지
• /
• 제5권6호
• /
• pp.499-503
• /
• 2004

실제 시스템 개발현장에서는 사용자 요구사항과 관련 자료의 분석을 시작으로 크게 네 가지 단계 즉, 분석, 설계, 개발, 구현단계별로 각종 명세서들을 작성하고 있다. 명세서 일부는 자동화된 도구를 사용하여 연속적으로 작성되기도 하지만 모든 명세서가 자동화로 작성되는 것은 아니다. 이로 인해 작성되는 명세서간에는 많은 불일치 항목이 발생한다. 본 논문에서는 시스템을 개발할 때 각 단계별로 작성되는 명세서에 포함된 오류를 검출하는 방안을 제안하고, 이를 기초로 명세서 오류 검출 시스템을 설계 및 구현한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.213-218
• /
• 1991

A new model which contains the dynamics of the motor system and the kinematics of the timing belt system is derived for an inverted pendulum system in FAPA Lab. Generalized standard compensator configuration(SCC) which contains the variable design parameters Kl, K2, .., K5 is proposed so that any desired design specification can be achieved. The robust controller which has robust property against the influence of sensor noise, system parameter variation and model uncertainty is designed minimizing the H$_{\infty}$-norm of transfer function from exogenous input to controlled output. The method of solving the two Riccati equations in state space and determining the controller uses on iteration method where the unique stabilizing solution to two algebraic Riccati equation must be positive definite and the spectral radius of their product less than .gamma.$^{2}$. Some cases are derived by varying the design parameter for simulation on a digital computer and experimenting the H$_{\infty}$- controller on an analog computer. The design parameters of controller which satisfies the desired control specification is selected on the basis of the simulation result and experimenting. The reasonableness and validity of the simulation and the robustness of the controller is established.d.

• Journal of Information Processing Systems
• /
• 제7권2호
• /
• pp.287-298
• /
• 2011

Efficient service description and modeling methodologies are essential for dynamic service composition to provide autonomous services for users in ubiquitous computing environments. In our previous research, we proposed a 'u-service' ontology which is an abstract and structured concept for device operations in ubiquitous environments. One of the problems that we faced during the design process was that there are not enough standards to analyze the effectiveness of a u-service ontology. In this paper, we propose a quality evaluation model to facilitate the design process of a uservice ontology. We extract modeling goals and evaluation indicators based on the uservice description specification. We also present quality metrics to quantify each of the design properties. The experiment result of the proposed quality model shows that we can use it to analyze the design of u-service ontology from various angles. Also, it shows that the model can provide a guideline, and offer appropriate recommendations for improvements.