教学课程资源库 更多>>

关键词： 计算机   现代化   互联网   科学技术   产品  

摘要： 随着经济发展水平的不断提高,科技也在日新月异地发展,现代化计算机技术愈来愈广泛地运用到生活中,方方面面带来极大的便利。计算机技术的应用也推动智能化进程的加速发展,从"互联网+"到人工智能(AI)技术,都加快现代化技术的进一步的发展,以计算机为核心支持而发展起来的各种新兴技术,广泛地被用在信息的交流与互动上、净化网络环境与维护网络安全上,或其它一些智能产品的改造和升级上,都在追求卓越的品质和体验更好地为人类现代化社会服务。

关键词： Computational methods   Computer science   Deep learning   Engineering science and mechanics   Sustainable energy   Wind engineering  

摘要： Large variations in wind energy production over a period of minutes to hours is a challenge for electricity balancing authorities. The use of reliable tools for the prediction of wind power and wind power ramp events is essential for the operator of the electrical system. The main objective of this work is to analyze the wind power and wind power ramp forecasting at Brazil and Uruguay. To achieve this goal the wavelet decomposition applying 48 different mother wavelet functions and deep learning techniques are used. The recurrent neural network was trained to perform the forecasting of 1 h ahead, and then, using it, the trained network was applied to recursively infer the forecasting for the next hours of the wind speed. After this computational procedure, the wind power and the wind power ramp were predicted. The results showed good accuracy and can be used as a tool to help national grid operators for the energy supply. The wavelet discrete Meyer family (dmey) demonstrates greater precision in the decomposition of the wind speed signals. Therefore, it is proven that the wavelet dmey is the most accurate in the decomposition of temporal wind signals, whether using signals from tropical or subtropical regions. (c) 2021 Elsevier Ltd. All rights reserved.

关键词： 信息技术   初中英语   融合教学   策略  

摘要： 在教育信息化背景下,信息技术与学科教学深度融合是促进教育现代化、提升教学实效的重要手段。在信息技术与初中英语跨学科融合教学中,如何找到融合点、如何实现各教学环节的自然衔接以及如何突出教师主导和学生主体地位是值得研究的课题。文章以人教版八年级英语《I am going to study computer science》教学为例,从课题的选取、融合点的确立和多种信息技术的应用等方面进行了实践,探究信息技术与初中英语跨学科融合教学的过程和策略,为信息技术与初中英语跨学科融合教学提供实践经验。

关键词： 智慧教学   应用型本科   计算机专业   操作系统  

摘要： 针对新建应用型本科院校课堂教学现状的分析,以“操作系统”课程为例,提出了一个面向应用型本科的计算机专业课程的智慧课堂教学框架,并从课前、课中、课后等多个角度分析教学实施与教学设计过程,目的在于探索并构建适合于应用型人才培养目标的课堂教学模式与方法,达到提高应用型人才培养质量的目的。

关键词： 在线课程   交互学习   影响   评价  

摘要： 本文以联通主义等相关在线学习理论为依据,基于"生死学"在线课程实践的思考,阐述在线交互学习行为中环境、内容、学习者及教师四个基本因素的影响作用。在线交互学习行为评价遵循从初级交互、中级交互再到高级交互发展过程的动态维度与在线交互的各种形式的结构维度评价相结合的评价体系建构。

关键词： Women   Relational sensibility   Moral imagination   Positioning   Undergraduate degrees  

摘要： There is extensive literature concerning women's low participation in the technology industry. However, little is known about the relational aspect of women's participation in information technology-related degrees. This study focused mainly on relational sensibility and women's experience of the situation as it is, and how they imagine it could be and should be, as potential life projects are formulated in relation to, and with, others as they engage in 4-year undergraduate degrees in computer science (CS) or information technology (IT). Data were generated from five semi-structured interviews and a focus group discussion with seven women (n = 12 participants). The women in this study enrolled in an undergraduate degree as they were able to solve complex IT problems by themselves and then help others. Further, the self-positioning and the positioning by others created emotional tension and effected the women's relational sensibilities. Most of the women were undecided about their future career in IT because of the lack of transparency and information about what is involved in employment in the field. We argue that moral imagination provides a different perspective to understand women's underrepresentation in the CS and IT fields.

