• Spatial Information Research
• /
• v.15 no.2
• /
• pp.111-121
• /
• 2007

The GPS positioning offer 3D position using code and carrier phase measurements, but the user can obtain the precise accuracy positioning using carrier phase in Real Time Kinematic(RTK). The main problem, which RTK have to overcome, is the necessary to have a reference station(RS) when using RTK should be generally no more than 10km on average, which is significantly different from DGPS, where distances to RS can exceed several hundred kilometers. The accuracy of today's RTK is limited by the distance dependent errors from orbit, ionosphere and troposphere as well as station dependent influences like multipath and antenna phase center variations. For these reasons, the author proposes Network based GPS Carrier Phase Differential Positioning using Multiple RS which is detached from user receiver about 30km. An important part of the proposed system is algorithm and software development, named DAUNet. The main process is corrections computation, corrections interpolation and searching for the integer ambiguity. Corrections computation of satellite by satellite and epoch by epoch at each reference station are calculated by a Functional model and Stochastic model based on a linear combination algorithm and corrections interpolation at user receiver are used by area correction parameters. As results, the users can obtain the cm-level positioning.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.622-624
• /
• 2005

본 논문은 manet 환경에서 SIP(Session Initiation Protocol)를 사용하여 효과적인 인증 기법을 제안한다. 각 노드는 플루딩을 통하여 자신의 범위에서 타 노드와 통신을 할 수 있다. 반경(Radius)내의 네트워크에서 한개의 노드는 클러스터 헤더로 지정되며. 지정된 노드는 자신이 포함하고 있는 반경내의 모든 노드로부터 비콘(Beacon)신호를 통하여 노드들의 정보를 가지고 있다. 또한 타 네트워크와의 통신을 위하여 자신의 정보를 갱신한다. 만약 타 네트워크에서 정보를 요청하면 클러스터 헤드는 SIP를 통하여 상대 클러스터 헤더를 인증하고, SIP 세션 과정을 수행한다. SIP 과정을 수행한 클러스터 헤드는 자신의 반경내의 모든 노드들의 인증을 수행한다.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.5 no.2
• /
• pp.35-39
• /
• 1985

The closed form of the stiffness matrix is derived in terms of closed forms of intergrals for analyses of plane frame members containing linerly tapered members with the cross section of thin-walled tube. The series expansion forms of these are also developed to study the errors in the closed form of the stiffness matrix. The useful limits of the closed form of integrals are defined in terms of the relative taper.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.15 no.4
• /
• pp.345-358
• /
• 1982

1980.8-1982.8월까지 일광, 주문진, 돌산, 어청도 및 성산포에서 채집한 1,663미의 보라성게의 성장 및 산란에 관한 조사이다. 1세부터 5세까지의 평균각경은 가각 19, 32, 43, 51, 58mm로 추정됐으며 $l_\infty=84.4 mm,\;k=0.223,\;t_o=-0.187$의 성장식을 보였다. 가경에 대한 각고, 보대, 간보대, 위홍문부경 및 극 길이의 상관관계는 매우 높았다. 연령에 따른 가부분의 상대성장은차이가 없으나 극의 성장에서는 3세까지는 각경에 비례하여 성장하나 그 이후의 연령부터는 반비례하고 있다. 일광해역에서의 산란은 6-10월에 일어나며 주 산란은 8월로 사료한다. 연령에 따른 주 산란시기는 다르며 고연령군은 저연령군 보다 일찍 산란하고 있다. 제주산 보라성게는 8월 이전에 산란을 이미 마친 상태이며 여수산, 일광산은 주로 8월에, 주문진산, 어청도산은 8월 이후에 산란하는 것으로 판단된다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.1
• /
• pp.73-89
• /
• 2001

본 연구에서는 일반화된 let-다형성(let-polymorphic) 타입 유추 알고리즘을 제시하고, 이로부터 얻어지는 모든 예 알고리즘들은 Hindley/Milner 타입 체계를 안전하고 완전하게 (sound and complete) 구현하고 있음을 증명하며, 일반화된 알고리즘의 두 예 알고리즘들간에 어느 한쪽이 항상 오류를 더 신속히 감지하게 되는 조건을 제시한다. 일반화된 알고리즘으로부터 이론적으로 검증된 두 타입 유추 알고리즘, 즉, 상향성 표준 타입 유추 알고리즘 W와 하향성 알고리즘 M 뿐만 아니라 두 알고리즘의 혼성 알고리즘(hybrid algorithm)을 만들 수 있다. 만들어진 예 알고리즘들의 안전성, 완전성, 상대적인 신속한 오류 감지 성질들은 본 논문의 증명에 의해 자동적으로 유추된다. 본 논문에서 제시되는 알고리즘으로부터 만들어 낼 수 있는 예 알고르즘에는 SML/NJ와 Objective Caml 컴파일러에서 채택한 알고리즘을 포함하고 있다.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.6 no.2
• /
• pp.127-138
• /
• 1994

