• 제목/요약/키워드: 정형 모델

검색결과 567건 처리시간 0.045초

상태공간법에 의한 인플루엔자 유행모델의 해석 (The Analysis of an Influenza Epidemic System by means of the State-space Approach)

  • 정형환;이상효
    • 전기의세계
    • /
    • 제26권2호
    • /
    • pp.66-71
    • /
    • 1977
  • A mathematical model, which can be used for the study of an influenza epidemic, was derived. The model of influenza takes into full consideration the incubation period and inapparent infection. That was analysed by means of digital computer under the conditions of changing the infection rate, .betha., from 4 to 5, for three types of communities (First type: the initial distribution of population, x$_{1}$(0)=89% susceptibles, x$_{2}$(0)=3% incubatives, x$_{3}$(0)=0.5% carriers, x$_{4}$(0)=7.5% immunes; Second type: x$_{1}$(0)=79%, x$_{2}$(0)=3%, x$_{3}$(0)=0.5%, x$_{4}$(0)=17.5%; Third type: x$_{1}$(0)=69%, x$_{2}$(0)=3%, x$_{3}$(0)=0.5%, x$_{4}$(0)=27.5%, considering the rate of population increase, in Seoul. In conclusion, the outcomes of this study are summarized as follow. 1) The new model is quite reasonable in representing many phenomena connected with influenza spread. 2) The more influenza does prevail, the smaller the valve of attack rate becomes, while the contagious period becomes slightly longer. 3) The average infection rate, .betha., of influenza is approximately 5 per week time and X$_{4}$(0) is about 27.5 percent of the total population in Seoul spring 1961. 4) The number of carriers of influenza in Seoul spring 1961 becomes maximum within approximately 2.4 weeks after the attack of diseases. 5) About 68 percent of all cases in the contagious period is infected with influenza from 5 to 15 days after the attack of diseases. The auther believes that the method to study the influenza models in this paper will be helpful to study the characteristics of other epidemics. It will also contribute to public healthe management and the preventive policy decision against epidemics.

  • PDF

이차원 타원형 날개꼴의 실속제어에서 간헐제트 브로잉의 효과 (Effects of Pulsating Jet Blowing on Stall Control of Two Dimensional Elliptic Airfoil)

  • 이기영;손명환;정형석
    • 한국항공우주학회지
    • /
    • 제33권9호
    • /
    • pp.1-8
    • /
    • 2005
  • 이차원 타원형 날개꼴에서 펄스제트 브로잉에 의한 박리 제어 효과에 대하여 연구하였다. 박리 유동의 능동제어기술 개발을 위하여 압축공기를 사용하는 연속제트/간헐제트 엑츄에이터를 설계제작하여 타원형 날개 풍동 실험 모델에 장착하였다. 아음속 유동에서 날개 주위 유동장의 PIV 측정과 유동의 가시화을 통하여 간헐제트 브로잉의 타원형 날개의 실속제어 효과와 실용성에 대해 실험연구를 수행하였다. PIV 실험 결과 제트 브로잉에 의해 난류 후류 영역과 박리 버블의 크기를 현저하게 감소시킴으로써 박리제어가 가능함을 보였다. 간헐제트는 연속제트보다 박리제어에 보다 효과적이었다. 간헐제트의 주파수를 증가시키면 보다 높은 받음각에 이르기까지 난류 박리 후류를 효과적으로 억제할 수 있었다.

대공간 건축물 골조물량 최적화를 위한 파라메트릭 설계 프로세스 (Parametric Design Process for Structural Quantity Optimization of Spatial Building Structures)

  • 최현철;이시은;김치경
    • 한국전산구조공학회논문집
    • /
    • 제30권2호
    • /
    • pp.103-110
    • /
    • 2017
  • 본 논문에서는 StrAuto를 이용하여 구조물의 형상 변경을 통한 대안을 생성하고, 이에 대한 최적화를 수행하는 과정을 상세하게 다루었다. 비정형 대공간 전시장 구조물을 대상으로 전체 형상을 파라메트릭하게 디자인하고, 가장 폭이 넓은 경간의 구조 형상을 변경하면서 물량 변화를 관측하여 최적안을 도출하였다. 기존 연구들에서는 형상 변경의 제약 때문에 대부분 단면과 물성을 통한 최적화를 수행하는데 그쳤으나, 본 연구에서는 형상 변경이 가능한 부분을 찾아내어 StrAuto의 가장 핵심적인 능력인 형상 변경을 통한 최적화를 수행했다는 점에서 중요한 의미를 지닌다. 형상 변경으로 충분한 여유를 확보하고 단면 최적화로 물량을 줄이는 프로세스를 통해, 대공간 구조물의 일부만을 대상으로 하면서도 전체 물량의 11.7%를 줄일 수 있었다.

