• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06c
• /
• pp.554-559
• /
• 2010

자율무인잠수정은 탐사 목적에 따라 다양한 임무를 수행해야 하며, 임무에 따라 자율무인잠수정 행동의 유형과 순서는 달라질 수 있다. 그러나 대부분의 자율무인잠수정은 한정된 임무에 대하여 프로그램 내부에 고정된 행동 유형으로 동작하며, 다른 유형의 임무를 수행해야 할 경우에는 프로그램을 수정해야 하는 문제점이 있다. 따라서 본 연구에서는 자율무인잠수정이 수행할 수 있는 다양한 임무를 명시할 수 있는 임무 언어를 개발하였다. 이 임무 언어는 명령어의 실행 순서를 제어할 수 있는 제어문과 자율무인잠수정의 행동을 지정하거나 자율무인잠수정의 상태를 입출력 할 수 있는 명령어, 그리고 변수 정의를 제공하기 때문에, 사용자가 자율무인잠수정의 임무를 자유롭게 표현하는 것이 가능하다. 임무 언어로 작성된 임무 파일은 전용 어셈블러에 의해 이진 형식의 실행이미지로 변환된 후에, 자율무인잠수정 내장 소프트웨어 내부의 가상기계 기억장치에 적재되어 실행된다. 실행이미지를 가상기계에서 해석하고 실행하는데 필요한 시스템의 자원을 최소화하기 위하여 임무 언어는 자율무인잠수정의 임무를 표현하기 위한 필수적인 부분만을 고려하여 설계되었으며, 문법은 ARM v5 어셈블리와 유사한 형태이다. 개발된 임무 언어는 한국해양연구원에서 개발한 이심이100 자율무인잠수정에 적용되었으며, 이후 개발할 6,000m급의 이심이6000 자율무인잠수정에도 사용될 예정이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.70-72
• /
• 2002

지리정보시스템(Geographic Information System, GIS)에서 지도 수정 작업은 대화식으로 이루어지는 긴 트랜잭션이다. 도로 객체와 같은 큰 공간 도형을 수정하는 경우 한 작업자의 변경을 위한 잠금이 다른 작업자가 동일한 객체의 지리적으로 떨어져 있는 기타 부분에 대만 변경을 못하게 하는 문제가 존재한다. 예를 들면, 38번 국도를 수정하려고 할 때 하나의 큰 라인 객체 전체가 잠금 대상이 되어서 다른 지역의 33번 국도를 동시에 수정하지 못하는 문제가 있다 본 논문에서는 크기가 큰 공간 객체를 동시에 수정하는 것을 허용하기 위하여 하나의 BLOB 데이터로 저장된 공간 데이터를 동시에 수정할 수 있는 부분 잠금 기법을 제안한다 즉 하나의 공간 객체를 여러 명이 동시에 수정하기 위하여 공간 도형에 대한 메타 데이터를 유지하고 이를 기반으로 한 잠금 정보를 표현함으로써 긴 트랜젝션에서의 동시성 제어를 실현하는 이점을 제공한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.567-570
• /
• 2000

지금까지의 수정영향 분석에 대한 연구는 주로 원시코드 기반으로 진행되어 왔다. 그러나 원시코드를 기반으로 한 소프트웨어의 수정영향 분석은 세부적이고 복잡하여, 소프트웨어의 수정영향 범위를 효과적으로 분석하고 클래스간의 제어의존성을 파악하기에 부적합하다. 따라서, 본 논문에서는 UML의 설계단계 산출물인 순차도(sequence diagram)를 기반으로 하여, 클래스간의 수정영향범위 분석을 위한 제어의존성 관계그래프와 알고리즘을 제안한다. 본 논문에서 제안한 제어의존성 관계그래프와 알고리즘은, 소프트웨어에 수정이 일어났을 경우에 수정의 영향범위를 결정하고 제어구조에 따라서 테스트의 순서를 명확히 정의함으로 유지보수 단계에서 시스템을 효율적으로 관리하고 유지하는데 드는 비용과 노력을 절약한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.571-574
• /
• 2000

지금까지의 수정영향 분석에 대한 연구는 주로 원시코드 기반으로 진행되어 왔다. 그러나 원시코드를 기반으로 한 소프트웨어의 수정영향 분석은 세부적이고 복잡하여, 소프트웨어의 수정영향 범위를 효과적으로 분석하고 클래스간의 제어의존성을 파악하기에 부적합하다. 따라서, 본 논문에서는 UML의 설계단계 산출물인 순차도(sequence diagram)를 기반으로 하여, 클래스간의 수정영향범위 분석을 위한 제어의존성 관계그래프와 알고리즘을 제안한다. 본 논문에서 제안한 제어의존성 관계그래프와 알고리즘은, 소프트웨어에 수정이 일어났을 경우에 수정의 영향범위를 결정하고 제어구조에 따라서 테스트의 순서를 명확히 정의함으로 유지보수 단계에서 시스템을 효율적으로 관리하고 유지하는데 드는 비용과 노력을 절약한다.

• The Korean Journal of Zoology
• /
• v.9 no.1
• /
• pp.39-45
• /
• 1966

