• 한국CDE학회논문집
• /
• 제13권1호
• /
• pp.36-44
• /
• 2008

This paper proposes a modeling and simulation process of a panel production line (PPL) in a shipyard. The panel production line is an assembly process to produce a main panel of a flat block and a curved block. In this paper, its activity analysis is carried out using expression of IDEF0, and its process is qualitatively and quantitatively analyzed and modeled by Petri Nets. A commercial discrete event simulation tool, $QUEST^{TM}$, is used for virtual PPL and simulation. The modeling results by Petri Net are mapped to elements of the simulation tool. Finally, an integrated simulation environment of PPL is implemented in order to efficiently utilize the virtual PPL model. With the help of IDEF0 and Petri Nets, we could systematically analyze and describe the PPL process that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. Also, the dynamic and concurrent activities of a PPL system were able to be simulated. A timing concept can be included into the Petri nets model to evaluate performance and dependability issues of the system.

• 대한수학회지
• /
• 제55권1호
• /
• pp.101-129
• /
• 2018

From an analytical perspective, we introduce a sequence of Cartier operators that act on the field of formal Laurent series in one variable with coefficients in a field of positive characteristic p. In this work, we discover the binomial inversion formula between Hasse derivatives and Cartier operators, implying that Cartier operators can play a prominent role in various objects of study in function field arithmetic, as a suitable substitute for higher derivatives. For an applicable object, the Wronskian criteria associated with Cartier operators are introduced. These results stem from a careful study of two types of Cartier operators on the power series ring ${\mathbf{F}}_q$[[T]] in one variable T over a finite field ${\mathbf{F}}_q$ of q elements. Accordingly, we show that two sequences of Cartier operators are an orthonormal basis of the space of continuous ${\mathbf{F}}_q$-linear functions on ${\mathbf{F}}_q$[[T]]. According to the digit principle, every continuous function on ${\mathbf{F}}_q$[[T]] is uniquely written in terms of a q-adic extension of Cartier operators, with a closed-form of expansion coefficients for each of the two cases. Moreover, the p-adic analogues of Cartier operators are discussed as orthonormal bases for the space of continuous functions on ${\mathbf{Z}}_p$.

• Smart Structures and Systems
• /
• 제15권6호
• /
• pp.1601-1623
• /
• 2015

Electroactive polymers have attracted considerable attention in recent years due to their sensing and actuating properties which make them a material of choice for a wide range of applications including sensors, biomimetic robots, and biomedical micro devices. This paper presents an effective modeling strategy for nonlinear large deformation (small strains and moderate rotations) dynamic analysis of polymer actuators. Considering that the complicated electro-chemo-mechanical dynamics of these actuators is a drawback for their application in functional devices, establishing a mathematical model which can effectively predict the actuator's dynamic behavior can be of paramount importance. To effectively predict the actuator's dynamic behavior, a comprehensive mathematical model is proposed correlating the input voltage and the output bending displacement of polymer actuators. The proposed model, which is based on the rigid finite element (RFE) method, consists of two parts, namely electrical and mechanical models. The former is comprised of a ladder network of discrete resistive-capacitive components similar to the network used to model transmission lines, while the latter describes the actuator as a system of rigid links connected by spring-damping elements (sdes). Both electrical and mechanical components are validated through experimental results.

• Journal of Power Electronics
• /
• 제13권5호
• /
• pp.829-840
• /
• 2013

The modified sinusoidal pulse-width modulation (SPWM) is one of the PWM techniques used in three-phase AC-DC buck converters. The modified SPWM works without the current sensor (the converter is current sensorless), improves production of sinusoidal AC current, enables obtainment of near-unity power factor, and controls output voltage through modulation gain (ranging from 0 to 1). The main problem of the modified SPWM is the huge starting current and voltage (during transient) that results from a large step change from the reference voltage. When the load changes, the output voltage significantly drops (through switching losses and non-ideal converter elements). The single-input single-output (SISO) approach with minor-loop voltage feedback controller presented here overcomes this problem. This approach is created on a theoretical linear model and verified by discrete-model simulation on MATLAB/Simulink. The capability and effectiveness of the SISO approach in compensating start-up current/voltage and in achieving zero steady-state error were tested for transient cases with step-changed load and step-changed reference voltage for linear and non-linear loads. Tests were done to analyze the transient performance against various controller gains. An experiment prototype was also developed for verification.

• 융합보안논문지
• /
• 제16권7호
• /
• pp.85-91
• /
• 2016

블록암호는 암호시스템 중에서 두드러지면서 중요한 부분이며, 최소의 구조를 갖는 것에 관한 연구는 암호학 연구에서 주요한 주제 중의 하나이다. 최소의 구조에 관해 관심을 갖던 Even과 Mansour는 1990년대 초반에 Even-Mansour 스킴이라고 불리는 일종의 블록암호를 제안하였다. Even-Mansour 스킴은 하나의 치환과 두 개의 비밀키를 가지는 매우 간단한 암호이다. 이러한 Even-Mansour 스킴과 그의 안전성 분석에 관한 많은 연구들이 이루어져 왔다. 우리는 Even-Mansour 스킴을 설명하고 이 스킴의 공격방법에 대해 수학적인 언어를 이용하여 단순화한다. 추가적으로, 우리는 이산로그를 공격할 때 사용하는 Pollard rho 공격과 동일한 계산량으로 Pollard rho 공격을 Even-Mansour 스킴의 공격에 적용할 수 있음을 보인다.

