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

검색결과 49건 처리시간 0.024초

미래인터넷 테스트베드의 Semi-federated Slice Control을 위한 Plastic Slice의 S/W 모델 (S/W model of Plastic Slice for Semi-federated Slice Control of Future Internet Testbed)

  • 차병래;김종원
    • 한국항행학회논문지
    • /
    • 제16권5호
    • /
    • pp.817-830
    • /
    • 2012
  • 통신 및 컴퓨팅 환경의 급격한 변화 및 다양한 사용자 요구사항의 증대로 인해 현재의 인터넷이 갖는 근본적인 문제를 해결하기 위한 노력으로 미래인터넷 연구가 국내외로 활발히 진행되고 있다. 본 연구에서는 미래 인터넷의 연구 주제인 Federation Job Control에 대한 Plastic Slice의 소프트웨어 모델의 기초 개념과 아이디어를 제안한다.

Slice 모델을 이용한 유한상태머신의 트랜지션 축약 알고리즘 (A Transition Reduction Algorithm of Finite State Machines using Slice Models)

  • 이우진
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제35권1호
    • /
    • pp.12-21
    • /
    • 2008
  • 실생활과 밀접한 환경에서 컴퓨터 시스템의 사용이 늘어남에 따라 이러한 시스템들의 신뢰성, 안전성 등을 철저히 확인할 수 있는 검증 기술의 필요성이 한층 증가되고 있다. 유한상태머신은 이러한 시스템 모델링 및 분석에 활용되는 다양한 정형적 기법의 기본 모델로 널리 이용되고 있으며 효율적인 분석을 위해 내부 이벤트에 대한 추상화 기법이 제공된다. 하지만 기존의 추상화 방법은 유한상태머신 모델을 생성한 후에 적용될 수 있으므로 상태폭발에 효과적으로 대처하지 못하는 문제점이 있다. 이 연구에서는 유한상태머신 정보를 효과적으로 표현할 수 있는 새로운 표기법으로, 병행적 특성을 나타낼 수 있는 slice 모델 개념을 제시하고 이를 근간으로 내부 트랜지션을 축약하는 추상화 알고리즘을 제시한다. 기존의 유한상태머신 기반의 추상화 방법은 모든 상태를 나열하여야만 분석할 수 있는데 반해, 제안된 추상화 방법은 필요한 분석 공간만을 부분적으로 생성함으로 시간 및 공간적인 관점에서 효율적이다.

슬라이스 복잡도 측정을 위한 VFG의 사용 (The Use of VFG for Measuring the Slice Complexity)

  • 문유미;최완규;이성주
    • 한국정보통신학회논문지
    • /
    • 제5권1호
    • /
    • pp.183-191
    • /
    • 2001
  • 본 논문은 데이터 슬라이스에서의 정보 흐름을 모델링하기 위해서 데이터 값 흐름 그래프(VFG: data Value Flow Graph)라고 하는 새로운 데이터 슬라이스(data slice) 표현을 개발한다. 다음으로, VFG에서의 정보 흐름의 복잡도를 측정하기 위해 기존의 흐름 복잡도를 이용하여 슬라이스 복잡도 척도를 정의한다. 본 연구에서는 각 슬라이스에 대한 슬라이스 복잡도와 전체 슬라이스 복잡도 간의 관계를 보여주고, VFG에서의 극소 수정(atomic modification)과 합성 연산자(concatenation operator)를 통해서 슬라이스 복잡도 척도의 스케일(scale) 인자들을 증명한다.

  • PDF

고농도 용액에 침지시 감자 절편의 동력학적 탈수 모델링에 관한 연구 (Kinetic Modeling of Dewatering of Potato Slice When Soaked in Concentrated Solution)

  • 최동원;신해헌
    • 한국식품영양학회지
    • /
    • 제13권5호
    • /
    • pp.477-482
    • /
    • 2000
  • 고분자 물질 용액에 감자 절편을 침지시의 탈수현상을 설명하기 위해 (1) 비정상 상태(unsteadystate)에서의 확산 식을 초기시간에 대해 단순화시킨 모델, (2) 침지시간별로 수분확산계수와 평균확산계수를 비교하여 탈수현상을 설명하고자 한 모델, (3) 물질이동에 대한 Fick의 제2법칙을 무한평판의 조건에서 전체 시간에 대해 전개한 모델 등 3가지 모델을 가정하여 검토한 결과 PEG용액에 감자절편을 침지했을 때 물질이동의 동력학적인 해석은 Fick의 제2법칙에 근거한 모델이 잘 적용되었으며 수분의 확산계수를 추정한 결과 8$\times$$10^{-7}$~4$\times$$10^{-6}$$ extrm{cm}^2$/s 범위였다.

  • PDF

흰쥐 해마절편에서의 간질발작 및 간질모델 (Seizure and Epilepsy Models on Hippocampal Slices of Rats)

  • 권오영
    • Annals of Clinical Neurophysiology
    • /
    • 제1권2호
    • /
    • pp.147-153
    • /
    • 1999
  • Hippocampal slice models can be a powerful tool to study the mechanism of partial epilepsy. Despite the loss of connection with the rest of the brain, in vitro hippocampal slice preparations allow detailed physiological and pharmacological studies, which would be impossible, in vivo. There are several methods to induce electrographic seizures on hippocampal slice models. Those are electrical pulse train stimulation, 0 $Mg^{2+}$ artificial cerebrational fluid and high concentration of extracelluar $K^+$ on bath. Among them, the electrically triggered seizure may mimic the physiological communication between neuronal populations without any deterioration of normal physiologic and chemical status of the hippocampal slice models. Presumably, such communication from hyperexcitable areas to other neuronal populations is involved in the development of epilepsy. Electrographic seizures in hippocampal slice models occur in the network of neurons that are involved in epileptic seizures in the hippocampus in vivo. Because these models have many advantages and are very valuable to research of epileptogenesis on partial epilepsy, I would like to introduce the electrophysiological methods to induce electrographic seizure or epilepsy on hippocampal slice models briefly in this paper.

  • PDF

