教学课程资源库 更多>>

摘要： This paper describes some innovative assignments for CS 1 and CS 2 classes where students can write straightforward programs that discover useful facts directly from census data. This information exploits the geospatial population distribution of the United States. These assignments have been used successfully in Java and Python classes at this level, to reinforce skills in using file I/O and elementary data structures. In 2021, the U.S. Census Bureau began to release detailed results of the 2020 Census. This new data presents students with the opportunity to apply their programming skills to glean quantitative facts about the geographical distribution of the U.S. population and its diversity.

关键词： 惩罚性赔偿   生态环境损害   环境侵权   威慑补充   《民法典》  

摘要： 从《民法典》第1232条规定惩罚性赔偿的目的来看,该条应当适用于生态环境损害赔偿。生态环境损害惩罚性赔偿的功能既包括对生态环境承载的精神和文化价值提供填补性赔偿,也包括对故意违法者给予应得的惩罚以及对严重的污染环境和破坏生态行为进行完全威慑。生态环境损害惩罚性赔偿责任以侵权人的主观故意、行为的违法性以及严重的损害后果作为特殊的成立要件,彰显出侵权行为的应受谴责性,也是施加惩罚性赔偿的依据。基于侵权责任的性质、环境侵权的特殊性、赔偿金额计算的技术性要求以及为确保生态环境损害惩罚性赔偿之完全威慑功能的实现,确定赔偿金额的原则是消除侵权人因此获得的利益,使侵权人得不偿失。生态环境损害惩罚性赔偿责任应当作为一项补充性的威慑机制,从而避免惩罚性赔偿的滥用。在行政处罚或刑罚已经实现威慑要求时,可以选择不适用惩罚性赔偿;在需要适用惩罚性赔偿时,赔偿数额的确定应综合考虑所有公法和私法上的金钱责任。

关键词： Time series analysis   Recurrent neural networks   Data models   Training   Analytical models   Sensors   Computer science   Incomplete time series classification   recurrent neural networks   adversarial learning   exploding error  

摘要： Incomplete time series classification (ITSC) is an important issue in time series analysis since temporal data often has missing values in practical applications. However, integrating imputation (replacing missing data) and classification within a model often rapidly amplifies the error from imputed values. Reducing this error propagation from imputation to classification remains a challenge. To this end, we propose an adversarial joint-learning recurrent neural network (AJ-RNN) for ITSC, an end-to-end model trained in an adversarial and joint learning manner. We train the system to categorize the time series as well as impute missing values. To alleviate the error introduced by each imputation value, we use an adversarial network to encourage the network to impute realistic missing values by distinguishing real and imputed values. Hence, AJ-RNN can directly perform classification with missing values and greatly reduce the error propagation from imputation to classification, boosting the accuracy. Extensive experiments on 68 synthetic datasets and 4 real-world datasets from the expanded UCR time series archive demonstrate that AJ-RNN achieves state-of-the-art performance. Furthermore, we show that our model can effectively alleviate the accumulating error problem through qualitative and quantitative analysis based on the trajectory of the dynamical system learned by the RNN. We also provide an analysis of the model behavior to verify the effectiveness of our approach.

关键词： Clustering algorithms   Task analysis   Facebook   Data mining   Linear programming   Data models   Computer science   Semi-supervised clustering   attributed heterogeneous information network   object attributes   network structure  

摘要： A heterogeneous information network (HIN) is one whose nodes model objects of different types and whose links model objects' relationships. To enrich its information, objects in an HIN are typically associated with additional attributes. We call such an HIN an Attributed HIN or AHIN. We study the problem of clustering objects in an AHIN, taking into account objects' similarities with respect to both object attribute values and their structural connectedness in the network. We show how supervision signal, expressed in the form of a must-link set and a cannot-link set, can be leveraged to improve clustering results. We put forward the SCHAIN algorithm to solve the clustering problem, and two highly efficient variants, SCHAIN-PI and SCHAIN-IRAM, which employ the power iteration based method and the implicitly restarted Arnoldi method respectively to compute eigenvectors of a matrix. We conduct extensive experiments comparing SCHAIN-based algorithms with other state-of-the-art clustering algorithms. Our results show that SCHAIN-IRAM outperforms other competitors in terms of clustering effectiveness and is highly efficient.

关键词： 计算机科学   地理信息系统   课程融合  

