Utilization of casting ladle lining enthalpy for heating gas savings in the course of ladle preheating

During the long-term staying of steel in ladle within the period from the tap until the end of continuous casting takes place a great amount of heat accumulates in lining. For its utilization is necessary to optimize heat operation of ladle lining. The demanded enthalpy of ladle before tap and the real enthalpy of ladle as things stand are needed for heating gas savings during the preheating. The enthalpy changes of ladle lining are in the course of their cycling in steelworks solved by the model of lining thermal state. For that purpose were conducted the operation measurements to find out the ladle lining thermal field within the whole technological flow

Hydraulic properties of ladle slags

The article presents results of examining of hydraulic properties of ladle slags formed during production of steel. The studied ladle slags were subjected to different cooling mode from the molten state. Based on the ability of the slag react with the water was assessed their hydraulic activity. The hydraulic properties are caused by the presence of minerals dicalcium silicate, tricalcium aluminate, mayenite, brownmillerite and dicalcium ferite. The emergence of required hydrating phases in the ladle slags is conditioned by a sufficient CaO content and their cooling rate. The contact the slag with water during processing and their ageing has a negative effect. The experiment has shown that the phase transformation of the mineral dicalcium silicate which occurs during cooling of the ladle slags cause their volume instability

A First Look at Rotation in Inactive Late-Type M Dwarfs

We have examined the relationship between rotation and activity in 14 late-type (M6-M7) M dwarfs, using high resolution spectra taken at the W.M. Keck Observatory and flux-calibrated spectra from the Sloan Digital Sky Survey. Most were selected to be inactive at a spectral type where strong H-alpha emission is quite common. We used the cross-correlation technique to quantify the rotational broadening; six of the stars in our sample have vsini > 3.5 km/s. Our most significant and perplexing result is that three of these stars do not exhibit H-alpha emission, despite rotating at velocities where previous work has observed strong levels of magnetic field and stellar activity. Our results suggest that rotation and activity in late-type M dwarfs may not always be linked, and open several additional possibilities including a rotationally-dependent activity threshold, or a possible dependence on stellar parameters of the Rossby number at which magnetic/activity "saturation" takes place in fully convective stars.Comment: 8 pages, 4 figures, accepted for publication in Ap

Solving Parity Games on Integer Vectors

We consider parity games on infinite graphs where configurations are represented by control-states and integer vectors. This framework subsumes two classic game problems: parity games on vector addition systems with states (vass) and multidimensional energy parity games. We show that the multidimensional energy parity game problem is inter-reducible with a subclass of single-sided parity games on vass where just one player can modify the integer counters and the opponent can only change control-states. Our main result is that the minimal elements of the upward-closed winning set of these single-sided parity games on vass are computable. This implies that the Pareto frontier of the minimal initial credit needed to win multidimensional energy parity games is also computable, solving an open question from the literature. Moreover, our main result implies the decidability of weak simulation preorder/equivalence between finite-state systems and vass, and the decidability of model checking vass with a large fragment of the modal mu-calculus.Comment: 30 page

Minimal Cost Reachability/Coverability in Priced Timed Petri Nets

Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability/coverability problem. We show that the minimal costs are computable if all storage/transition costs are non-negative, while even the question of zero-cost coverability is undecidable in the case of general integer costs.

Characterization of a Novel Cutaneous Human Papillomavirus Genotype HPV-125

The DNA genome of a novel HPV genotype, HPV-125, isolated from a hand wart of an immuno-competent 19-year old male was fully cloned, sequenced and characterized. The full genome of HPV-125 is 7,809-bp in length with a GC content of 46.4%. By comparing the nucleotide sequence of the complete L1 gene, HPV-125 is phylogenetically placed within cutaneotrophic species 2 of Alphapapillomaviruses, and is most closely related to HPV-3 and HPV-28. HPV-125 has a typical genomic organization of Alphapapillomaviruses and contains genes coding for five early proteins, E6, E7, E1, E2 and E4 and two late capsid proteins, L1 and L2. The genome contains two non-coding regions: the first located between the L1 and E6 genes (nucleotide positions 7,137–7,809, length 673-bp) and the second between genes E2 and L2 (nucleotide positions 3,757–4,216, length 460-bp). The E6 protein of HPV-125 contains two regular zinc-binding domains at amino acid positions 29 and 102, whereas the E7 protein exhibits one such domain at position 50. HPV-125 lacks the regular pRb-binding core sequence within its E7 protein. In order to assess the tissue predilection and clinical significance of HPV-125, a quantitative type-specific real-time PCR was developed. The 95% limit-of-detection of the assay was 2.5 copies per reaction (range 1.7–5.7) and the intra- and inter-assay coefficients of variation were 0.47 and 2.00 for 100 copies per reaction, and 1.15 and 2.15 for 10 copies per reaction, respectively. Testing of a representative collection of HPV-associated mucosal and cutaneous benign and malignant neoplasms and hair follicles (a total of 601 samples) showed that HPV-125 is a relatively rare HPV genotype, with cutaneous tropism etiologically linked with sporadic cases of common warts

On Model Checking Boolean BI

The logic of bunched implications (BI), introduced by O'Hearn and Pym, is a substructural logic which freely combines additive and multiplicative implications. Boolean BI (BBI) denotes BI with classical interpretation of additives and its model is the commutative monoid. We show that when the monoid is finitely generated and propositions are recursively defined, or the monoid is infinitely generated and propositions are restricted to generator propositions, the model checking problem is undecidable. In the case of finitely related monoid and,generator propositions. the model checking problem is EXPSPACE-complete.http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000270711900021&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701Computer Science, Theory & MethodsEICPCI-S(ISTP)

Characterization of Novel Cutaneous Human Papillomavirus Genotypes HPV-150 and HPV-151

DNA from two novel HPV genotypes, HPV-150 and HPV-151, isolated from hair follicles of immuno-competent individuals, was fully cloned, sequenced and characterized. The complete genomes of HPV-150 and HPV-151 are 7,436-bp and 7,386-bp in length, respectively. Both contain genes for at least six proteins, namely E6, E7, E1, E2, L2, L1, as well as a non-coding upstream regulatory region located between the L1 and E6 genes: spanning 416-bp in HPV-150 (genomic positions 7,371 to 350) and 322-bp in HPV-151 (genomic positions 7,213 to 148). HPV-150 and HPV-151 are phylogenetically placed within the Betapapillomavirus genus and are most closely related to HPV-96 and HPV-22, respectively. As in other members of this genus, the intergenic E2-L2 region is very short and does not encode for an E5 gene. Both genotypes contain typical zinc binding domains in their E6 and E7 proteins, but HPV-151 lacks the regular pRb-binding core sequence within its E7 protein. In order to assess the tissue predilection and clinical significance of the novel genotypes, quantitative type-specific real-time PCR assays were developed. The 95% detection limits of the HPV-150 and HPV-151 assays were 7.3 copies/reaction (range 5.6 to 11.4) and 3.4 copies/reaction (range 2.5 to 6.0), respectively. Testing of a representative collection of HPV-associated mucosal and cutaneous benign and malignant neoplasms and hair follicles (total of 540 samples) revealed that HPV-150 and HPV-151 are relatively rare genotypes with a cutaneous tropism. Both genotypes were found in sporadic cases of common warts and SCC and BCC of the skin as single or multiple infections usually with low viral loads. HPV-150 can establish persistent infection of hair follicles in immuno-competent individuals. A partial L1 sequence of a putative novel HPV genotype, related to HPV-150, was identified in a squamous cell carcinoma of the skin obtained from a 64-year old immuno-compromised male patient