수송용기 Slice 모델에 의한 열전달시험

  • 방경식
    • 한국원자력학회:학술대회논문집
    • /
    • 한국원자력학회 1995년도 추계학술발표회논문집(1)
    • /
    • pp.339-343
    • /
    • 1995
  • PWR 사용후핵연료 집합체를 운반할 수 있는 수송용기를 개발하기 위하여 단면이 수송용기의 실제 크기인 slice 모델을 사용하여 법규에서 규정하고 있는 정상조건인 주변온도 38$^{\circ}C$에서 냉각 매체로 nitrogen 과 helium 인 경우에 대하여 열시험을 수행하여 수송용기의 열전달 특성 및 핵연료봉의 건전성을 평가하였다. 열시험결과 내부핵연봉의 최대 은도는 각각 448$^{\circ}C$ 와 416$^{\circ}C$로 측정되었다. 이 값들은 핵연료봉의 건전성 유지에 필요한 허용치 이내 만족하는 것으로 수송 용기의 열전달성능이 우수함을 입증하는 것이다.

  • PDF

CT절편두께와 RP방식이 3차원 의학모델 정확도에 미치는 영향에 대한 연구 (Influence of slice thickness of computed tomography and type of rapid protyping on the accuracy of 3-dimensional medical model)

  • 엄기두;이병도
    • Imaging Science in Dentistry
    • /
    • 제34권1호
    • /
    • pp.13-18
    • /
    • 2004
  • Purpose : This study was to evaluate the influence of slice thickness of computed tomography (CT) and rapid protyping (RP) type on the accuracy of 3-dimensional medical model. Materials and Methods: Transaxial CT data of human dry skull were taken from multi-detector spiral CT. Slice thickness were 1, 2, 3 and 4 mm respectively. Three-dimensional image model reconstruction using 3-D visualization medical software (V-works /sup TM/ 3.0) and RP model fabrications were followed. 2-RP models were 3D printing (Z402, Z Corp., Burlington, USA) and Stereolithographic Apparatus model. Linear measurements of anatomical landmarks on dry skull, 3-D image model, and 2-RP models were done and compared according to slice thickness and RP model type. Results: There were relative error percentage in absolute value of 0.97, 1.98,3.83 between linear measurements of dry skull and image models of 1, 2, 3 mm slice thickness respectively. There was relative error percentage in absolute value of 0.79 between linear measurements of dry skull and SLA model. There was relative error difference in absolute value of 2.52 between linear measurements of dry skull and 3D printing model. Conclusion: These results indicated that 3-dimensional image model of thin slice thickness and stereolithographic RP model showed relative high accuracy.

  • PDF

분할편 경계내각 수렴에 의한 사면안정 해석 (Analysis of Slope Stability by Applying the Convergence of the Interstice Forces)

  • 김팔규;김규문
    • 한국지반공학회지:지반
    • /
    • 제3권4호
    • /
    • pp.21-30
    • /
    • 1987
  • 본 논문은 분할법을 이용한 사면안정 해석방법에 환한 것으로서 분학편에 작용하는 내력을 경계면에 연직인 수직내력과 저면에 평행인 경사내력으로 상이하게 가정하여 각각에 대한 해법을 개발하였다. 본 해법에서는 가정으로 인하여 발생되는 내력오차를 변론각전에서 소거하였으며 내력의 작용위치를 결정하므로서 보다 펑밀한 안전률을 구하였다. 해석방법의 타당성 검토를 위해 사면모델을 설정하여 분석한 결과, 본 인법 중 경사내력으로 가정 한희석방법이 보다 합리적이며 타륜함을 입증할 수 있었다. 토한 증존역법의 안전본긱 비교하여 상호관계를 조사하였으며 지뇌계수에 의한 영향도 분석하였다.

  • PDF

SIFG를 이용한 프로그램 복잡도 척도 (A Program Complexity Measure using the Slice-based Information Flow Graph(SIFG))

  • 최완규;정일용;이성주
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제28권12호
    • /
    • pp.910-920
    • /
    • 2001
  • 본 논문은 프로그램 슬라이스에서의 데이타 토큰들의 정보 흐름에 기초하여 프로그램에서의 정보 흐름을 모델링하기 SIF(Slice-based Information Flow Graph)를 개발하였다 다음으로, SIFG에서 의 정보 흐름의 복잡도 측정을 통해서 프로그램의 복잡도를 측정하기 위해 SCM(Slice based Complexity Measure)을 정의하였다. Zuse의 방법에 따라. 본 연구에서는 SIFC에서의 극소 수정(atomic modifica- tion을 통해 SCM이 순서척도가 됨을 보여주었고, 이항 연산 MBSEQ에 대해서 SCM이 가법성을 만족함을 보여주었고, 이항 연산 MBALP 에 대해서는 Zuse의 가법성을 만족하지 않지만 Weyuker의 9번째 공리를 만족함을 보여주었다. 또한 기존 척도들과의 비교를 통해서. SCM이 프로그램 내에서의 제어와 데이타 흐름뿐만 아니라 프로그램의 물리적 크기를 반영하는 측정이 이루어진다는 것을 보여주었다.

  • PDF