关键词： Capital punishment   National socialism   Burial   Histology  

摘要： Introduction: Berlin anatomist Hermann Stieve (1886-1952) had access to many bodies of execution victims during the period of National Socialism and used tissues from these bodies to conduct histological research. Estate material of his eldest son, who died in 2012, included histological specimens related to this research, some of them carrying inscriptions with names. This historical investigation tried to identify the individuals behind these names and their fate. Sources and methods: Information was sought in several archives, the data collection of the Gedenkstatte Deutscher Widerstand (German Resistance Memorial Center), Stieve's own publications, and in other estate material. Findings: Thirty-six of the hundreds of histological slides from the estate carried a total of 20 personal names. Fifteen of these could be unequivocally related to individual historical persons, twelve women and three men, all of them executed at Berlin Plotzensee prison between 1937 and 1945. As detailed as the archival sources allowed, the fate of these individuals was reconstructed. They include men and women convicted of alleged political resistance activities, but also of just stealing cigarettes or speaking bad of Hitler. They were all victims of a murderous justice system, and their fate demonstrates the involvement of the anatomist in this system. Conclusions: The histological slides from Stieve's estate were buried on the Dorotheenstadtischer Friedhof in central Berlin on 13 May 2019. For most execution victims, this place now is the only known burial site of their mortal remains, as they were denied a grave at the time. (C) 2021 Elsevier GmbH. All rights reserved.

关键词： Face   Gallium nitride   Computational modeling   Training   Computer science   Generators   Generative adversarial networks   Deep learning   face parsing   face photo-sketch synthesis   generative adversarial network (GAN)   image-to-image translation  

摘要： Face photo-sketch synthesis aims at generating a facial sketch/photo conditioned on a given photo/sketch. It covers wide applications including digital entertainment and law enforcement. Precisely depicting face photos/sketches remains challenging due to the restrictions on structural realism and textural consistency. While existing methods achieve compelling results, they mostly yield blurred effects and great deformation over various facial components, leading to the unrealistic feeling of synthesized images. To tackle this challenge, in this article, we propose using facial composition information to help the synthesis of face sketch/photo. Especially, we propose a novel composition-aided generative adversarial network (CA-GAN) for face photo-sketch synthesis. In CA-GAN, we utilize paired inputs, including a face photo/sketch and the corresponding pixelwise face labels for generating a sketch/photo. Next, to focus training on hard-generated components and delicate facial structures, we propose a compositional reconstruction loss. In addition, we employ a perceptual loss function to encourage the synthesized image and real image to be perceptually similar. Finally, we use stacked CA-GANs (SCA-GANs) to further rectify defects and add compelling details. The experimental results show that our method is capable of generating both visually comfortable and identity-preserving face sketches/photos over a wide range of challenging data. In addition, our method significantly decreases the best previous Frechet inception distance (FID) from 36.2 to 26.2 for sketch synthesis, and from 60.9 to 30.5 for photo synthesis. Besides, we demonstrate that the proposed method is of considerable generalization ability.

关键词： polynomial computability   p-computability   Gandy's fixed point theorem   semantic programming   polynomial operators   Delta(p)(0)-operators   computer science  

摘要： The paper suggests a general method for proving the fact whether a certain set is p-computable or not. The method is based on a polynomial analogue of the classical Gandy's fixed point theorem. Classical Gandy's theorem deals with the extension of a predicate through a special operator Gamma(Omega)(phi(x))* and states that the smallest fixed point of this operator is a Sigma-set. Our work uses a new type of operator which extends predicates so that the smallest fixed point remains a p-computable set. Moreover, if in the classical Gandy's fixed point theorem, the special Sigma-formula Phi((x) over bar) is used in the construction of the operator, then a new operator uses special generating families of formulas instead of a single formula. This work opens up broad prospects for the application of the polynomial analogue of Gandy's theorem in the construction of new types of terms and formulas, in the construction of new data types and programs of polynomial computational complexity in Turing complete languages.