Research

'Research' 카테고리의 모든 글

총 4169개의 글
시간순 정렬
No Image

“구형 플라즈마 구조의 장수명 메커니즘: 고전·양자 진동과 전자 결합 현상”

1. 연구 배경 및 목표 - 플라스모이드 안정성 문제 : 기존 정전기적 구형 플라스모이드 모델은 외부 압력·중력 등 추가적인 구속력이 없으면 플라즈마가 팽창해 붕괴한다는 근본적인 한계가 있다. - 구형 랭뮤어 파동 제안 : 전자만이 구형 대칭으로 진동하는 랭뮤어 파동 형태를 가정함으로써, 방사 손실이 없고 자체적인 전자·전기장 상호작용만으로 장시간 유지 가능한 구조를 제시한다. 2. 이론적 모델링 2

No Image

“무작위 보행 기반 라우팅: 동적 MANET 환경을 위한 경량·보안 프로토콜”

1. 연구 배경 및 문제 정의 - MANET 특성 : 인프라가 없고 노드가 라우터 역할을 수행, 이동에 따라 토폴로지가 급격히 변함. - 기존 프로토콜의 한계 : - Proactive (DSDV 등) → 주기적 라우팅 테이블 업데이트 → 높은 제어 오버헤드. - Reactive (AODV, DSR, TORA) → 라우트 탐색 시 플러딩 → 네트워크가 동적일수록 지연·혼잡 급증. - 핵심 요구

No Image

“서브그래프 유사성을 활용한 초고속 커뮤니티 탐지”

1. 연구 배경 및 필요성 - 대규모 네트워크 (수백만 노드)에서는 기존의 정확도 높은 방법(예: 베트위니스 기반 분할)이 계산 비용 때문에 실용적이지 않다. - CNM 알고리즘 은 O(n log² n) 복잡도로 빠르지만, 초기 단계에서 저차수 노드들을 과도하게 병합하는 경향이 있어 최적 모듈러티에 도달하기까지 시간이 많이 소요된다. - 따라서 정확도와 속도 사이의 트레이드오프 를 동시에 개선할 수 있는 새로운 접근법

No Image

“의존 타입 람다계산의 중복성 탐구: 증명 탐색 효율성을 위한 새로운 시각”

1. 연구 배경 및 동기 - LF와 “공식‑형식” 동형 : LF는 타입이 곧 논리식이라는 Curry‑Howard 동형을 활용해 형식 시스템을 선언적·고차원적으로 기술한다. 이는 증명 검증을 타입 검증으로 전환시켜 자동화 가능성을 높인다. - 번역 접근법의 매력 : LF 명세를 단순 타입 λ‑항에 대한 술어 논리(hohh)로 변환하면, 기존 고성능 논리 프로그래밍 엔진(예: Teyjus)으로 실행할 수 있다. 이는 LF 자체 구

No Image

“점프하는 개구리의 울음소리로 푸는 분산 그래프 색칠: 자연에서 배운 탈동기화 알고리즘”

1. 연구 배경 및 동기 - 분산 색칠의 필요성 : 무선 센서 네트워크와 같은 자율적인 시스템에서는 중앙 집중식 제어가 불가능하거나 비용이 크다. 따라서 오직 로컬 정보만 으로 색을 결정해야 한다. - 자연에서 영감 얻기 : 일본 나무개구리의 울음은 자기 조직화(self‑organization) 와 탈동기화(desynchronization) 라는 두 가지 핵심 특성을 보여준다. 이는 서로 간섭을 최소화하려는 분

No Image

“폭풍을 가르는 충격파: Abell 754 은하단의 X‑레이·라디오 동시 관측”

1. 연구 배경 및 동기 - 은하단 병합 은 대규모 중력 에너지를 충격파와 난류 로 전환시켜 ICM(은하단 내부 가스)를 가열하고, 자기장 증폭·우주선 가속 을 일으킨다. - 충격파는 X‑ray 표면 밝기와 온도 불연속 을 통해 직접적인 물리량(밀도·속도·Mach 수)을 측정할 수 있는 드문 관측 기회이며, 현재까지 확인된 사례는 3개 (Bullet, Abell 520, Abell 2146)뿐이다. - Abel

No Image

P2P 데이터 공유 시스템에서의 효율적인 질의 라우팅·처리: 전통 DB와의 차별점과 최신 연구 동향

