首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   138篇
  免费   1篇
教育   102篇
科学研究   11篇
各国文化   3篇
体育   11篇
文化理论   4篇
信息传播   8篇
  2020年   2篇
  2019年   4篇
  2017年   4篇
  2016年   1篇
  2015年   1篇
  2014年   1篇
  2013年   24篇
  2012年   3篇
  2011年   3篇
  2009年   3篇
  2008年   2篇
  2007年   6篇
  2005年   2篇
  2003年   3篇
  2002年   5篇
  2001年   7篇
  2000年   3篇
  1999年   1篇
  1998年   1篇
  1997年   1篇
  1996年   5篇
  1995年   2篇
  1994年   1篇
  1993年   1篇
  1992年   4篇
  1991年   1篇
  1990年   3篇
  1989年   2篇
  1988年   2篇
  1987年   1篇
  1985年   5篇
  1984年   3篇
  1983年   3篇
  1982年   1篇
  1981年   8篇
  1980年   3篇
  1979年   2篇
  1978年   2篇
  1977年   1篇
  1976年   3篇
  1975年   2篇
  1974年   1篇
  1973年   2篇
  1970年   1篇
  1969年   1篇
  1966年   1篇
  1938年   1篇
排序方式: 共有139条查询结果,搜索用时 0 毫秒
31.
    
This paper describes a case study presented to students in computer science during a course on formal techniques for protocol validation. The course teaches some basic notions on specification, simulation, verification, testing and distributed observation. The case study is the classical alternating-bit protocol. The exercise first consists of some simple modeling and simulation of the specification and verification of some basic service properties. It is then followed with the problem of observation of distributed executions of the protocol. This kind of experiment was found to be useful for students, since they gain an understanding of the importance and necessity of formal methods for protocol validation.  相似文献   
32.
Summaries

English

One of the main aims in the teaching of science is the acquisition of an experimental methodology. The principal obstacles to this methodological training are briefly analysed; they arise mainly from the shortage of time available for experimental work. In this article, computer‐simulated scientific experimentation is proposed as an aid in overcoming these obstacles. This type of teaching, integrated into a classical curriculum, does not exclude laboratory work, which is still indispensable for the learning of techniques. To facilitate the setting up of the proposed method, the ESSOR system simulation on mini‐computer has been developed. Its technical and pedagogic characteristics are described. This system allows the easy simulation of experiments analogous to those of the laboratory. The student using it is free to adopt individual procedures for the study of a proposed phenomenon; the system follows up automatically the individual activity of students and frees the instructor from most of the difficulties in programming work.  相似文献   
33.
    
ABSTRACT

Research on positive youth development and life skills in sport has gained considerable attention over the past decades. However, there is a lack of translated questionnaires examining youth development and life skills available to non-English researchers and practitioners. The purpose of this research project was to adapt in French two questionnaires and to accumulate validity evidence of these adaptations. The short form – Youth Experiences Survey for Sport and the Life Skills Scale for Sport were adapted using a procedure based on a transcultural validation methodology applied to psychological measures. This research comprises four studies, which led to the French adaptation and validation process of each questionnaire. In conclusion, the results obtained show that these adapted French questionnaires can now be used to evaluate the perceptions and lived experiences of French-speaking athletes regarding positive youth development and life skills in sport.  相似文献   
34.
Modeling context through domain ontologies   总被引:1,自引:0,他引:1  
Traditional information retrieval systems aim at satisfying most users for most of their searches, leaving aside the context in which the search takes place. We propose to model two main aspects of context: The themes of the user's information need and the specific data the user is looking for to achieve the task that has motivated his search. Both aspects are modeled by means of ontologies. Documents are semantically indexed according to the context representation and the user accesses information by browsing the ontologies. The model has been applied to a case study that has shown the added value of such a semantic representation of context.
Daniel EgretEmail:
  相似文献   
35.
36.
A new transitional filter based on the sum of filter polynomials is proposed and discussed. It shall be shown that the approach allows for greater flexibility in adjusting passband and stopband gain shapes. The sensitivity of the filter transfer function is analyzed and related to the approximation problem. Some new modified classical filters are also derived including maximally flat (Butterworth) and equiripple (Chebyshev) types. Several examples of combining Butterworth, Chebyshev and sync-tuned filters are presented and compared to those obtained using the conventional product method. The new transitional filter provides an alternative to other forms and provides a means for isolating the effects of non-uniformly distributed pole angles.  相似文献   
37.
38.
39.
40.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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