136 resultados para natural languages


Relevância:

20.00% 20.00%

Publicador:

Resumo:

A modified mRNA differential display method has been applied to studying differential expression of protein kinase genes in oocytes between natural gynogenetic silver crucian carp and amphimictic crucian carp. Total RNA was reverse transcribed using downstream 3' primers T(12)MA, T(12)MG and T12MC respectively. Then the reverse transcription products were amplified using upstream 5' kinase-specific primer designed according to protein kinase conserved sequence. The PCR products had different patterns and numbers of: cDNA bands on polyacrylamide:gel. Totally 21 cDNAs fragments were recovered and cloned. Two of them were confirmed to be particularly expressed in oocytes of amphimictic crucian carp, and another was specific for gynogenetic silver crucian carp.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The effects of aquatic humic acids on the bioconcentration and acute toxicity of fenpropathrin were evaluated using grass carp, Ctenopharyngodan idellus, in laboratory freshwater systems. The results demonstrated that both bioavailability and acute toxicity decreased in the presence of aquatic humic acid 5 and 10 mg/liter. In addition, the extent of influence increased with increasing concentration of aquatic humic acid, (C) 1999 Academic Press.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Using an all-electron band structure approach, we have systematically calculated the natural band offsets between all group IV, III-V, and II-VI semiconductor compounds, taking into account the deformation potential of the core states. This revised approach removes assumptions regarding the reference level volume deformation and offers a more reliable prediction of the "natural" unstrained offsets. Comparison is made to experimental work, where a noticeable improvement is found compared to previous methodologies.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We consider systems of equations of the form where A is the underlying alphabet, the Xi are variables, the Pi,a are boolean functions in the variables Xi, and each δi is either the empty word or the empty set. The symbols υ and denote concatenation and union of languages over A. We show that any such system has a unique solution which, moreover, is regular. These equations correspond to a type of automation, called boolean automation, which is a generalization of a nondeterministic automation. The equations are then used to determine the language accepted by a sequential network; they are obtainable directly from the network.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

LFC is a functional language based on recursive functions defined in context-free languages. In this paper, a new pattern matching algorithm for LFC is presented, which can represent a sequence of patterns as an integer by an encoding method. It is a rather simple method and produces efficient case-expressions for pattern matching definitions of LFC. The algorithm can also be used for other functional languages, but for nested patterns it may become complicated and further studies are needed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We continue the study of spiking neural P systems by considering these computing devices as binary string generators: the set of spike trains of halting computations of a given system constitutes the language generated by that system. Although the "direct" generative capacity of spiking neural P systems is rather restricted (some very simple languages cannot be generated in this framework), regular languages are inverse-morphic images of languages of finite spiking neural P systems, and recursively enumerable languages are projections of inverse-morphic images of languages generated by spiking neural P systems.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Natural gas hydrate (NGH) reservoirs have been considered as a substantial future clean energy resource and how to recover gas from these reservoirs feasibly and economically is very important. Microwave heating will be taken as a promising method for gas production from gas hydrates for its advantages of fast heat transfer and flexible application. In this work, we investigate the formation/decomposition behavior of natural gas hydrate with different power of microwave (2450MHZ), preliminarily analyze the impact of microwave on phase equilibrium of gas hydrate,and make calculation based on van der Waals-Platteeuw model. It is found that microwave of a certain amount of power can reduce the induction time and sub-cooling degree of NGH formation, e.g., 20W microwave power can lead to a decrease of about 3A degrees C in sub-cooling degree and the shortening of induction time from 4.5 hours to 1.3 hours. Microwave can make rapid NGH decomposition, and water from NGH decomposition accelerates the decomposition of NGH with the decomposition of NGH. Under the same pressure, microwave can increase NGH phase equilibrium temperature. Different dielectric properties of each composition of NGH may cause a distinct difference in temperature in the process of NGH decomposition. Therefore, NGH decomposition by microwave can be affected by many factors.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Natural surface coatings sampled (NSCSs) from the surface of shingles and surficial sediments (SSs) in the Songhua River, China were employed to investigate the similarities and difference in fractions of heavy metals (Fe, Mn, Zn, Cu, Pb, and Cd) between NSCSs and SSs using the modified sequential extraction procedure (MSEP). The results show that the differences between NSCSs and SSs in Fe fractions were insignificant and Fe was dominantly present as residual phase (76.22% for NSCSs and 80.88% for SSs) and Fe-oxides phase (20.33% for NSCSs and 16.15% for SSs). Significant variation of Mn distribution patterns between NSCSs and SSs was observed with Mn in NSCSs mainly present in Mn-oxides phase (48.27%) and that in SSs present as residual phase (45.44%). Zn, Cu, Pb and Cd were found dominantly in residual fractions (>48%), and next in solid oxides/hydroxides for Zn, Pb and Cd and in easily oxidizable solids/compounds form for Cu, respectively. The heavy metal distribution pattern implied that Fe/Mn oxides both in NSCSs and SSs were more important sinks for binding and adsorption of Zn, Pb and Cd than organic matter (OM), and inversely, higher affinity of Cu to OM than Fe/Mn oxides in NSCSs and SSs was obtained. Meanwhile, it was found that the distributions of heavy metals in NSCSs and SSs were similar to each other and the pseudo-total concentrations of Zn, Cu, Pb and Cd in NSCSs were greater than those in SSs, highlighting the more importance for NSCSs than SSs in controlling behaviours of heavy metals in aquatic environments.