Formalization and specification for controlling process modularity in mobile computing

新的计算模式，普适计算和全局计算，正在作为高度分布式和移动计算的计算模式展现出来。这篇论文探讨了在抽象层面上支持这些新型计算模式的适合的形式化基础，关注在进程移动单位上的控制, 以便在分布式与移动计算环境下更好地协调进程的移动性。 论文的第一部分概述了针对分布式、移动计算的现有进程演算模型中的进程移动单元，并且设计了一种在此方面更优、更具弹性的进程框架。为了表示这种进程框架，我们提出了一种新的、针对移动和分布式系统的进程演算,这种进程演算的优点是动态、弹性的控制进程的移动单元；具体的思路就是扩展π- calculus以及其支持分布式和移动性的变体。我们把这种新的演算叫做Modular π-calculus。我们通过这种演算的提出来说明进程框架提供了一种针对移动进程更为合适的协调机制以及编程模型，例如移动的代理和动态组件载入的支持。之后，我们通过讨论互模拟的几种提法来具体说明能够反映演算设计的进程描述的关键，之后我们讨论了它们的具体性质。 本文的第二部分提出了一个对进程模型的行为和性质进行推理的规约框架。首先，提出了一个对Modularπ-calculus中进程的系统性质进行规约的模态逻辑。为了更好的理解该逻辑，文中对由这个逻辑推出的进程等价的特征进行了研究，并且证明了该逻辑的区分能力介于互模拟和结构一致之间。接下来关于这个规约框架的自动化，本文针对该逻辑和Modular π-calculus的有限控制子集，提出了模型检测算法，并且给出了算法正确性的证明。同时文中贯穿了一些实际且直观的例子，以展现本文提出的一组框架即演算、逻辑和模型算法的有效性。

Production of heavy and superheavy nuclei in massive fusion reactions

Within the framework of a dinuclear system (DNS) model, the evaporation-residue excitation functions and the quasi-fission mass yields in the 48Ca induced fusion reactions are investigated systematically and compared with available experimental data. Maximal production cross sections of superheavy nuclei based on stable actinide targets are obtained. Isotopic trends in the production of the superheavy elements Z = 110, 112–118 based on the actinide isotopic targets are analyzed systematically. Optimal evaporation channels and combinations as well as the corresponding excitation energies are proposed. The possible factors that influencing the isotopic dependence of the production cross sections are analyzed. The formation of the superheavy nuclei based on the isotopes U with different projectiles are also investigated and calculated.

Production mechanism of superheavy nuclei in massive fusion reactions

Within the concept of the dinuclear system (DNS), a dynamical model is proposed for describing the formation of superheavy nuclei in complete fusion reactions by incorporating the coupling of the relative motion to the nucleon transfer process. The capture of two heavy colliding nuclei, the formation of the compound nucleus and the de-excitation process are calculated by using an empirical coupled channel model, solving a set of microscopically derived master equations numerically and applying statistical theory, respectively.Fusion-fission reactions and evaporation residue excitation functions of synthesizing superheavy nuclei (SHN)are investigated systematically and compared them with available experimental data. The possible factors that affecting the production cross sections of SHN are discussed in this workshop.

Production of Superheavy Nuclei in Massive fusion reactions

A master equation is constructed to treat the nucleon transfer process in heavy ion fusion reactions to form superheavy nucleus. The relative motion concerning the energy, the angular momentum and the fragment deformation relaxations is explicitly treated to couple with the diffusion process. The nucleon transition probabilities, which are derived microscopically, are thus time dependent. The calculated evaporation residue cross-sections for both cold and hot fusion are in good agreement with the known experimental data.

Production mechanism of superheavy nuclei in massive fusion reactions

