• 해양환경안전학회지
• /
• 제28권7호
• /
• pp.1259-1266
• /
• 2022

최근, 구조설계 기준 및 평가방법의 전문화로 인하여, 선급 규칙의 통합화가 이뤄졌었다. 그 좋은 일례가 국제공통규칙(CSR, Common Structural Rule)이다. 그러나, 종강도 하중이 크게 작용하는 화물창 구역에만 국한하여 세부규정이 제시되어 있고, 선수와 선미부 구조에는 별다른 평가 지침이 없다. 언급한 구역의 구조설계는 조선사의 설계 경험에 의존하여 진행하고 있으며, 선급에서도 명확한 기준이 없으므로 구조 손상 문제가 발생하더라도 근본적인 원인을 파악하기가 힘들다. 본 연구에서는 선미부에 주로 발생하고 있는 좌굴 손상의 대표적인 사례에 대한 근본적인 원인을 파악하기 위한 엔지니어링 기반의 해법을 제시하였다. 유한요소해석 모델링 기반 구조 강도 검증을 위하여, 하중 조건, 경계조건, 모델링 방법 그리고 평가 기준에 대한 합리적인 해법을 제시하였다. 선미부에 작용하는 휨 모멘트에 의하여 높이 방향으로 압축하중에 의해서 좌굴이 발생할 가능성이 있으며, 좌굴 강성 증가를 위하여 판 두께 증가 혹은 수직 보강재의 추가가 필요하다. 앞으로도 이 결과는 유사 운반선의 선미부 구조 강도 검토 시 도움을 줄 것으로 기대된다.

• 대한수학교육학회지:수학교육학연구
• /
• 제17권1호
• /
• pp.67-90
• /
• 2007

본 연구의 목적은 문제해결의 결과로 나타나는 성공과 실패에 대한 학생들의 사고 과정을 유사성의 관점에서 이해하고자 하는 것이다. 따라서 사례연구 방법을 사용하여 정답을 제시한 학생들의 사고과정이 반드시 바람직하지 않을 수 있다는 의사(擬似) 분석적 사고와 분석적 사고에 대한 Vinner(1997a, 1997b)의 연구내용을 근거로 학생들의 사고과정을 분석하고자 하였다. 본 사례 연구 분석 결과, 학교 성적이 중상위권인 2명의 연구대상자들은 각각 의사(擬似) 분석적 사고와 분석적 사고를 함으로써 대수 문장제 해결에서 성공하거나 실패하였다. 학생들의 의사(擬似) 분석적 사고와 분석적 사고의 특징은 구조적 유사성의 구성에서 각 연구 대상자들이 인식한 해법 공식이 변형이 가능한 것인가의 여부와 해법을 적용하는 과정에서 학생 자신의 사고를 통제하거나 조절할 수 있는가의 여부에 따라 구분된다는 것이었다. 따라서 본 연구에서는 학생들이 해법으로 인식하는 공식의 형태가 어떠한 것이며, 그러한 해법을 어떻게 적용하는가를 유사성의 관점에서 문제 해결의 성공 여부와 관련하여 분석할 수 있었다.

• 대한교통학회지
• /
• 제27권1호
• /
• pp.143-155
• /
• 2009

