• 한국항해항만학회지
• /
• 제33권2호
• /
• pp.127-134
• /
• 2009

If the research on double cycle is revitalized, crane productivity will be rapidly improved bemuse double cycle is an operational technique that can maximize equipments efficiency (Quay crane, RMG/RTG, Yard tractor). Unfortunately, it is very difficult for terminal operators to find out the starting point of double cycle bemuse the loading & unloading pattern and conditions are various. Therefore, terminal operators are apt to fail to find out the optimal starting point of double cycle to maximize its frequency. Experiencing the same mistakes in the process we made efforts to find out the optimal starting point, finally we found out the formula for it. And we verified its precision is perfect through a lot of testing. This paper on double cycling focused on making the formula to find out optimal starting point of double cycle to maximize its frequency. And it can be applied to various ships' stowages in common.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제22권4호
• /
• pp.403-412
• /
• 2015

Kato[6] and Torres[9] characterized the Weierstrass semigroup of ramification points on h-hyperelliptic curves. Also they showed the converse results that if the Weierstrass semigroup of a point P on a curve C satisfies certain numerical condition then C can be a double cover of some curve and P is a ramification point of that double covering map. In this paper we expand their results on the Weierstrass semigroup of a ramification point of a double covering map to the Weierstrass semigroup of a pair (P, Q). We characterized the Weierstrass semigroup of a pair (P, Q) which lie on the same fiber of a double covering map to a curve with relatively small genus. Also we proved the converse: if the Weierstrass semigroup of a pair (P, Q) satisfies certain numerical condition then C can be a double cover of some curve and P, Q map to the same point under that double covering map.

• 한국산학기술학회논문지
• /
• 제15권5호
• /
• pp.3093-3099
• /
• 2014

최근 그래픽 프로세서, 멀티미디어 프로세서, 음성처리 프로세서 등에서 부동소수점이 주로 사용된다. 한편 C, Java 등 고급언어에서는 단정도실수와 배정도실수를 사용하고 있다. 본 논문에서는 32비트 곱셈기를 사용하여 배정도실수의 역수를 계산하는 알고리즘을 제안한다. 배정도실수 가수를 상위 부분과 하위 부분으로 나누고, 상위 부분의 역수를 골드스미스 알고리즘으로 계산하고, 이를 초기값으로 하여 배정도실수의 역수를 계산하는 알고리즘을 제안한다. 제안한 알고리즘은 입력값에 따라서 곱셈 횟수가 다르므로, 평균 곱셈 횟수를 계산하는 방식을 유도하고, 여러 크기의 근사 역수 테이블에서 평균곱셈 횟수를 계산한다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제30권1호
• /
• pp.1-13
• /
• 2023

In this paper, we introduce double controlled cone metric spaces via two control functions. An example of a double controlled cone metric space by two incomparable functions, which is not a controlled metric space, is given. We also provide some fixed point results involving Banach type and Kannan type contractions in the setting of double controlled cone metric spaces.

• 한국산업정보학회논문지
• /
• 제18권6호
• /
• pp.31-37
• /
• 2013

최근 그래픽 프로세서, 멀티미디어 프로세서, 음성처리 프로세서 등에서 부동소수점이 주로 사용된다. C, Java 등 고급언어에서는 단정도실수와 배정도실수를 사용하고 있다. 본 논문에서는 32 비트 곱셈기를 사용하여 배정도실수의 역수를 계산하는 알고리즘을 제안한다. 배정도 실수 가수를 상위 부분과 하위 부분으로 나누고, 상위 부분의 역수를 뉴턴-랍손 알고리즘으로 계산한다. 그리고 이를 초기값으로 하여 배정도실수의 역수를 계산한다. 제안한 알고리즘은 입력값에 따라서 곱셈 횟수가 다르므로, 평균 곱셈 횟수를 계산하는 방식을 유도하고, 여러 크기의 근사 역수 테이블에서 평균 곱셈 횟수를 계산한다.

• 유체기계공업학회:학술대회논문집
• /
• 유체기계공업학회 1999년도 유체기계 연구개발 발표회 논문집
• /
• pp.257-263
• /
• 1999

The flow characteristics of double suction pump are investigated by numerically Calculations are performed by using SIMPLE algorithm at the design and off-design points. Symmetric nature of flow fields in blade channels is discovered at design point, but asymmetirc effects are discovered at the off-design point. Numerical results show that the formation of secondary flow in volute of double suction pump shows different trends when compared with the case of single suction pump. Also results show that double vortices are formed in the volute cross section.