Within the concept of the dinuclear system (DNS), a dynamical model is used for describing the formation of superheavy residues in massive fusion reactions, in which the capture of two colliding nuclei, the formation and de-excitation of the compound nucleus are described by using a barrier distribution method, solving master equations numerically and statistical approach, respectively. Using the DNS model, the production cross sections of superheavy nuclei are calculated and compared with the available experimental data. The isotopic dependence of the cross sections to produce the superheavy element Z=116 by the two types of the reactions is discussed and the possible reasons influencing the isotopic trends are analyzed systematically.

Influence of entrance channels on the formation of superheavy nuclei in massive fusion reactions

Within the framework of the dinuclear system (DNS) model, the production cross sections of superheavy nuclei Hs (Z=108) and Z=112 combined with different reaction systems are analyzed systematically. It is found that the mass asymmetries and the reaction Q values of the projectile target combinations play a very important role on the formation cross sections of the evaporation residues. Both methods to obtain the fusion probability by nucleon transfer by solving a set of microscopically derived master equations along the mass asymmetry degree of freedom (ID) and distinguishing protons and neutrons of fragments (2D) are compared with each other and also with the available experimental data. (C) 2010 Elsevier B.V. All rights reserved.

Helium, neon and argon isotope compositions of fluid inclusions in massive sulfides from the Jade hydrothermal field, the Oldnawa Trough

Helium, neon and argon isotope compositions of fluid inclusions have been measured in massive sulfide samples from the Jade hydrothermal field in the central Okinawa Trough. Fluid-inclusion He-3/He-4 ratios are between 6.2 and 10.1 times the air value (Ra), and with a mean of 7.8Ra, which are consistent with the mid-ocean ridge basalt values [He-3/He-4 approximate to (6Rasimilar to 11Ra)]. Values for Ne-20/Ne-22 are from 10.7 to 11.3, which are significantly higher than the atmospheric ratio (9.8). And the fluid-inclusion Ar-40/Ar-36 ratios range from 287 to 334, which are close to the atmosperic values (295.5). These results indicate that the noble gases of trapped hydrothermal fluids in massive sulfides are a mixture of mantle- and seawater-derived components, and the helium of fluid inclusions is mainly from mantle, the nelium and argon isotope compositions are mainly from seawater.

Anomalous Thermal Stability of Nd-Fe-Co-Al Bulk Metallic Glass

The thermal stability of Nd60Fe20Co10Al10 bulk metallic glass (BMG) has been studied by differential scanning calorimetry (DSC), dynamic mechanical thermal analysis (DMTA), isochronal dilatation and compression tests. The results show that the glass transition of the BMG takes place quite gradually between about 460 and 650 K at a heating rate of 0.17 K/s. Several transformation processes are observed during continuous heating with the first crystallization process beginning at about 460 K, while massive crystallization takes place near the solidus temperature of the alloy. The positive heat of mixing between the two major constituents, Nd and Fe, and, consequently, a highly inhomogeneous composition of the attained amorphous phase are responsible for the anomalous thermal stability in this system. (C) 2002 Acta Materialia Inc. Published by Elsevier Science Ltd. All rights reserved.

An anticoagulant serine protease from the wasp venom of Vespa magnifica

Wasp is an important venomous animal that can induce human fatalities. Coagulopathy is a clinical symptom after massive wasp stings, but the reason leading to the envenomation manifestation is still not known. In this paper, a toxin protein is purified and characterized by Sephadex G-75 gel filtration, CM-Sephadex C-25 cationic exchange and fast protein liquid chromatography (FPLC) from the venom of the wasp, Vespa magnifica (Smith). This protein, named magnvesin. contains serine protease-like activity and inhibits blood coagulation. The cDNA encoding magnvesin is cloned from the venom sac cDNA library of the wasp. The deduced protein from the cDNA is composed of 305 amino acid residues. Magnvesin shares 52% identity with allergen serine protease from the wasp Polistes dominulus. Magnvesin exerted its anti-coagulant function by hydrolyzing coagulant factors TF, VII, VIII, IX and X. (c) 2008 Elsevier Ltd. All rights reserved.

A phospholipase A1 platelet activator from the wasp venom of Vespa magnifica (Smith)