백서(Rattus horvegicus var. albinus) 50 두를 키우며 자성백서의 발정을 질정도말법으로 확인하여 임신케 한후 각 단계별로 80개의 배를 얻었다. 고정액은 Bouin's solution 과 Carnoy's solution II였으며 표본은 5-7$\mu$의 두께로 연속절편을 만들었다. 염색은 Delafield's hematoxylin 과 eosin-Y의 이중염색법과 신경섬유를 관찰하기 위하여 Ramoney Cajal's silver-nitrate method를 사용하였다. 실험결과는 안와가 stage 17에서 나타났고 안포가 stage 18에서 형성되었다. 심안포가 stage 19에서 형성되었고 망막판과 수정체판이 stage 21에서 형성되었으며 체표외배엽과 접촉하고 있는 안포의 부분은 stage 22(A)에서 안배를 형성하기 위해 몰입되었다. state 22 (B)에서 수정체공은 아직 열려 있었고 stage 23(A)에서 색소립이 망막의 색소층에 나타났고 수정체공이 닫혀졌다. 수정체와는 stage 23(B)에서 체표외배엽으로부터 분리되었고 수정체 내벽세포의 신장이 stage23(C)에서 시작되었다. 수정체강은 stage 25에서 수정체섬유에 의해서 인멸되었고 stage 26에서 홍채가 형성되기 시작하였다.

• Proceedings of the KSAR Conference
• /
• 2004.06a
• /
• pp.224-224
• /
• 2004

Plasminogen activators (PAs)는 자궁분비액, 난포액, 정장물질 등을 포함한 여러 가지 세포외 분비액(extracellular fluids) 및 plasma에 풍부하게 존재하는 세포외 전구효소인 plasminogen을 plasmin으로 전환시키는 단백질분해효소이다. PAs는 섬유소용해, 배란, 착상 및 수정을 포함한 다양한 생리적인 과정에서 중요한 역할을 수행하는 것으로 알려져 있다. 따라서, 본 연구는 돼지의 체외수정 과정시 정자와 난자에서의 plasminogen activators activity의 변화를 SDS-PAGE와 zymography를 이용하여 검토하였다. (중략)

• 종축개량
• /
• v.21 no.2
• /
• pp.89-105
• /
• 1999

건강한 정자가 암컷의 생식기내에 들어와 난자와 접합하고, 합체하여 수정이 성립되는 조직은 매우 복잡하며, 연구하는 것도 그 기묘에 경탄하고, 차라리 신비라 할 수 있다. 거기에는 달에 인공위성을 명중시키는 이상의 정밀한 조직이 있으며, 시험관 아기를 만드는 것보다 복잡한 것은 확실하다. 복잡한 많은 조직이 연쇄적으로 이어지고, 그 모두에서의 링크가 정상적으로 작용할 필요가 있다. 어떻든 1개가 끊어지면 그의 연결도 성립되지 않는다. 즉, 수정에 실패하게 되는 것이다. 인공수정을 실시하여 수태율을 향상시키기 위한 종부이론, 즉, 수정의 조직을 좋게하고 그 조직위에 잘 얹는 것이다. 말로는 불명한 점이 많은 현상이며, 더욱이 인공수정에 관여하는 요점의 몇 가지를 아래에 적어본다.

• The Korean Journal of Rheology
• /
• v.6 no.2
• /
• pp.157-164
• /
• 1994

인체 동맥혈관내 혈액의 유동현상을 수치적으로 해석하기 위해서는 혈액의 유변학 적 성질을 구성방정식으로 나타내어야한다. 본 연구에서는 혈액의 점성계수를 표현하기 위 하여 비뉴턴유체의 점성을 나타내는 식으로서 Carreau 모델, 수정 Cross 모델, 수정 Powell-Eyring 모델과 수정멱법칙모델을 사용하였고 원형관내 혈액의 정상유동을 수치모사 하기 위하여 겉보기점성계수를 이용하는 구성방정식을 운동량방정식에 적용하였다. Carreau 모델과 수정멱법칙모델을 적용할 때 레이놀즈수의 변화가 중심선상의 속도와 길이방향의 압 력변화에 미치는 영향을 고찰하였다. 전단율이 높은영역에서 혈액의 겉보기점성계수를 효과 적으로 나타낼수 있는 수정멱법칙모델을 제시하였다.

• Monthly Duck's Village
• /
• s.56
• /
• pp.54-56
• /
• 2008

오리 종란을 수집하기 위해서 이용하는 가장 보편적인 사육 방법은 암.수를 일정한 비율로 합사하는 것으로 자연교미를 이용하는 것이다. 그러나 우수한 종오리나 특정 합성종오리(종간 혹은 속간 잡종)를 생산하기 위해서는 인위적인 인공수정기술을 이용하여 계획교배를 하여야 하며, 이를 위해서 선발된 오리들은 케이지 사육을 하여야 한다. 오리 인공수정기술이 닭의 인공수정기술과는 숫오리의 정액 채취기술에서만 차이가 있고 다른 부분에서는 매우 유사하므로 정액채취부분을 중심으로 설명을 하고자 한다.

• Journal of the KSME
• /
• v.22 no.5
• /
• pp.380-388
• /
• 1982

기관출력과 대기조건 각 변수와의 함수관계에서 이 함수가 서로 독립이고, 기관출력은 이들의 선형결합으로 표시됨을 실험으로 확인하였으며, 대기압력 변화 대신 흡기압력과 배기압력을 각각 변화시켜도 지장이 없음을 알았다. 이상과 같은 것으로부터 실험적 출력수정 방법의 타당성을 확인함과 동시에 통상의 대기상태의 변화에 있어서 수정 정밀도가 극히 높다는 것이 입증 되었 으므로 출력수정에 관한 충분한 자료가 되리라는 것을 믿는 바이다.