• Proceedings of the Korean Society of Applied Pharmacology
• /
• 1997.11a
• /
• pp.93-106
• /
• 1997

약물 투여 후 약효의 출현은 흡수, 분포 등의 약동학적 단계(pharmacokinetic phase)를 거쳐 수용체 부위에서 약물과 수용체 사이의 약력학적(pharmacodynamic) 상호작용에 의해 나타난다. 따라서 약물요법 시 약효나 독성 발현의 큰 개인차는 약동학적 또는 약력학적 개인차에 의해 나타나며, 많은 약물에서 약효의 개인차는 흔히 약동학적 차이가 주역할을 함이 알려져 있고, 약물의 특성에 따라 약물의 대사 및 배설과 관련 있는 신장, 간장 및 심장 질환자에서는 현저한 약동학적 변화로 용법 조정이 필수적으로 요구되는 경우가 많다. 약동학적 개인차는 안전역이 좁은 약물에서 더욱 문제가 되며 이러한 약물의 적정 요법을 위해서는 수용체 부위와 평형을 이루고 있는 혈장약물농도를 적정 유지하는 것이 약동학적 개체차를 배제할 수 있는 한 방안이다. 근자에 이르러 체액내 약물 및 이의 대사물을 측정하는 분석 화학의 발전과, 임상 약물 동태학(clinical pharmacokinetics)의 도입 등으로 개개 환자에서의 적정 약물요법을 위한 TDM (Therapeutic Drug Monitoring)이 구미에서는 이미 보편화되어 있다 또한 국내에서도 이러한 새로운 의료분야의 연구 및 임상응용의 필요성이 점차 증가하고 있으므로, 이러한 시대적 요구에 발맞추어 본 지면을 통하여 임상약리학적 지식을 이용한 혈장 농도 데이터의 분석을 통하여 개개인에서의 적정 약물요법을 제시하는 TDM에 관하여 소개하고자 한다.

• Journal of the Korean School Mathematics Society
• /
• v.3 no.1
• /
• pp.211-217
• /
• 2000

본 논문의 목적은 G. Cantor 에 의하여 출발된 집합론을 보통집합 이론이라고 구별하여 부를 때, 보통 집합 이론이 그 바탕에 깔고 있는 논리적 제한 점들 곧, 배중률이라든지 모순의 법칙 등을 어떻게 보완할 수 있을 것인가\ulcorner 하는 점과 그러한 점을 보완하여야 할 필요성에 대하여도 생각하고자 한다. 그런 관점에서 보통집합 이론과 퍼지집합 이론의 기본개념을 상호 비교함으로써 앞서 제기한 문제의 보완 요소를 찾아보려고 한다. 실제에 있어 인간의 사고 가운데에서는 중간을 배제하는 일이 없음에도 불구하고 이를 수학적으로 접근하고 표현하는 수단이 부족함으로 인하여 부자연스러운 논리의 법칙을 받아들일 수밖에 없었던 것도 사실이다. 특히, 논리적 응용력이 부족한 중등과정의 학생들에게 있어서 수학이 전적으로 2가 논리에 의하여 지배되고 있다는 방식으로만 지도하는 것은 여러 가지 측면에서 그 내용의 보완이 요구된다. 보다 다양한 수학적 표현의 여지를 열어주는 지도법은 쉼없이 연구되어야 할 것이다. 무엇보다도 배우는 학생들이 보다 폭 넓은 사고의 영역을 소유하고, 그를 바탕으로 창의적이고 자유로운 발상이 이어 질 수 있도록 하기 위하여는 교사의 수학적 시야가 보다 넓고 유연해져야 한다함은 재론할 필요가 없을 것이다. 그런 의미에서 본 논문이 작은 역할을 할 수 있기를 바란다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1994.10a
• /
• pp.238-243
• /
• 1994

본 논문에서는 여러가지 형태의 결합부에 적용할 수 있는 일반적인 모델링 기법에 대하여 기술하였다. 기존의 해석방법은 특정한 결합부에만 적용이 가능하고 유한요소해석과 실험이 상호 보완적인 관계를 가진 형태의 해석방법이므로 실험이 불가능한 경우에 대해서는 적용하기 어려운 경우도 있다. 본 논문에서는 별도의 실험을 수행하지 않고 결합부 영역만을 상세하게 유한요소 모델링을 하여서 선택된 자유도에 대한 유연성 행렬(Flexibility Matrix)을 구하여 결합부의 특성을 구하는 일반적 모델링 기법을 제시하였다. 이 방법은 수치적으로 축약할 수 없는 모델-결합부가 접촉면(Contact Surface)을 가지고 있는 구조물을 효과적으로 축약할 수 있는 장점이 있다. 또한 모델링되는 결합부의 경계조건의 영향을 배제할 수 있으며 결합부에 존재하는 비선형성도 적정범위내에서 선형화할 수 있다. 제시한 일반적 모델링 기법을 나사 결합부, 접착제 결합부(Glued Joints), 볼트 결합부에 적용하여 결합부이 특성을 구하였으며 실험을 통하여 제시한 해석방법의 타당성을 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.10-12
• /
• 2001