1. 연구 배경 및 의의 - P2P ↔ 전통 DB 차이점 - 전통 DB는 중앙 관리·전역 메타데이터 카탈로그를 전제로 최적화된 질의 계획을 수립한다. - P2P는 분산·동적 환경으로, 노드가 자유롭게 입·퇴장하고, 메타데이터가 부분적으로만 존재한다. 따라서 전역 카탈로그 부재 가 핵심 난제다. - 문제 정의 1. 질의 라우팅 – 질의를 적절한 피어에게 전달해 필요한 데이터를 찾는 과정

No Image

마코프 논리 네트워크(Markov Logic Networks)로 보는 비가산 유전 상호작용: 효모 포자 형성 데이터 사례

1. 연구 배경 및 필요성 - GWAS와 전통적 QTL 분석 은 대규모 표본을 필요로 하고, 가법 모델 에 의존한다는 한계가 있다. - 실제 생물학적 네트워크(전사 조절, 단백질‑단백질 상호작용 등)는 비가산·비선형 특성을 지니며, 이러한 특성을 무시하면 유전적 변이의 설명력(heritability) 을 크게 과소평가한다. - 따라서 생물학적 사전 지식 을 모델에 직접 삽입할 수 있는 방법론이 절실히 요

No Image

모듈형·자율 네트워크 로봇을 위한 통합 소프트웨어 솔루션

1. 연구 배경 및 동기 - 네트워크 로봇의 흐름 : 기존 텔레오퍼레이션 로봇(MAX, WAX 등)은 주로 원격 제어와 인간-로봇 상호작용에 초점을 맞추었다. 저자들은 이러한 접근이 안전이 중요한 현장(핵반응로, 화산 등) 에는 부적합하다고 지적한다. - 소프트웨어 중심 설계 : 하드웨어 기반 필터링·신호처리를 소프트웨어로 대체함으로써 모듈 교체와 확장성을 극대화 하고, 비용을 절감하려는 전략은 현재 IoT·엣지

No Image

상대론적 흑백 원반에서 린드블라드 공명 토크: 완전한 일반 상대성계산과 그 강도

1. 연구 배경 및 목적 - 린드블라드 공명 은 원반 물질이 외부 교란자(예: 두 번째 블랙홀)의 중력 퍼텐셜과 공명하면서 angular momentum을 교환하는 핵심 메커니즘이다. 기존 연구는 주로 뉴턴 역학 하에서 진행돼 왔으며, 상대론적 효과는 거의 다루어지지 않았다. - 본 논문은 상대론적 원반 (특히 블랙홀 주변)에서 발생하는 린드블라드 토크를 완전한 일반 상대성 이론 으로 계산함으로써, 고중력 환경에서의 디스

No Image

스마트 환경 구현을 위한 무선 센서 네트워크 활용 – 개발도상국 방글라데시 사례 연구

1. 연구 배경 및 동기 - 스마트 환경 이라는 개념을 ‘센서 데이터 기반의 실시간 상황 인식·제어 시스템’으로 정의하고, 이를 구현하기 위한 핵심 기술로 WSN을 선택하였다. - 방글라데시와 같이 자연재해 위험이 높은 개발도상국 은 기존 인프라가 열악하고, 비용 효율적인 모니터링·경보 체계가 절실히 필요하다. 이러한 사회·경제적 배경이 논문의 동기와 목표를 명확히 한다. 2. 주요 기여 구분 내용 의의

No Image

실시간 임베디드 시스템을 위한 라운드‑로빈 스케줄링 혁신: “Shortest‑RR”와 “Intelligent Time‑Slice”

1. 연구 배경 및 필요성 - 라운드‑로빈의 한계 : 고정 타임슬라이스와 FCFS 기반 큐 관리로 인해 CPU 버스트가 큰 작업이 짧은 작업을 가로채며, 특히 소프트 실시간 환경에서 deadline miss가 빈번해 시스템 성능이 저하된다. - 실시간 시스템 요구 : deadline을 만족하면서도 오버헤드(컨텍스트 스위치)를 최소화해야 함. 기존 고정 우선순위(Fixed‑Priority) 스케줄링은 구현이 쉬우나, 동적

No Image

실시간 환자‑전문의 매칭을 위한 바이오인포매틱스 기반 초고속 로드밸런싱

1. 연구 배경 및 동기 - 실시간 의료 매칭의 필요성 : 급증하는 환자 수와 제한된 전문의 자원을 효율적으로 배분하기 위한 실시간 매칭 시스템이 요구된다. - 바이오인포매틱스와 로드밸런싱의 융합 : 기존 연구들은 주로 스케줄링·휴먼 리소스 최적화에 초점을 맞췄으나, 본 논문은 환자 생체 데이터를 기반으로 한 통계 모델을 로드밸런싱에 적용한다는 점에서 차별성을 가진다. 2. 핵심 방법론 단계 내용 평가

