• 대한수학회보
• /
• 제56권1호
• /
• pp.169-178
• /
• 2019

Let $M^{2n+1}$, $n{\geq}1$, be a smooth manifold with a pseudoconvex integrable CR structure of hypersurface type. We consider a sequence of CR invariant subsets $M={\mathcal{S}}_0{\supset}{\mathcal{S}}_1{\supset}{\cdots}{\supset}{\mathcal{S}}_n$, where $S_q$ is the set of points where the Levi-form has nullity ${\geq}q$. We prove that ${\mathcal{S}}{_q}^{\prime}s$ are locally given as common zero sets of the coefficients $A_j$, $j=0,1,{\ldots},q-1$, of the characteristic polynomial of the Levi-form. Some sufficient conditions for local existence of complex submanifolds are presented in terms of the coefficients $A_j$.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2007년도 춘계학술대회A
• /
• pp.1740-1743
• /
• 2007

In this study, two types of fatigue tests were conducted. First, cyclic bending tests were performed using the micro-bending tester. A four-point bending test method was adopted, because it induces uniform stress fields within a loading span. Second, thermal fatigue tests were conducted using a pseudo power cycling machine which was newly developed for a realistic testing condition. The pseudo-power cycling method makes up for the weak points in a power cycling and a chamber cycling method. Two compositions of solder are tested in all test condition, one is lead-free solder (95.5Sn4.0Ag0.5Cu) and the other is eutectic lead-contained solder (63Sn37Pb). In the cyclic bending test, the solder that exhibits a good reliability can be reversed depending on the load conditions. The lead-contained solders have a longer fatigue life in the region where the applied load is high. On the contrary, the lead-free solder sustained more cyclic loads in the small load region. A similar trend was detected at the thermal cycling test. A three-dimensional finite element analysis model was constructed. A finite element analysis using ABAQUS was performed to extract the applied stress and strain in the solder joints. A constitutive model which includes both creep and plasticity was employed. Thermal fatigue was occurred due to the creep. And plastic deformation is main damage for bending failure. From the inelastic energy dissipation per cycle versus fatigue life curve, it can be found that the bending fatigue life is longer than the thermal fatigue life.

• 전자공학회논문지CI
• /
• 제43권5호
• /
• pp.48-56
• /
• 2006

본 논문에서는 심리음향 모델과 MDCT/IMDCT(Modified DCT/Inverse Modified DCT)를 이용하여 고음질 오디오 워터마킹 알고리즘을 제안하였다. 일반적으로 디지털 오디오 워터마크는 디지털 오디오 신호를 주파수 영역으로 변환 한 다음 주파수 영역에 워터마크를 삽입하지만 삽입된 워터마크에 의해 디지털 오디오 음질이 영향을 받게 된다. 제안된 알고리즘에서는 디지털 오디오 데이터를 PN(Pseudo Noise) 코드를 사용하여 확산시킨 다음 심리음향 모델을 참조하여 MDCT 과정을 통하여 오디오 워터마크를 삽입시킨다. MDCT 과정에서 고음질의 오디오를 얻기 위해 필터뱅크 출력의 첨예도에 따라 256, 1,024 또는 2,048 포인트의 윈도우가 선택되어진다. 본 논문에서 워터마크 계수 ${\alpha}$가 2.5 이하일 때, 워터마크의 검출률이 SDMI(Secure Digital Music Initiative)의 제안 조건을 50% 이상 상회 하며, SNR은 4종류의 공격(압축, 절단, FFT, 에코)에 대해 $50{\sim}68dB$ 값을 가짐을 확인하였다.

• 한국통신학회논문지
• /
• 제37권4C호
• /
• pp.307-312
• /
• 2012