현재 이용되는 모든 동적 통행배정모형들은 출발시간을 기준으로 기종점간의 통행량을 정의하고 있다. 하지만, 동적 OD가 출발시간을 통행수요의 동적 기준점으로 이용하는 것은 동적 통행배정 모형의 계산상 편의를 위한 것이다. 즉, 통행이 활동참여를 위해 발생하고 종료된다는 것을 고려하면 이러한 출발시간 기준 기종점표는 모든 종류의 통행들에 적용될 수는 없다. 예를 들어, 오전의 출근통행은 업무개시시간을 고려한 희망도착시간이 기준시간이 되고, 통근자들이 가정을 떠나는 출발시간은 희망도착시간과 예상 기종점 통행시간을 고려해 결정되는 것이다. 그러나 현재 개발되어 있는 모든 통행배정기법들은 출발시간으로부터 시간의 흐름에 따라 기점에서 종점으로 통행을 이동시키기 때문에 통행수요를 종점 희망도착시간을 기준으로 역방향계산을 할 수 없다. 따라서 현실과 동일한 결정과정을 통해 동적 통행배정을 할 수 있는 모형은 아직 개발되지 않았다. 본 연구에서는 이러한 문제인식 아래 희망도착시간을 기준으로 정의된 동적 기종점표를 교통망에 부하할 수 있는 동적 통행배정모형을 개발하였다. 개발된 모형은 희망도착시간분포와 예상 경로 통행시간을 이용하여 출발시간분포를 갱신하는 방법을 이용하였으며, GLS함수를 통해 수학식을 구성하였다. 개발된 모형은 두 가지의 소규모 교통망들에 적용되어 그 성능을 확인하였다.

• 서비스연구
• /
• 제6권2호
• /
• pp.175-184
• /
• 2016

오락적 기능을 가지고 있는 교육용 컴퓨터 게임 서비스는 학생들이 학습에 대한 흥미를 높일 수 있도록 도와주는 매력적인 도구로 활용되고 있다. 특히, 수학 과목은 교육용 컴퓨터 게임 서비스가 가장 효과적으로 적용될 수 있는 대표적인 교과목이다. 기존에 개발된 게임 서비스는 대부분 단일 사용자 혹은 2명이 게임에 참여하는 형태이며 문제로 제시된 수식의 답을 단순히 찾는 방식으로 진행된다. 본 논문에서는 교육용 게임 서비스 요구 사항을 준수하고 특히 TCP/IP 소켓 프로그래밍 기술을 기반으로 여러 학습자가 동시에 게임에 참가 할 수 있는 멀티플레이형 게임 서비스를 설계 및 구현하였다. 또한, 수 감각의 신장을 유도하기 위해 단순히 수식의 답만 구하는 것이 아니라 학습자 스스로 여러 수식을 합성하고 선택 할 수 있도록 게임 규칙을 설계하여 적용하였다. 마지막으로 제안 게임 서비스를 교육용 게임 서비스 요구사항에 따라 비교하여 적합성을 확인하였다.

• 무역상무연구
• /
• 제60권
• /
• pp.47-77
• /
• 2013

The way for seller to procure the goods for selling is to produce the goods at his own factory and to buy the manufactured goods from the other company. In order to produce the goods for selling the seller have to obtain the resource from the domestic company or overseas. In the middle of producing the goods to sell, seller may breach the right of a third party based on intellectual property rights. That is to say, seller may use the machine that has not itself been patented and use a process which has been patented by a third party. Seller may manufacture the goods which themselves are subject to the third party industrial property rights. Nowadays it is stressed the importance of intellectual property rights such as a patent, brand, and design. These factors consist of the core elements of the competitiveness of the goods. Many embedded software have been used in the various sector. So the disputes regarding to the intellectual property rights is gradually increasing in number. Article 42 of CISG defines the seller's delivery obligations and liabilities in respect to third party intellectual property rights and claims. It contains a special rule for this similar kind of defective in title, which tries to provide an proper solution to the complex problems caused by such rights and claims in international transactions. When seller will apply this clause to the business fields, there are several points to which seller should give attention. First, Intellectual property is general terms in intangible property rights, encompassing both copyright and industrial property. Which matter fall within the scope of intellectual property? The scope of intellectual property can be inferred from the relevant international conventions, which are based on broad international consensus. Second, Article 42 of CISG governs the relationship between the seller and the buyer, that is to say, questions of who has to bear the risk of third party intellectual property rights. The existence of such intellectual property rights, the remedies available and the question of acquiring goods free of an encumbrances in good faith are outside the scope of the CISG. The governing law regarding to the abovementioned matters is needed.

