• Tribology and Lubricants
• /
• 제1권1호
• /
• pp.38-45
• /
• 1985

Ferrography 방법은 유체중 마모입자를 Substrate glass 위에 Van der Waals 힘에 의하여 분산교착 시키므로써 윤활 Systems에서의 기계요소들의 동특성적 마모진행과정및 mechanism의 정성적및 정량적인 분석을 가능케 한다. 정성적 방법으로는 광학현미경으로부터 SEM, X-Ray Emissiom, EDAX등의 분석방법이 적용되고 있으나, 정량적으로는 마모입자의 크기별 분포함수에 따른 Variance, Kurtosis, Skewness와 같은 인자함수의 변이가 마모진행 과정과 진행될 마모형태기구의 예측인자로서 연구되고 있다. 수치적 Model로 마모진행기구를 예측할 경우 third moment의 Skewness 가 Size 및 number분포에 따라 예민하게 반응을 나타내는 결과를 보이고 있다. 이러한 정량분석을 위하여는 실험 Sample에 따라서, 즉 오염도에 따른 Sample희석이 따르는데, 이러한 Sample 희석이 정량적 분포에 미치는 영향에 관한 연구결과는 아직 없다. 따라서 본연구에는 용제희석이 정량적 마모입자 분포에 미치는 영향을 image analyser인 Quantimat 720을 이용하여 검토하였으며 전영역의 희석률에 적용될 수 있는 Standard Calibration function에 따른 수학적 model을 유도하였다.

• 대한교통학회지
• /
• 제23권8호
• /
• pp.203-213
• /
• 2005

자동차교통에 의한 환경오염의 대책으로서 대중교통서비스의 향상과 함께 자전거이용 촉진이 주목되고 있다. 본 연구에서는 지구교통을 대상으로 자전거이용을 촉진시키기 위한 자전거 주행환경의 개선방안을 제시하고, 그 효과를 평가할 수 있는 평가수법에 대해 연구하였다. 먼저, 자전거 주행환경 개선을 위한 개선안으로서 기존의 자동차를 중심으로 이뤄진 지구교통체계와 자전거가 중심인 네덜란드의 하우텐시를 참고로 한 2가지 개선안을 제시하고, 연구 대상지역에 각 개선안을 적용한 지구교통정비를 가정하여 개선안의 효과를 종합적으로 평가하였다. 평가방법은 현재와 두 개선안을 환경, 안전, 편리측면에서 비교평가를 수행하고, 또한 AHP수법을 이용하여 각 평가측면의 가중치를 산정하여 종합적인 평가를 수행하였다. 이때 평가지표로서는 환경측면에서 이산화탄소 배출량, 안전측면에서 교차점에서의 교통수단 간 교착가능횟수, 편리성측면에서 누적빈도곡선을 이용한 접근성 지표이다. 분석결과, 자동차를 중시한 현재의 지구교통환경과 비교하여 도로공간의 재배분에 의한 자전거도로 설치와 자동차와 분리된 자전거 도로망을 구성한 개선안이 가장 효과적인 것으로 나타났다.

• 물과 미래
• /
• 제28권2호
• /
• pp.169-180
• /
• 1995

관망상배관(Looped networks)시스템에서 관수로시스템의 전체비용은 폐회로유량(Loop flows)에 따라 영향을 받는다. 따라서 관망상배관의 최적설계를 위한 수학적모형을 추계학적 최적화방법에 적용하기 위하여 폐회로유량의 섭동(Perturbations)으로 전체비용이 변하게 하였다. 관망상 배관문제의 분석가능영역은 수많은 국지해(Local optimum)를 갖는 비볼록(Nonconvex)이므로 분석가능영역의 효율적인 심사를 위하여 수정추계학적 심사방법을 제안하였으며 이 방법은 국부심사단계(Global search phase)와 국지심사단계(Local search phase)로 구성되어 있다. 국부탐사에서는 점차적으로 국지해를 증진시키며 국지탐사에서는 국부탐사단계에서 교착상태에 있는 국지해로 부터 벗어나게 하거나 최종국지해를 증진시킨다. 제안한 방법의 효율성을 검정하기 위하여 참고문헌에 있는 기존관수로시스템의 병열관로(Parallel pipe line) 확장문제를 표본으로 채택하여 제안한 방법을 적용한 결과 먼저 발표된 연구자들의 비용보다 적은 비용으로 설계할 수 있었다.

• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.115-122
• /
• 2004