본 논문에서는 ISO/IEEE 11073 개인건강기기(Personal Health Device: PHD) 표준을 임베디드시스템 상에 구현할 경우, 요구되는 시스템 재원을 파악하고자, ISO/IEEE 11073 개인건강기기 표준의 구현에 대한 복잡도 분석(Complexity Analysis)을 수행하였다. 다양한 개인용 건강기기 중 체중계, 혈압계, 그리고 혈당계의 구현된 프로그램을 기반으로 모의코드를 작성하였다. 그리고 난 후 프로그램 메모리 공간 및 데이터 메모리 공간 두 개의 다른 관점에서 복잡도 분석모델을 하였다. 개인건강기기는 그 특성상 재원 또는 성능의 제약이 있어 본 연구의 결과는 상기 표준의 구현에 요구되는 추가적인 시스템 재원을 추정하는데 유용하게 활용될 수 있다.

• 한국수자원학회논문집
• /
• 제30권5호
• /
• pp.431-439
• /
• 1997

본 연구의 목적은 다목적 조수지의 홍수조절능력을 극대화하기 위한 홍수시 실시간 저수지운영 의사결정 지원 시스템을 개발하는 것이다. 본 연구를 통해 개발된 의사결정 지원시스템은 모델베이스와 실시간 자료처리 부시스템, 사용자 인터페이스로 구성되어 있으며, 사용자 인터페이스는 모형에 의해 예측된 홍수조절지점의 수문곡선과 저수지의 저수위 그래프르 그래픽 형태로 보여줄 수 있도록 개발되었다. 개발된 시스템의 적용성을 검증하기 위하여 금강유역의 1987년 7월 및 1995년 8월의 과거 홍수 사상을 가상 실시간으로 대청댐 저수지 운영에 적용하여 의사결정과정을 수행하고, 당시의 운영 실적과 비교·검토하였다. 개발된 시스템의 의한 저수지 운영은 홍수유출모형에 의해 모의되었으며, 그 결과 본 시스템에 의한 저수지운영은 금강하류의 홍수조절에 기여할 수 있는 것으로 나타났다.

• Earthquakes and Structures
• /
• 제17권2호
• /
• pp.233-244
• /
• 2019

In this work, we have studied the effects of different soil thicknesses, haunch heights, reinforcement forms and construction technologies on the seismic performance of a composite precast fabricated utility tunnel by pseudo-static tests. Five concrete specimens were designed and fabricated for low-cycle reciprocating load tests. The hysteretic behavior of composite precast fabricated utility tunnel under simulated seismic waves and the strain law of steel bars were analyzed. Test results showed that composite precast fabricated utility tunnel met the requirements of current codes and had good anti-seismic performance. The use of a closed integral arrangement of steel bars inside utility tunnel structure as well as diagonal reinforcement bars at its haunches improved the integrity of the whole structure and increased the bearing capacity of the structure by about 1.5%. Increasing the thickness of covering soil within a certain range was beneficial to the earthquake resistance of the structure, and the energy consumption was increased by 10%. Increasing haunch height within a certain range increased the bearing capacity of the structure by up to about 19% and energy consumption by up to 30%. The specimen with the lowest haunch height showed strong structural deformation with ductility coefficient of 4.93. It was found that the interfaces of haunches, post-casting self-compacting concrete, and prefabricated parts were the weak points of utility tunnel structures. Combining the failure phenomena of test structures with their related codes, we proposed improvement measures for construction technology, which could provide a reference for the construction and design of practical projects.

• 한국측량학회지
• /
• 제31권1호
• /
• pp.41-48
• /
• 2013

본 연구는 대용량 3차원 포인트 클라우드의 탐색을 위한 메모리 효율적인 옥트리를 설계하는 것을 목표로 한다. 이를 위하여 C++ 언어로 구현된 옥트리 노드의 구성요소 중 최소 경계 입방체 좌표 정보 등을 위한 변수를 제거하는 대신, 부모 노드에서 자식 노드 접근시 최소 경계 입방체 좌표를 계산하여 전달하였다. 아울러 자식 노드 등의 생성시마다 new 연산자를 사용하는 대신, 수도 트리와 정식 트리를 생성하는 이중적인 과정을 통해 노드 등을 배열로 미리 선언함으로서 메모리 효율성을 더욱 개선하였다. 1800만개 이상의 포인트로 구성된 실제 포인트 클라우드를 대상으로 트리를 구성하고 인접 포인트를 탐색하는 실험을 수행하였다. 최소 경계 입방체 좌표 정보를 노드에 저장하는 경우와 비교한 결과 메모리 사용량과 탐색 속도의 트레이드오프가 존재하지만 제안한 방식이 비교군보다 메모리 효율적이어서 대용량 포인트 클라우드에 적용할 수 있는 대안임을 확인할 수 있었다.

