• 제목/요약/키워드: pNET

검색결과 1,106건 처리시간 0.032초

페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석 (Compositional Analysis of Petri Net Models using Petri net Slices)

  • 이우진;차성덕;권용래;김흥남
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제27권3호
    • /
    • pp.210-216
    • /
    • 2000
  • Place/Transition(P/T) nets은 병행성 기술이 용이하고 도달성 분석 등 다양한 분석 방법이 제공되므로 프로토콜, 병행적 시스템 검증 등에 많이 이용되어 왔으며 또한 실시간 시스템, 객체지향 시스템 등 다양한 분야에 이용되는 고급 Petri nets과 객체 지향 Petri nets 등의 기반 정형적 기법으로 이용되고 있다. 하지만 P/T nets과 확장된 Petri nets 등에서는 모델에 내재된 병행성을 다루지 않으면 복잡한 병행적 모델의 도달성 분석 시에 시스템 상태가 급증하는 상태 폭발(state explosion)이 발생할 수 있다. 이 연구에서는 다양한 확장된 고급 Petri nets의 근간이 되는 P/T net 모델에서 구조적 병행성을 정의하고 이를 기반으로 시스템을 병행적인 단위로 분할, 합성적인 도달성 그래프를 생성하는 방법을 제시하여 복잡한 P/T net 모델을 효율적으로 분석할 수 있는 방법을 제시한다. 그리고 합성적 도달성 그래프를 이용하여 플레이스의 유한성, 트랜지션의 수행가능성 등의 특성을 효율적으로 분석할 수 있도록 한다. 이러한 분할 분석 기법은 P/T net 모델 뿐만 아니라 P/T nets에 기반을 두고 있는 모든 고급 Petri net model 분석에도 이용될 수 있다.

  • PDF

2층 다단 신경망회로 코어넷의 처리용량에 관한 연구 (The Capacity of Core-Net : Multi-Level 2-Layer Neural Networks)

  • 박종준
    • 한국정보처리학회논문지
    • /
    • 제6권8호
    • /
    • pp.2098-2115
    • /
    • 1999
  • 신경망 회로의 해석에서 아직 해결하지 못하는 부분이 은닉층(hidden layer)의 해석이다. 본 논문에서는 신경망 회로의 기본적인 구성회로로써 하나의 입력(p levels)과 하나의 출력(q levels)을 갖는 2-layer Core-Net를 정의하고, 이 Core-Net의 처리 가능 용량(the capacity)은 2차원 무게값 공간(weight space)을 나눌 수 있는 영역의 수로, {{{{ {a}_{p,q} = {{q}^{2}} over {2}p(p-1)- { q} over {2 } (3 { p}^{2 } -7p+2)+ { p}^{2 }-3p+2}}}}임을 수학적 귀납법으로 증명하였다. 이 Core-Net로 신경망 회로의 중간층 해석이 가능함을 시뮬레이션 예제를 통하여 보였다.

  • PDF

광량 및 광질이 고려인삼의 생육과 품질에 미치는 영향 III. 광량이 인삼품질에 미치는 영향 (Effect of Light Intensity and Quality on the Growth and Quality of Korean Ginseng (Panax ginseng C.A. Meyer) III. Effects of Light Intensity on the Quality of Ginseng Plant)

  • 천성기;목성균;이성식
    • Journal of Ginseng Research
    • /
    • 제15권2호
    • /
    • pp.144-151
    • /
    • 1991
  • This study was conducted to elucidate the effects of light intensity using polyethylene (p.E) net shading on the specific gravity, red ginseng quality, sugar and saponin contents of ginseng root. The specific gravity significantly increased in the ginseng roots grown under the P.E net shading as compared with that of common straw shading. The red ginseng quality under the P.E net shading was improved in order of 10, 5, 15, 20, 30% of light intensity and the inside cavity and inside white part decreased remarkably as compared with those of common straw shading. The ginseng roots grown under the P.E net shading at 10% and 15% light intensity showed a significant increase in the total sugar content but a significant decrease in the reducing sugar content at 15% light intensity as compared with those of common straw shading. The amount of total saponin of ginseng roots was increased under the P.E net shading at high light intensity as compared with that of common straw shading and the ginseng roots grown under the P.E net shading at 10% light intensity showed an increase in the diol group saponin but the ratio of PT/PD was decreased. Extract contents of ginseng root under the P.E net shading was higher than those of common straw shading and the roots grown under the P.E net shading at 15% and 20% light intensity resulted in a remarkable increase in extract contents.

  • PDF