摘要： 阐述计算机科学与GIS课程教学的特点,教学实践,包括课程的培养目标、课程内容的融合、精炼教学内容同时优化教学方法、深化实践教学突出课程的实践性。

关键词： 思维地图   初中英语   阅读教学   思维能力  

摘要： 阐述思维地图的概念、作用、分类。以人教版(Go for it!)初中《英语》八年级(上)Unit 6 I’m going to study computer science Section B Reading为例,探讨如何将思维地图运用于读前、读中、读后环节,使知识系统化、思维可视化,从而帮助学生更好地理解文本内容,培养其思维品质,进而促进其英语学科核心素养的发展。

摘要： Computer Science Fundamentals (CSF) courses have become a popular study area from K-12 to higher education levels (i.e., community and technical colleges, and four-year institutions). Different educational approaches have been proposed to disseminate concepts in these areas (traditionally through books and online platforms including wikis, websites, forums). Although several resources are available to assist students in learning tricks or "how-to" for specific items, some lack curricular guidance to lead to a constructivist learning approach. Some of the other available resources rely on a solid mathematical background, which many potential computer science students might not have, discouraging students from pursuing a computer science or programming field, particularly from a K-12 environment and community colleges. In this paper, we report the experience of deploying an Open Educational Resource (OER) used for the CSF in a community college that hosts early college high school, workforce, and transfer students as part of the teaching community.

关键词： 新农科   教学改革   竞赛驱动  

摘要： 在我国推行农业现代化和智慧化的背景下,新农科建设对高校计算机程序设计类课程的教学提出了更高的要求。针对传统农科专业“计算机程序设计”课程教学中存在的问题,提出了新农科建设中“计算机程序设计”课程的教学应转变传统思维,改变照本宣科现状,注重理论与实际相结合,并以科技竞赛为驱动力,充分发挥学生的自主学习能力、创新创造能力,从根本上明确“计算机程序设计”在实际农业生产中的应用价值。通过此教学改革可使学生学以致用,实现为国家输送综合型现代化农业人才的目的。

关键词： Convolution   Fuzzy sets   Computer science   Uncertainty   Lattices   Integrated circuits   Ink   Convolution operations   fuzzy truth values (FTVs)   idempotency   type-2 fuzzy sets (T2FSs)  

摘要： Recently, convolution operations on fuzzy truth values (FTVs, that is, functions from [0, 1] to [0, 1]) and their basic properties have become a hot research area, such as type-2 t-norms, type-2 aggregation operations, type-2 implications, etc., and the closure, monotonicity, distributivity, etc. However, the idempotency of convolution operations has not been studied so far. In this article, we give the equivalent characterization of the idempotency of convolution operations on FTVs.

关键词： Computer science   Software   Synthetic biology   Life Sciences   general   Biological Techniques   Analytical Chemistry   Microarrays   Computational Biology/Bioinformatics   Organic Chemistry  

摘要： Cells interact with their environment, communicate among themselves, track time and make decisions through functions controlled by natural regulatory genetic circuits consisting of interacting biological components. Synthetic programmable circuits used in therapeutics and other applications can be automatically designed by computer-aided tools. The Cello software designs the DNA sequences for programmable circuits based on a high-level software description and a library of characterized DNA parts representing Boolean logic gates. This process allows for design specification reuse, modular DNA part library curation and formalized circuit transformations based on experimental data. This protocol describes Cello 2.0, a freely available cross-platform software written in Java. Cello 2.0 enables flexible descriptions of the logic gates' structure and their mathematical models representing dynamic behavior, new formal rules for describing the placement of gates in a genome, a new graphical user interface, support for Verilog 2005 syntax and a connection to the SynBioHub parts repository software environment. Collectively, these features expand Cello's capabilities beyond Escherichia coli plasmids to new organisms and broader genetic contexts, including the genome. Designing circuits with Cello 2.0 produces an abstract Boolean network from a Verilog file, assigns biological parts to each node in the Boolean network, constructs a DNA sequence and generates highly structured and annotated sequence representations suitable for downstream processing and fabrication, respectively. The result is a sequence implementing the specified Boolean function in the organism and predictions of circuit performance. Depending on the size of the design space and users' expertise, jobs may take minutes or hours to complete. This protocol describes how to design genetic circuits using the web implementation of the Cello 2.0 software, which allows users to construct a DNA sequence for a genetic