• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1993년도 가을 학술발표회논문집
• /
• pp.81-90
• /
• 1993

The optimum design of a structure requires the determination of the economical member size and shape of the structure which satisfies the design condition and function. In this study, the process of design automatization of three-dimensional truss structure introduces the optimization technique tests its application in the design automatization, proposes its application method and applies the example structure of the parabolic antenna truss. Using the Formex Algebra of configuration function, the structure's mesh-generation is automatized. By using the program developed in this study, the input member array, member size and load condition designer can generate the input data file for the structure analysis and optimum design. This study is aimed at the development of a design automatization system that search for tile optimum value of a structure design by observing the structure's sensitivity from the modification of member array and member property.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권3호
• /
• pp.1287-1300
• /
• 2018

Target-tracking algorithm based on ad hoc camera sensor networks (ACSNs) utilizes the distributed observation capability of nodes to achieve accurate target tracking. A compressed sensing-based multiple-target tracking algorithm (CSMTTA) for ACSNs is proposed in this work based on the study of camera node observation projection model and compressed sensing model. The proposed algorithm includes reconfiguration of observed signals and evaluation of target locations. It reconfigures observed signals by solving the convex optimization of L1-norm least and forecasts node group to evaluate a target location by the motion features of the target. Simulation results show that CSMTTA can recover the subtracted observation information accurately under the condition of sparse sampling to a high target-tracking accuracy and accomplish the distributed tracking task of multiple mobile targets.

• 한국항해항만학회지
• /
• 제30권4호
• /
• pp.277-283
• /
• 2006

It is a world trend to construct large terminal and develop automated container terminal to attract Super Post-Panamax and provide service which is based on differentiation. In fact, there is insufficient research for automatization of terminal gate since the automatization of current constructed container terminal is only focused on increasing productivity and unmanned system through the automatization of quay, yard, etc. In this paper, we have investigated advantage/disadvantage of existing gate operation systems and compared each gate operation system in the aspect of raising terminal image and the productivity. For the specific study, we have used data from actual terminal gate operation and RFID model business sponsored by MOMAF (Ministry of Maritime Affairs and Fisheries). As a result, this paper carried out an efficient gate operation system and it has been expected that it will be performed as groundwork of automated gate operation system which is for design of container terminal and improvement of gate operation system.

• 전기저널
• /
• 11호통권143호
• /
• pp.14-17
• /
• 1988

• Journal of Biosystems Engineering
• /
• 제16권4호
• /
• pp.363-371
• /
• 1991

It is important to measure the somatic informations for stockbreeding automatization. This study was carried out for the development of wireless measurement system of temperature in living animals. New method to measure somatic temperature was developed using the single-channel wireless instrument. This system was constructed by oscillator, temperature sensor, wireless transmitter and receiver circuit, single processing circuit, and microcomputer. Two types of sensor were used and compared to measure the temperature. The thermistor sensor was more sensitive and accurate than platinum resistance sensor, however both sensors were performed efficiently. The single-channel wireless measurement systems developed could measure the somatic temperature successfully and offered a versatile system.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.800-807
• /
• 2008

프로그래밍 언어의 구문 구조(syntax)와 메타이론을 정형화(formalization)하고 관련된 명세(specification)의 증명을 자동화(automatization)하는 과정에서 일어날 수 있는 모든 종류의 변수 묶기(variable binding)를 정형적(formal)으로 구현, 해결하는 방식을 개략적으로 소개한다. 또한 함수언어(functional language)의 기본으로 사용되는 Lambda calculus와 연계해서 POPLmark Challenge와 관련된 시도들의 공통점, 차이점 및 각각의 특성을 증명보조 툴인 Coq에서 구현된 간단한 예제들을 통해 보여준다.

• 한국패션뷰티학회지
• /
• 제6권1호
• /
• pp.16-20
• /
• 2008

Ubiquitous computing which is called, the innovation of the 21st Century is a core technology of next generation. RFID technology is noticed, and physical distribution, home network, telematics, like industry automatization are developed by using various technique. Particulary, They use RFID technology for fashion and beauty industry, So, supplying network management, physical distribution management and warehouse management are investigated for the automatization. What we have investigated so far, a traceability system is made of ubiquitous sensor network for monitoring fashion and beauty industry environment. The proposed system using EPC network can provide information of industrial products traceability quickly and efficiently. Moreover, this system with RFID Technology gives intelligence of distribution and record. In this paper, We recommend the vision of Ubiquitous convergence of fashion and beauty industry.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1995년도 Proceedings of the Korea Automation Control Conference, 10th (KACC); Seoul, Korea; 23-25 Oct. 1995
• /
• pp.384-387
• /
• 1995

A helicopter is used in a variety of situations because of its usability. Its operation, needs human skill. The authors are working on automatization of human skill. Helicopter operation is one of such fields of practicing human skill. This is why the present paper deals with helicopter (model helicopter) operation. Full operation of a helicopter needs more complicated system in both aspects of software and hardware, and also requires more training for operation. From the purpose here that helicopter operation is for checking the applicability of the authors' idea for automatization based on experience, attitude regulation in hovering is the target. In the present paper, a human operator's operation is recorded as a time series of operation actions, and the record is reorganized as the correspondence between the helicopter's attitude and the proper operation action required in that particular situation.

• Journal of Biosystems Engineering
• /
• 제17권4호
• /
• pp.404-409
• /
• 1992

It is important to measure the somatic informations for stockbreeding automatization. This study was carried out for the development of wireless measurement system of sphygmus in living animals. In meauring sphygmus counting with the single-channel telemety system, a LED-photo transistor sensor showed more sensitivity to the change of blood pressure than a piezo-electric sensor based pressure sensor. The LED-photo transistor sensor resulted ${\pm}1.29%$ of measurement error of sphygmus counting. In the process of transmitting and receiving the blood pressure signal for counting sphygmus, noises were mixed with, and the noises made the counting almost impossible. Auto-correlation analysis technique was applied to the signal data to extract the sphygmus information, and the technique was proved to be very effective.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.791-794
• /
• 1997

Based on a systematic ide developed for experience-based expertise acquisition systems, a human-oriented methodology for plant operation is described.