• Wind and Structures
• /
• 제32권4호
• /
• pp.341-354
• /
• 2021

Articulated towers are one of the class of compliant offshore structures that freely oscillates with wind and waves, as they are designed to have low natural frequency than ocean waves. The present study deals with the dynamic response of a double-pendulum articulated tower under hydrodynamic and aerodynamic loads. The wind field is simulated by two approaches, namely, single-point and multiple-point. Nonlinearities such as instantaneous tower orientation, variable added mass, fluctuating buoyancy, and geometrical nonlinearities are duly considered in the analysis. Hamilton's principle is used to derive the nonlinear equations of motion (EOM). The EOM is solved in the time domain by using the Wilson-θ method. The maximum, minimum, mean, and standard deviation and salient power spectral density functions (PSDF) of deck displacement, bending moment, and central hinge shear are drawn for high and moderate sea states. The outcome of the analyses shows that tower response under multiple-point wind-field simulation results in lower responses when compared to that of single-point simulation.

• 대한전자공학회논문지SD
• /
• 제48권10호
• /
• pp.72-81
• /
• 2011

본 논문에서는 IEEE754 표준의 단정도 및 배정도를 지원하는 새로운 부동소수점 변환기를 제안하고 설계하였다. 제안된 변환기는 부호 있는 정수(32비트/64비트)와 부동소수점(단정도/배정도) 간 변환, 부호 없는 정수(32비트/64비트)를 부동소수점(단정도/배정도)으로의 변환, 부동소수점 단정도와 배정도 간 변환뿐만 아니라 부호 있는 고정소수점(32비트 64비트)과 부동소수점(단정도 배정도) 간 변환을 지원한다. 모든 입력 형태를 하나의 형태로 만드는 새로운 내부 형태를 정의함으로써 출력 형태의 표현 범위에 따른 오버플로우 검사를 쉽게 하도록 하였다. 내부 형태는 IEEE754 2008 표준에서 정의된 부동소수점 배정도의 확장된 형태(extended format)와 유사하다. 이 표준에서는 부동소수점 배정도의 확장된 형태(extended format)의 최소 지수부 비트폭은 15비트라고 명시하지만 제안된 컨버터를 구현하는데 11비트만으로도 충분하다. 또한 덧셈기가 대신 +1 증가기를 사용하면서 라운딩 연산과 음수의 정확한 표현이 가능하도록 변환기의 라운딩 스테이지를 최적화하였다. 단일 클럭 사이클 데이터패스와 5단 파이프라인 데이터패스를 설계하였다. 변환기의 두 데이터패스에 대한 HDL 모델을 기술한 후에 Synopsys design compiler를 사용하여 TSMC 180nm 공정 라이브러리로 합성하였다. 합성 결과의 셀 면적은 12,886 게이트(2입력 NAND 게이트 기준)이고 최대 동작 주파수는 411MHz이다.

• 전기학회논문지
• /
• 제60권3호
• /
• pp.471-478
• /
• 2011

This paper proposes a method of maximum power point tracking (MPPT) using fuzzy logic control for grid-connected photovoltaic systems (PV). First, for the purpose of comparison, because of its proven and good performances, the incremental conductance (IncCond) technique is briefly introduced. A double fuzzy logic controller (DFLC) based MPPT is then proposed which has shown better performances compared to the IncCond MPPT based approach. Modeling and Simulation in grid-connected PV system results are provided for both controllers under same atmospheric condition based PSCAD/EMTDC. The double fuzzy logic MPPT controller is then simulated and evaluated, which has shown better performances.

• Computers and Concrete
• /
• 제9권1호
• /
• pp.1-19
• /
• 2012

The size-effect study of various fracture parameters obtained from two parameter fracture model, effective crack model, double-K fracture model and double-G fracture model is presented in the paper. Fictitious crack model (FCM) for three-point bend test geometry for cracked concrete beam of laboratory size range 100-400 mm is developed and the different fracture parameters from size effect model, effective crack model, double-K fracture model and double-G fracture model are evaluated using the input data obtained from FCM. In addition, the fracture parameters of two parameter fracture model are obtained using the mathematical coefficients available in literature. From the study it is concluded that the fracture parameters obtained from various nonlinear fracture models including the double-K and double-G fracture models are influenced by the specimen size. These fracture parameters maintain some definite interrelationship depending upon the specimen size and relative size of initial notch length.