首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   116篇
  免费   15篇
电工技术   1篇
化学工业   38篇
金属工艺   4篇
机械仪表   5篇
能源动力   1篇
轻工业   39篇
无线电   3篇
一般工业技术   14篇
冶金工业   10篇
原子能技术   1篇
自动化技术   15篇
  2023年   3篇
  2022年   13篇
  2021年   9篇
  2020年   3篇
  2019年   7篇
  2018年   6篇
  2017年   4篇
  2016年   7篇
  2015年   4篇
  2014年   9篇
  2013年   4篇
  2012年   3篇
  2011年   10篇
  2010年   4篇
  2009年   1篇
  2007年   4篇
  2006年   4篇
  2005年   1篇
  2004年   2篇
  2003年   3篇
  2002年   2篇
  2001年   1篇
  1999年   1篇
  1998年   3篇
  1995年   1篇
  1994年   1篇
  1993年   1篇
  1991年   1篇
  1990年   3篇
  1989年   1篇
  1986年   5篇
  1985年   1篇
  1983年   4篇
  1982年   2篇
  1979年   1篇
  1977年   1篇
  1967年   1篇
排序方式: 共有131条查询结果,搜索用时 15 毫秒
1.
Assessed whether women self-handicap with alcohol consumption prior to engaging in a social evaluation task, which may be more relevant to their self-esteem than the intellectual tasks used in past self-handicapping studies on substance use. 113 women (aged 19–32 yrs), who were evaluated as normal drinkers, performed either a solvable or an insolvable social judgment task and then received either success feedback or no feedback. Ss received access to alcoholic and nonalcoholic beverages while awaiting a retest. The study terminated before the retest. The self-handicapping hypothesis that noncontingent success would produce relatively greater alcohol consumption was not supported. Regardless of feedback, insolvable test Ss consumed more alcohol than did solvable test Ss. Findings suggest that the hypothesis may be limited as a general model of alcohol consumption in both sexes. (13 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)  相似文献   
2.
In this paper we describe a verification system for multi-agent programs. This is the first comprehensive approach to the verification of programs developed using programming languages based on the BDI (belief-desire-intention) model of agency. In particular, we have developed a specific layer of abstraction, sitting between the underlying verification system and the agent programming language, that maps the semantics of agent programs into the relevant model-checking framework. Crucially, this abstraction layer is both flexible and extensible; not only can a variety of different agent programming languages be implemented and verified, but even heterogeneous multi-agent programs can be captured semantically. In addition to describing this layer, and the semantic mapping inherent within it, we describe how the underlying model-checker is driven and how agent properties are checked. We also present several examples showing how the system can be used. As this is the first system of its kind, it is relatively slow, so we also indicate further work that needs to be tackled to improve performance.  相似文献   
3.
Agent-oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model-checking techniques for the (automatic or semiautomatic) verification of rational-agent systems written in a logic-based agent-oriented programming language. Typically, developers apply model-checking techniques to abstract models of a system rather than the system implementation. Although this is important for detecting design errors at an early stage, developers might still introduce errors during coding. In contrast, developers can directly apply our model-checking techniques to systems implemented in an agent-oriented programming language, automatically verifying agent systems without the usual gap between design and implementation. We developed our techniques for AgentSpeak, a rational-agent programming language based on the AgentSpeak (L) abstract agent-oriented programming language. AgentSpeak shares many features of the agent-oriented programming paradigm. Similarly, we've developed techniques for automatically translating AgentSpeak programs into the model specification language of existing model-checking systems. In this way, we reduce the problem of verifying that an AgentSpeak system has certain BDI logic properties to a conventional LTL model-checking problem.  相似文献   
4.
The purposes of this study were to (1) explore significant differences in perception of match for a variety of food and wine styles; (2) evaluate the impacts of wine sweetness level, wine acidity level, and wine tannin level on perception of match; and (3) investigate the impact of food and wine expertise on perceived level of match. The highest perceived wine matches for each food item were: Sauvignon Blanc and chêvre, Chardonnay and brie, Cabernet Sauvignon and spicy Italian salami, and Port and milk chocolate. Wine sweetness, acidity, and tannin levels all significantly impacted the level of match with certain food items. Food and wine expertise also significantly impacted the level of match, indicating differences between the more expert and novice participants in the role wine sweetness, acidity, and tannin had on level of match.  相似文献   
5.
6.
This study was aimed at evaluating the consequences of sodium chloride reduction by potassium chloride up to 50% on technological, sensorial and microbiological traits of marinated rabbit meat. In total, 226 rabbit loin meat samples were obtained and subjected to vacuum tumbling using solutions with different NaCl/KCl ratios. Replacing of sodium chloride up to 30% by potassium chloride did not change microbiological traits (total aerobic mesophilic and lactic acid bacteria maximum cell loads), sensorial acceptability (perceived saltiness and overall liking) and technological traits (pH, colour, texture, cooking loss and yield). Otherwise, reduction in sodium chloride to 50% significantly decreased perceived saltiness (4.15 vs. 4.73; P < 0.05) and reduced microbial shelf life by 1 day when compared to control, even if there was still no effect on technological traits. In conclusion, it is feasible imparting an added value for processed rabbit meat products by reduction in sodium content that could increase market interest.  相似文献   
7.
Oxidation stability is a parameter of great importance for biodiesel quality control to both producers and subsequent consumers. To maintain the quality of biodiesel, currently the most effective and economical method is the addition of antioxidants that prevent or retard the biofuel oxidation reaction. In this study, efficiency and cost of synthetic antioxidants added to B100 biodiesel from soybean oil and pork fat were evaluated, using butylhydroxyanisole (BHA), butylhydroxytoluene (BHT) and tert-butylhydroquinone (TBHQ), in pure form or in mixtures, according to a simplex-centroid mixture experimental design. Results demonstrate an increased induction period (IP) in all trials when compared to the control sample, and TBHQ was the only antioxidant alone that met all the specification standards, while BHT and BHA alone met only the American standard specifications. The antioxidant mixture that presented the highest synergistic effect was that of TBHQ and BHA. Multi-response optimization indicated an optimum formulation containing 75 % TBHQ and 25 % BHA with an IP of 7.27 h at 110 °C and the antioxidant mixture cost of 31.31 USD, to be added for a ton of biodiesel. This simplex-centroid mixture experimental design shows an ability to be applied in the biodiesel, oils and fats industry to evaluate the oxidation stability and the occurrence of synergism between different mixtures of synthetic or natural antioxidants and their costs.  相似文献   
8.
Laryngotracheal stenosis (LTS) is a complex and heterogeneous disease whose pathogenesis remains unclear. LTS is considered to be the result of aberrant wound-healing process that leads to fibrotic scarring, originating from different aetiology. Although iatrogenic aetiology is the main cause of subglottic or tracheal stenosis, also autoimmune and infectious diseases may be involved in causing LTS. Furthermore, fibrotic obstruction in the anatomic region under the glottis can also be diagnosed without apparent aetiology after a comprehensive workup; in this case, the pathological process is called idiopathic subglottic stenosis (iSGS). So far, the laryngotracheal scar resulting from airway injury due to different diseases was considered as inert tissue requiring surgical removal to restore airway patency. However, this assumption has recently been revised by regarding the tracheal scarring process as a fibroinflammatory event due to immunological alteration, similar to other fibrotic diseases. Recent acquisitions suggest that different factors, such as growth factors, cytokines, altered fibroblast function and genetic susceptibility, can all interact in a complex way leading to aberrant and fibrotic wound healing after an insult that acts as a trigger. However, also physiological derangement due to LTS could play a role in promoting dysregulated response to laryngo-tracheal mucosal injury, through biomechanical stress and mechanotransduction activation. The aim of this narrative review is to present the state-of-the-art knowledge regarding molecular mechanisms, as well as mechanical and physio-pathological features behind LTS.  相似文献   
9.
A series of blends has been prepared by adding a polyetherimide (PEI), in varying proportions, to a tetrafunctional epoxy resin, tetraglycidyl-diaminodiphenylmethane (TGDDM), cured with 4,4′-diaminodiphenylsulphone (DDS). All the materials exhibited two-phase morphologies which were characterised by dynamic mechanical thermal analysis and scanning electron microscopy. Addition of the thermoplastic gave a modest improvement in fracture properties (K1c and G1c), as determined by three-point bending experiments, although no obvious correlation with the marked morphological changes was observed.  相似文献   
10.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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