소프트웨어 시스템 모델링에서는 정형적 기법으로 소프트웨어를 모델링하고 분석하여 소프트웨어 시스템이 가지는 문제점들을 구현에 앞서 미리 찾아 해결하고자 한다. 페트리 네트는 그래픽 정형 명세 언어로 병행적 시스템, 실시간 시스템, 통신 프로토콜 등의 소프트웨어 시스템 모델링 및 분석에 널리 이용되고 있다. 페트리 네트 분석에서, 교착상태(deadlock), 수행가능성(liveness) 등의 일반적인 시스템 특성 분석은 주로 도달성 분석을 통해 이루어지며 시스템 요구사항에 관한 고유 특성 분석은 모델 검사(model checking) 방법을 통해 이루어진다 하지만 도달성 분석과 모델 검사 방법에서는 기본적으로 시스템의 모든 가능한 상태들을 나열하여 분석하므로 모델의 규모가 커짐에 따라 상태가 기하급수적으로 증가하는 상태 폭발(state explosion) 문제가 발생한다. 이 논문에서는 상태 폭발을 회피하면서 시스템의 요구사항을 체계적으로 분석할 수 있는 새로운 방법을 제안하고자 한다. 먼저 분석하고자 하는 요구사항을 속성 네트로 나타낸 후, 시스템 모델과 속성 네트를 합성하여 분석한다. 이러한 합성 분석에서는 분석 대상 속성과 연관되지 않는 모델의 부분들을 축약 규칙에 따라 축약함으로써 분석 도메인을 점진적으로 줄어 나갈 수 있으며 요구사항 만족 여부를 간단히 검사할 수 있는 장점이 있다.

• 정보처리학회논문지B
• /
• 제19B권3호
• /
• pp.195-200
• /
• 2012

한국어는 교착어이어서 형태소 분석 없이 품사 부착이 어려울 뿐 아니라 형태소를 분석할 때 다양한 어형 변화가 복원되어야 한다. 이것은 한국어 형태소 분석의 고질적인 문제 중 하나이며, 주로 규칙을 이용해서 해결한다. 규칙을 이용할 경우 주어진 문맥에 가장 적합한 복원을 어려워 여러 형태의 모호성을 생성하며, 이는 품사 부착에 의해서 해결된다. 본 논문에서는 이 문제를 기계학습 방법(Na$\ddot{i}$ve Bayes 모델)을 이용하여 해결한다. 기계학습 모델의 입력 자질은 어형 변화가 발생하는 주변 음절이며 출력 범주는 복원된 음절이다. ETRI 구문 말뭉치를 이용한 실험에서 제안된 형태소 복원 모델을 사용한 형태소 단위의 품사 부착 성능은 97.5%의 $F_1$점수를 보였으며 이 모델이 형태소 복원에 매우 유용함을 알 수 있었다.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.369-376
• /
• 2001

기존의 호스트 기반 보안 시스템에서 네트워크 기반의 보안 시스템으로 침입차단 시스템을 설치하지만 침입차단 시스템은 보안에 대하여 최소 권한을 가지므로 사용자에게 투명한 서비스를 제공해 주지 못한다. 따라서 침입차단 시스템에 프록시를 두어서 서비스의 투명성을 제공하고 보다 강화된 보안 기능을 갖는 FTP 프록시 보안 모델(FTP-PSM:FTP-Proxy Security Model)을 설계하였다. FTP-PSM은 한 개의 명령어가 입력되고 실행이 끝나는 것이 아니라 계속적으로 사용자 인증 기능 강제적 접근제어 기능 임의적 접근제어 기능 그리고 그룹별 명령어 사용권한 인증 등과 같은 보안 기능을 실행한다. 이러한 보안 기능이 실행되기 위해서 입력된 데이터는 어떤 상황에서도 손실되지 않아야 하므로 실행과정이 무한 루프가 되어 계속 순환하거나 교착 상태가 되는 등의 문제에 대한 안정성을 검증하여야만 한다. 따라서 본 논문에서 제안하는 FTP-PSM은 CPN을 기반으로 한 상태 불변식으로 안정성을 검증하였다.

• 한국강구조학회 논문집
• /
• 제12권3호통권46호
• /
• pp.239-250
• /
• 2000

본 연구에서는 강바닥판의 실물 대형시험체를 제작하여 정적시험 및 피로시험을 실시하였다. 정적 및 영향면 재하시험 결과를 통하여 다이아프램의 유무에 따른 강바닥판 슬릿부의 면내와 면외응력을 검토하였으며, 피로시험결과로부터는 강바닥판의 피로거동, 피로균열의 발생과 진전에 대한 연구를 수행하였다. 다이아프램이 설치된 상세는 설치되지 않은 상세에 비하여 지점조건에 상관없이, 종리브 횡리브 교착부의 종리브측으로는 약 50%의 응력경감효과가 있으나, 횡리브측 하단부에는 오히려 상당히 큰 응력을 야기함을 알 수 있었으며, 피로균열 진전해석결과로부터는 슬릿부의 노치에 의한 초기균열길이가 피로균열성장에 상당한 영향을 끼치고 있음을 알 수 있었다. 측정자료와 FEM 해석을 통하여 공칭응력과 핫스폿응력에 의한 피로강도를 추정한 결과, 다이아프램이 설치되지 않은 상세는 규정된 피로등급에서 안전한 것으로 판단되나 다이아프램이 설치된 상세는 피로등급이하의 거동을 보였다.

• Journal of Chest Surgery
• /
• 제29권7호
• /
• pp.785-788
• /
• 1996

