• Computational Structural Engineering
• /
• v.7 no.1
• /
• pp.31-37
• /
• 1994

구조물이 안전성을 확보키 위해서는 외력의 불확정성 이외에 실제의 구조물이 해석을 위해 이상화되는 모델과는 다르게 되어 있으므로 구조물의 불확실성을 고려해야 한다. 실제로 유한요소해석시 구조물의 해석모델은 과거의 경험이나 공학적 판단에 기초하여 여러가지 구조물의 불확정성요소에 관계없이 이상화되어 최악의 경우에는 사고에 관계가 없다고 보증할 수 없는 것이다. 더욱이 최근에는 장대교량, 초대형건축물 및 원자력발전소와 같은 중요한 구조물이 증가추세에 있으며 그들의 예기치 못할 사고위험성에 민감하게 느끼고 있는 우리의 현실에 구조물의 불확정성에 관계되는 연구 또는 외력에 대한 경우와 마찬가지로 많은 연구가 필요하리라 생각된다. 본 고는 불확정 구조계의 확률유한요소해석에 관해서 참고문헌[1]을 참조하여 기본개념 및 간단한 예제를 기술하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.336-338
• /
• 1999

전자상거래에 대한 요구가 급증하고 있는 오늘날, 상대방의 신뢰성을 보증해 주는 인증서 사용이 빈번해지고 있다. 기존에는 인증기관이 발급한 인증서를 사용자가 보관하다가, 전자상거래를 할 경우 이를 전자서명과 함께 상대방에게 제시하여 서로의 신뢰성을 확인하였지만, 이 방법은 사용자가 인증서와 비밀키를 자신의 하드웨어 디스크에 보관하거나, 스마트 카드 또는 플로피디스켓에 휴대하고 다녀야 하는 번거로움이 있었다. 사용자의 이동이 많아지고, 사용자가 자신의 위치나 하드웨어 플렛폼에 상관없이 전자상거래를 하고자 하는 요구가 증대됨에 따라서, 인증서와 비밀키를 휴대해야 하는 불편함은 커다란 제약점이라고 할 수 있다. 본 논문에서는 이러한 문제를 극복하고, 사용자가 어느 곳에서든지 웹브라우져를 사용하여 쉽게 인증서와 비밀키를 사용할 수 있도록 하는 웹기반 인증성 및 키과리 시스템의 설계와 구현방법을 제안한다. 제안된 시스템은 사용자가 복잡한 패스워드를 기억하지 못한다는 점과 패스워드가 쉽게 노출될 수 있다는 점을 고려하여 SPEKE에서 제시한 방법을 활용하여 로그인하였고, 시스템에 외부인이 침입할 경우에 대비하여 데이터베이스 안의 중요한 정보들은 암호화하여 저장하도록 하였으며, SSL이 설정되지 않았을 경우에도 안전하게 인증서를 위탁할 수 있도록 사용자와 인증서 관리 시스템은 정보를 암호화하여 통신하도록 한다.

• Journal of Pharmaceutical Investigation
• /
• v.13 no.3
• /
• pp.115-125
• /
• 1983

제제설계란 제형의 설계 및 그에 따른 처방설정(formulation)을 의미하며 경험적인 제제방법 및 그 기술측면에서의 제제화는 주악 및 첨가물의 종류와 배합비율의 설정등 비교적 단순한 내용을 의미하지만 의약품은 실제적으로 인체에 적용되므로 치료설계상의 연구와 생물약제학적 검토에 의한 유효정과 안전성을 발휘할 수 있도록 설계가 되어야 한다. 또한 약물의 효력은 체내 특정부위에 특정농도의 약물분포가 필요하고, 일정시간 지속되는 것이 요구되므로 약용량도 중요하지만 약물투여 후의 흡수, 체내이행, 대사, 배설등의 상태를 파악하고 이에 미치는 부형제의 영향도 검토하여야 한다. 제제물리학적 측면에서 품질보증을 위하여 preformulation단계에서 주약의 물성검토, 첨가제의 사용량, interaction 및 혼합순서 등과 처방설정 단계에서 제제화에 사용되는 기계장치의 특성 및 능력, 제제화 후의 포장용기 및 포장상태에서의 안정성 등도 면밀히 검토하여야한다. 제제설계란 단순한 dosage form의 design만이 아니고 유효성이 높고, 부작용이 적은 제제를 합리적으로 만드는 기술과 정보의 종합관리로 scale up과정에서 원료, 기계장치, 제조방법, 작업자 등에 의한 품질변동 요인을 극소화하고, 공정의 초기단계에서 즉시 조정될 수 있는 종합관리 system이 필요하다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.317-322
• /
• 1997

