首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   100篇
  免费   2篇
电工技术   1篇
综合类   1篇
化学工业   23篇
金属工艺   4篇
机械仪表   4篇
建筑科学   3篇
矿业工程   4篇
能源动力   5篇
轻工业   3篇
水利工程   7篇
无线电   10篇
一般工业技术   11篇
冶金工业   5篇
自动化技术   21篇
  2024年   1篇
  2023年   1篇
  2022年   3篇
  2021年   3篇
  2020年   4篇
  2019年   2篇
  2018年   3篇
  2017年   2篇
  2016年   2篇
  2015年   1篇
  2014年   7篇
  2013年   12篇
  2012年   8篇
  2011年   7篇
  2010年   7篇
  2009年   8篇
  2008年   3篇
  2007年   2篇
  2006年   4篇
  2005年   2篇
  2004年   4篇
  2003年   3篇
  2002年   2篇
  2000年   2篇
  1999年   1篇
  1998年   2篇
  1997年   1篇
  1996年   3篇
  1995年   1篇
  1994年   1篇
排序方式: 共有102条查询结果,搜索用时 15 毫秒
71.
    

The objective of this study was to evaluate the feasibility of combined modular processes to selectively remove Sb from mine-impacted waters in an Arctic environment in order to fulfil local environmental criteria for discharged waters. Novel ion exchange, selective extraction and ultrafiltration, electrocoagulation, and dissolved air flotation technologies were investigated, individually or in combination, from the laboratory- to pilot-demonstration scale. Laboratory-scale testing using Fe2(SO4)3 precipitation, ion exchange resin, selective ion extraction and ultrafiltration, and electrocoagulation with or without subsequent dissolved air flotation indicated that any of the methods are potentially applicable to Sb removal from mine water. The observed differences between Sb and As removal efficiency by ion exchange resin illustrated the need for Sb-specific removal and recovery technologies. Techno-economic analyses showed that treatment of mine water using electrocoagulation-dissolved air flotation yields the lowest comparative life-cycle cost of examined technologies. Results demonstrated increased Sb attenuation efficiency using either electrocoagulation-dissolved air flotation or selective extraction and ultrafiltration, even when treating only 50% of the mine-impacted water, compared with conventional Fe2(SO4)3 precipitation from mine water. Additional investigation is necessary to characterize the long-term stability of the mineral phases in Sb-containing solid residues and to inform selection of Sb recovery methods and utilisation or final disposal options for the residual materials.

  相似文献   
