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

검색결과 76건 처리시간 0.02초

Checking liveness in petri nets using synchronic variables

  • Koh, Inseon;DiCesare, Frank
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 22-24 Oct. 1991
    • /
    • pp.1811-1816
    • /
    • 1991
  • In this paper we present how the deviation bound, which is a synchronic variable, can be used for checking liveness in Petri nets. Also, the deviation bound will be applied to detect or avoid deadlock situations and to characterize concurrency against sequential behaviors in automated manufacturing systems. In the current stage, we restrict the applicable domain of these methods to the Petri net structure that can be synthesized by combining common transitions or common places or common paths of Live-and-Bounded circuits.

  • PDF

Effect of ZnO Nano Particles on Thermal Stabilization of Polymers (고분자에 대한 산화아연(ZnO) 나노입자의 열안정화 효과)

  • ;;;R. W. Siegel;L. S. Schadler
    • Proceedings of the Korean Fiber Society Conference
    • /
    • 한국섬유공학회 2002년도 봄 학술발표회 논문집
    • /
    • pp.171-172
    • /
    • 2002
  • 나노미터 규모의 작은 충전제 입자는 마이크로 미터 규모의 일반적인 충전제 입자에 비해서 많은 다른 점이 발견되어 왔다. 이 연구에서는 최근에 알게된 입경이 100nm 이하인 ZnO 입자가 radical 중합된 고분자의 열안정성을 향상시키는 현상을 보다 자세하게 연구한 것이다. HDPE, LDPE, LLDPE, PP 및 PS를 열분해가 아주 느리게 일어나는 낮은 RPM으로 Haake사의 Torque Rheometer의 internal mixer 안에서 녹인 후 평균입경 49nm인 ZnO 나노입자를 약4분간 충부히 분산되도록 혼합하고 50 RPM으로 혼합속도를 높여서 시간에 따른 Trque의 변화를 측정하므로써 열안정성 효과를 관찰하였다. (중략)

  • PDF

Mass Spectrometry in the Determination of Glycosylation Site and N-Glycan Structures of Human Placental Alkaline Phosphatase

  • Solakyildirim, Kemal;Li, Lingyun;Linhardt, Robert J.
    • Mass Spectrometry Letters
    • /
    • 제9권3호
    • /
    • pp.67-72
    • /
    • 2018
  • Alkaline phosphatase (AP) is a membrane-bound glycoprotein that is widely distributed in the plasma membrane of cells of various organs and also found in many organisms from bacteria to humans. The complete amino acid sequence and three-dimensional structure of human placental alkaline phosphatase have been reported. Based on the literature data, AP consists of two presumptive glycosylation sites, at Asn-144 and Asn-271. However, it only contains a single occupied N-linked glycosylation site and no occupied O-linked glycosylation sites. Hydrophilic interaction chromatography (HILIC) has been primarily employed for the characterization of the glycan structures derived from glycoproteins. N-glycan structures from human placental alkaline phosphatase (PLAP) were investigated using HILIC-Orbitrap MS, and subsequent data processing and glycan assignment software. 16 structures including 10 sialylated N-glycans were identified from PLAP.

Multiscale modeling of the anisotropic shock response of β-HMX molecular polycrystals

  • Zamiri, Amir R.;De, Suvranu
    • Interaction and multiscale mechanics
    • /
    • 제4권2호
    • /
    • pp.139-153
    • /
    • 2011
  • In this paper we develop a fully anisotropic pressure and temperature dependent model to investigate the effect of the microstructure on the shock response of ${\beta}$-HMX molecular single and polycrystals. This micromechanics-based model can account for crystal orientation as well as crystallographic twinning and slip during deformation and has been calibrated using existing gas gun data. We observe that due to the high degree of anisotropy of these polycrystals, certain orientations are more favorable for plastic deformation - and therefore defect and dislocation generation - than others. Loading along these directions results in highly localized deformation and temperature fields. This observation confirms that most of the temperature rise during high rates of loading is due to plastic deformation or dislocation pile up at microscale and not due to volumetric changes.

Dynamic Network Provisioning for Time-Varying Traffic

  • Sharma, Vicky;Kar, Koushik;La, Richard;Tassiulas, Leandros
    • Journal of Communications and Networks
    • /
    • 제9권4호
    • /
    • pp.408-418
    • /
    • 2007
  • In this paper, we address the question of dynamic network provisioning for time-varying traffic rates, with the objective of maximizing the system throughput. We assume that the network is capable of providing bandwidth guaranteed traffic tunnels for an ingress-egress pair and present an approach that (1) updates the tunnel routes and (2) adjusts the tunnel bandwidths, in an incremental, adaptive manner, based on the variations in the incoming traffic. First, we consider a simpler scenario where tunnel routes are fixed, and present an approach for adjusting the tunnel bandwidths dynamically. We show, through simulations, that our dynamic bandwidth assignment algorithm significantly outperforms the optimal static bandwidth provisioning policy, and yields a performance close to that of the optimal dynamic bandwidth provisioning policy. We also propose an adaptive route update algorithm, which can be used in conjunction with our dynamic bandwidth assignment policy, and leads to further improvement in the overall system performance.

SELECTED ADVANCES IN SHEET MATERIAL FORMING

  • Lee, Daeyong-
    • Proceedings of the Korean Society for Technology of Plasticity Conference
    • /
    • 한국소성가공학회 1994년도 박판성형기술의 진보
    • /
    • pp.1-9
    • /
    • 1994
  • Three recent developments made at Rensselaer in sheet material forming processes are briefly reviewed in this paper. These advances represent three broad disciplines of Process Simulation, Forming Processes, and Computer-Aided Measurement Methods. The first development deals with simple and quick computer simulation of 2D sheet forming process without depending on popular finite element analysis methods. An analytical method based on a thin shell theory accounts for bending and unbending effects, and is capable of simulating practical sheet metal forming processes under the plane strain condition. The second area is concerned with innovative methods to improve formability of sheet materials by temperature gradient forming. The drawing limit is increased by such an improved temperature gradient forming process. The third and final area deals with a totally new experimental technique to capture 3D geometry data and measure strain distributions of sheet metal parts using a digital 35mm SLR camera.

A Survey on Hotel Yield Management Utilization and its Statistical Analysis

  • Kim, AukBrian;Kim, Won-Joong;Adnan Ozyilmaz
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • 제24권68호
    • /
    • pp.67-84
    • /
    • 2001
  • Hotel industry publications demonstrate a keen interest in the revenue enhancing potential of yield management, but there has been little research on the extent to which this pricing technique is actually utilized by hotel general managers. This research tests the proposition that there are eight basic elements of yield management in hotels. The degree to which yield management is practiced is indicated by the extent that these eight elements are in place. It was found that there is a positive relationship between a managers perception of his or her own yield management utilization and the extent to which the eight elements are used. It was also found, however, that while 77% of hotels claim to be utilizing yield management techniques extensively, very few are using all of the basic elements in their efforts to maximize revenue.

  • PDF