Surface effects of corrosive media on hardness, friction, and wear of materials

Hardness, friction, and wear experiments were conducted with magnesium oxide exposed to various corrosive media and also with elemental iron and nickel exposed to water and NaOH. Chlorides such as MgCl2 and sodium containing films were formed on cleaved magnesium oxide surfaces. The MgCl2 films softened the magnesium oxide surfaces and caused high friction and great deformation. Hardness was strongly influenced by the pH value of the HCl-containing solution. The lower the pH, the lower the microhardness. Neither the pH value of nor the immersion time in NaOH containing, NaCl containing, and HNO3 containing solutions influenced the microhardness of magnesium oxide. NaOH formed a protective and low friction film on iron surfaces. The coefficient of friction and the wear for iron were low at concentrations of NaOH higher than 0.01 N. An increase in NaOH concentration resulted in a decrease in the concentration of ferric oxide on the iron surface. It took less NaOH to form a protective, low friction film on nickel than on iron

Sequent Calculus in the Topos of Trees

Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that the semantics of the propositional fragment of this logic can be given by linear converse-well-founded intuitionistic Kripke frames, so this logic is a marriage of the intuitionistic modal logic KM and the intermediate logic LC. We therefore call this logic $\mathrm{KM}_{\mathrm{lin}}$. We give a sound and cut-free complete sequent calculus for $\mathrm{KM}_{\mathrm{lin}}$ via a strategy that decomposes implication into its static and irreflexive components. Our calculus provides deterministic and terminating backward proof-search, yields decidability of the logic and the coNP-completeness of its validity problem. Our calculus and decision procedure can be restricted to drop linearity and hence capture KM.Comment: Extended version, with full proof details, of a paper accepted to FoSSaCS 2015 (this version edited to fix some minor typos

Applying System Dynamics Approach to the Fast Fashion Supply Chain: Case Study of an SME in Indonesia

The fashion industry is the biggest contributor among the 14 creative industries in Indonesia. Nowadays many apparel companies are shifting toward the vertical integration. Since speed is everything to be successful in the apparel industry, fast fashion retailers must quickly respond to the market demand. This papers aims to develop a model of the supply chain of a small and medium scale enterprise (SME) of an apparel company in Indonesia and to propose a decision support system using System Dynamics (SD) and helps the management to identify the best business strategy. Simulated scenarios can help the management to identify the most appropriate policy to be applied in the future. Case study method was used in this research where data were collected from a typical fast fashion firm in Indonesia that produces its own wares ranging from raw materials to be ready-to-wear clothes, has three stores, a warehouse and is running online sales system. We analyses the result of many simulations in a fashion company from an operational point of view and from them we derive suggestions about the future business strategy in a small and medium fashion company in Indonesia

Chandra survey in the AKARI North Ecliptic Pole Deep Field. I. X-ray data, point-like source catalog, sensitivity maps, and number counts

We present data products from the 300 ks Chandra survey in the AKARI North Ecliptic Pole (NEP) deep field. This field has a unique set of 9-band infrared photometry covering 2-24 micron from the AKARI Infrared Camera, including mid-infrared (MIR) bands not covered by Spitzer. The survey is one of the deepest ever achieved at ~15 micron, and is by far the widest among those with similar depths in the MIR. This makes this field unique for the MIR-selection of AGN at z~1. We design a source detection procedure, which performs joint Maximum Likelihood PSF fits on all of our 15 mosaicked Chandra pointings covering an area of 0.34 square degree. The procedure has been highly optimized and tested by simulations. We provide a point source catalog with photometry and Bayesian-based 90 per cent confidence upper limits in the 0.5-7, 0.5-2, 2-7, 2-4, and 4-7 keV bands. The catalog contains 457 X-ray sources and the spurious fraction is estimated to be ~1.7 per cent. Sensitivity and 90 per cent confidence upper flux limits maps in all bands are provided as well. We search for optical MIR counterparts in the central 0.25 square degree, where deep Subaru Suprime-Cam multiband images exist. Among the 377 X-ray sources detected there, ~80 per cent have optical counterparts and ~60 per cent also have AKARI mid-IR counterparts. We cross-match our X-ray sources with MIR-selected AGN from Hanami et al. (2012). Around 30 per cent of all AGN that have MID-IR SEDs purely explainable by AGN activity are strong Compton-thick AGN candidates.Comment: 23 pages, 20 figures; catalogs, sensitivity maps, and upper limit flux maps are available from the VizieR Servic

New Lithium Measurements in Metal-Poor Stars

We provide *lambda*6708 Li 1 measurements in 37 metal-poor stars, most of which are poorly-studied or have no previous measurements, from high-resolution and high-S/N spectroscopy obtained with the McDonald Observatory 2.1m and 2.7m telescopes. The typical line strength and abundance uncertainties, confirmed by the thinness of the Spite plateau manifested by our data and by comparison with previous measurements, are <=4 mAng and <=0.07-0.10 dex respectively. Two rare moderately metal-poor solar-Teff dwarfs, HIP 36491 and 40613, with significantly depleted but still detectable Li are identified; future light element determinations in the more heavily depeleted HIP 40613 may provide constraints on the Li depletion mechanism acting in this star. We note two moderately metal-poor and slightly evolved stars, HIP 105888 and G265-39, that appear to be analogs of the low-Li moderately metal-poor subgiant HD 201889. Preliminary abundance analysis of G 265-39 finds no abnormalities that suggest the low Li content is associated with AGB mass-transfer or deep mixing and p-capture. We also detect line doubling in HIP 4754, heretofore classified as SB1.Comment: Accepted for publication in PASP, volume 912 (Feb 2012) 15 pages, 3 figures, 2 table

Galactic Wind in the Nearby Starburst Galaxy NGC 253 Observed with the Kyoto3DII Fabry-Perot Mode

We have observed the central region of the nearby starburst galaxy NGC 253 with the Kyoto Tridimensional Spectrograph II (Kyoto3DII) Fabry-Perot mode in order to investigate the properties of its galactic wind. Since this galaxy has a large inclination, it is easy to observe its galactic wind. We produced the Ha, [N II]6583, and [S II]6716,6731 images, as well as those line ratio maps. The [N II]/Ha ratio in the galactic wind region is larger than those in H II regions in the galactic disk. The [N II]/Ha ratio in the southeastern filament, a part of the galactic wind, is the largest and reaches about 1.5. These large [N II]/Ha ratios are explained by shock ionization/excitation. Using the [S II]/Ha ratio map, we spatially separate the galactic wind region from the starburst region. The kinetic energy of the galactic wind can be sufficiently supplied by supernovae in a starburst region in the galactic center. The shape of the galactic wind and the line ratio maps are non-axisymmetric about the galactic minor axis, which is also seen in M82. In the [N II]6583/[S II]6716,6731 map, the positions with large ratios coincide with the positions of star clusters found in the Hubble Space Telescope (HST) observation. This means that intense star formation causes strong nitrogen enrichment in these regions. Our unique data of the line ratio maps including [S II] lines have demonstrated their effectiveness for clearly distinguishing between shocked gas regions and starburst regions, determining the extent of galactic wind and its mass and kinetic energy, and discovering regions with enhanced nitrogen abundance.Comment: 22 pages, 5 figures, 1 table, accepted for publication in Ap

Competing Ground States in Triple-layered Sr4Ru3O10: Verging on Itinerant Ferromagnetism with Critical Fluctuations

Sr4Ru3O10 is characterized by a sharp metamagnetic transition and ferromagnetic behavior occurring within the basal plane and along the c-axis, respectively. Resistivity at magnetic field, B, exhibits low-frequency quantum oscillations when B||c-axis and large magnetoresistivity accompanied by critical fluctuations driven by the metamagnetism when B^c-axis. The complex behavior evidenced in resistivity, magnetization and specific heat presented is not characteristic of any obvious ground states, and points to an exotic state that shows a delicate balance between fluctuations and order.Comment: 18 pages, 4 figure