Изменение микроструктуры пружинного Сr-Ni сплава после старения

Установлено, что старение закаленного сплава 47ХНМ при температуре 500 °С в течение 5...10 ч не приводит к распаду пересыщенного твердого раствора, при повышении температуры старения до 600 °С начинают проявляться признаки распада в частицах ?-фазы гомогенного типа. Показано, что после старения при 700 °С закаленных образцов интенсивно развивается прерывистый распад с выделением некогерентной ?-фазы на основе хрома, причем объемная доля его возрастает с увеличением времени старения, достигая максимальных значений за 5...10 ч старения

From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes

Reconstructing the meaning of a program from its binary executable is known as reverse engineering; it has a wide range of applications in software security, exposing piracy, legacy systems, etc. Since reversing is ultimately a search for meaning, there is much interest in inferring a type (a meaning) for the elements of a binary in a consistent way. Unfortunately existing approaches do not guarantee any semantic relevance for their reconstructed types. This paper presents a new and semantically-founded approach that provides strong guarantees for the reconstructed types. Key to our approach is the derivation of a witness program in a high-level language alongside the reconstructed types. This witness has the same semantics as the binary, is type correct by construction, and it induces a (justifiable) type assignment on the binary. Moreover, the approach effectively yields a type-directed decompiler. We formalise and implement the approach for reversing Minx, an abstraction of x86, to MinC, a type-safe dialect of C with recursive datatypes. Our evaluation compiles a range of textbook C algorithms to MinX and then recovers the original structures

A Modular Toolkit for Distributed Interactions

We discuss the design, architecture, and implementation of a toolkit which supports some theories for distributed interactions. The main design principles of our architecture are flexibility and modularity. Our main goal is to provide an easily extensible workbench to encompass current algorithms and incorporate future developments of the theories. With the help of some examples, we illustrate the main features of our toolkit.Comment: In Proceedings PLACES 2010, arXiv:1110.385

A Glycosaminoglycan Extract from Portunus pelagicus Inhibits BACE1, the beta Secretase Implicated in Alzheimer's Disease

Therapeutic options for Alzheimer’s disease, the most common form of dementia, are currently restricted to palliative treatments. The glycosaminoglycan heparin, widely used as a clinical anticoagulant, has previously been shown to inhibit the Alzheimer’s disease-relevant β-secretase 1 (BACE1). Despite this, the deployment of pharmaceutical heparin for the treatment of Alzheimer’s disease is largely precluded by its potent anticoagulant activity. Furthermore, ongoing concerns regarding the use of mammalian-sourced heparins, primarily due to prion diseases and religious beliefs hinder the deployment of alternative heparin-based therapeutics. A marine-derived, heparan sulphate-containing glycosaminoglycan extract, isolated from the crab Portunus pelagicus, was identified to inhibit human BACE1 with comparable bioactivity to that of mammalian heparin (IC50 = 1.85 μg mL−1 (R2 = 0.94) and 2.43 μg mL−1 (R2 = 0.93), respectively), while possessing highly attenuated anticoagulant activities. The results from several structural techniques suggest that the interactions between BACE1 and the extract from P. pelagicus are complex and distinct from those of heparin

Long-Term Outcomes with Subcutaneous C1-Inhibitor Replacement Therapy for Prevention of Hereditary Angioedema Attacks

Background: For the prevention of attacks of hereditary angioedema (HAE), the efficacy and safety of subcutaneous human C1-esterase inhibitor (C1-INH[SC]; HAEGARDA, CSL Behring) was established in the 16-week Clinical Study for Optimal Management of Preventing Angioedema with Low-Volume Subcutaneous C1-Inhibitor Replacement Therapy (COMPACT). Objective: To assess the long-term safety, occurrence of angioedema attacks, and use of rescue medication with C1-INH(SC). Methods: Open-label, randomized, parallel-arm extension of COMPACT across 11 countries. Patients with frequent angioedema attacks, either study treatment-naive or who had completed COMPACT, were randomly assigned (1:1) to 40 IU/kg or 60 IU/kg C1-INH(SC) twice per week, with conditional uptitration to optimize prophylaxis (ClinicalTrials.gov registration no. NCT02316353). Results: A total of 126 patients with a monthly attack rate of 4.3 in 3 months before entry in COMPACT were enrolled and treated for a mean of 1.5 years; 44 patients (34.9%) had more than 2 years of exposure. Mean steady-state C1-INH functional activity increased to 66.6% with 60 IU/kg. Incidence of adverse events was low and similar in both dose groups (11.3 and 8.5 events per patient-year for 40 IU/kg and 60 IU/kg, respectively). For 40 IU/kg and 60 IU/kg, median annualized attack rates were 1.3 and 1.0, respectively, and median rescue medication use was 0.2 and 0.0 times per year, respectively. Of 23 patients receiving 60 IU/kg for more than 2 years, 19 (83%) were attack-free during months 25 to 30 of treatment. Conclusions: In patients with frequent HAE attacks, long-term replacement therapy with C1-INH(SC) is safe and exhibits a substantial and sustained prophylactic effect, with the vast majority of patients becoming free from debilitating disease symptoms

