全文获取类型
收费全文 | 66篇 |
免费 | 4篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 7篇 |
化学工业 | 15篇 |
机械仪表 | 1篇 |
建筑科学 | 1篇 |
能源动力 | 2篇 |
轻工业 | 2篇 |
水利工程 | 2篇 |
无线电 | 3篇 |
一般工业技术 | 3篇 |
原子能技术 | 1篇 |
自动化技术 | 35篇 |
出版年
2023年 | 2篇 |
2022年 | 2篇 |
2021年 | 4篇 |
2019年 | 1篇 |
2018年 | 3篇 |
2017年 | 3篇 |
2016年 | 3篇 |
2015年 | 2篇 |
2014年 | 3篇 |
2013年 | 8篇 |
2012年 | 5篇 |
2011年 | 4篇 |
2010年 | 2篇 |
2009年 | 3篇 |
2008年 | 5篇 |
2007年 | 2篇 |
2006年 | 2篇 |
2005年 | 9篇 |
2004年 | 1篇 |
2003年 | 1篇 |
2002年 | 1篇 |
2001年 | 1篇 |
1999年 | 2篇 |
1998年 | 2篇 |
1988年 | 1篇 |
排序方式: 共有72条查询结果,搜索用时 15 毫秒
1.
Luca AcetoTaolue Chen Anna IngolfsdottirBas Luttik Jaco van de Pol 《Theoretical computer science》2011,412(28):3035-3044
This paper contributes to the study of the equational theory of the priority operator of Baeten, Bergstra and Klop in the setting of the process algebra BCCSP. It is shown that, in the presence of at least two actions, the collection of process equations over BCCSP with the priority operator that are valid modulo bisimilarity, irrespective of the chosen priority order over actions, is not finitely based. This holds true even if one restricts oneself to the collection of valid process equations that do not contain occurrences of process variables. 相似文献
2.
We present a complete axiomatisation for four-valued sequential logic. It consists of nine axioms, from which all valid laws can be derived by equational reasoning. These nine axioms are independent of each other. 相似文献
3.
4.
Eline Saenen Nele Horemans Nathalie Vanhoudt Hildegarde Vandenhove Geert Biermans May Van Hees Jean Wannijn Jaco Vangronsveld Ann Cuypers 《International journal of molecular sciences》2015,16(6):12405-12423
To evaluate the environmental impact of uranium (U) contamination, it is important to investigate the effects of U at ecologically relevant conditions. Since U speciation, and hence its toxicity, strongly depends on environmental pH, the present study aimed to investigate dose-dependent effects of U at pH 7.5. Arabidopsis thaliana plants (Mouse-ear Cress) were exposed for three days to different U concentrations at pH 7.5. In the roots, the increased capacities of ascorbate peroxidase and glutathione reductase indicate an important role for the ascorbate-glutathione cycle during U-induced stress. However, a significant decrease in the ascorbate redox state was observed after exposure to 75 and 100 µM U, indicating that those roots are severely stressed. In accordance with the roots, the ascorbate-glutathione cycle plays an important role in the antioxidative defence systems in A. thaliana leaves exposed to U at pH 7.5 as the ascorbate and glutathione biosynthesis were upregulated. In addition, small inductions of enzymes of the antioxidative defence system were observed at lower U concentrations to counteract the U-induced stress. However, at higher U concentrations it seems that the antioxidative defence system of the leaves collapses as reductions in enzyme activities and gene expression levels were observed. 相似文献
5.
Cones and foci: A mechanical framework for protocol verification 总被引:1,自引:0,他引:1
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between data objects. Compared to the original cones and foci method from Groote and Springintveld, our method is more generally applicable, because it does not require a preprocessing step to eliminate τ-loops. We prove soundness of our approach and present a set of rules to prove the reachability of focus points. Our method has been formalized and proved correct using PVS. Thus we have established a framework for mechanical protocol verification. We apply this framework to the Concurrent Alternating Bit Protocol.
相似文献
相似文献
6.
7.
Groundwater studies in several African countries show that the contamination of water-supply aquifers is mainly due to improper
placement of land-based activities such as agriculture, industries, waste disposal. In South Africa, groundwater pollution
is also of increasing concern due to fast population growth and accompanying development. Groundwater protection zoning is
a supplemental methodology for groundwater management that incorporates land use planning. The land is managed to minimize
the potential of groundwater contamination by human activities that occur on or below the land surface. The various benefits
associated with implementation of protection zoning are discussed for stakeholders such as communities, water supply companies,
ecosystems and policy makers. A South African case study is presented comparing the cost of protection with the cost incurred
due to the treatment of sick and dying people due to contaminated drinking water. These benefits must be communicated to the
stakeholders to start the implementation at all management levels. Implementation steps of groundwater protection zones are
discussed and can be tested even with low budgets and little data available. Monitoring and reassessment of protection zones
are important to test the effectiveness and prove to decision makers that the money was well spent. The legal framework for
implementation of groundwater protection zoning in a South African context is described, where the water law makes provision
for tools like differentiated protection, licensing and recovery of cost. Challenges regarding implementation of groundwater
protection are discussed with some action steps on how to move forward. 相似文献
8.
T Namitha Asokan K S Urmil Rajani Jaco Rachel Reena Philip G S Okram V Ganesan B Pradeep 《半导体学报》2014,35(5):052001-6
Polycrystalline thin films of silver antimony selenide have been deposited using a reactive evaporation technique onto an ultrasonically cleaned glass substrate at a vacuum of 10-5 torr. The preparative parameters, like substrate temperature and incident fluxes, have been properly controlled in order to get stoichiometric, good quality and reproducible thin film samples. The samples are characterized by XRD, SEM, AFM and a UV-vis-NIR spectrophotometer. The prepared sample is found to be polycrystalline in nature. From the XRD pattern, the average particle size and lattice constant are calculated. The dislocation density, strain and number of crystallites per unit area are evaluated using the average particle size. The dependence of the electrical conductivity on the temperature has also been studied and the prepared AgSbSe2 samples are semiconducting in nature. The AgSbSe2 thin films exhibited an indirect allowed optical transition with a band gap of 0.64 eV. The compound exhibits promising thermoelectric properties, a large Seebeck coefficient of 30 mV/K at 48 K due to strong phonon electron interaction. It shows a strong temperature dependence on thermoelectric properties, including the inversion of a dominant carrier type from p to n over a low temperature range 9-300 K, which is explained on the basis of a phonon drag effect. 相似文献
9.
Bahareh Badban Wan Fokkink Jan Friso Groote Jun Pang Jaco van de Pol 《Formal Aspects of Computing》2005,17(3):342-388
We prove the correctness of a sliding window protocol with an arbitrary finite window size n and sequence numbers modulo 2n. The correctness consists of showing that the sliding window protocol is branching bisimilar to a queue of capacity 2n. The proof is given entirely on the basis of an axiomatic theory, and has been checked in the theorem prover PVS.
Received November 2004
Revised June 2005
Accepted July 2005 by J. V. Tucker 相似文献
10.
Frank J. van Rijnsoever Daan van Hameren Peter F.G. Walraven Jaco P. van Dijk 《Telematics and Informatics》2009,26(4):410-420
In many studies on innovation diffusion, five attributes of innovations by Rogers [Rogers, E.M., 2003. Diffusion of Innovations. Free Press, New York] are used to explain the adoption of innovations. These five attributes (relative advantage, compatibility, complexity, trialability and observability) are related to each other. This paper develops a theoretical framework on how these attributes are interrelated. We show empirically that modelling the theoretical interdependencies leads to better results in predicting the adoption of consumer electronics. Further, we show that our framework is not only valid on a product-domain level, but also for separate clusters within the product domain. 相似文献