함수 기반의 체내 삽입장치용 보안 인증프로토콜 검증 (Verification of a Function-based Security Authentication Protocol for Implantable Medical Devices)

  • 배우식;한군희
    • 디지털융복합연구
    • /
    • 제12권5호
    • /
    • pp.249-254
    • /
    • 2014
  • 최근 USN 기술의 발전으로 의료기술 분야에서 서비스를 받을 수 있는 체내 삽입장치 통신기술이 많은 발전을 하고 있다. 체내 삽입장치(Implantable Medical Device)는 환자와 장비사이에 무선으로 전송되는 구간이 있어서 외부 공격자의 해킹으로 인한 환자의 개인 의료정보 유출사고로 프라이버시 침해 발생이 우려되고 있다. 또한 환자의 의료 정보를 조작할 경우 심각한 의료 문제가 발생할 수 있다. 본 논문에서는 체내 삽입장치에 RFID/USN 기술을 이용할 때 공격자의 공격에 안전한 인증프로토콜을 제안한다. 해시함수 기반으로 연산하며 세션키와 난수를 도입하여 재 암호화를 방지하고 스푸핑공격, 정보노출 및 도청공격에 안전하며 이를 증명하기 위해 정형검증 도구인 Casper/FDR 도구를 이용하여 보안성을 검증 실험하였으며 안전함이 확인되었다.

차량간 보안 통신에서 융합 해시함수를 이용하여 공격에 안전한 통신방법 검증 (Verification of a Communication Method Secure against Attacks Using Convergence Hash Functions in Inter-vehicular Secure Communication)

  • 이상준;배우식
    • 디지털융복합연구
    • /
    • 제13권9호
    • /
    • pp.297-302
    • /
    • 2015
  • 자동차에 정보기술 도입비율이 높아짐에 따라서 최근 스마트 카, 커넥티드 카로 일컬어지기 시작했다. 스마트자동차 시스템이 적용되어 외부 네트워크에서 차량과 접속하게 되면서 통신보안 위협 또한 증가하고 있다. 차량에 다양한 보안 위협에 대한 모의시험 결과로 관련된 취약성이 사회적 이슈와 기사화 되고 있으며, 자동차 융합 보안통신에 대한 연구가 활발히 진행되고 있다. 자동차 해킹이 일반적인 해킹보다 위험한 것은 운전자의 생명위협 및 사회적인 혼란을 야기할 수 있기 때문이다. 본 논문에서는 차량 대 차량, 차 내부 통신 등에 안전한 통신을 위해 해시함수, 난수, 공개키, 타임스탬프 및 Password 등을 이용하여 융합 프로토콜을 설계하였다. 정형검증 도구인 Casper/FDR을 이용하여 검증하였으며 제안한 프로토콜이 보안적으로 양호하게 동작되며 외부 공격자의 공격에 안전함을 확인하였다.

그래프 데이터베이스 환경에서 이상징후 탐지를 위한 연관 관계 분석 기법 (Association Analysis for Detecting Abnormal in Graph Database Environment)

  • 정우철;전문석;최도현
    • 융합정보논문지
    • /
    • 제10권8호
    • /
    • pp.15-22
    • /
    • 2020
  • 4차 산업 혁명과 데이터 환경의 급격한 변화는 기존 관계형 데이터베이스(RDB)는 기술적 한계를 드러내고 있다. IDC/금융/보험 등 전 분야에서 비정형 데이터에 대한 새로운 분석방안으로 그래프 데이터베이스(GDB) 기술에 관심이 높아지고 있다. 그래프 데이터베이스는 상호 연동된 데이터를 표현하고 광범위한 네트워크에서 연관 관계 분석에 효율적인 기술이다. 본 연구는 기존 RDB를 GDB 모델로 확장하고, 새로운 이상징후 탐지를 위해 기계학습 알고리즘(패턴인식, 클러스터링, 경로거리, 핵심추출)을 적용하였다. 성능분석 결과 이상 행위 성능(약 180배 이상)이 크게 향상되었고, RDB로 분석 불가능한 5단계 이후 이상징후 패턴을 추출할 수 있음을 확인하였다.

다중 정규 경로 질의 처리를 위한 효율적 기법 (An Efficient Technique for Evaluating Queries with Multiple Regular Path Expressions)

  • 정태선;김형주
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제28권3호
    • /
    • pp.449-457
    • /
    • 2001
  • 최근에 XML이 웹 상에서 문서 교환의 표준으로 등장하면서 XML로 표현된 데이터에 대한 질의 처리 분야가 주목받고 있다. 이때 XML 질의는 그래프로 표현된 데이터 그래프에서 특정 정규식으로 도달되는 객체를 찾는 정규 경로 질의 (regular path query)를 기반으로 한다. 그런데 사용자의 다양한 형태의 질의를 처리하기 위해서는 질의에 하나 이상의 정규 식을 가지는 질의의 처리가 필요함에도 기존의 연구 즉, 비정형 데이터 모델 하에서의 부를 이용한 질의 변환(query rewriting)이나, 질의 최적화 기법에서는 주로 단일 정규식으로 이 루어진 질의를 다루었다. 본 논문에서는 이러한 다중 정규식을 가지는 질의의 처리에서 1. 뷰의 몸체에서 질의 몸체로의 변수 매핑을 통한 질의 변환과정과 2. 변환된 질의의 각 조각 (conjunct)의 질의 결과를 효율적으로 구하고 결과를 조합하는 두 단계로 이루어진 효율적 인 질의 처리 기법을 제안한다. 제안하는 질의 변환 알고리즘이 안전성(soundness)을 가짐 을 보이고, 질의 처리 기법이 기존 질의 처리 방식에 비하여 효율적임을 보인다.

  • PDF