Towards a New Paradigm for Intuitive Theatrical Lighting Control

A simplified model of a lighting process applied in theatrical productions is one that involves two key players. The first is that of the lighting designer, to produce a set of intentions and plans for the scenes that define the show. The second, the lighting technician, has the job of translating these designs into practice using control equipment, luminaires, and other technical instruments. The lighting design often becomes a ‘working document’ subject to change and adaptation as the physical reality of the design becomes apparent, and the input of other stakeholders is considered. This process can be a valuable creative tool, and also a difficult technical hurdle to overcome, depending on a varied number of factors. A common frustration with this process is that either the complexity of the task, or difficulty in communication can make it difficult for the final creative vision to be effectively realised. Strains may also arise in the case of small, often touring, theatre companies where the lighting designer and technician may be the same person, and frequently one of the performers as well. Considering the design aspect, there can be challenges in ensuring efficacy of lighting plans between venues in touring productions, with 2D lighting sketches or even 3D computer simulations confined to the paper or screen. From a technical perspective, the role of the lighting technician in theatres and performance situations has included the operation of lighting control equipment during shows. The equipment has evolved over time but has, until recently, been grounded upon the basis of faders and the mixing desk. It is argued that this paradigm has failed to keep pace with the change in other interactive technologies. The on-going research described in this paper explores existing and upcoming technologies in the field, whilst also seeking to understand the roles and communication workflows of those involved in theatrical lighting to find the best areas to seek improvement, adopting principles of user-centred design. The intention of this research is to develop a new paradigm, and manifestation of it, using a control method for lighting or projection that allows a more intuitive form of operation in theatre productions, which will be scalable and flexible

A Symmetric Approach to Compilation and Decompilation

Just as specializing a source interpreter can achieve compilation from a source language to a target language, we observe that specializing a target interpreter can achieve compilation from the target language to the source language. In both cases, the key issue is the choice of whether to perform an evaluation or to emit code that represents this evaluation. We substantiate this observation by specializing two source interpreters and two target interpreters. We first consider a source language of arithmetic expressions and a target language for a stack machine, and then the lambda-calculus and the SECD-machine language. In each case, we prove that the target-to-source compiler is a left inverse of the source-to-target compiler, i.e., it is a decompiler. In the context of partial evaluation, compilation by source-interpreter specialization is classically referred to as a Futamura projection. By symmetry, it seems logical to refer to decompilation by target-interpreter specialization as a Futamura embedding

Island Invasion by a Threatened Tree Species: Evidence for Natural Enemy Release of Mahogany (Swietenia macrophylla) on Dominica, Lesser Antilles

Despite its appeal to explain plant invasions, the enemy release hypothesis (ERH) remains largely unexplored for tropical forest trees. Even scarcer are ERH studies conducted on the same host species at both the community and biogeographical scale, irrespective of the system or plant life form. In Cabrits National Park, Dominica, we observed patterns consistent with enemy release of two introduced, congeneric mahogany species, Swietenia macrophylla and S. mahagoni, planted almost 50 years ago. Swietenia populations at Cabrits have reproduced, with S. macrophylla juveniles established in and out of plantation areas at densities much higher than observed in its native range. Swietenia macrophylla juveniles also experienced significantly lower leaf-level herbivory (∼3.0%) than nine co-occurring species native to Dominica (8.4–21.8%), and far lower than conspecific herbivory observed in its native range (11%–43%, on average). These complimentary findings at multiple scales support ERH, and confirm that Swietenia has naturalized at Cabrits. However, Swietenia abundance was positively correlated with native plant diversity at the seedling stage, and only marginally negatively correlated with native plant abundance for stems ≥1-cm dbh. Taken together, these descriptive patterns point to relaxed enemy pressure from specialized enemies, specifically the defoliator Steniscadia poliophaea and the shoot-borer Hypsipyla grandella, as a leading explanation for the enhanced recruitment of Swietenia trees documented at Cabrits