复方治疗慢性肾衰海洋新药的初步研究

该论文在褐藻多糖硫酸酯已有研究工作的基础上,参考中药治肾病领域有关文献,结合中医药理论,组方成治疗慢性肾衰复方海洋新药-复方褐藻多糖硫酸酯,并进行了复方褐藻多糖硫酸酯的部分药学、初步药效学和急性毒性试验的研究.

Radioactivity Concentrations in Soils in the Qingdao Area, China

The specific activity concentrations of radionuclides U-238, Th-212, and K-40 of 2300 sampling points in the Qingdao area were measured by an FD-3022 gamma-ray spectrometer. The radioactivity concentrations of U-238, Th-232, and K-40 ranged from 3.3 to 185.3, from 6.9 to 157.2, and from 15.8 to 7834.4 Bq kg(-1), respectively. The air-absorbed dose at I meter above ground, effective annual dose, external hazard index, and radium equivalent activity were also calculated to systematically evaluate the radiological hazards of the natural radioactivity in Qingdao. The air-absorbed dose, effective annual dose, external hazard index, and radium equivalent activity in the study area were 98.6 nGy h(-1), 0.12 mSv, 0.56, 197 Bq kg(-1), respectively. Compared with the worldwide value, the air-absorbed dose is slightly high, but the other factors are all lower than the recommended value. The natural external exposure will not pose significant radiological threat to the population. In conclusion, the Qingdao area is safe with regard to the radiological level and suitable for living.

释光测年实验室的建立与沉积物释光测年技术研究

The main research projects reported in this paper are the establishment of a luminescence (OSL/TL) dating laboratory in The Institute of Geology and Geophysics, CAS, and studies on OSL dating technique and protocol of sediments from North China. These projects have been suggested in order to fit in with the needs of research developments in environmental changes, in particular the aridity and desertification in North China. A new luminescence dating laboratory in which there are a Rise TL/OSL-DA-15B/C reader with Sr-90 beta source, a set of Little More Tape 9022 alpha and beta irradiators, three set of Daybreak 583 intelligent alpha counters and sample preparation system has been set up in the Institute in June 2001. The courses of the establishment of a new laboratory involved a series of technical works, besides making a suitable choice of the equipment, as follows: installing and testing TL/OSL reader, calibrating the dose rate of the beta and alpha sources in the irradiators with the standard sources, testing and calibrating the count rates of the thick source alpha counting in the alpha counters with a standard sample, and then dating of the know age samples to check and examine the OSL/TL dating system. All data obtained from above calibrations and tests show that the established OSL/TL system, including the used equipment in it, can be used to determine age of the geological and archaeological samples with an error of equivalent dose (De) of less than 5%. The OSL dates of several sediment samples obtained from the system are good agreement with those from the OSL dating laboratory in Hong Kong University and ~(14)C dates within 1 - 2 standard deviations. The studies on OSL dating technique and protocol of sediment samples being in progress involve the De determinations with single aliquot regeneration (SAR) (Murray and Wintle, 2000) of the coarse grain quartz from sand dune samples and comparison of the De determinations obtained from SAR with those measured by using multiple aliquot regeneration of loess fine grains. The preliminary results from these research works are shown as follows. The very low natural equivalent dose (De) of about 0.012 - 0.03 Gy, corresponding age of less than 10 years, for BLSL (blue light stimulated luminescence) of the coarse grain quartz from modern sand dune samples in Horqin sand fields has been determined with both the SAR and multiple aliquot regeneration (MAR) techniques. This imply that the BLSL signal zeroing of the quartz could be reached before burying of the sand in Horqin sand fields. The De values and ages of the coarse grain quartz measured with SAR protocol are in good agreement with those obtained from multiple aliquot technique for the modern sand dune samples, but the errors of De from the MAR is greater than those from the SAR. This may imply that the higher precision of age determination for younger sand dune samples could be achieved with the SAR of coarse grain quartz. The MAR combining with "Australian Slide method" may be a perfect choice for De measurements of loess fine grain samples on the basis of analysis of De values obtained from the SAR and from the MAR. The former can be employed to obtain a reliable age estimate of loess sample as older as approximately SO ka BR There is a great difference between De determinations from the (post-IR) OSL of the SAR (Roberts and Wintle, 2001) and those from independent or expected estimates for the older samples. However, the age estimates obtained from the (post-IR) OSL of the SAR are mostly closed to the independent age determinations for the younger (age less than 10 ka) fine grain samples. It may be suggested that the (post-IR) OSL of the SAR protocol of the fine grain fraction would be a suitable choice to dating of the younger samples, but may be unsuitable for the older samples.

中强地震震源的破裂过程