XML 데이타를 위한 객체지향 데이터베이스 스키마 및 질의 처리 (Object-Oriented Database Schemata and Queiy Processing for XML Data)

  • 정태선;박상원;한상영;김형주
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제29권2호
    • /
    • pp.89-98
    • /
    • 2002
  • XML이 웹상에서 정보 교환의 표준으로 채택되면서 XML을 데이타베이스의 데이타로 보고 정보를 추출하는 분야가 주목받고 있다. 특히 최근에는 기존의 DBMS 시스템에 XML 데이타를 저장하여 기존의 DB 엔진으로 XML 질의를 처리하는 분야가 많이 연구되고 있다. 이때 주로 관계형 DBMS를 사용하는 연구가 많이 시도되고 있다. 본 연구에서는 객체 지향 데이타베이스 시스템이 XML 데이타를 저장하고 질의를 처리하는 또 하나의 해법이 될 수 있음을 보인다. 제안하는 방법은 XML의 DTD로부터 OODB의 클래스를 생성하고 이 클래스에 대하여 XML 질의를 수행한다. 특히, XML 데이타의 비정형적인 성질이 OO 모델의 계승(inheritance)을 이용하여 표현되어 질의 처리시에 유용하게 사용될 수 있음을 보인다.

프로폴리스가 X-선에 노출된 마우스 정소에 미치는 방사선 방어 효과 (Radioprotective Effects of Propolis on the Mouse Testis Exposed to X-ray.)

  • 지태정;김종식;정형진;서을원
    • 생명과학회지
    • /
    • 제17권5호
    • /
    • pp.664-670
    • /
    • 2007
  • 프로폴리스는 꿀벌에 의해 생산되는 천연물질로서, 항미생물, 항산화, 항암 활성이 있는 것으로 알려져 있다. 그러나 프로폴리스에 의한 방사선 방어효과에 대한 특성은 잘 연구되지 않았다. 마우스 정소조직을 대상으로 프로폴리스에 의한 방사선 방어효과를 연구하기 위하여, 프로폴리스를 섭식시키거나 복강 투여한 후 각각 방사선을 조사한 후, 마우스의 정소조직을 광학현미경과 전자현미경을 통해 관찰하였다. 그 결과 방사선에 의해 유도된 세포의 변형이 프로폴리스에 의해 회복됨을 알 수 있었다. 또한 이러한 방사선 회복 효과의 분자기전을 이해하고자 DNA microarray 실험을 수행하였다. 그 결과 방사선만 조사한 마우스에 비해 방사선과 프로폴리스를 동시에 처리한 마우스의 정소에서 2배 이상 증가되는 유전자 65개를 선별하였고, 반대로 2배 이상 감소되는 유전자 진4개를 선별하였다. 이중에서 각각의 유전자군에서 2개의 유전자를 선별하여 RT-PCR을 수행하여 마이크로어레이 결과를 검증하였다. 이러한 결과들은 마우스 모델에서 프로폴리스에 의한 방사선 방어효과의 분자기전을 이해하는데 도움이 될 것으로 기대된다.

IoT 환경에서 모바일 기반 빅데이터 처리 및 모니터링 기술 (Mobile-based Big Data Processing and Monitoring Technology in IoT Environment)

  • 이승해;김주호;신동윤;신동진;박정민;김정준
    • 한국인터넷방송통신학회논문지
    • /
    • 제18권6호
    • /
    • pp.1-9
    • /
    • 2018
  • 현재 이슈가 되고 있는 4차 산업혁명에서 다양한 빅데이터 기술들을 통하여 기존의 느린 속도 보다 빠른 분석 결과를 즉각적으로 받아 볼 수 있고, 모바일과 웹에서 실시간 모니터링을 하는 연구를 진행하였다. 먼저 IoT 기기인 Raspberry Pi를 이용하여 다양한 비정형 센서 데이터를 생성하고 센서 데이터를 실시간 수집하고, 수집한 데이터를 여러 개의 노드를 이용해 분산 저장한 뒤 저장된 센서 데이터를 가공, 정제 처리하여 분석 모델 및 알고리즘을 통해 분석 결과를 시각화하여 출력한다. 이러한 방법들을 이용한 진행은 IoT를 이용한 빅데이터 및 모바일 관련 분야에서 필요한 고급 인력을 양성 및 데이터를 효율적이고 빠르게 처리할 수 있다. 또한, 실시간 모니터링을 통하여 연구결과의 신뢰성을 확인할 수 있는 정보를 제공하고자 한다.