조류가 강한 서해 하구에서 수동어구를 이용한 하구역 유영생물의 효율적 채집 (Effective sampling of estuarine fauna by a passive net in theWest Sea of Korea occurring strong tide)

  • 황선도;임양재
    • 수산해양기술연구
    • /
    • 제47권4호
    • /
    • pp.338-343
    • /
    • 2011
  • To obtain the effective sampling estuarine fauna by a passive net in the West Sea of Korea occurring strong tide, catch were collected by bag nets with various sampling trials off Ganghwa Island in November 2009. We compared the difference of community structures (on spring tide vs. neap tide, total sample vs. subsample and 4 nets vs. 1 net) with each species composition as a sampling unit by the Pearson chi-square test. Number of individual at the spring tide was more abundant than that at the neap tide (p<0.0001) although number of species at the spring tide was not significantly different with that at the neap tide (p=0.174). Both number of species (p=0.138) and number of individual (p=0.096) were not significantly different between total sample and random subsample. Number of species was not significantly different between the subsample by 1 net and the subsample by 4 nets (p=0.515), but number of individual was a little different on both samples (p=0.024). In conclusion, we suggest the subsample by 1 net at spring tide as the effective sampling estuarine fauna by a passive net in the West Sea occurring strong tide.

지역성과 지연시간 기반의 P2P 스트리밍 시스템 구현 (Implementation of P2P Streaming System Based on Locality and Delay)

  • 안선희;박승철
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2009년도 추계학술대회
    • /
    • pp.116-119
    • /
    • 2009
  • 본 논문에서는 실시간 상호작용이 요구되는 커뮤니티 TV 서비스를 위한 P2P 스트리밍 서비스를 설계하고 구현하였다. 대화 기반의 커뮤니티 TV 서비스는 짧은 지연시간의 스트리밍 서비스를 요구하기 때문에 지연시간이 짧은 트리 방식의 P2P 네트워크를 구축하고 종단간 지연 시간 한계 내에 사용자들이 원활한 커뮤니티 서비스를 받을 수 있게 구현하였다. 본 연구에서 P2P 네트워크는 지역성과 종단간 지연시간을 이용한 알고리즘을 사용하여 구성된다. 본 논문의 P2P 스트리밍 시스템은 웹서버와 애플리케이션으로 구성되며 각각 ASP.Net, C#.Net으로 구현되었다.

  • PDF

QualNet 기반의 WAVE 물리계층 연동 시뮬레이션 방안 (QualNet based Linked Simulation Method for WAVE Physical Layer)

  • 곽재민;박경원
    • 한국항행학회논문지
    • /
    • 제13권3호
    • /
    • pp.351-357
    • /
    • 2009
  • 본 논문에서는 QualNet에 Matlab으로 구현해 놓은 WAVE 채널 모델과 물리계층 시뮬레이션 모듈을 효과적으로 연동시킬 수 있는 방안을 연구하였다. 우선, QualNet 시뮬레이터에서 사용하는 간소화된 무선 물리계층 및 통신매체의 구현 방법에 대해 검토 후, QualNet 네트워크 시뮬레이터가 상세한 다중경로 페이딩 모델과 IEEE802.11p 통신 모뎀이 구현된 이종의 물리계층 시뮬레이션 모듈을 도입하기 위한 실질적인 방안을 제시하였다. 본 논문의 결과는 차세대 DSRC 규격인 WAVE를 위한 상위계층에서부터 하위 물리계층 링크를 통합시뮬레이션 하는 링크 시뮬레이션 기법으로 활용될 것이다.

  • PDF