• 한국정보전자통신기술학회논문지
• /
• 제10권1호
• /
• pp.38-45
• /
• 2017

정보 처리 기술의 컴퓨터 및 네트워크 의존도가 심화됨에 따라 컴퓨터 및 네트워크에 대한 침입 사례가 갈수록 증가하고 있다. 시스템 및 네트워크의 침입을 방지하기 위하여 호스트와 네트워크 기반 침입차단시스템(방화벽 등)이 개발되었지만 기존의 규칙 기반의 침입차단시스템만으로는 보안 관리에 많은 어려움이 있다. 이러한 이유로 인해 시스템 및 네트워크 자원에 대한 침입을 실시간으로 탐지하고 이에 대처하는 침입탐지시스템 개발에 대한 요구가 증가하고 있다. 본 논문에서는 비선형 자료에도 적용 가능하며 수렴성이 보장된 실시간 특징 추출 방법으로 APEX 알고리즘과 점증적 LS-SVM 분류기를 결합한 실시간 침입탐지 시스템을 개발하였다. 일반적으로 실시간 처리 방식은 메모리의 효율성이 좋고 학습 자료의 추가를 허용하는 장점이 있지만 일괄처리 방식에 비해 정확도가 떨어지는 단점이 있다. 따라서 제안한 시스템은 정확도 면에서도 일괄 처리 방식과 비슷한 성능을 나타내고 있어 상용화가 가능한 시스템이다.

• 한국통신학회논문지
• /
• 제41권8호
• /
• pp.917-920
• /
• 2016

전통적 도래각 추정기법[1]과 별개로 2004년 이후 입사신호의 입사방향은 공간 영역에서 희소도(sparsity)를 가짐을 이용한 도래각 추정 기법이 제안되었다. 압축센싱 기반 도래각 추정 알고리즘인 SpSF 알고리즘에 이용되는 비용함수는 비선형 다변수 최적화문제이다. 적절한 변환을 통하여 해당 비용함수는 볼록 최적화 (convex optimization) 문제로 표현할 수 있다. 볼록 최적화 문제는 제한조건이 있는 최적화 문제이며 제한조건에 포함되는 상수를 지정해야 한다. 본 연구에서는 제한조건에 포함되는 사용자지정 상수값 결정법을 제안한다. 잡음의 실수부와 허수부가 서로 독립인 평균 0인 정규분포를 따름을 이용하여 제한조건에 포함되는 행렬의 Frobenius norm의 평균을 유도할 수 있으며, 이를 이용하여 제한조건에 포함되는 상수를 결정할 수 있다. 제안된 방법에 의해 결정된 상수를 이용한 SpSF 알고리즘이 실제로 동작함을 보였다.

• Korea-Australia Rheology Journal
• /
• 제14권1호
• /
• pp.33-45
• /
• 2002

Recent results obtained for the port-pom model and the constitutive equations with time-strain separability are examined. The time-strain separability in viscoelastic systems Is not a rule derived from fundamental principles but merely a hypothesis based on experimental phenomena, stress relaxation at long times. The violation of separability in the short-time response just after a step strain is also well understood (Archer, 1999). In constitutive modeling, time-strain separability has been extensively employed because of its theoretical simplicity and practical convenience. Here we present a simple analysis that verifies this hypothesis inevitably incurs mathematical inconsistency in the viewpoint of stability. Employing an asymptotic analysis, we show that both differential and integral constitutive equations based on time-strain separability are either Hadamard-type unstable or dissipative unstable. The conclusion drawn in this study is shown to be applicable to the Doi-Edwards model (with independent alignment approximation). Hence, the Hadamardtype instability of the Doi-Edwards model results from the time-strain separability in its formulation, and its remedy may lie in the transition mechanism from Rouse to reptational relaxation supposed by Doi and Edwards. Recently in order to describe the complex rheological behavior of polymer melts with long side branches like low density polyethylene, new constitutive equations called the port-pom equations have been derived in the integral/differential form and also in the simplifled differential type by McLeish and carson on the basis of the reptation dynamics with simplifled branch structure taken into account. In this study mathematical stability analysis under short and high frequency wave disturbances has been performed for these constitutive equations. It is proved that the differential model is globally Hadamard stable, and the integral model seems stable, as long as the orientation tensor remains positive definite or the smooth strain history in the flow is previously given. However cautious attention has to be paid when one employs the simplified version of the constitutive equations without arm withdrawal, since neglecting the arm withdrawal immediately yields Hadamard instability. In the flow regime of creep shear flow where the applied constant shear stress exceeds the maximum achievable value in the steady flow curves, the constitutive equations exhibit severe instability that the solution possesses strong discontinuity at the moment of change of chain dynamics mechanisms.