우리들은 현재 엄청난 양과 질의 정보세상에서 생활하고 있다. 때문에 이들 정보들을 보다 효과적으로 활용하고자 하는 것은 당연한 욕심이다. 그 중 대표적인 예로 RPC(Remote Procedure Call)가 있다. 그리고 mobile code를 이용해 새로운 패러다임을 선보이는 Mobile Agent가 있다. 현재 여러 mobile agent 시스템이 Java RMI(Remote Method Call)를 활용하고 있다. 이전의 RPC는 하나의 완전한 객체가 아닌 일반 data만을 네트웍을 통해서 전송할 수 있었으나, Java RMI를 적극 활용하는 mobile agent는 자신이 하나의 객체로 구현되어 네트웍을 통해 목적지 서버로 혹은 다른 호스트로 이동한 후 원격지에서 직접적으로 자기 내부의 메소드를 실행할 수 있다[1,2,3,4]. 이는 사용자의 간섭을 배제한 agent의 자율적이고 독립된 행동을 지원하기 때문에 분산처리분야에서 새로운 패러다임을 제시하고 있다. 그리고 agent가 적합한 서비스를 제공하는 서버를 효율적이고 정확하게 찾는 것이 무엇보다 중요하다. middle agent가 바로 이런 기능을 가진 모듈이다. 본 논문에서는 효율적인 모빌 에이전트 시스템을 구축하기 위해 서버와 클라이언트와의 상호 연결을 담당하는 새로운 middle agent로서 MiddleMan을 제안하였으며 이것을 이용한 다중 사용방법에 대해서 연구하였다[5].

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.1973-1976
• /
• 2002

본 논문에서는 유 무선 네트워크 환경에서의 자료 일치성 유지를 위한 동기화 프로토콜(SyncML1.1)을 검증한다. 프로토콜 검증에 관한 기존 연구에서는 약한 일관성을 갖는 동기화 프로토콜은 다루어지지 않았으며 정리 증명 혹은 모델 채킹에 대한 선택적 접근으로인해 증명 영역이 제한적이었다. 본 연구에서는 프로토콜의 의미를 정의하고 행위 및 시스템 구조, 메시지 패싱에 대한 개별적 모델을 단계적으로 설계하는 한편, 동기화 프로토콜에서의 안전성 및 상호 배제, 궁극성 속성은 시퀀트 계산법에서의 역방향 전략으로 증명되며, 모델 채킹 기술을 하나의 증명 규칙으로 사용했다. 본 연구는 두가지 부분에서 특징과 의미을 갖는다. 첫째, 정리증명과 모델 채킹이 혼합된 검증 방법을 사용했다. 둘째, 객체 제약 언어 및 정형 명세 언어의 사용을 통해 모델의 생성을 보다 단계적이고 정형적으로 유도했으며 이를 통해 검증의 신뢰성 및 품질을 높였다.

• Electronics and Telecommunications Trends
• /
• v.28 no.6
• /
• pp.13-27
• /
• 2013

SDN(Software Defined Network) 기술이 미국을 중심으로 먼저 출발하였으며 NFV(Network Function Virtualization) 기술은 유럽을 중심으로 한 SDN의 경쟁적인 기술로 초기에는 인식이 되었으나, 두 기술의 상호 시너지 효과를 고려하여 2013년 하반기부터는 다양한 형태의 협력 방안들이 표준단체, 산업체 및 캐리어들로부터 소개되고 있다. 두 기술이 지향하는 가장 큰 목표는 하드웨어의 의존성을 배제하고 네트워크 및 서비스를 추상화함으로써 캐리어들이 신규 서비스를 Time-to-Market에 맞게 그러면서도 유연하게 출시하고 제어 및 관리를 중앙집중 방식으로 제공하여 CAPEX(Capital Expenditure) & OPEX(Operating Expense)를 최소화 하는데 있다. 본고에서는 이 두 기술의 표준화 및 기술 동향, 그리고 아직은 태동기인 두 기술이 지향하는 다양한 Use Case들과 적용사례를 캐리어 환경 중심으로 살펴보고 향후 상용화 및 산업화에 대한 장 단기 발전 전망에 대해 기술 중심으로 예측해 본다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 1998.10a
• /
• pp.33-33
• /
• 1998