Wasp is an impor tant venomous animal that can induce human fatalities. Aortic thrombosis and cerebral infarction are major clinical symptoms after massive wasp stings but the reason leading to the envenomation manifestation is still not known. In this paper, a toxin protein is purified and characterized by Sephadex G-75 gel filtration, CM-Sephadex C-25 cationic exchange and fast protein liquid chromatography (FPLC) from the venom of the wasp, Vespa magnifica (Smith). This protein, named magnifin, contains phospholipase-like activity and induces platelet aggregation. The cDNA encoding magnifin is cloned from the venom sac cDNA library of the wasp. The predicted protein was deduced from the cDNA with a sequence composed of 337 amino acid residues. Magnifin is very similar to other phospholipase A(1) (PLA(1)), especially to other wasp allergen PLA(1). Magnifin can activate platelet aggregation and induce thrombosis in vivo. The current results proved that PLA(1) in wasp venom could be contributable to aortic thrombosis after massive wasp stings. (c) 2007 Elsevier Ltd. All rights reserved.

The Genomes of Oryza sativa: A history of duplications

We report improved whole-genome shotgun sequences for the genomes of indica and japonica rice, both with multimegabase contiguity, or almost 1,000-fold improvement over the drafts of 2002. Tested against a nonredundant collection of 19,079 full-length cDNAs, 97.7% of the genes are aligned, without fragmentation, to the mapped superscaffolds of one or the other genome. We introduce a gene identification procedure for plants that does not rely on similarity to known genes to remove erroneous predictions resulting from transposable elements. Using the available EST data to adjust for residual errors in the predictions, the estimated gene count is at least 38,000 - 40,000. Only 2% - 3% of the genes are unique to any one subspecies, comparable to the amount of sequence that might still be missing. Despite this lack of variation in gene content, there is enormous variation in the intergenic regions. At least a quarter of the two sequences could not be aligned, and where they could be aligned, single nucleotide polymorphism ( SNP) rates varied from as little as 3.0 SNP/kb in the coding regions to 27.6 SNP/kb in the transposable elements. A more inclusive new approach for analyzing duplication history is introduced here. It reveals an ancient whole-genome duplication, a recent segmental duplication on Chromosomes 11 and 12, and massive ongoing individual gene duplications. We find 18 distinct pairs of duplicated segments that cover 65.7% of the genome; 17 of these pairs date back to a common time before the divergence of the grasses. More important, ongoing individual gene duplications provide a never-ending source of raw material for gene genesis and are major contributors to the differences between members of the grass family.

Field and laboratory studies on pathological and biochemical characterization of microcystin-induced liver and kidney damage in the phytoplanktivorous bighead carp

Field and experimental studies were conducted to investigate pathological characterizations and biochemical responses in the liver and kidney of the phytoplanktivorous bighead carp after intraperitoneal (i.p.) administration of microcystins (MCs) and exposure to natural cyanobacterial blooms in Meiliang Bay, Lake Taihu. Bighead carp in field and laboratory studies showed a progressive recovery of structure and function in terms of histological, cellular, and biochemical features. In laboratory study, when fish were i.p. injected with extracted MCs at the doses of 200 and 500 mu g MC- LReq/kg body weight, respectively, liver pathology in bighead carp was observed in a time dose-dependent manner within 24 h postinjection and characterized by disruption of liver structure, condensed cytoplasm, and the appearance of massive hepatocytes with karyopyknosis, karyorrhexis, and karyolysis. In comparison with previous studies on other fish, bighead carp in field study endured higher MC doses and longer-term exposure, but displayed less damage in the liver and kidney. Ultrastructural examination in the liver revealed the presence of lysosome proliferation, suggesting that bighead carp might eliminate or lessen cell damage caused by MCs through lysosome activation. Biochemically, sensitive responses in the antioxidant enzymes and higher basal glutathione concentrations might be responsible for their powerful resistance to MCs, suggesting that bighead carp can be used as biomanipulation fish to counteract cyanotoxin contamination.