• 한국측량학회지
• /
• 제25권6_1호
• /
• pp.545-555
• /
• 2007

3D buildings are the most prominent feature comprising urban scene. A few of mega-cities in the globe are virtually reconstructed in photo-realistic 3D models, which becomes accessible by the public through the state-of-the-art online mapping services. A lot of research efforts have been made to develop automatic reconstruction technique of large-scale 3D building models from remotely sensed data. However, existing methods still produce irregular building polygons due to errors induced partly by uncalibrated sensor system, scene complexity and partly inappropriate sensor resolution to observed object scales. Thus, a geometric regularization technique is urgently required to rectify such irregular building polygons that are quickly captured from low sensory data. This paper aims to develop a new method for regularizing noise building outlines extracted from airborne LiDAR data, and to evaluate its performance in comparison with existing methods. These include Douglas-Peucker's polyline simplication, total least-squared adjustment, model hypothesis-verification, and rule-based rectification. Based on Minimum Description Length (MDL) principal, a new objective function, Geometric Minimum Description Length (GMDL), to regularize geometric noises is introduced to enhance the repetition of identical line directionality, regular angle transition and to minimize the number of vertices used. After generating hypothetical regularized models, a global optimum of the geometric regularity is achieved by verifying the entire solution space. A comparative evaluation of the proposed geometric regulator is conducted using both simulated and real building vectors with various levels of noise. The results show that the GMDL outperforms the selected existing algorithms at the most of noise levels.

• 대한전자공학회논문지SP
• /
• 제44권6호
• /
• pp.16-23
• /
• 2007

개인 인증 방법 중 하나인 생체인식(Biometrics)은 개인 생체정보의 수가 한정되어 있기 때문에 생체정보의 도난 시 프라이버시 침해라는 문제를 가진다. 이 문제를 해결하기 위해 등장한 개념이 가변 생체인식(Changeable biometrics)이다. 가변 생체 인식은 생체정보가 훼손당했을 경우 새로운 생체정보로 대체하기 어렵다는 생체인식의 가장 큰 단점을 보완하기 위한 방법으로 원 생체정보가 아닌 변환된 생체정보로 개인을 인증한다. 이 논문에서는 가변 생체인식 가운데 얼굴인식을 위한 가변 생체인식에 대해 제안한다. 기존에 알려진 얼굴인식의 방법 가운데 하나인 외형 기반 기법(Appearance-based method) 중 독립성분 분석(Independent Component Analysis)의 계수(coefficient)를 변형하는 방법을 제안한다. 제안된 얼굴 생체정보 생성 방법은 계수의 일부분을 가우시안 분포(Gaussian distribution)에 따른 임의의 값으로 치환한 후 계수의 순서를 임의로 변경하여 무수히 많은 가변 얼굴 정보를 생성할 수 있도록 하였고 서로 다르게 변경된 계수들을 서로 합성함으로써 비가역성(Non-invertibility)을 만족시키려고 시도했다.