4,902 research outputs found

    Analisis Keseimbangan Lintasan untuk Menciptakan Proses Produksi Pump Packaging Systems yang Efisien di PT. Bumi Cahaya Unggul

    Get PDF
    Ketidakseimbangan dalam pembagian beban kerja dengan adanya waktu tugas stasiun kerja yang menjadi bottleneck dapat mengakibatkan terjadinya peningkatan balance delay yang merugikan Perusahaan. Tujuan dalam penelitian ini adalah membuat keseimbangan lintasan untuk menciptakan proses produksi pump packaging systems yang efisien, dengan adanya perbaikan cycle time yang lebih singkat, peningkatan efisiensi lintasan produksi, mengurangi kerugian keseimbangan, meminimasi idle time dan peningkatan kapasitas produksi. Metodologi yang digunakan untuk memecahkan permasalahan adalah line balancing dengan menggunakan pendekatan metode Ranked Position Weight dan Heuristic Moodie-Young yang dilakukan dengan membuat pengaturan keadaan lintasan produksi untuk menciptakan pembagian beban kerja yang seimbang, sehingga setiap work station diharapkan mempunyai waktu tugas yang sama. Penelitian ini dilaksanakan di PT. Bumi Cahaya Unggul sebuah Perusahaan penyedia pompa. Hasil penelitian ini adalah tingkat efisiensi proses produksi Perusahaan masih belum optimal, ditandai dengan terjadinya ketidakseimbangan pembagian beban kerja akibat dari waktu tugas stasiun kerja yang menjadi bottle neck. Melalui penerapan metode line balancing, Ranked Position Weight dan Heuristic Moodie-Young dapat memberikan hasil yang signifikan yaitu peningkatan efisiensi lintasan produksi dan peningkatan kapasitas produksi

    Thermal stability and nitrogen redistribution in the〈Si〉/Ti/W–N/Al metallization scheme

    Get PDF
    Backscattering spectrometry, Auger electron spectroscopy, and x‐ray diffraction have been used to monitor the thin‐film reactions and nitrogen redistribution in the 〈Si〉/Ti/W–N/Al metallization system. It is found that nitrogen in the W–N layer redistributes into Ti after annealing at temperatures above 500 °C. As a consequence of this redistribution of nitrogen, a significant amount of interdiffusion between Al and the underlayers is observed after annealing at 550 °C. This result contrasts markedly with that for the 〈Si〉/W–N/Al system, where no interdiffusion can be detected after the same thermal treatment. We attribute this redistribution of nitrogen to the stronger affinity of Ti for nitrogen than W. If the Ti layer is replaced by a sputtered TiSi_(2.3) film, no redistribution of nitrogen or reactions can be detected after annealing at 550 °C for 30 min

    New free-air and Bouguer gravity fields of Taiwan from multiple platforms and sensors

    Get PDF
    We construct 1' × 1' grids of free-air and Bouguer gravity anomalies around Taiwan with well-defined error estimates for quality assessment. The grids are compiled from land, airborne and shipborne gravity measurements, augmented with altimeter gravity at sea. Three sets of relative land gravity measurements are network-adjusted and outlier-edited, yielding accuracies of 0.03–0.09 mGal. Three airborne gravity sets are collected at altitudes 5156 and 1620 m with accuracies of 2.57–2.79 mGal. Seven offshore shipborne gravity campaigns around Taiwan and its offshore islands yield shallow-water gravity values with 0.88–2.35 mGal accuracies. All data points are registered with GPS-derived geodetic coordinates at cm–dm accuracies, allowing for precise gravity reductions and computing gravity disturbances. The various datasets are combined by the band-limited least-squares collocation in a one-step procedure. In the eastern mountainous (or offshore) region, Bouguer anomalies and density contrasts without considering the oceanic (or land) topographic contribution are underestimated. The new grids show unprecedented tectonic features that can revise earlier results, and can be used in a broad range of applications

    Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications

    Full text link
    This paper presents a transformational approach for model checking two important classes of metric temporal logic (MTL) properties, namely, bounded response and minimum separation, for nonhierarchical object-oriented Real-Time Maude specifications. We prove the correctness of our model checking algorithms, which terminate under reasonable non-Zeno-ness assumptions when the reachable state space is finite. These new model checking features have been integrated into Real-Time Maude, and are used to analyze a network of medical devices and a 4-way traffic intersection system.Comment: In Proceedings RTRTS 2010, arXiv:1009.398

    Ground-Penetrating Radar Theory and Application of Thin-Bed Offset-Dependent Reflectivity

    Get PDF
    Offset-dependent reflectivity or amplitude-variationwith- offset (AVO) analysis of ground-penetrating radar (GPR) data may improve the resolution of subsurface dielectric permittivity estimates. A horizontally stratified medium has a limiting layer thickness below which thin-bed AVO analysis is necessary. For a typical GPR signal, this limit is approximately 0.75 of the characteristic wavelength of the signal. Our approach to modeling the GPR thin-bed response is a broadband, frequency-dependent computation that utilizes an analytical solution to the three-interface reflectivity and is easy to implement for either transverse electric (TE) or transverse magnetic (TM) polarizations. The AVO curves for TE and TM modes differ significantly. In some cases, constraining the interpretation using both TE and TM data is critical. In two field examples taken from contaminated-site characterization data, we find quantitative thin-bed modeling agrees with the GPR field data and available characterization data
    corecore