1,440 research outputs found

    Tree Buffers

    Get PDF
    In runtime verification, the central problem is to decide if a given program execution violates a given property. In online runtime verification, a monitor observes a program’s execution as it happens. If the program being observed has hard real-time constraints, then the monitor inherits them. In the presence of hard real-time constraints it becomes a challenge to maintain enough information to produce error traces, should a property violation be observed. In this paper we introduce a data structure, called tree buffer, that solves this problem in the context of automata-based monitors: If the monitor itself respects hard real-time constraints, then enriching it by tree buffers makes it possible to provide error traces, which are essential for diagnosing defects. We show that tree buffers are also useful in other application domains. For example, they can be used to implement functionality of capturing groups in regular expressions. We prove optimal asymptotic bounds for our data structure, and validate them using empirical data from two sources: regular expression searching through Wikipedia, and runtime verification of execution traces obtained from the DaCapo test suite

    The influence of transition metal solutes on dislocation core structure and values of Peierls stress and barrier in tungsten

    Full text link
    Several transition metals were examined to evaluate their potential for improving the ductility of tungsten. The dislocation core structure and Peierls stress and barrier of 1/21/2 screw dislocations in binary tungsten-transition metal alloys (W1x_{1-x}TMx_{x}) were investigated using first principles electronic structure calculations. The periodic quadrupole approach was applied to model the structure of 1/21/2 dislocation. Alloying with transition metals was modeled using the virtual crystal approximation and the applicability of this approach was assessed by calculating the equilibrium lattice parameter and elastic constants of the tungsten alloys. Reasonable agreement was obtained with experimental data and with results obtained from the conventional supercell approach. Increasing the concentration of a transition metal from the VIIIA group, i.e. the elements in columns headed by Fe, Co and Ni, leads to reduction of the CC^\prime elastic constant and increase of elastic anisotropy A=C44/CC_{44}/C^\prime. Alloying W with a group VIIIA transition metal changes the structure of the dislocation core from symmetric to asymmetric, similar to results obtained for W1x_{1-x}Rex_{x} alloys in the earlier work of Romaner {\it et al} (Phys. Rev. Lett. 104, 195503 (2010))\comments{\cite{WRECORE}}. In addition to a change in the core symmetry, the values of the Peierls stress and barrier are reduced. The latter effect could lead to increased ductility in a tungsten-based alloy\comments{\cite{WRECORE}}. Our results demonstrate that alloying with any of the transition metals from the VIIIA group should have similar effect as alloying with Re.Comment: 12 pages, 8 figures, 3 table

    Ultrahigh Surface Area Three-Dimensional Porous Graphitic Carbon from Conjugated Polymeric Molecular Framework

    Get PDF
    Porous graphitic carbon is essential for many applications such as energy storage devices, catalysts, and sorbents. However, current graphitic carbons are limited by low conductivity, low surface area, and ineffective pore structure. Here we report a scalable synthesis of porous graphitic carbons using a conjugated polymeric molecular framework as precursor. The multivalent cross-linker and rigid conjugated framework help to maintain micro- and mesoporous structures, while promoting graphitization during carbonization and chemical activation. The above unique design results in a class of highly graphitic carbons at temperature as low as 800 ??C with record-high surface area (4073 m2 g-1), large pore volume (2.26 cm-3), and hierarchical pore architecture. Such carbons simultaneously exhibit electrical conductivity >3 times more than activated carbons, very high electrochemical activity at high mass loading, and high stability, as demonstrated by supercapacitors and lithium-sulfur batteries with excellent performance. Moreover, the synthesis can be readily tuned to make a broad range of graphitic carbons with desired structures and compositions for many applications.clos

    Gender identity change in a female adolescent transsexual

    Full text link
    Two years of individual and milieu therapy are described of a 141/2-year-old girl who had presented with the persistent request to have a sex-change operation since age 12. Her past history was obtained from her parents and the records of the child guidance clinic which evaluated her at 3 years of age. She gives a history of remarkable tomboyism during her latency years and increasing withdrawal from peers and family during early adolescence. The patient's personal and family dynamics are explored, and these major therapeutic themes are discussed. The individual and milieu therapy are described and discussed with some speculation about the reasons for her positive response to psychotherapy. It would appear that this is a rare case of a postpubertal female transsexual reported to have made a gender identity change.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/44103/1/10508_2005_Article_BF01541204.pd

    Resolution and enhancement in nanoantenna-based fluorescence microscopy

    Full text link
    Single gold nanoparticles can act as nanoantennas for enhancing the fluorescence of emitters in their near-fields. Here we present experimental and theoretical studies of scanning antenna-based fluorescence microscopy as a function of the diameter of the gold nanoparticle. We examine the interplay between fluorescence enhancement and spatial resolution and discuss the requirements for deciphering single molecules in a dense sample. Resolutions better than 20 nm and fluorescence enhancement up to 30 times are demonstrated experimentally. By accounting for the tip shaft and the sample interface in finite-difference time-domain calculations, we explain why the measured fluorescence enhancements are higher in the presence of an interface than the values predicted for a homogeneous environment.Comment: 10 pages, 3 figures. accepted for publication in Nano Letter

    Measurements of atmospheric layers from the NASA DC-8 and P-3B aircraft during PEM-Tropics A

    Get PDF
    Tropospheric vertical structure was analyzed using in situ measurements of O₃, CO, CH₄, and H₂O taken on board the NASA DC-8 aircraft during three Pacific Exploratory Missions (PEMs): PEM-West A, September-October 1991 in the western Pacific; PEM-West B, February-March 1994 in the western Pacific; and PEM-Tropics A, September-October 1996 in the central and eastern Pacific. PEM-Tropics A added measurements from the NASA P3-B aircraft. We used a new mode-based method to define a background against which to find layers. Using only O₃ and H₂O, we found 472 layers in PEM-Tropics A (0.72 layers per vertical kilometer profiled), 237 layers in PEM-West A (0.54 layers/km), and 158 layers in PEM-West B (0.41 layers/km). Using all constituents, we found 187 layers in PEM-Tropics A (0.43 layers/km), 128 layers in PEM-West A (0.29 layers/km), and 80 layers in PEM-West B (0.21 layers/km). Stratospheric air, sometimes mixed with trapped pollution, was the dominant layer source in all three missions. The larger number of layers per kilometer in PEM-Tropics A was probably due to repeated profiling of several “superlayers” visible in many of the mission lidar and potential voracity profiles. The thickness of the superlayers was of order 1 km, and the horizontal extent was of order 1000 km. We found that layers have an important effect on the thermal structure. An example based on ozonesonde data from Tahiti is shown, where a dry, subsiding layer was stabilized by much greater radiative cooling at the base than at the top. The stabilized layer can trap pollution and force vertical plumes to spread into horizontal layers.United States. National Aeronautics and Space Administration (Grant NAG1-1758)United States. National Aeronautics and Space Administration (Grant NAG1-1901

    Relativistic Calculation of two-Electron one-Photon and Hypersatellite Transition Energies for 12Z3012\leq Z\leq30 Elements

    Full text link
    Energies of two-electron one-photon transitions from initial double K-hole states were computed using the Dirac-Fock model. The transition energies of competing processes, the Kα\alpha hypersatellites, were also computed. The results are compared to experiment and to other theoretical calculations.Comment: accepted versio
    corecore