67 research outputs found
The possibility of nuclear quadrupole resonance for distinguishing paracetamol different manufacturers and different forms (parties) from the same manufacturer of the spectral characteristics
The possibility to use of nuclear quadrupole resonance for distinguishing paracetamol was demonstrated
SMOKE PROTECTION OF A DOUBLE-TRACK SUBWAY TUNNEL
The article discusses the features of arrangement of smoke protection systems in double-track subway tunnels. The calculation method for the smoke ventilation system parameters is presented, taking into account the factor of longitudinal slope, the heat release power of the fire source, as well as the tunnel characteristics. There are proposed the various schemes of supply and exhaust smoke ventilation systems in double-track tunnels of the Moscow Metro
Reverse Bisimulations on Stable Configuration Structures
The relationships between various equivalences on configuration structures,
including interleaving bisimulation (IB), step bisimulation (SB) and hereditary
history-preserving (HH) bisimulation, have been investigated by van Glabbeek
and Goltz (and later Fecher). Since HH bisimulation may be characterised by the
use of reverse as well as forward transitions, it is of interest to investigate
forms of IB and SB where both forward and reverse transitions are allowed. We
give various characterisations of reverse SB, showing that forward steps do not
add extra power. We strengthen Bednarczyk's result that, in the absence of
auto-concurrency, reverse IB is as strong as HH bisimulation, by showing that
we need only exclude auto-concurrent events at the same depth in the
configuration
Recommended from our members
Polyelectrolyte nanocontainers: controlled binding and release of indomethacin
Herein, polyelectrolyte capsules containing anti-inflammatory drug indomethacin were formed using layer-by-layer strategy, which involves alternative deposition of oppositely charged polyelectrolytes, such as poly(acrylic acid) and poly(ethyleneimine) (or chitosan) onto the drug substrate. Two variants of encapsulation have been implemented: direct deposition of polyelectrolytes onto indomethacin dispersed in water at рН 6, and preliminary formation of soft matrix by solubilization of indomethacin in micellar solutions of cationic surfactants. The inclusion of indomethacin into nanosized polyelectrolyte capsules (hydrodynamic diameter of three- and five-layer capsules is 90–180 nm) has given a new form of indomethacin with the drug content of 0.20–0.25%, which exceeds its limiting solubility in water nearly by the factor of 40. The choice of materials and procedures used for preparation of capsules, as well as the number of polyelectrolyte layers that form shell has provided the control of the drug release from capsule and resulted in the design of pharmaceutical dosage forms with long-lasting effect
A Logic with Reverse Modalities for History-preserving Bisimulations
We introduce event identifier logic (EIL) which extends Hennessy-Milner logic
by the addition of (1) reverse as well as forward modalities, and (2)
identifiers to keep track of events. We show that this logic corresponds to
hereditary history-preserving (HH) bisimulation equivalence within a particular
true-concurrency model, namely stable configuration structures. We furthermore
show how natural sublogics of EIL correspond to coarser equivalences. In
particular we provide logical characterisations of weak history-preserving (WH)
and history-preserving (H) bisimulation. Logics corresponding to HH and H
bisimulation have been given previously, but not to WH bisimulation (when
autoconcurrency is allowed), as far as we are aware. We also present
characteristic formulas which characterise individual structures with respect
to history-preserving equivalences.Comment: In Proceedings EXPRESS 2011, arXiv:1108.407
SRGeJ045359.9+622444: A 55-min Period Eclipsing AM CVn Discovered from a Joint SRG/eROSITA + ZTF Search
AM CVn systems are ultra-compact binaries where a white dwarf accretes from a
helium-rich degenerate or semi-degenerate donor. Some AM CVn systems will be
among the loudest sources of gravitational waves for the upcoming Laser
Interferometer Space Antenna (LISA), yet the formation channel of AM CVns
remains uncertain. We report the study and characterisation of a new eclipsing
AM CVn, SRGeJ045359.9+622444 (hereafter SRGeJ0453), discovered from a joint
SRG/eROSITA and ZTF program to identify cataclysmic variables (CVs). We
obtained optical photometry to confirm the eclipse of SRGeJ0453 and determine
the orbital period to be min. We
constrain the binary parameters by modeling the high-speed photometry and
radial velocity curves and find
and . The X-ray spectrum is
approximated by a power-law model with an unusually flat photon index of
previously seen in magnetic CVs with SRG/eROSITA, but verifying
the magnetic nature of SRGeJ0453 requires further investigation. Optical
spectroscopy suggests that the donor star of SRGeJ0453 could have initially
been a He star or a He white dwarf. SRGeJ0453 is the ninth eclipsing AM CVn
system published to date, and its lack of optical outbursts have made it
elusive in previous surveys. The discovery of SRGeJ0453 using joint X-ray and
optical surveys highlights the potential for discovering similar systems in the
near future.Comment: Submitted to Ap
Around the Clock Observations of the Q0957+561 A,B Gravitationally Lensed Quasar II: Results for the second observing season
We report on an observing campaign in March 2001 to monitor the brightness of
the later arriving Q0957+561 B image in order to compare with the previously
published brightness observations of the (first arriving) A image. The 12
participating observatories provided 3543 image frames which we have analyzed
for brightness fluctuations. From our classical methods for time delay
determination, we find a 417.09 +/- 0.07 day time delay which should be free of
effects due to incomplete sampling. During the campaign period, the quasar
brightness was relatively constant and only small fluctuations were found; we
compare the structure function for the new data with structure function
estimates for the 1995--6 epoch, and show that the structure function is
statistically non-stationary. We also examine the data for any evidence of
correlated fluctuations at zero lag. We discuss the limits to our ability to
measure the cosmological time delay if the quasar's emitting surface is time
resolved, as seems likely.Comment: AAS LaTeX, 5 PostScript figure
The possibility of nuclear quadrupole resonance for distinguishing paracetamol different manufacturers and different forms (parties) from the same manufacturer of the spectral characteristics
The possibility to use of nuclear quadrupole resonance for distinguishing paracetamol was demonstrated
- …