앞으로 건설되는 원전의 계측제어계통은 디지털 기술로 설계될 전망이다. 그러나 디지털 기술을 원전 계측제어계통에 적용하는데 있어서 디지털 기술이 원전의 안전성이나 신뢰도에 영향을 미치지 않는다는 사실을 보증하여야 하며, 디지털계통의 기능과 성능에 대한 확인/검증은 원전에 설치되기 전에 수행되어야 한다. 계측제어 시험검증설비의 목적은 새롭게 개발되는 디지털 제어 및 보호 알고리즘, 경보축약 알고리즘 또는 운전지원계통등의 성능을 검증하기 위함이다. 시험검증설비의 소프트웨어는 웨스팅하우스형 993 MWe 가압경수로를 모델링한 수학적 모델링과 시험검증설비를 운용하기 위하여 필요한 종합운용프로그램으로 구성된다. 하드웨어는 공학용 워크스테이션, 시험용 패널, 개발되는 계통과의 인터페이스를 위한 VXI 인터페이스 모듈, 그리고 공유메모리의 값을 시험대상 시작품으로 전송하는 Ethernet 모듈 등으로 구성된다. 사용자 인터페이스로 할덴 원자로 프로젝트에서 개발된 Picasso 그래픽 도구를 이용한 화면과 60개의 주요변수의 값을 CRT에 표시하는 기능을 제공한다. 계측제어 시험검증설비를 응용한 계측제어계통 시작품은 정상운전 및 과도상태에서 적절한 시험결과를 제공하였다.

• Journal of Aerospace System Engineering
• /
• v.4 no.1
• /
• pp.27-31
• /
• 2010

The scope of this paper is to analyze the safety aspects of the Ka-band payload system which are associated with testing, transportation, integration, handling and storage. According to ESA philosophy and the ECSS-Q-40A "Space Product Assurance - Safety", safety hazard analysis of Ka band payload was performed. In this paper, it is indicated the requirements to be satisfied for eliminating, reducing, or controlling the hazards and by showing how they have been implemented in the COMS design. And it shows the safety hazard analysis result which has performed the analysis according to ESA document and also shows the potential hazard cause, potential effects, hazard grade and criteria resolution of Ka band COPS.

• Journal of the Korean Geographical Society
• /
• v.35 no.2
• /
• pp.295-306
• /
• 2000

본 연구는 삶의 질에 관한 관점을 우리 나라 도시저소득층의 주거실태를 중심으로 살펴보고자 한다. 이를 바탕으로 주거빈곤층의 삶의 질 향상을 위한 발전대안을 모색하도록 한다. 국내외 거의 모든 ‘삶의 질’선행연구에 있어 중요한 지표로서‘주택’,‘주거환경’,‘주거장소’등 주거에 관한 상이 포함되어 있다. 즉 삶의 질 연구에 있어 주택 및 주거환경은 가장 기본적이고 필수적 요소임을 확인할 수 있다. 주거빈곤을 기능적 측면, 경제적 측면, 최저주거기준 측면, 그리고 주거권 측면에서 분석하고, 한국의 주거빈곤실태를 파악하였다. 특히 서울을 비롯한 대도시의 주거빈곤층은 달동네.산동네라 불리는 불량주거지, 비닐하우스, 쪽방 등에 거주하며, 이들은 주로 주택점유 형태상 전세, 보증부월세, 월세 등의 임차가구의 대부분을 차지한다. 삶의 질과 주거환경개선을 위한 발전대안 모색을 위해 주거분야 ‘삶의 질 지표’를 제안하였다. 지표의 내용으로 주택 그 자체뿐 아니라 주거기능이 원활하도록 하는 공공서비스, 안전 등의 광의적 접근이 필요함을 강조하였다. 아울러 삶의 질에 관련된 정책과제를 해결하기 위해서는 적어도 네 가지 부문(정부, 민간부문, NGO/CBO, 주민)별 각자의 역할을 강조하였다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.446-450
• /
• 1996