72.
The ability of many bacteria to adapt to stressful conditions may later protect them against the same type of stress (specific adaptive response) or different types of stresses (multiple adaptive response, also termed cross-protection). Arcobacter butzleri and Campylobacter jejuni are close phylogenetic relatives that occur in many foods of animal origin and have been linked with human illness (mainly diarrhoea). In the present study, sublethal stress adaptation temperatures (48 °C and 10 °C) and mild and lethal acid conditions (pH 5.0 and pH 4.0) were determined for A. butzleri and C. jejuni. In addition, it was evaluated whether these sublethal stress adaptations cause specific adaptive responses or cross-protection against subsequent mild or lethal acid stresses in these bacteria. The studies were conducted in broth adjusted to the different conditions and the results were determined by the dilution series plating method. It was shown that heat stress adapted A. butzleri (incubated for 2 h at 48 °C) were significantly more resistant to subsequent lethal acid stress (pH 4.0) than non-adapted cells at the 1 h time-point (p < 0.01 in Wilcoxon rank sum test). No specific adaptive responses against the stresses in A. butzleri or C. jejuni and no cross-protection in C. jejuni were found. The ability of heat stressed A. butzleri to tolerate later lethal acid conditions should be taken into account when designing new food decontamination and processing strategies.  相似文献   
73.
This paper studies the relative efficiency of variations of a tableau method for Boolean circuit satisfiability checking. The considered method is a nonclausal generalisation of the Davis–Putnam–Logemann–Loveland (DPLL) procedure to Boolean circuits. The variations are obtained by restricting the use of the cut (splitting) rule in several natural ways. It is shown that the more restricted variations cannot polynomially simulate the less restricted ones. For each pair of methods T, T′, an infinite family of circuits is devised for which T has polynomial size proofs while in T′ the minimal proofs are of exponential size w.r.t. n, implying exponential separation of T and T′ w.r.t. n. The results also apply to DPLL for formulas in conjunctive normal form obtained from Boolean circuits by using Tseitin’s translation. Thus DPLL with the considered cut restrictions, such as allowing splitting only on the variables corresponding to the input gates, cannot polynomially simulate DPLL with unrestricted splitting.AMS subject classification 03B70, 03F20, 68T15, 68T20The financial support from Academy of Finland (project #53695) is gratefully acknowledged.Tommi Junttila: This work was partially done while visiting ITC-IRST (Trento, Italy), and has been sponsored by the CALCULEMUS! IHP-RTN EC project, contract code HPRN-CT-2000-00102.  相似文献   
74.
Recent improvements in propositional satisfiability techniques (SAT) made it possible to tackle successfully some hard real-world problems (e.g., model-checking, circuit testing, propositional planning) by encoding into SAT. However, a purely Boolean representation is not expressive enough for many other real-world applications, including the verification of timed and hybrid systems, of proof obligations in software, and of circuit design at RTL level. These problems can be naturally modeled as satisfiability in linear arithmetic logic (LAL), that is, the Boolean combination of propositional variables and linear constraints over numerical variables. In this paper we present MathSAT, a new, SAT-based decision procedure for LAL, based on the (known approach) of integrating a state-of-the-art SAT solver with a dedicated mathematical solver for LAL. We improve MathSAT in two different directions. First, the top‐level line procedure is enhanced and now features a tighter integration between the Boolean search and the mathematical solver. In particular, we allow for theory-driven backjumping and learning, and theory-driven deduction; we use static learning in order to reduce the number of Boolean models that are mathematically inconsistent; we exploit problem clustering in order to partition mathematical reasoning; and we define a stack-based interface that allows us to implement mathematical reasoning in an incremental and backtrackable way. Second, the mathematical solver is based on layering; that is, the consistency of (partial) assignments is checked in theories of increasing strength (equality and uninterpreted functions, linear arithmetic over the reals, linear arithmetic over the integers). For each of these layers, a dedicated (sub)solver is used. Cheaper solvers are called first, and detection of inconsistency makes call of the subsequent solvers superfluous. We provide a through experimental evaluation of our approach, by taking into account a large set of previously proposed benchmarks. We first investigate the relative benefits and drawbacks of each proposed technique by comparison with respect to a reference option setting. We then demonstrate the global effectiveness of our approach by a comparison with several state-of-the-art decision procedures. We show that the behavior of MathSAT is often superior to its competitors, both on LAL and in the subclass of difference logic. This work has been partly supported by ISAAC, a European-sponsored project, contract no. AST3-CT-2003-501848; by ORCHID, a project sponsored by Provincia Autonoma di Trento; and by a grant from Intel Corporation. The work of T. Junttila has also been supported by the Academy of Finland, project 53695. S. Schulz has also been supported by a grant of the Italian Ministero dell'Istruzione, dell'Università e della Ricerca and the University of Verona.  相似文献   
75.

This paper presents an overview of Apertium, a free and open-source rule-based machine translation platform. Translation in Apertium happens through a pipeline of modular tools, and the platform continues to be improved as more language pairs are added. Several advances have been implemented since the last publication, including some new optional modules: a module that allows rules to process recursive structures at the structural transfer stage, a module that deals with contiguous and discontiguous multi-word expressions, and a module that resolves anaphora to aid translation. Also highlighted is the hybridisation of Apertium through statistical modules that augment the pipeline, and statistical methods that augment existing modules. This includes morphological disambiguation, weighted structural transfer, and lexical selection modules that learn from limited data. The paper also discusses how a platform like Apertium can be a critical part of access to language technology for so-called low-resource languages, which might be ignored or deemed unapproachable by popular corpus-based translation technologies. Finally, the paper presents some of the released and unreleased language pairs, concluding with a brief look at some supplementary Apertium tools that prove valuable to users as well as language developers. All Apertium-related code, including language data, is free/open-source and available at https://github.com/apertium.

  相似文献   
76.
The third body in tungsten/tungsten-carbide sliding systems is studied using a combination of experiments and atomistic simulations. Ex situ X-ray photoelectron spectroscopy and focused ion beam analysis of the structural and chemical changes near the surfaces reveals that sliding of tungsten against tungsten-carbide results in plastic deformation of the W surface, leading to grain refinement, and the formation of a mechanically mixed amorphous layer on the WC counter body. Molecular dynamics simulations of W/WC sliding couples exhibit the formation of a nanoscale amorphous W/WC interface. The infrequent occurrence of atomic jamming events in the interface resulted in the emission of dislocations into the W bulk and the generation of amorphous shear bands in the WC counter body in agreement with the different third bodies observed in W and WC after the experiments.  相似文献   
77.
    
An improvement of lithium‐ion batteries with regard to their reversible capacity, cycling stability, rate performance, and safety under repetitive charge and discharge still requires considerable research activity. However, graphite has remained the unexcelled material for the anode so far. Here, it is shown that two novel quaternary lithium‐chalcogenidometalate phases, Li4MnGe2S7 ( 1 ) and Li4MnSn2Se7 ( 2 ), represent very promising new anode materials for lithium‐ion cells in that they achieve specific lithium storage capacities higher than that of the commercially used graphite, and display an excellent stability during cycling. These properties are based on the structural peculiarities of the phases, which adopt Wurtzite‐related topologies and provide high structural flexibility of the metal sulfide or selenide bonds as advantageous pre‐requisitions for a large ion accessible volume.  相似文献   
78.
    
  相似文献   
79.
    
Fish assemblages in large rivers are governed by spatio‐temporal changes in habitat conditions, which must be accounted for when designing effective monitoring programmes. Using boat electrofishing surveys, this study contrasts species richness, catch per unit effort (CPUE), total biomass, and spatial distribution of fish species in the Saint John River, New Brunswick, Canada, sampled during different diel periods (day and night) and macrohabitats (hydropower regulated river and its reservoir) in the vicinity of the Mactaquac (hydropower) Generating Station. Taxa richness, total CPUE, and total biomass were significantly higher during night surveys, resulting in marked differences in community composition between the two diel periods. Furthermore, the magnitude of diel differences in catch rate was more pronounced in lentic than in lotic macrohabitats. The required sampling effort (i.e., number of sites) to increase accuracy and precision of CPUE estimates varied widely between fish species, diel periods, and macrohabitats and ranged from 15 to 185 electrofishing sites. Determining a correction factor to contrast accuracy and precision of day‐ with night‐time surveys provide useful insights to improve the design of long‐term monitoring programmes for fish communities in large rivers. The study also shows the importance of multihabitat surveys to detect differences in the magnitude of diel changes in fish community metrics.  相似文献   
80.
    
Brown adipose tissue (BAT) expresses uncoupling protein-1 (UCP1), which enables energy to be exerted towards needed thermogenesis. Beige adipocytes are precursor cells interspersed among white adipose tissue (WAT) that possess similar UCP1 activity and capacity for thermogenesis. The raccoon dog (Nyctereutes procyonoides) is a canid species that utilizes seasonal obesity to survive periods of food shortage in climate zones with cold winters. The potential to recruit a part of the abundant WAT storages as beige adipocytes for UCP1-dependent thermogenesis was investigated in vitro by treating raccoon dog adipocytes with different browning inducing factors. In vivo positron emission tomography/computed tomography (PET/CT) imaging with the glucose analog 18F-FDG showed that BAT was not detected in the adult raccoon dog during the winter season. In addition, UCP1 expression was not changed in response to chronic treatments with browning inducing factors in adipocyte cultures. Our results demonstrated that most likely the raccoon dog endures cold weather without the induction of BAT or recruitment of beige adipocytes for heat production. Its thick fur coat, insulating fat, and muscle shivering seem to provide the adequate heat needed for surviving the winter.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号