미국 Florida주 North Redington 해변의 양빈계획(Beach Nourishment Project)을 정기적으로 측정함으로써 종방향토사이동과정(Longshore Sediment Transport Process)을 조사하였다. 본 계획은 약 2.6km 해변에 약 405,000$m^3$의 모래로 이루어졌으며 2년에 걸쳐 26개의 profile을 계측하였고 파고, 파향 그리고 시료 채취를 포함하고 있다. 본 연구는 측정된 자료를 분석함으로써 최적의 토사이동계수와 그에 상응하는 상대오차를 구하는데 주된 목적이 있다. 적용된 토사이동공식은 1) Komar-Inman공식, 2) Dean 공식(Radiation Stress, $S_{xy}$의 변형식), 3) Kamphuis 공식 등이다. 상기 3가지 공식은 대동소이 ($\pm$4%)의 결과를 나타내어 어느 공식이 더 적합한지 우열을 가늠하기 어려웠다. 횡방향토사이동량을 고려한 상세모델과 고려하지 않은 단순모델의 두 가지 형태로 적용되었으며 일반설계를 위한 Model(단순모델)은 실측치보다 다소 큰 값을 보여준다.

• Journal of Korean Society of Transportation
• /
• v.16 no.2
• /
• pp.91-98
• /
• 1998

본 논문에서 교통 상해사고 위험요인들을 정량화하고, 위험요인들 중 교통 상해사고 원인에 가장 근접한 것이 무엇인가를 밝히려고 했다. 사례-조사 연구방법으로는 의학분야에서 많이 사용되는 환자-대조군 방법론을 채택하였다. 서울, 양평, 천안지역을 대상으로 1007년 중 입원환자를 중심으로 채혈조사와 설문조사를 통해 환자국 총 117건과 도로상에서의 일반운전자를 중심으로 호기 알콜테스트와 설문조사를 통한 대조군 총 483건을 수집하여 분석하였다. 승용차의 경우, 교통 상해사고 발생 위험요인으로 27개 항목들이 추출되고, 그 중 '도로의 부적합' 항목(RRR 값:4.057)을 포함 14개 항목이 교통 상해사고 원인에 가장 근접한 것으로 나타났다. 오토바이의 경우, 마찬가지 방법으로 최종적으로 '면허 보유기간' 항목(RRR값:3.733)을 선두로 하여 총 11개 항목이 교통 상해사고를 일으키는 원인에 가깝다는 결과를 얻었다. 또한, 두 경우 모두 인적 요인에 의한 결과피가 크기 때문에 이에 대한 경찰의 지속적인 단속이 필요함을 알 수 있었고, 상대위험도가 높게 나타난 순서대로 교통안전투자 우선순위에 정하면, 효율적인 교통 상해사고 감소를 기할 수 있으리라는 결론에 도달했다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.280-282
• /
• 2001

분자생물학의 급진적 발전은 현대 계통분류학에 큰 변혁을 가져왔다. 특히 유전의 근원물질인 DNA나 RNA를 분리.조작.분석하는 기술의 발전으로 이를 이용만 계통수 제작은 계통생물학의 중요한 실험방법으로 자리잡고 있다. 그 중 염기서열 비교 방법은 현재 유전자 계통수 제작에 가장 널리 이용되는 방법이다. 하지만 이러만 계통수는 각 객체간의 거리만을 표현하고, 객체군간의 차이는 설명하기 힘들다. 본 연구에서는 염기서열의 상대적인 특징(유사도)을 대신하는 염기서열의 총량과 염기 함량 등을 이용해 새로이 분류 기법 중 결정트리 방법에 적응하고, 종 분류의 유전적 모델을 설계한다. 또한 결정트리의 클래스인 종은 상위 클래스들을 포함하고 있어, 본 논문에서는 기존의 결정트리 분류자를 수정한 단계적 결정트기 분류자를 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.05a
• /
• pp.443-445
• /
• 2022

광원 자체의 밝기가 낮거나 드리워진 그림자 등의 이유로 어두운 영역을 포함하고 있는 저조도 영상으로 인해 물체의 식별이 어려운 상황을 일상생활에서 겪게 된다. 본 논문에서는 조명 성분의 영향을 줄이고 객체의 특징을 표현하는 반사 성분을 강조하여 화질을 개선한다. 또한 촬영하는 카메라와 영상의 물체 사이의 상대적인 움직임으로 발생하는 흐릿한 영역을 최대한 제거해주고 잡음까지 보정이 되는 Stack-attention 기법을 제안한다.

• Journal of the Korean GEO-environmental Society
• /
• v.13 no.1
• /
• pp.21-29
• /
• 2012

Ground failure by liquefaction can occur not only during shaking but also as the result of the post-liquefaction process after an earthquake. During the process of ground deformation and failure, excess pore water pressure in soil is redistributed, which can then lead to changes in the effective stress of soils. Therefore, in order to provide a further understanding of the phenomenon, we have to estimate the properties of effective stress during the recompression process in post-liquefaction as well, not only the total amount of pore water drained. The primary objectives of this study are to determine and compare the recompression properties in the post-liquefaction process in terms of the relationship between volumetric strains and mean effective stresses under the various conditions of relative density and shear stress history. In all experimental cases, the volumetric strains increase greatly in the low effective stress level, almost to the zero zone, and granite soil, which has fine grains, undergoes gradual changes in the relationship between volumetric strains and mean effective stresses compared with fine sand. And, we can also find that recompression properties in the post-liquefaction process by cyclic loading depend highly on the dissipation energy and maximum shear strain, and this fact can be obtained in all cases regardless of the existence of fine content, relative density, and loading history. Especially, granite soil having fine grains can be defined uniformly in the relationship between dissipation energy and maximum volumetric strain, while fine sand cannot be so uniformly defined.