• 한국공간구조학회논문집
• /
• 제7권3호
• /
• pp.153-165
• /
• 2007

연성 구조물은 축강성은 강하고 휨 강성이 매우 작은 재료를 주 구조재로 사용하므로 초기강성에 매우 민감한 구조체이다. 막 구조물을 설계하기 위해서는 우선 초기장력 도입으로 인한 구조물의 형상을 정확히 알아야 한다. 이를 위해서 모형을 통한 모델링이나 컴퓨터를 이용한 형상해석이 요구되며, 초기장력의 도입으로 형성되는 막 구조물의 곡면은 일반적으로 등장력 곡면이다. 따라서 연성 구조물의 해석과 설계는 기존의 강성구조물과는 다른 형상해석, 응력-변형해석, 재단도 작성 및 시공해석의 3단계 해석이 요구되어진다. 본 연구는 재단도 작성 프로그램 NASScut를 이용하여 경계면 곡률의 오차를 최소화 할 수 있는 삼각형 Re-mesh 패턴을 제안하고, 재단도를 작성한다.

• 전기학회논문지
• /
• 제60권10호
• /
• pp.1823-1831
• /
• 2011

When the RPS(Renewable Portfolio Standards) becomes effective in 2012, the use of renewable energy will be dramatically increased. However, there are no production simulations and demand supply programs that reflect the characteristics of the renewable energy. This paper analyzes correlations of the domestic wind power and solar power generation pattern in different areas and those of these sources' output and load pattern. Based on the regional correlation analysis, an appropriate method that uses a average output of the renewable energy or another modeling that takes account of uncertainty could be selected. Because it's output is dependent on weather condition, we can not control the generation of renewable energy, that is the reason why the correlation between the load and output pattern of sources can be helpful to determine whether the renewable energy is modeled as a generator or load modifier. Through this analysis, a basis will be provided in order to properly model the renewable energy source.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2007년도 춘계종합학술대회
• /
• pp.803-806
• /
• 2007

TRNG (True Random Number Generator)를 테스트 하는 방법은 PRNG (Pseudo Random Number Generator)나 산술연산기를 비롯한 결정적 (deterministic) 소자에 대한 테스트와는 많이 틀려서, 새로운 개념과 방법론이 제시되어야 한다. 하드웨어적으로 결정적인 소자들은 패턴을 사용한 테스트 (ATPG; automatic test pattern generation)에 의해 커버가 될 수 있지만, 순수 난수는 발생 결과의 아날로그적인 특성에 의하여 자동 패턴 생성 방식에 의해 소자를 테스트하기가 불가능하다. 본 논문에서는 하드웨어와 소프트웨어를 결합한 테스트 방식으로 테스트 패턴에 연속적인 패턴의 변화를 주면서 통계적으로 관찰하는 방식인 Diehard test라는 테스트 방식을 연구, 분석하고, 순수 난수의 테스트 시 고려해야 할 주안점을 제안한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 합동 추계학술대회 논문집 정보 및 제어부문
• /
• pp.284-287
• /
• 2001

In this paper, we designed and implemented a precise pulse motor control chip that generates the parabolic speed pattern. This chip can control step motor[1], DC servo[2] and AC servo motors at high speed and precisely. It can reduce the mechanical vibration to the minimum at the change point of a degree of acceleration. Because the parabolic speed pattern has the continuous acceleration change. In this paper, we present the pulse generation algorithm and the parabolic pattern speed generation. We verify these algorithm using visual C++. We designed this chip with VHDL(Very High Speed Integrated Circuit Hardware Description Language) and executed a logic simulation and synthesis using Synopsys synthesis tool. We executed the pre-layout simulation and post-layout simulation with Verilog-XL simulation tool. This chip was produced with 100 pins, PQFP package by 0.35 um CMOS process and implemented by completely digital logic. We developed the hardware test board and test program using visual C++. We verify the performance of this chip by driving the servo motor and the function by GUI(Graphic User Interface) environment.

• 대한산업공학회지
• /
• 제27권4호
• /
• pp.337-344
• /
• 2001

As cost invested in developing the specified technology is increasing, investors are paying more attention to cost to benefit analysis (CBA). One of the basic elements of CBA for new technological development is the diffusion pattern of demand of such technology. Many studies of technology evaluation have adopted a single generation model to simulate the diffusion pattern of demand. This approach, however, considers the diffusion of the new technology itself, not taking into account a newer generation that can replace the one just invented. In this paper, we show how a multi-generation technology diffusion model can be applied for more accurate CBA for information technology. Monte Carlo simulation is performed to find influential factors on the CBA of a Cybernetic Building System.

• 디지털산업정보학회논문지
• /
• 제5권4호
• /
• pp.69-76
• /
• 2009

High-speed services and bulk transmission were available by the development of the network and communication technologies. Moreover various next-generation converged services are undergoing a change by various services. This paper presents improved real-time simulated traffic generation and verification schemes based on the actual traffic pattern analysis. For this, we analyzed traffic patterns of actual application system and generated simulated traffics. We also suggested scheme that verify similarity of simulated traffic and actual traffic.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -3
• /
• pp.1968-1971
• /
• 2002

In this paper, we have presented a test- ing method for a kind of asynchronous circuits. Tar- get circuit model is the 3D machine that is one of the most successful implementation of extended burst-mode (XBM) machines. We present a high-level test generation method for the 3D machine using the specification of the circuit. We also present a gate-level test pattern generation method using a synchronous test pattern generator. Experimental results show that the combination of the above two methods achieves high fault coverage over 3D machines and saves test generation time.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 Language, Information, and Computation Proceedings of The 16th Pacific Asia Conference
• /
• pp.157-165
• /
• 2002

This paper describes our ongoing Korean-Chinese machine translation system, which is based on verb patterns. A verb pattern consists of a source language pattern part for analysis and a target language pattern part for generation. Knowledge description on lexical level makes it easy to achieve accurate analyses and natural, correct generation. These features are very important and effective in machine translation between languages with quite different linguistic structures including Korean and Chinese. We performed a preliminary evaluation of our current system and reported the result in the paper.

• 로봇학회논문지
• /
• 제2권4호
• /
• pp.353-360
• /
• 2007

This paper proposes the trot gait pattern generation and online control methods for a quadruped robot to carry heavy loads and to move fast on uneven terrain. The trot pattern is generated from the frequency modulated pattern generation method based on the frequency modulated oscillator in order for the legged robots to be operated outdoor environment with the static and dynamic mobility. The efficiency and performance of the proposed method are verified through computer simulations and experiments using qRT-1/-2. In the experiments, qRT-2 which has two front legs driven by hydraulic linear actuators and two rear casters is used. The robot can trot at the speed up to 1.3 m/s on even surface, walk up and down the 20 degree inclines, and walk at 0.7 m/s on uneven surface. Also it can carry over 100 kg totally including 40 kg payload.

• 전기학회논문지P
• /
• 제53권1호
• /
• pp.22-27
• /
• 2004

BiCMOS circuit consist of CMOS part which constructs logic function, and bipolar part which drives output load. In BiCMOS circuits, transistor stuck-open faults exhibit delay faults in addition to sequential behavior. In this paper, proposes a method for efficiently generating test pattern which detect stuck-open in BiCMOS circuits. In proposed method, BiCMOS circuit is divided into pull-up part and pull-down part, using structural property of BiCMOS circuit, and we generate test pattern using set theory for efficiently detecting faults which occured each divided blocks.