• 대한기계학회논문집
• /
• 제19권3호
• /
• pp.639-646
• /
• 1995

The objective of this study is to minimize the weight of a damped anisotropic roto-bearing system considering whirl natural frequency and stability. The system is modeled as an assemblage of rigid disks, flexible shafts and discrete bearings. The system design variables are the crosssectional areas of shaft elements and the properties of bearings. To analyze the system, the polynomial method which is derived by rearranging the calculations performed by a transfer matrix method is adopted. For the optimization, the optimization software IDOL (Integrated Design Optimization Library) which is based on the Augmented Lagrange Multiplier (ALM) method is employed. Also, an analytical design sensitivity analysis of the system is used for high accuracy and efficiency. To demonstrate the usefulness of the proposed optimal design program incorporating analysis, design sensitivity analysis, and optimization modules, a damped anisotropic rotor-bearing system is optimized to obtain 34$ weight reduction.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2008년도 춘계학술대회논문집
• /
• pp.389-392
• /
• 2008

This paper predicts the changes of natural frequencies due to the changes of mass at different point mass stations by using iterative calculation Transfer Matrices Method for different boundary conditions of a single beam structure (fixed-free and fixed-fixed beam). Firstly, the first three natural frequencies of an original beam are obtained using Transfer Matrices Method to verify the accuracy of the obtained results. The results are then compared with the exact solutions before purposely changing the parameter of mass. Both beams are modeled as discrete continuous systems with six-lumped-mass system. A single beam is broken down into a point mass and a massless beam which represent a single station and expressed in matrix form. The assembled matrices are used to determine the value of natural frequencies using numerical interpolation method corresponding to their mode number by manipulating some elements in the assembled matrix.

• 센서학회지
• /
• 제1권1호
• /
• pp.13-21
• /
• 1992

Hall 소자 및 OP-앰프의 장점을 동시에 살린 'Hall 소자를 이용한 자기연산증폭기'를 구성하였다. 이 자기연산증폭기는 높은 입력임피던스 회로와 두 신호의 차 신호를 하나의 신호로 변환하는 회로를 반드시 필요로 하고, 또 이것을 연산처리하기 위해 궤환 입력을 받아 들일 수 있어야 한다. 본 논문에서는 이러한 특성을 만족하는 새로운 '두 신호의 차 신호를 하나의 신호로 변환하는 연산증폭기(DSCOP)'를 제안하였다. 그리고 제안된 DSCOP와 Hall 소자를 이용하여 자기연산증폭기를 설계하여 그 특성을 시뮬레이션 하였으며, 실지로 시스템을 개별소자로 구성하여 측정하였다.

• Advances in concrete construction
• /
• 제2권4호
• /
• pp.309-324
• /
• 2014

In the design of reinforced concrete structural walls, in order to ensure adequate inelastic displacement behaviour and to sustain deformation demands imposed by strong ground motions, special reinforcement is considered while designing. However, these would lead to severe reinforcement congestion and difficulties during construction. Addition of randomly distributed discrete fibres in concrete improves the flexural behaviour of structural elements because of its enhanced tensile properties and this leads to reduction in congestion. This paper deals with effect of addition of steel fibres on the behavior of high performance fibre reinforced cement concrete (HPFRCC) slender structural walls with the different volume fractions of steel fibres. The specimens were subjected to quasi static lateral reverse cyclic loading until failure. The high performance concrete (HPC) used was obtained based on the guidelines given in ACI 211.1 which was further modified by prof.Aitcin (1998). The volume fraction of the fibres used in this study varied from 0 to 1% with an increment of 0.5%. The results were analysed critically and appraised. The study indicates that the addition of steel fibres in the HPC structural walls enhances the first crack load, strength, initial stiffness and energy dissipation capacity.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2008년도 춘계학술대회논문집
• /
• pp.393-396
• /
• 2008

Propellant consumption control for space launch vehicle can be achieved by propellant utilization system (PUS) and tank depletion system (TDS). In the course of developing new space launch vehicles, the main target of design is on reducing of space launch vehicle weight, which results in increasing both specific impulse and payload weight. The weights of space launch vehicles are generally allocated to structure, propulsion system, and propellants loaded. The quantity of propellants filled in propellant tanks may be estimated with the propellants actually consumed by propulsion system to complete its mission and the propellants left on-board at the time of engine shut-off. To minimize the remaining quantity of propellants on-board the supplying propellants' O/F ratio should be controlled from the certain time before engine shutdown. To control an O/F ratio, a control system, which accurately measures and compares the remainder of propellants in tanks and pipes, should be needed. This paper solely dedicates its contents to explore the merits and demerits of various level sensor, which is one of the important elements for PUS and TDS, and the transmission and control of signals within space launch vehicle.