2차 유동 분사에 의한 추력 방향 제어 방법은 기존의 기계적인 장치를 이용한 방향제어 방법에 비해 부가적인 복잡한 기계적 작동장치와 이에 따른 무게의 증가를 배제할 수 있다. 본 연구에서는 전산 유동해석을 이용하여 2차원 초음속 수축-행창 노즐 유동에 2차 유동을 분사하여, 2차 유동의 분사우치 및 분사 유량 및 분사 각도 등이 추력의 방향 및 크기에 미치는 영향을 밝혀 이들 상호간의 상관관계를 구하여 추력 방향 제어를 위한 최적의 2차 분사 조건을 제시하였다. 유동 해석 견과 2차 유동의 분사 위치는 생성된 경사 충격파가 노즐 출구까지 분포되는 지점이 최대 전향각과 횡추력을 가지는 분사 위치임을 알 수 있었다

• The Bulletin of The Korean Astronomical Society
• /
• v.41 no.2
• /
• pp.48.1-48.1
• /
• 2016

남십자자리(Crux)는 현재 북반구 중위도 지역에서는 관측할 수 없는 별자리지만 고대 중국의 전통 별자리 체계가 성립되던 시기인 춘추전국시대만 하더라도 지평선 부근에서 쉽게 관측할 수 있는 별자리였다. 우리는 세차운동 계산을 통해 남십자자리가 출몰성에서 전몰성으로 변했음을 확인하였고, 고대 중국의 문헌 기록과 성표, 성도의 별자리 그림 분석을 통해 남십자자리의 밝은 4개의 별이 중국의 전통 별자리인 고루성(庫褸星)과 일치함을 확인하였다. 또한 남십자자리가 관측되던 시기와 관측되지 않던 시기에 각각 작성되었던 성표와 성도 분석을 통해 고루성의 별자리 모양이 점차 변형되어 갔음을 제시하였다. 마지막으로 서양의 천문기술이 중국에 전해 진 이후 진행된 동서양의 별자리 상호 비교 및 동정 결과들을 분석하여 중국의 전통 별자리 체계에서 어떻게 고루성이 완전히 배제되게 되었는지에 대한 논의를 포함, 본 연구의 초기 결과들을 발표할 예정이다.

• KDI Journal of Economic Policy
• /
• v.9 no.4
• /
• pp.137-158
• /
• 1987

공기업 민영화에 따른 정책과제는 공기업의 정부보유주식(政府保有柱式)의 매각량(賣却量) 및 매각가격결정(賣却價格決定)과, 시장구조(市場構造)가 독점(獨占)인 경우 민영화 이후 효율성 확보를 위한 시장경쟁(市場競爭) 제고방안(提高方案) 및 이에 따른 기존 정부규제의 완화방안으로 요약될 수 있다. 본고(本稿)에서는 이러한 정책과제들의 상호관련성을 규명하고 민영화 이후의 규제완화방안(規制緩和方案)을 제시하였다. 분석방법으로는 시장이론(市場理論)을 이용하여 시장독점(市場獨占) 및 정부규제(政府規制)의 문제점을 도출하였고 아울러 공기업에 대한 규제실태(規制實態)를 법적근거(法的根據)를 중심으로 조사하였다. 분석의 결과에 의하면 민영화 이후 독점기업(獨占企業)에 대하여 법적(法的)-제도적(制度的)인 각종 정부규제나 독점적 지위를 완화하고 경쟁도입(競爭導入)을 확대하는 것이 전통적인 독점기업규제(獨占企業規制)보다 더 바람직할 것으로 판단되며, 소비자(消費者) 보호측면(保護側面)의 가격규제(價格規制), 공해규제(公害規制), 제품(製品)의 안전도규제(安全度規制) 및 작업량안전관리규제(作業量安全管理規制) 등과 같은 사회적(社會的) 규제(規制)는 산업의 자율성 부여의 일환으로 점차적인 완화가 요망된다. 아울러 민영화 이후에 경영평가제도의 운용에 대한 재고가 요구되며 "정부투자기관관리기본법(政府投資機關管理基本法)"의 운용에 있어 본래의 취지에 배치되는 경직성은 배제되어야 할 것이다.

• Proceedings of the IEEK Conference
• /
• 2009.05a
• /
• pp.281-283
• /
• 2009

Forming Community is important to manage and provide the service in Ubiquitous Environments including embedded tiny computers. Community Computing is that members constitute the community and cooperate. A mutual exclusion problem occurs when many processors try to use one resource and race condition happens. In the expanded concept, a group mutual exclusion problem is that processors in the same group can share the resource but processors in different groups cannot share. As mutual exclusion problems might be in community computing environments, we propose algorithm which improves the execution speed using RMS (resource management service). In this paper describes proposed algorithm and proves its performance by experiments, comparing proposed algorithm with previous method using quorum-based algorithm.