본 논문은 Computer Aided Software Engineering (CASE) Tool을 이용할 경우의 Safety Critical 소프트웨어 개발 방법론인 구조적 분석 및 구조적 설계 모델링 방법론을 Teamwork CASE tool의 예를 중심으로 제안하고자 한다. 제시된 사례는 NSIS(Nuclear Safety Information System)으로서 Essential Modeling과 Implementation Modeling을 제시하였는데 Teamwork CASE 환경하에서의 분석 및 설계 절차, 지침 등을 제시하였다. Essential Modeling에서는 NSIS의 MMIS 분석범위 및 External Interface를 제시하는 환경 모델(Environmental Model)과 MMIS의 기능을 계층구조적으로 분할하는 행위모델링(Behaviroal Modeling)을 각각 Context Diagram과 Data Flow Diagram (DFD)으로 그 과정을 제시하였다. Implementation Modeling에서는 Essential Modeling으로 부터 나온 결과물을 토대로 Boss Rule, Transform Rule과 Transaction Rule 등을 거쳐 NSIS MMIS의 설계 근간이 되는 Structured Chart(SC)를 제시하였다. 본 논문에서 제시된 모델링 방법론을 통하여 Safety Critical 소프트웨어 개발시 Teamwork CASE Tool을 활용할 수 있음과 동시에 분실 및 설계의 일치성을 통하여 Safety Critical 소프트웨어의 안전성 확립과 품질보증 목표에 기여할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.914-917
• /
• 2012

클라우드 스토리지는 사용자의 요구 또는 데이터의 이용 추이에 따라 자원의 분배를 탄력적으로 제공함으로써 컴퓨팅 자원에 대한 효율적으로 관리가 가능하다. 이에 최근 다양한 서비스가 클라우드 스토리지를 제공하고 있으나, 개인적인 데이터를 소유자가 직접 관리하기 어려워 데이터의 보안성을 보장할 수 없다. 따라서 본 논문에서는 클라우드 스토리지에 저장되는 데이터에 대하여 소유자만이 복호화가 가능하도록 프록시 재암호화를 이용하여 키를 분배하고 데이터를 관리하는 기법을 제안한다. 이를 통해 데이터의 보안성 및 제 3자에 의한 유출을 차단할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.587-590
• /
• 2013

스마트 그리드는 기존의 전력망과 함께 양방향 통신을 위한 정보통신기술이 접목된 형태로, 전기의 생산, 운반, 소비뿐만 아니라 사용량 확인, 상호작용 등의 과정을 효율적으로 제공한다. 이와 같은 환경에서 전송되는 정보는 개인의 소비 성향과 같은 민감한 정보를 포함하고 있으므로, 안전한 통신을 위한 암호화가 필수적으로 요구된다. 특히, 다수의 장치가 계층적 구조를 이루는 스마트 그리드 환경에서는 암호화를 위하여 효율적인 그룹 키 사용이 필수적으로 요구된다. 따라서 본 논문에서는 스마트그리드 환경에서 효율적인 그룹 키 분배를 위하여 그룹 키 원소 배열에서 일정 범위를 한정하는 윈도우를 이용한 기법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.595-598
• /
• 2013

클라우드 컴퓨팅 환경은 다양한 IT 기술이 융합된 형태로 수많은 사용자들이 같은 인프라를 기반으로 서비스를 제공받는 환경이다. 이렇게 수많은 사용자들이 이용하는 클라우드 컴퓨팅 환경에서는 악성코드 유포, 개인정보 탈취 등과 같은 문제점이 발생할 수 있기 때문에 사용자를 인증할 수 있는 필요성이 대두되었다. 이러한 문제점을 해결할 수 있는 대응 방안이 많이 연구되고 있지만, 클라우드 컴퓨팅 환경의 특징을 고려하지 않고 개발되었기 때문에 적용하기에는 다소 문제점이 있을 것으로 예상된다. 이러한 문제점을 해결하기 위해 Lee 등은 2-factor 인증 기법을 제안하였다. 그러나 Lee 등이 제안한 인증 기법은 무결성, 기밀성을 보장하지 못하며, 도청에 취약한 것으로 분석되었다. 따라서 본 논문에서는 이러한 문제점을 해결할 수 있는 프로토콜을 제안한다.