With the large developments of the seismic sources theory, computing technologies and survey instruments, we can model and rebuild the rupture process of earthquakes more realistically. On which earthquake sources' properties and tectonic activities law are realized more clearly. The researches in this domain have been done in this paper as follows. Based on the generalized ray method, expressions for displacement on the surface of a half-space due to an arbitrary oriented shear and tensile dislocation are also obtained. Kinematically, fault-normal motion is equivalent to tensile faulting. There is some evidence that such motion occurs in many earthquakes. The expressions for static displacements on the surface of a layered half-space due to static point moment tensor source are given in terms of the generalized reflection and transmission coefficient matrix method. The validity and precision of the new method is illustrated by comparing the consistency of our results with the analytical solution given by Okada's code employing same point source and homogenous half-space model. The computed vertical ground displacement using the moment tensor solution of the Lanchang_Gengma earthquake displays considerable difference with that of a double couple component .The effect of a soft layer at the top of the homogenous half-space on a shallow normal-faulting earthquake is also analyzed. Our results show that more seismic information would be obtained utilizing seismic moment tensor source and layered half-space model. The rupture process of 1999 Chi-Chi, Taiwan, earthquake investigated by using co-seismic surface displacement GPS observations and far field P-wave records. In according to the tectonic analysis and distributions of aftershock, we introduce a three-segment bending fault planes into our model. Both elastic half-space models and layered-earth models to invert the distribution of co-seismic slip along the Chi-Chi earthquake rupture. The results indicate that the shear slip model can not fit horizontal and vertical co-seismic displacements together, unless we add the fault-normal motion (tensile component) in inversions. And then, the Chi Chi earthquake rupture process was obtained by inversion using the seismograms and GPS observations. Fault normal motions determined by inversion, concentrate on the shallow northern bending fault from Fengyuan to Shuangji where the surface earthquake ruptures reveal more complexity and the developed flexural slip folding structures than the other portions of the rupture zone For understanding the perturbation of surface displacements caused by near-surface complex structures, We have taken a numeric test to synthesize and inverse the surface displacements for a pop-up structure that is composed of a main thrust and a back thrust. Our result indicates that the pop-up structure, the typical shallow complex rupture that occurred in the northern bending fault zone form Fengyuan to Shuangji, can be modeled better by a thrust fault added negative tensile component than by a simple thrust fault. We interpret the negative tensile distributions, that concentrate on the shallow northern bending fault from Fengyuan to Shuangji, as a the synthetic effect including the complexities of property and geometry of rupture. The earthquake rupture process also reveal the more spatial and temporal complexities form Fenyuan to SHuangji. According to the three-components teleseismic records, the S-wave velocity structure beneath the 59 teleseismic stations of Taiwan obtained by using the transform function method and the SA techniques. The integrated results, the 3D crustal structure of Taiwan reveal that the thickest part of crustal local in the western Central Range. This conclusion is consistent with the result form the Bouguer gravity anomaly. The orogenic evolution of Taiwan is young period, and the developing foot of Central Range dose not in static balancing. The crustal of Taiwan stays in the course of dynamic equilibrium. The rupture process of 2003)2,24,Jiashi, Xinjiang earthquake was estimated by the finite fault model using far field broadband P wave records of CDSN and IRIS. The results indicate that the earthquake focal is north dip trust fault including some left-lateral strike slip. The focal mechanism of this earthquake is different form that of earthquakes occurred in 1997 and 1998, but similar to that of 1996, Artux, Xinjiang earthquake. We interpreted that the earthquake caused trust fault due to the Tarim basin pushing northward and orogeny of Tianshan mountain. In the end, give a brief of future research subject: Building the Real Time Distribute System for rupture process of Large Earthquakes Based on Internet.

Inoculação de sementes de soja: efeito da dose de inoculante turfoso e do uso de açúcar como aderente da turfa.

1999

Typability and Type Checking in the Second-Order Λ-Calculus Are Equivalent and Undecidable (Preliminary Draft)

We consider the problems of typability[1] and type checking[2] in the Girard/Reynolds second-order polymorphic typed λ-calculus, for which we use the short name "System F" and which we use in the "Curry style" where types are assigned to pure λ -terms. These problems have been considered and proven to be decidable or undecidable for various restrictions and extensions of System F and other related systems, and lower-bound complexity results for System F have been achieved, but they have remained "embarrassing open problems"[3] for System F itself. We first prove that type checking in System F is undecidable by a reduction from semi-unification. We then prove typability in System F is undecidable by a reduction from type checking. Since the reverse reduction is already known, this implies the two problems are equivalent. The second reduction uses a novel method of constructing λ-terms such that in all type derivations, specific bound variables must always be assigned a specific type. Using this technique, we can require that specific subterms must be typable using a specific, fixed type assignment in order for the entire term to be typable at all. Any desired type assignment may be simulated. We develop this method, which we call "constants for free", for both the λK and λI calculi.

Inferring Intersection Typings that are Equivalent to Call-by-Name and Call-by-Value Evaluations