No Image

완전 구간 토너먼트 재구성: 점수열 존재조건과 효율적 알고리즘

1. 연구 배경 및 동기 - 점수열(Score Sequence) 은 토너먼트(또는 경기 결과)를 정량적으로 표현하는 핵심 개념이며, 순위 매김, 비교 기반 의사결정 등에 널리 활용된다. - 기존 연구(Landau, Moon)는 단일 토너먼트((a=b=1))와 동일 간선 수 를 갖는 다중 토너먼트((a=bge1))에 대해서만 점수열 존재조건을 제시했다. - 실제 응용에서는 경기당 배분되는 점수가 범위 (

No Image

요구사항 변경에 따른 재작업 비용 분석: 실증적 프레임워크 제안

1. 연구 배경 및 필요성 - 산업적 맥락 : 최근 기업들은 신규 개발보다 기존 시스템의 유지·보수에 더 많은 자원을 투입하고 있다. 경제 불황으로 신규 프로젝트가 축소되면서, 유지보수 단계에서의 비용·시간 관리가 프로젝트 성공의 핵심이 된다. - 문제 인식 : 요구사항 변경은 필연적이지만, 그에 따른 재작업 비용을 정확히 예측하지 못하면 예산 초과와 일정 지연이 발생한다. 기존의 COCOMO, SLIM 등 파라메트릭 모델은

No Image

정량 언어의 표현력과 닫힘 특성: 가중 자동기의 새로운 시각

1. 연구 배경 및 동기 전통적인 불린 언어는 각 단어에 0·1 값을 할당해 시스템 행동을 “허용/비허용”으로 구분한다. 그러나 실제 시스템에서는 전력 소비, 메모리 사용량, 응답 시간 등 수치적 자원 을 다루어야 하므로, 정량 언어 라는 확장이 필요하다. 가중 자동기는 이러한 정량 언어를 형식적으로 정의할 수 있는 강력한 도구이며, 특히 무한 실행을 다루는 경우 다양한 값 함수(최대, 평균극한, 할인합 등)가 자연스럽게 등장한다

제로‑트러스트 에이전트 기반 연합 학습(ZTA‑FL)으로 산업 IIoT 방어 체계 강화

제로‑트러스트 에이전트 기반 연합 학습(ZTA‑FL)으로 산업 IIoT 방어 체계 강화

1. 연구 동기와 문제 정의 - 현실적 위협 : Oldsmar·Denmark 사례는 IIoT 시스템이 물리·전력 인프라에 직접적인 위험을 초래한다는 점을 강조한다. - FL의 한계 : 기존 바이저스 방어(Krum, Trimmed‑Mean 등)는 IID 가정에 의존, 비‑IID 데이터가 일반적인 IIoT 환경에서 성능 급락. 또한 인증 부재로 에이전트 위조·시빌 공격에 취약. 2. 제안 방법론 (ZTA‑FL)

No Image

펄서 자기권 내 전하·전류 자동조정 메커니즘: 역류 플라즈마 흐름과 장파 진동의 역할

1. 연구 배경 및 목표 펄서의 전자‑양전자 플라즈마는 극지대에서 생성되어 개방장선 튜브를 따라 외부로 흐른다. 전통적인 MHD 모델은 플라즈마가 전하 중성(ρ = ρ_GJ) 과 전류 연속성 을 만족한다고 가정한다. 그러나 실제로는 전하와 전류가 동시에 만족 되어야 하며, 이는 곧 역류 입자 흐름 을 요구한다는 점이 이 논문의 핵심 가설이다. 2. 모델링 접근법 요소 구현 방식 물리적 의미

No Image

폭발 파동에 의한 두개골 굽힘: 뇌손상의 새로운 메커니즘과 헬멧 설계 혁신

1. 연구 배경 및 필요성 - 전통적 TBI 연구의 한계 : 차량·스포츠 사고 등 충격에 의한 TBI는 가속도와 충격력을 중심으로 이해돼 왔으나, 폭발에 의한 TBI(BTBI)는 아직 메커니즘이 불분명했다. - 군사적 현실 : 현대 방탄복은 사망률을 크게 낮췄지만, 비치명적인 폭발에 노출된 병사들의 TBI 발생률이 급증하고 있다. 따라서 “폭발 자체가 뇌에 손상을 일으킬 수 있다”는 가설을 검증할 필요가 있다. 2.

< 분야별 논문 현황 (Total: 4169) >

Research
4169

검색 시작

검색어를 입력하세요

↑↓
ESC
⌘K 단축키