계층적 P2P에서의 근거리 기반 효율적 자원관리 기법 (A Locality based Resource Management Scheme for Hierarchical P2P Overlay Network in Ubiquitous Computing)

  • 홍충표;김정길;김신덕
    • 디지털콘텐츠학회 논문지
    • /
    • 제14권1호
    • /
    • pp.89-95
    • /
    • 2013
  • 유비쿼터스 분야에서는 다양한 형태의 P2P 시스템을 분산환경을 위하여 연구하고 있다. 분산해쉬테이블(DHT)기반의 P2P 시스템은 부하조절을 통한 효율적 기법으로 제시되고 있는 반면 이동성과 근거리 기반의 자원 활용을 보장하지는 못하는 문제점을 가지고 있다. 본 연구에서는 이를 극복하기 위하여 이동상황에서의 근거리 기반 P2P 시스템 (MLH-Net)을 제안한다. 이는 이동성에 기반하여 두 개의 계층으로 이루어져 있다. 상위 계층의 경우 super node를 통한 전체적인 관리를 담당하며, 하위 계층의 경우 일반 노드의 망으로 구성되어 있다. 제시하는 방법을 종래의 JXTA 및 Chord 와 비교 실험 한 결과 node의 발견 시 메시지 이동 hop은 JXTA 대비 13% 및 Chord 대비 69% 감소되었으며, 네트워크 거리의 경우도 각각 17% 및 83% 감소되는 효과를 확인 하였다.

U-Net 모델에 기반한 기간별 추출 소나무 고사목 데이터를 이용한 정사영상 탐지 정밀도 향상 연구 (A Study on Orthogonal Image Detection Precision Improvement Using Data of Dead Pine Trees Extracted by Period Based on U-Net model)

  • 김성훈;권기욱;김준현
    • 한국측량학회지
    • /
    • 제40권4호
    • /
    • pp.251-260
    • /
    • 2022
  • 소나무 재선충 피해나무는 줄어들고 있으나, 피해 지역은 전국으로 확대되고 있다. 최근에 딥러닝 기술이 발전하면서 소나무재선충 고사목 탐지 연구에 적용이 빠르게 시도되고 있다. 본 연구의 목적은 딥러닝 학습데이터의 효과적인 취득과 정확한 참값을 확보하고, 학습을 통해 U-Net 모델의 탐지능력을 보다 향상시키기 위함이다. 이러한 목적달성을 위해 단계별 딥러닝 알고리즘을 적용한 필터링 방법을 이용하여 딥러닝 모델의 불명확한 분석 근거를 최소화하고, 효율적인 분석 및 판단을 할 수 있도록 하였다. 분석결과 U-Net알고리즘을 이용한 소나무재선충 고사목 탐지 및 성능향상에 있어 기간별로 분석한 참값을 이용한 U-Net 모델이 기존에 제공하였던 참값을 이용한 U-Net 모델보다 재현율(Recall)은 -0.5%p, 정밀도(Precision)은 7.6%p, F-1 score는 4.1%p로 분석되었다. 향후 다양한 필터링 기법을 적용하여 재선충 탐지 정밀도를 높일 수 있는 가능성이 있을 것으로 판단되며, 드론 정사영상과 인공지능을 이용한 드론 예찰방법이 소나무재선충 방제 사업에 활용 가능할 것으로 판단된다.