• 해양환경안전학회지
• /
• 제19권6호
• /
• pp.637-642
• /
• 2013

본 연구는 피예인선의 거동을 결정짓는 예인선의 힘과 작용지점의 해석에 대해 언급하고 있다. 예인대상선박의 간략화된 동역학방정식을 바탕으로 선형화기법을 적용하여 목적으로 하는 피예인선의 자세와 위치를 달성하기 위한 예인력과 예인력이 가해져야 하는 지점을 도출하였다. 이를 위해 LQR제어기법을 적용하였으며, 수치적인 시뮬레이션을 수행하였다. 리카치방정식을 이용하여 피예인선의 자세제어를 위한 제어기 이득과 자세제어에 필요한 무게중심에서의 힘을 도출하였고, 도출한 힘과 예인지점의 역학적인 관계는 의사역행렬을 이용하여 구하였다. 이러한 해석기법을 바탕으로 피예인선을 초기위치로부터 목표위치로 예인할 때 예인지점 및 예인방식에 따른 예인력을 구할 수 있었다. 최종적으로 선박을 예인하기 위한 예인력은 예인지점과 방향에 밀접하게 연관되어 있는 것을 확인할 수 있었고 이러한 연구결과는 사고선박의 구난작업 시 예인선의 배치에도 적용이 가능할 것이다.

• 대한수학회지
• /
• 제54권1호
• /
• pp.69-86
• /
• 2017

The point $P{\in}{\mathbb{P}}^2$ is referred to as a Galois point for a nonsingular plane algebraic curve C if the projection ${\pi}_P:C{\rightarrow}{\mathbb{P}}^1$ from P is a Galois covering. In contrast, the point $P^{\prime}{\in}C^{\prime}$ is referred to as a weak Galois Weierstrass point of a nonsingular algebraic curve C' if P' is a Weierstrass point of C' and a total ramification point of some Galois covering $f:C^{\prime}{\rightarrow}{\mathbb{P}}^1$. In this paper, we discuss the following phenomena. For a nonsingular plane curve C with a Galois point P and a double covering ${\varphi}:C{\rightarrow}C^{\prime}$, if there exists a common ramification point of ${\pi}_P$ and ${\varphi}$, then there exists a weak Galois Weierstrass point $P^{\prime}{\in}C^{\prime}$ with its Weierstrass semigroup such that H(P') = or , which is a semigroup generated by two positive integers r and 2r + 1 or 2r - 1, such that P' is a branch point of ${\varphi}$. Conversely, for a weak Galois Weierstrass point $P^{\prime}{\in}C^{\prime}$ with H(P') = or , there exists a nonsingular plane curve C with a Galois point P and a double covering ${\varphi}:C{\rightarrow}C^{\prime}$ such that P' is a branch point of ${\varphi}$.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2018년도 추계학술대회
• /
• pp.301-303
• /
• 2018

서비스 로봇에서는 산업용 로봇에서 많이 사용하던 로봇 머니퓰레이터 대신에 여유자유도형 인간형 로봇 팔이 사용어야한다. 여유자유도 인간형 로봇팔은 산업용 로봇 팔에 비하여 자유도 수가 많아서 특이점 및 장애물 회피에 더욱 우수한 성능을 가지고 있어 정해지지 않은 복잡한 환경에서 동작해야 하는 서비스 로봇에 적합하다. 여유 자유도 로봇 팔의 제어 문제는 구동 알고리즘에서 역기구학 및 자코비언을 사용하기 때문에 복잡한 연산 및 그 계산량이 많다는 것이 문제가 된다. 본 연구에서는 이러한 문제를 해결하기 위해 수치해석적인 역기구학 해법 및 가중 의사역 행열 제어 알고리즘을 제안하며 이를 시스템으로 구현하여 실험으로 효용성을 입증하였다.