facilitating formal specification acquisition by using recursive functions on context-free languages

Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC uses context-free languages for syntactic aspect and relies on a new kind of recursive functions, i.e. recursive functions on context-free languages, for semantic aspect of specifications. Construction and validation of LFC specifications are machine-aided. The basic ideas behind LFC, the main aspects of LFC, and the use of LFC and illustrative examples are described.

Strength of Offshore Pipelines in Different Operation States and Analyzing Software

在近海管线的铺设、安装、使用过程中有多种作业状态：在位、悬跨、挖沟、提吊、铺管等。各种状态下管线的受力特点不同,加上管线结构、海况和海底土壤等因素又都很复杂,所以近海管线的强度分析难度大、内容多。分别采用解析方法、数值方法（有限元法、打靶法）和二者结合来解决理论上的（如几何非线性、动边界等）、实用性方面的难点。在理论分析的基础上,编制了符合产业部门工程师使用要求的近海管线强度分析软件。介绍了该软件进行力学分析时采用的理论以及软件界面。

Developing A Microfluidic-Based System To Quantify Cell Capture Efficiency

Micro-fabrication technology has substantial potential for identifying molecular markers expressed on the surfaces of tissue cells and viruses. It has been found in several conceptual prototypes that cells with such markers are able to be captured by their antibodies immobilized on microchannel substrates and unbound cells are flushed out by a driven flow. The feasibility and reliability of such a microfluidic-based assay, however, remains to be further tested. In the current work, we developed a microfluidic-based system consisting of a microfluidic chip, an image grabbing unit, data acquisition and analysis software, as well as a supporting base. Specific binding of CD59-expressed or BSA-coupled human red blood cells (RBCs) to anti-CD59 or anti-BSA antibody-immobilized chip surfaces was quantified by capture efficiency and by the fraction of bound cells. Impacts of respective flow rate, cell concentration, antibody concentration and site density were tested systematically. The measured data indicated that the assay was robust. The robustness was further confirmed by capture efficiencies measured from an independent ELISA-based cell binding assay. These results demonstrated that the system developed provided a new platform to effectively quantify cellular surface markers effectively, which promoted the potential applications in both biological studies and clinical diagnoses.

Functional consequences of new exon acquisition in mammalian chromodomain Y-like (CDYL) genes

The origin of new exons is an important mechanism for proteome diversity. Here, we report the recurrent origination of new exons in mammalian chromodomain Y-like (CDYL) genes and the functional consequences associated with the acquisition of the new exons

The Acquisition of an Inheritable 50-bp Deletion in the Human mtDNA Control Region Does Not Affect the mtDNA Copy Number in Peripheral Blood Cells

The mitochondrial DNA (mtDNA) control region is believed to play an important biological role in mtDNA replication. Large deletions in this region are rarely found, but when they do occur they might be expected to interfere with the replication of the molecule, thus leading to a reduction of mtDNA copy number. During a survey for mtDNA sequence variations in 5,559 individuals from the general Chinese population and 2,538 individuals with medical disorders, we identified a 50-bp deletion (m.298_347del50) in the mtDNA control region in a member of a healthy Han Chinese family belonging to haplogroup B4c1b2, as suggested by complete mtDNA genome sequencing. This deletion removes the conserved sequence block II (CSBII; region 299-315) and the replication primer location (region 317-321). However, quantification of the mtDNA copy number in this subject showed a value within a range that was observed in 20 healthy subjects without the deletion. The deletion was detected in the hair samples of the maternal relatives of the subject and exhibited variable heteroplasmy. Our current observation, together with a recent report for a benign 154-bp deletion in the mtDNA control region, suggests that the control of mtDNA replication may be more complex than we had thought. Hum Mutat 31:538-543, 2010. (C) 2010 Wiley-Liss, Inc.

Irregular morphine administration affects the retention but not acquisition of conditioned place preference in rats

Drug addiction is increasingly viewed as the expression of abnormal associative learning following repeated exposures to the drugs of abuse Previous I studies have demonstrated that the patterns of repetition such as frequency and spacing are important to many kinds of learning and memory retention We hypothesized that drug repetition pattern might affect the reward-related learning although the total doses of the drug were the same. In the present study, we tested morphine-induced place preference following either regular or irregular pattern of morphine pairing in rats Regular morphine group received morphine administration daily at a regular time with the same dose Irregular morphine groups received morphine administration either at the same time but irregular doses, irregular time but same dose, or irregular time and irregular doses. We found that rats, who received irregular morphine pairing, exhibited similar acquisition of peace preference but different preference retentions compared with regular morphine-treated rats after the same total dose of morphine Rats, who received morphine administration at the same time but irregular doses and at irregular time and irregular doses, showed rapid disruption of place preference than the regular morphine group. Rats, who received morphine at irregular time but the same dose, showed similar retention of place preference to regular morphine group Our results suggest that the pattern of drug pairing plays an important role in the retention of reward-related memory This study may provide new evidence to broaden our understanding of the development and maintenance of drug craving (C) 2009 Elsevier B V. All rights reserved

Comparative mechanisms of photosynthetic carbon acquisition in Hizikia fusiforme under submersed and emersed conditions

The economic seaweed Hizikia fusiforme (Harv.) Okamura (Sargassaceae, Phaeophyta) usually experiences periodical exposures to air at low tide. Photosynthetic carbon acquisition mechanisms were comparatively studied under submersed and emersed conditions in order to establish a general understanding of its photosynthetic characteristics associated with tidal cycles. When submersed in seawater, H fusiforme was capable of acquiring HCO3- as a source of inorganic carbon (Ci) to drive photosynthesis, while emersed and exposed to air, it used atmospheric CO2 for photosynthesis. The pH changes surrounding the H fusiforme fronds had less influence on the photosynthetic rates under emersed condition than under submersed condition. When the pH was as high as 10.0, emersed H fusiforme could photosynthesize efficiently, but the submersed alga exhibited very poor photosynthesis. Extracellular carbonic anhydrase (CA) played an important role in the photosynthetic acquisitions of exogenous Ci in water as well as in air. Both the concentrations of dissolved inorganic carbon in general seawater and CO2 in air were demonstrated to limit the photosynthesis of H fusiforme, which was sensitive to O-2. It appeared that the exogenous carbon acquisition system, being dependent of external CA activity, operates in a way not enough to raise intracellular CO2 level to prevent photorespiration. The inability of H fusiforme to achieve its maximum photosynthetic rate at the current ambient Ci levels under both submersed and emersed conditions suggested that the yield of aquaculture for this economic species would respond profitably to future increases in CO2 concentration in the sea and air.

Exogenous carbon acquisition of photosynthesis in Porphyra haitanensis (Bangiales, Rhodophyta) under emersed state

The photosynthetic performances of Porphyra haitanensis thalli were investigated in order to understand its mechanisms for exogenous carbon acquisition during emersion at low tide. The emersed photosynthesis was studied by altering the pH value in the water film on the thalli surface, treating them with carbonic anhydarase inhibitors (acetazolamide and 6-ethoxyzolamide), adjusting the CO2 concentrations in the air, and comparing the theoretical maximum CO2 supply rates within the adherent water film with the observed photosynthetic CO2 uptake rates. It was found that the principal exogenous inorganic carbon source for the photosynthesis of P. haitanensis during emersion was atmospheric CO2. The driving force of CO2 flux across the water film was the CO2 concentration gradient within it. Carbonic anhydrase accelerated both extracellular and intracellular CO2 transport. The emersed photosynthesis of P. haitanensis was limited by the present atmospheric CO2 level, and would be enhanced by atmospheric CO2 rise that would trigger global warming.