Rumen Parameters and Urea Kinetics in Goats and Sheep

  • Darlis, N. Abdullah;Halim, R.A.;Jalaludin, S.;Ho, Y.W.
    • Asian-Australasian Journal of Animal Sciences
    • /
    • 제13권7호
    • /
    • pp.922-928
    • /
    • 2000
  • The effects of animal species and supplements on rumen fluid characteristics, plasma urea-N (PUN) concentration, plasma urea-N pool size, urea-N degradation in the gut and urea-N net flux (urea-N synthesis rate) were studied in goats and sheep, with some minor differences detected. The animals were fed either chopped rice straw ad libitum+200 g soybean meal (SBM), or chopped rice straw ad libitum+190 g soybean meal+300 g sago meal (SBM+SM) for 14 days. The supplements were isonitrogenous (80 g crude protein/animal/d). [$^{14}C$]-urea was used as the marker for urea metabolism studies. Two animals from each species were fed either supplement in a cross-over design in two periods. The results showed that rumen pH was significantly (p<0.001) lower in animals fed SBM+SM than those fed SBM supplement. The ammonia concentrations of rumen fluid were significantly (p<0.01) higher in sheep (382.9 mg N/L) than goats (363.1 mg N/L) when fed SBM supplement but lower (282.5 mg N/L) than that of goats (311.0 mg N/L) when fed SBM+SM supplement. Total VFA concentrations were significantly (p<0.05) higher in animals fed SBM+SM supplement than those fed SBM supplement. Goats had significantly (p<0.01) higher molar proportions of acetate (79.1, 77.7%, respectively) than sheep (75.8, 74.0%, respectively) in both supplements. The molar proportion of acetate was significantly (p<0.05) higher, while that of butyrate lower in animals fed SBM supplement than those fed SBM+SM supplement. In animals fed SBM supplement, the molar proportion of propionate was significantly (p<0.01) higher in sheep (18.0%) than in goats (15.6%), but in animals fed SBM+SM, the molar proportion of butyrate was significantly (p<0.01) higher (9.6%) in sheep than in goats (7.2%). Plasma urea-N concentration, plasma urea-N pool size, urea-N degradation in the gut, urea-N net flux and the fraction of urea-C from the blood entering the rumen were not significantly different between goats and sheep fed either supplement. However, PUN concentration was significantly (p<0.05) lower in animals fed SBM+SM supplement (average of 13.8 mg N/100 ml) than in those fed SBM supplement (average of 16.5 mg N/100 ml). The urea net flux was significantly (p<0.05) higher in goats (average of 14.5 g N/d) than sheep (average of 12.9 g N/d), and animals fed SBM supplement showed higher (average of 14.9 g N/d) urea net flux than animals fed SBM+SM supplement (average of 12.9 g N/d). A significant (p<0.05) positive correlation was observed between urea-N net flux and urea-N degradation; urea-N net flux and pool size; urea-N net flux and urea excretion in the urine; and PUN and rumen ammonia in goats. While in sheep, significant (p<0.05) positive correlation was observed between urea-N net flux and urea excretion in the urine; and PUN and rumen ammonia.

계층적 P2P 시스템의 효율적 관리를 위한 네트워크 거리 기반 운영 기법 (An Efficient Management Scheme of Hierarchical P2P System based on Network Distance)

  • 홍충표;김정길;김신덕
    • 정보통신설비학회논문지
    • /
    • 제10권4호
    • /
    • pp.121-127
    • /
    • 2011
  • Many peer-to-peer (p2p) systems have been studied in distributed, ubiquitous computing environments. Distributed hash table (DHT)-based p2p systems can improve load-balancing even though locality utilization and user mobility are not guaranteed. We propose a mobile locality-based hierarchical p2p overlay network (MLH-Net) to address locality problems without any other services. MLH-Net utilizes mobility features in a mobile environment. MLH-Net is constructed as two layers, an upper layer formed with super-nodes and a lower layer formed with normal-nodes. Because super-nodes can share advertisements, we can guarantee physical locality utilization between a requestor and a target during any discovery process. To overcome a node failure, we propose a simple recovery mechanism. The simulation results demonstrate that MLH-Net can decrease discovery routing hops by 15% compared with JXTA and 66% compared with Chord.

  • PDF