We present a procedure to infer a typing for an arbitrary λ-term M in an intersection-type system that translates into exactly the call-by-name (resp., call-by-value) evaluation of M. Our framework is the recently developed System E which augments intersection types with expansion variables. The inferred typing for M is obtained by setting up a unification problem involving both type variables and expansion variables, which we solve with a confluent rewrite system. The inference procedure is compositional in the sense that typings for different program components can be inferred in any order, and without knowledge of the definition of other program components. Using expansion variables lets us achieve a compositional inference procedure easily. Termination of the procedure is generally undecidable. The procedure terminates and returns a typing if the input M is normalizing according to call-by-name (resp., call-by-value). The inferred typing is exact in the sense that the exact call-by-name (resp., call-by-value) behaviour of M can be obtained by a (polynomial) transformation of the typing. The inferred typing is also principal in the sense that any other typing that translates the call-by-name (resp., call-by-value) evaluation of M can be obtained from the inferred typing for M using a substitution-based transformation.

A Self-Organizing Neural Model for Motor Equivalent Phoneme Production

This paper describes a model of speech production called DIVA that highlights issues of self-organization and motor equivalent production of phonological units. The model uses a circular reaction strategy to learn two mappings between three levels of representation. Data on the plasticity of phonemic perceptual boundaries motivates a learned mapping between phoneme representations and vocal tract variables. A second mapping between vocal tract variables and articulator movements is also learned. To achieve the flexible control made possible by the redundancy of this mapping, desired directions in vocal tract configuration space are mapped into articulator velocity commands. Because each vocal tract direction cell learns to activate several articulator velocities during babbling, the model provides a natural account of the formation of coordinative structures. Model simulations show automatic compensation for unexpected constraints despite no previous experience or learning under these constraints.

A Neural Network Model of Speech Acquisition and Motor Equivalent Speech Production

This article describes a neural network model that addresses the acquisition of speaking skills by infants and subsequent motor equivalent production of speech sounds. The model learns two mappings during a babbling phase. A phonetic-to-orosensory mapping specifies a vocal tract target for each speech sound; these targets take the form of convex regions in orosensory coordinates defining the shape of the vocal tract. The babbling process wherein these convex region targets are formed explains how an infant can learn phoneme-specific and language-specific limits on acceptable variability of articulator movements. The model also learns an orosensory-to-articulatory mapping wherein cells coding desired movement directions in orosensory space learn articulator movements that achieve these orosensory movement directions. The resulting mapping provides a natural explanation for the formation of coordinative structures. This mapping also makes efficient use of redundancy in the articulator system, thereby providing the model with motor equivalent capabilities. Simulations verify the model's ability to compensate for constraints or perturbations applied to the articulators automatically and without new learning and to explain contextual variability seen in human speech production.

A Self-Organizing Neural Model of Motor Equivalent Reaching and Tool Use by a Multijoint Arm

This paper describes a self-organizing neural model for eye-hand coordination. Called the DIRECT model, it embodies a solution of the classical motor equivalence problem. Motor equivalence computations allow humans and other animals to flexibly employ an arm with more degrees of freedom than the space in which it moves to carry out spatially defined tasks under conditions that may require novel joint configurations. During a motor babbling phase, the model endogenously generates movement commands that activate the correlated visual, spatial, and motor information that are used to learn its internal coordinate transformations. After learning occurs, the model is capable of controlling reaching movements of the arm to prescribed spatial targets using many different combinations of joints. When allowed visual feedback, the model can automatically perform, without additional learning, reaches with tools of variable lengths, with clamped joints, with distortions of visual input by a prism, and with unexpected perturbations. These compensatory computations occur within a single accurate reaching movement. No corrective movements are needed. Blind reaches using internal feedback have also been simulated. The model achieves its competence by transforming visual information about target position and end effector position in 3-D space into a body-centered spatial representation of the direction in 3-D space that the end effector must move to contact the target. The spatial direction vector is adaptively transformed into a motor direction vector, which represents the joint rotations that move the end effector in the desired spatial direction from the present arm configuration. Properties of the model are compared with psychophysical data on human reaching movements, neurophysiological data on the tuning curves of neurons in the monkey motor cortex, and alternative models of movement control.

An energy efficient power controller switching methodology for an ambient healthcare network

A methodology for improved power controller switching in mobile Body Area Networks operating within the ambient healthcare environment is proposed. The work extends Anti-windup and Bumpless transfer results to provide a solution to the ambulatory networking problem that ensures sufficient biometric data can always be regenerated at the base station. The solution thereby guarantees satisfactory quality of service for healthcare providers. Compensation is provided for the nonlinear hardware constraints that are a typical feature of the type of network under consideration and graceful performance degradation in the face of hardware output power saturation is demonstrated, thus conserving network energy in an optimal fashion.