全文获取类型
收费全文 | 156篇 |
免费 | 3篇 |
国内免费 | 2篇 |
专业分类
系统科学 | 4篇 |
现状及发展 | 118篇 |
研究方法 | 4篇 |
综合类 | 33篇 |
自然研究 | 2篇 |
出版年
2021年 | 1篇 |
2019年 | 2篇 |
2018年 | 2篇 |
2017年 | 4篇 |
2016年 | 3篇 |
2015年 | 2篇 |
2014年 | 2篇 |
2013年 | 3篇 |
2012年 | 3篇 |
2011年 | 2篇 |
2010年 | 1篇 |
2008年 | 2篇 |
2007年 | 2篇 |
2006年 | 4篇 |
2005年 | 3篇 |
2004年 | 3篇 |
2003年 | 1篇 |
2002年 | 2篇 |
2001年 | 1篇 |
2000年 | 1篇 |
1994年 | 1篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1990年 | 4篇 |
1985年 | 11篇 |
1984年 | 5篇 |
1983年 | 5篇 |
1982年 | 2篇 |
1981年 | 2篇 |
1980年 | 2篇 |
1979年 | 7篇 |
1978年 | 4篇 |
1977年 | 4篇 |
1976年 | 2篇 |
1974年 | 3篇 |
1973年 | 2篇 |
1972年 | 4篇 |
1970年 | 11篇 |
1969年 | 8篇 |
1968年 | 9篇 |
1967年 | 14篇 |
1966年 | 4篇 |
1965年 | 4篇 |
1963年 | 3篇 |
1962年 | 2篇 |
1960年 | 1篇 |
排序方式: 共有161条查询结果,搜索用时 15 毫秒
1.
Deepak KAPUR 《系统科学与复杂性》2006,19(3):307-330
A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions. 相似文献
2.
A cycle of activity of aldehyde-fuchsin and performic acid-Victoria blue positive granules was observed in the ovarian pedicle of Dysdercus koenigii during the first ovipositional cycle. The quantitative variation of these granules in the pedicle can also be correlated directly with the increase or decrease of the neurosecretory material in the A-type cells of the pars intercerebralis medialis region of the protocerebrum of the brian. 相似文献
3.
HIV-1 superinfection despite broad CD8+ T-cell responses containing replication of the primary virus 总被引:21,自引:0,他引:21
Altfeld M Allen TM Yu XG Johnston MN Agrawal D Korber BT Montefiori DC O'Connor DH Davis BT Lee PK Maier EL Harlow J Goulder PJ Brander C Rosenberg ES Walker BD 《Nature》2002,420(6914):434-439
Early treatment of acute HIV-1 infection followed by treatment interruptions has shown promise for enhancing immune control of infection. A subsequent loss of control, however, allows the correlates of protective immunity to be assessed. Here we show that sudden breakthrough of plasma viraemia occurred after prolonged immune containment in an individual infected with HIV-1 at a time when 25 distinct CD8+ T-cell epitopes in the viral proteins Gag, RT, Integrase, Env, Nef, Vpr, Vif and Rev were being targeted. Sequencing of the virus in plasma and cells showed that superinfection with a second clade-B virus was coincident with the loss of immune control. This sudden increase in viraemia was associated with a decline in half of the CD8+ T-cell responses. The declining CD8+ T-cell responses were coupled with sequence changes relative to the initial virus that resulted in impaired recognition. Our data show that HIV-1 superinfection can occur in the setting of a strong and broadly directed virus-specific CD8+ T-cell response. The lack of cross-protective immunity for closely related HIV-1 strains, despite persistent recognition of multiple CD8 epitopes, has important implications for public health and vaccine development. 相似文献
4.
Sensor networks are deployed in many application areas nowadays ranging from environment monitoring, industrial monitoring, and agriculture monitoring to military battlefield sensing. The accuracy of sensor readings is without a doubt one of the most important measures to evaluate the quality of a sensor and its network. Therefore, this work is motivated to propose approaches that can detect and repair erroneous (i.e., dirty) data caused by inevitable system problems involving various hardware and software components of sensor networks. As information about a single event of interest in a sensor network is usually reflected in multiple measurement points, the inconsistency among multiple sensor measurements serves as an indicator for data quality problem. The focus of this paper is thus to study methods that can effectively detect and identify erroneous data among inconsistent observations based on the inherent structure of various sensor measurement series from a group of sensors. Particularly, we present three models to characterize the inherent data structures among sensor measurement traces and then apply these models individually to guide the error detection of a sensor network. First, we propose a multivariate Gaussian model which explores the correlated data changes of a group of sensors. Second, we present a Principal Component Analysis (PCA) model which captures the sparse geometric relationship among sensors in a network. The PCA model is motivated by the fact that not all sensor networks have clustered sensor deployment and clear data correlation structure. Further, if the sensor data show non-linear characteristic, a traditional PCA model can not capture the data attributes properly. Therefore, we propose a third model which utilizes kernel functions to map the original data into a high dimensional feature space and then apply PCA model on the mapped linearized data. All these three models serve the purpose of capturing the underlying phenomenon of a sensor network from its global view, and then guide the error detection to discover any anomaly observations. We conducted simulations for each of the proposed models, and evaluated the performance by deriving the Receiver Operating Characteristic (ROC) curves. 相似文献
5.
6.
Zusammenfassung Die Scholanderschen Befunde über den Sauerstofftransport durch Hämoglobinlösungen werden auf der Basis der irreversiblen Thermodynamik behandelt. 相似文献
7.
Thymosin beta4 activates integrin-linked kinase and promotes cardiac cell migration, survival and cardiac repair 总被引:1,自引:0,他引:1
Heart disease is a leading cause of death in newborn children and in adults. Efforts to promote cardiac repair through the use of stem cells hold promise but typically involve isolation and introduction of progenitor cells. Here, we show that the G-actin sequestering peptide thymosin beta4 promotes myocardial and endothelial cell migration in the embryonic heart and retains this property in postnatal cardiomyocytes. Survival of embryonic and postnatal cardiomyocytes in culture was also enhanced by thymosin beta4. We found that thymosin beta4 formed a functional complex with PINCH and integrin-linked kinase (ILK), resulting in activation of the survival kinase Akt (also known as protein kinase B). After coronary artery ligation in mice, thymosin beta4 treatment resulted in upregulation of ILK and Akt activity in the heart, enhanced early myocyte survival and improved cardiac function. These findings suggest that thymosin beta4 promotes cardiomyocyte migration, survival and repair and the pathway it regulates may be a new therapeutic target in the setting of acute myocardial damage. 相似文献
8.
Genome sequencing and analysis of Aspergillus oryzae 总被引:4,自引:0,他引:4
Machida M Asai K Sano M Tanaka T Kumagai T Terai G Kusumoto K Arima T Akita O Kashiwagi Y Abe K Gomi K Horiuchi H Kitamoto K Kobayashi T Takeuchi M Denning DW Galagan JE Nierman WC Yu J Archer DB Bennett JW Bhatnagar D Cleveland TE Fedorova ND Gotoh O Horikawa H Hosoyama A Ichinomiya M Igarashi R Iwashita K Juvvadi PR Kato M Kato Y Kin T Kokubun A Maeda H Maeyama N Maruyama J Nagasaki H Nakajima T Oda K Okada K Paulsen I Sakamoto K Sawano T Takahashi M Takase K Terabayashi Y Wortman JR Yamada O 《Nature》2005,438(7071):1157-1161
The genome of Aspergillus oryzae, a fungus important for the production of traditional fermented foods and beverages in Japan, has been sequenced. The ability to secrete large amounts of proteins and the development of a transformation system have facilitated the use of A. oryzae in modern biotechnology. Although both A. oryzae and Aspergillus flavus belong to the section Flavi of the subgenus Circumdati of Aspergillus, A. oryzae, unlike A. flavus, does not produce aflatoxin, and its long history of use in the food industry has proved its safety. Here we show that the 37-megabase (Mb) genome of A. oryzae contains 12,074 genes and is expanded by 7-9 Mb in comparison with the genomes of Aspergillus nidulans and Aspergillus fumigatus. Comparison of the three aspergilli species revealed the presence of syntenic blocks and A. oryzae-specific blocks (lacking synteny with A. nidulans and A. fumigatus) in a mosaic manner throughout the genome of A. oryzae. The blocks of A. oryzae-specific sequence are enriched for genes involved in metabolism, particularly those for the synthesis of secondary metabolites. Specific expansion of genes for secretory hydrolytic enzymes, amino acid metabolism and amino acid/sugar uptake transporters supports the idea that A. oryzae is an ideal microorganism for fermentation. 相似文献
9.
J. K. Saxena S. Khare A. K. Srivastava A. B. Sen S. Ghatak 《Cellular and molecular life sciences : CMLS》1985,41(4):472-474
Summary Changes in liver acid hydrolase activities during the infection of albino rats,Mastomys or mice withPlasmodium berghei are described. B-Glucosidase, B-galactosidase and N-acetyl-B-D-glucosaminidase exhibited widely different responses with acid phosphatase and cathepsin-B the least responsive and are likely to be causally related to immunity of animals. 相似文献
10.
1 Results Classic oxidants require rigorous control of the experimental conditions added with the problem of lack of selectivity. Catalysis by transition metals with environmentally safe oxidants provides synthetic routes to minimize pollution by giving environmental benign by-products. Fe (Ⅵ) is a powerful and a selective oxidant with Fe(Ⅲ) as a by-product, while hydrogen peroxide is clean with water as the only by-product. Separation of sodium or potassium ferrates requires tedious processes. Associat... 相似文献