간농양에 이은 급성 화농성 심낭염은 드문 질환이다. 급성화농성 심낭염은 적절한 치료가 이루어지지 않을 경우 사망율이 매우 높은 위 험한 질환이다. 환자는 32세 남자 환자로 발열, 오한, 상복부동통 및 호흡곤란을 주소로 응급실로 내원 하였다. 단순 흉부사진상 심비대의 소견을 보이고 있었으며, 복부초음파상 간좌엽에 종괴가 있었다. 심초음파상 임박 심장압진의 소견을 보이고 있었다. 응급으로 횡격막천공을 통해 간농양을 배농시켰고 심낭절개술을 시 행하였다. 심낭은 비후되어 두꺼워져 있었고 600m1의 악취가 나는 농액과 괴사조직들이 배액되었다. 섬유소응괴(abrinclot)가심근과유착이 있었다 조직학적 검사상심낭은급성 염증소견과 미세한 괴사 소견을 보이고 있었고, 균배양검사상 혈액과 배농액 에서 모두 Escherichia coli가 나왔다. 환자는 항생제 치료 받고 4주만에 퇴원 했고 심초음파상 약간의 교착성 심낭염의 소견을 보였다.

• 좋은식품
• /
• 통권220호
• /
• pp.22-65
• /
• 2011

${\bigcirc}$ 본 업소는 냉동식품(냉동만두류, 냉동면류, 냉동피자)를 생산하는 식품제조 가공업소로서 총 5명의 인원이 냉동식품 3개 제품을 생산하여 매출액은 (약00원)이며 주로 대형 유통 판매업소에 판매하고 있다. ${\bigcirc}$ 본 업소의 냉동식품은 축산물(돈육) 농산물 등과 밀가루, 소금 등을 배합 성형 후 가열 등의 공정을 거쳐 생산된 제품으로 원료 취급과정에서의 오염이나 불충분한 가열, 교착오염 등으로 식중독균(병원성대장균, 황색포도상구균등)과 원료 및 제조과정에서 이물(금속등)이 혼입할 수 있으며, ${\bigcirc}$ 이로 인한 주요클레임 발생사례는 최근 3년간 관계당국으로부터 대장균군 검출 3건, 소비자클레임 2건이 있었다. - 연도별 주요 클레임내용은 '08년도에는 대장균군 검출 3건(냉동만두류), '09년도 날벌레 이물검출 1건(냉동피자), '10년도에는 철수세미1건(냉동면류)이었다. ${\bigcirc}$ 이러한 위해발생을 사전에 예방하기 위해 중점관리해야하는 공정은 가열(중숙, 탕숙, 가열 굽기)공정, 세척공정으로 판단되며, 금속 등의 이물 혼입 또한 중점적으로 관리할 필요성이 있다. ${\bigcirc}$ 본 업소에서 생산하는 냉동식품(냉동만두류, 냉동면류, 냉동피자)는 가열(중숙/탕숙/가열/굽기)공정 및 세척공정에서의 가열(중숙/탕숙/가열/굽기) 후 품온을 설정하여 CCP 1로, 세척시간과 세척수량, 원물량을 설정하여 CCP 2로 관리하고 있으며, 2시간마다 모니터링하고 한계기준 이탈여부를 기록하도록 하고 있다. ${\bigcirc}$ 종합적인 공정 및 일반위생관리를 위해 개인위생 상태, 냉동 냉장고 온도 확인 등 총 30개 항목에 대하여 정기적 점검(매일 18, 주간 4, 월간 4, 분기 1, 연간 3)을 실시하고 있으며, ${\bigcirc}$ 따라서 지속적인 모니터링을 통해 미흡사항의 원인으로 파악하고 문제점 제거를 위해 체계적이고 지속적인 관리가 필요한다.

• 정보과학회 논문지
• /
• 제45권2호
• /
• pp.157-164
• /
• 2018

딥러닝의 급속한 발전은 패턴인식 분야의 성능을 혁신했으며 몇몇 문제에서는 인간 수준을 넘어서는 결과들을 보여주고 있다. 데이타를 분류하는 패턴인식과 달리 본 논문에서는 주어진 몇개의 한국어 문장으로부터 비슷한 문장들을 생성하는 문제를 다룬다. 이를위해 생성모델 중의 하나인 Variational Auto-Encoder 기반의 모델을 한국어 생성에 맞게 개선하고 적용하는 방법들을 논의한다. 첫째, 교착어인 한국어의 특성상 띄어쓰기를 기준으로 단어 생성시 단어의 개수가 너무 많아 이를 줄이기 위해 조사 및 어미들을 분리할 필요가 있다. 둘째, 한국어는 어순이 비교적 자유롭고 주어 목적어 등이 생략되는 경우가 많아 기존의 단방향 인코더를 양방향으로 확장한다. 마지막으로, 주어진 문장들을 기반으로 비슷하지만 새로운 문장들을 생성하기 위해 기존 문장들의 인코딩된 벡터표현들로부터 새로운 벡터를 찾아내고, 이 벡터를 디코딩하여 문장을 생성한다. 실험 결과를 통해 제안한 방법의 성능을 확인한다.